The paper, “Deriving Safety Cases for Hierarchical Structure in Model-based Development,” was presented at the 29th International Conference on Computer Safety, Reliability, and Security (SAFECOMP ’10) in Vienna, Austria, September 14-17, where it won the best paper award. The paper describes a technique to automatically generate safety cases — an evidence-based safety methodology — from formal analyses of software.
NASA is funding this work under the Verification and Validation of Flight-critical Systems (VVFCS) program, which seeks to develop “argument-based safety assurance” by developing a framework based on safety cases, including methods and tools, for analyzing and ensuring the safety of flight-critical systems. The PI for this project is Ewen Denney (COTR Tom Pressburger). The paper is the joint work of Bernd Fischer and Nurlida Basir, who visited Ames as an intern last summer under VVFCS funding.
BACKGROUND: SAFECOMP is an annual event covering the state of the art and new trends in the areas of computer safety, reliability and security regarding dependable application of computer systems. SAFECOMP provides a venue to exchange insights and experiences on emerging methods and practical applications across the borders of different disciplines. SAFECOMP focuses on safety-critical computer applications and is a platform for knowledge and technology transfer between academia, industry, and research institutions.
NASA PROGRAM FUNDING: Verification and Validation of Flight-critical Systems (VVFCS) Program
Contact: Ewen Denney