| Background and Objectives |
|
Over the past decade, the Open Source Software (OSS)
phenomenon has had a global impact on the way software systems 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 server, 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 but also an opportunity and a challenge
for rigorous, 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 five previous editions
(collocated to ETAPS'07, in Braga, OSS'08, at IFIP WCC, in Milan, ETAPS'09 in York, SEFM 2010 in Pisa,
and SEFM 2011 in Modevideo, respectively),
the workshop will focus on formal/systematic/intelligent methods and model-based techniques that
appear promising to facilitate OSS certification. 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 and verification (model
checking and theorem proving)
- software quality and reverse engineering
- static analysis, testing and inspection
- safety, security and usability certification
- languages and architectures
- software evolution and reconfigurability
- automated source code analyses
- cloud computing
- knowledge management
- empirical studies
|
|
| Important Dates |
|
|
| Workshop
Format and Submission |
|
The two-day workshop will feature
invited talks, contributed paper presentations
and a panel discussion.
All contributions in the form of either full technical papers,
between 12 and 16 pages, or short position papers, up to 6 pages,
will undergo a peer-review process.
All papers should be written in English and
prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html.
Papers must be submitted
electronically through Easychair
|
|
| Publication |
|
Accepted regular papers and a selection of
accepted short papers will be published after the Symposium by Springer in a volume of
Lecture Notes in Computer Science (LNCS), which will collect
contributions to all workshops and symposia co-located with SEFM 2012
(http://www.springer.com/lncs).
Condition for inclusion in the post-proceedings is that at least one of
the co-authors has presented the paper at the Symposium.
Pre-proceedings will be available online before the Symposium.
A special issue with selected papers may be planned, depending on the number
and quality of submissions.
|
|
| Call for Papers
|
|
The Call for Paper is available in
TEXT,
PDF
and
OpenOffice
formats.
|
|
| Program
Co-chairs |
- Siraj Shaikh, Coventry University, UK
- Ioannis Stamelos,
Aristotle University of Thessaloniki,
Greece
|
|
| Program Committee |
- Luis Barbosa, University of Minho, PT
- Jaap Boender, University of Bologna, IT
- Alexander Chatzigeorgiou, University of Macedonia, GR
- Andreas Griesmayer, Imperial College London, UK
- George Kakarontzas, Technical University of Larissa, GR
- Panagiotis Katsaros, Aristotle University of Thessaloniki, GR
- Siraj Shaikh, Coventry University, UK
(Co-chair)
- Diomidis Spinellis, Athens University of Economics and Business, GR
- Ioannis Stamelos, Aristotle University of Thessaloniki, GR
(Co-chair)
- Rene Rydhof, Aalborg University, DK
|
|
| OpenCert Steering Committee |
- Bernhard Aichernig,
Technical University of Graz, Austria
- Antonio Cerone, UNU-IIST,
United Nations University, Macau SAR China
- Martin Michlmayr,
University of Cambridge, UK
- David von Oheimb, Siemens
Corporate Technology, Germany
- José Nuno Oliveira,
Dep. de Informática, Universidade do
Minho, Portugal
|
|
| Contact |
|
All inquiries should be sent to opencert-2012@iist.unu.edu
|
|