Compositional Behavioral Fault Analysis [thesis]

Author

Danielle Stewart (Ph.D. 2021)

Abstract

Model-based development tools are increasingly being used for system-level development of safety-critical systems. Architectural and behavioral models provide important information that can be leveraged to improve the system safety analysis process. Model-based design artifacts produced in early stage development activities can be used to perform system safety analysis, reducing costs and providing accurate results throughout the system life-cycle.

Link to full paper

Compositional Behavioral Fault Analysis

Keywords

software engineering