| News |
|
| Background
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
three previous editions (collocated to ETAPS'07,
in Braga, OSS'08, at IFIP WCC, in Milan,
ETAPS'09 in York, and SEFM 2010 in Pisa,
respectively), the workshop will focus on formal
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
(Extended) |
|
|
| Workshop
Format and Submission |
|
The two-day workshop will feature
invited talks, contributed paper presentations
and a panel discussion. All contibutions, in the
form of either full technical papers, between 10
and 16 pages, or short position papers, will
undergo a peer-review process. All papers should
be written in English and prepared using the
specific ECEASST Latex templates available as zip
or gzipped
tar archives
or MS-Word templates available as zip archive
or doc file.
Short papers (up to 5 pages) can
be positions papers, tool papers or presentation
of new ideas or results which are at an early
stage of development and which have not yet been
thoroughly evaluated.
Authors of short papers may resubmit a full
paper version of their work after the workshop,
which will be reviewed for inclusion in the
ECEASST final proceedings.
Papers must be submitted
electronically through Easychair
|
|
| Publication
|
|
Accepted papers will be published
in Electronic
Communications of the EASST
after the workshop. Pre-proceedings will be
available online before the workshop.
Selected extended papers will be
invited to appear in a special issue of a
reputed journal in the field. A final decision
on this issue depends on the number and quality
of the submissions.
|
|
| Call for Papers
|
|
The Call for Paper is available in
TEXT, PDF
and PostScript formats.
|
|
| Program
Co-chairs |
- Luis Barbosa, Dep. de
Informática, Universidade do Minho,
Portugal
- Dimitrios Settas, UNU-IIST,
United Nations University, Macau SAR China
|
|
| Program Committee |
- Luis Barbosa, Dep. de
Informática, Universidade do Minho,
Portugal (Co-chair)
- Andrea Capiluppi, University
of East London, UK
- Franscisco
Carvalho-Junior, Univ. Federal do
Ceara, Brazil
- Antonio
Cerone, UNU-IIST, United Nations
University, Macau SAR China
- Ernesto
Damiani, Universita di Milano,
Italy
- Roberto
Di Cosmo, Université Paris
Diderot / INRIA, France
- Rafael
Dueire Lins, Univ. Federal de
Pernambuco, Brazil
- George
Eleftherakis, CS Department, City
College, Thessaloniki, Greece
- Elsa
Estevez, UNU-IIST, United Nations
University, Macau SAR China
- Fabrizio
Fabbrini, ISTI-CNR, Italy
- Andrei
Formiga, Univ. Federal da Paraiba,
Brazil
- Dan Ghica,
Unv. of Birmingham, UK
- Rene
Rydhof Hansen, Aalbork Univ.,
Denmark
- Mauro
Jaskelioff, Universidad Nacional de
Rosario, Argentina
- Panagiotis
Katsaros, Dept. of Informatics,
Aristotle Univ. of Thessaloniki, Greece
- Tim Kelly,
York University, UK
- Paddy
Krishnan, Bond University,
Australia
- Paolo
Milazzo, Dipartmento di
Informatica, Universita di Pisa, Italy
- Jose
Miranda, Multicert, Portugal
- Josh Noll,
LERO, Ireland
- Alexander
K. Petrendo, ISP, Russian Academy
of Science, Russian Federation
- Alejandro
Sanchez, Univ. Nacional de San
Luis, Argentina
- Dimitrios
Settas, UNU-IIST, United Nations
University, Macau SAR China (Co-chair)
- Sulayman
K. Sowe, UNU-IAS, Japan
- Ioannis
Stamelos, Dept. of Informatics,
Aristotle Univ. of Thessaloniki, Greece
- Ralf
Treinen, PPS, Universite Paris
Diderot, France
- Joost
Visser, Software Improvement Group,
The Netherlands
- Tanja Vos,
Universidad Politecnica de Valencia, Spain
- Anthony
Wasserman, Carnegie Mellon, Silicon
Valley, US
|
|
| 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-2011@iist.unu.edu
|
|