CoRSA - Constraint-based Requirements and Safety Analyis

Speaker: Kevin Hollingworth

Abstract

It is now widely accepted that the development of critical embedded systems should be subjected to safety analysis. However, unlike for conventional critical systems, current approaches for the safety analysis of computer-based systems are of limited effectiveness. In this presentation a novel approach for modelling and safety analysis of embedded systems will be introduced. This approach is based on establishing a relationship between the analysis of safety properties of a state transition model and the resolution of a constraint satisfaction problem. In particular the presentation will: introduce a process model for CoRSA; describe a template notation for modelling entities of a physical environment or controller, based on expressing state transition models as constraints; establish relationships between the analysis of these models and the resolution of constraint satisfaction problems.