Software adopted in safety-critical domains, such as avionics, automotive, and nuclear, has to undergo a certification process, that is, a formal assurance process to show that the system behaves safely. Industry has followed for decades a conservative approach to safety; however, recent advancements in several areas (e.g., model-driven development, formal methods, software reliability modeling) have the potential of significantly
improving the effectiveness and the efficiency of software development for safety-critical systems. The second edition of WoSoCER (co-located with ISSRE2012) intends to bring together researchers, practitioners, companies, domain experts, and certification authorities interested in
investigating and discussing novel approaches towards development, verification, and assessment of software products to be certified, according to some certification
standard, for a given safety-critical domain.
Topics of interest include, but are not limited to:
- Methodological improvements of development
process of software to be certified.
- Modeling techniques, formalisms, measurements
processes, new metrics, strategies, and tools for
safety analysis, safety evidences formalization
and quantification, design, verification and
assessment of software-intensive systems to
certify.
- Product-oriented certification.
- COTS and software reuse in safety-certified
critical systems.
- Practical experiences and case studies regarding
software to certify and/or certified.
- Empirical studies on the adoption of novel
practices in real-world projects.
- Practical experiences with newly released safety
standards (e.g., DO178C, EN 50128 2011, and ISO26262).
Accepted papers will appear in the supplemental
proceedings, which will be published by the IEEE Computer Society.