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 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.