Call for Papers
OpenCert 2009
3rd International Workshop on Foundations and Techniques for
Open Source Software Certification
York, UK - 28 March 2009
Satellite Event of ETAPS 2009
http://opencert.iist.unu.edu/
Submission deadline: 9 January, 2009
CONTEXT AND OBJECTIVES
Over the past decade, the Open Source Software (OSS) phenomenon has
had a global impact on the way software systems and and software-based
services are developed, distributed and deployed. Widely acknowledged
benefits of OSS include reliability, low development and maintenance
costs, as well as rapid code turnover. Linux distributions, Apache and
MySQL serve, among many other examples, as a testimony to its success
and resilience.
However, state-of-the-art OSS, by the very nature of its open,
unconventional, distributed development model, make software quality
assessment, let alone full certification, particularly hard to achieve
and raises important challenges both from the technical/methodological
and the managerial points of view. This makes the use of OSS, and, in
particular, its integration within complex industrial-strength
applications, with stringent security requirements, a risk. And,
simultaneously an opportunity and a challenge for rigourous,
mathematically based, methods in software analysis and engineering.
In such a context, the aim of this workshop is to bring together
researchers from academia and industry who are broadly interested in
the quality assessment of open source software projects, ultimately
leading to the establishment of coherent certification processes, at
different levels.
Following the success of the two previous editions (collocated to
ETAPS'07, in Braga, and OSS'08, at IFIP WCC, in Milan, respectively),
the workshop will focus on formal methods and model-based techniques
that appear promising to facilitate OSS certification. Both foundational,
methodological and pragmatic issues will be addressed, through both
standard technical communications and reports on concrete case-studies
and experimental data.
Contributions are expected to foster a broad debate on OSS assessment
and certification, integrating techniques and elements from areas as
different as
- product and process certification
- certification standards
- formal modelling andverification (model checking and theorem proving)
- software quality and reverse engineering
- static analysis, testing and inspection
- safety and security certification
- language design and evolving systems
WORKSHOP FORMAT AND SUBMISSION
The one-day workshop will feature invited talks, a pannel discussion
and contributed paper presentations. All contibutions, in the form of
either full technical papers or short position papers, will undergo a
peer-review process. All papers should be written in English and not
exceed 10 pages.
Detailed information on the submission procedure are available at
http://opencert.iist.unu.edu/
All enquiries should be sent to:
[EMAIL PROTECTED]
PUBLICATION
Accepted papers will be published in Electronic Communications of
the EASST (eceasst.cs.tu-berlin.de/index.php/eceasst).
Publication of selected papers in a journal is currently under negotiation.
IMPORTANT DATES
- Submission deadline: 9 January, 2009
- Acceptance notification: 6 February, 2009
ORGANISERS
Luis Barbosa University of Minho, Portugal
Siraj Shaikh Cranfield University, UK
Antonio Cerone United Nations University, Macau SAR China
STEERING COMMITTEE
Bernhard Aichernig TU Graz, Austria
Jose Nuno Oliveira Univ. of Minho, Portugal
Antonio Cerone UNU-IIST, Macau-China
Martin Michlmayr Cambridge, UK
David von Oheimb Siemens, Germany
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
