Sciweavers

SAFECOMP
2010
Springer

Deriving Safety Cases for Hierarchical Structure in Model-Based Development

13 years 8 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, since code generators are typically not qualified, there is no guarantee that their output satisfies the system requirements, or is even safe. Here we present an approach to systematically derive safety cases that argue along the hierarchical structure in model-based development. The safety cases are constructed mechanically using a formal analysis, based on automated theorem proving, of the automatically generated code. The analysis recovers the model structure and component hierarchy from the code, providing independent assurance of both code and model. It identifies how the given system safety requirements are broken down into component requirements, and where they are ultimately established, thus establishing a hierarchy of requirements that is aligned with the hierarchical model structure. The derived s...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where SAFECOMP
Authors Nurlida Basir, Ewen Denney, Bernd Fischer 0002
Comments (0)