Abstract is missing.
- Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical SystemsHuáscar Espinoza, Alejandra Ruiz, Mehrdad Sabetzadeh, Paolo Panaroni. 1-6 [doi]
- Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and ExperienceRajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand. 7-12 [doi]
- Towards Goal-Based Software Safety Certification Based on Prescriptive StandardsErik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie. 13-18 [doi]
- The PreCertification Kit for Operating Systems in Safety DomainsDomenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa. 19-24 [doi]
- Independent Test Verification: What Metrics Have a Word to SayNuno Silva, Rui Lopes. 25-30 [doi]
- Design Improvement of System Administrative Operations for CertificationKumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi. 31-36 [doi]
- Error Models and Software CertificationWilliam E. Howden. 37-42 [doi]
- Generation of Certifiably Correct Programs from Formal ModelsAlexei Iliasov. 43-48 [doi]
- Investigation on Safety-Related Standards for Critical SystemsChristian Esposito, Domenico Cotroneo, Nuno Silva. 49-54 [doi]