Building heterogeneous safety cases for automatically generated code

• Main Authors: N., Basir,, E., Denney,
• Format: Conference Paper
• Language: en_US
• Published: 2015
• Subjects: Automated code generation; Automated theorem proving; Formal analysis; Formal proofs; Model-based software development; Safety cases; V&V
• Online Access: http://ddms.usim.edu.my/handle/123456789/9136

Safety cases provide a mechanism for representing evidence-based arguments that a system is acceptably safe to operate in its intended context. We show how we can automatically combine diverse types of information from heterogeneous sources into a single integrated safety case for a system implement...