Return to search

A Model-Based Approach to Formal Assurance Cases

The rapidly increasing complexity of safety-critical embedded systems has been
the cause of difficulty in assuring the safety of safety-critical embedded systems
and managing their documentation. More specifically, current approaches to
safety assurance are struggling to keep up with the complex relationships be-
tween the ever growing number of components and the sheer amount of code
underlying safety-critical embedded systems such as road vehicles. We believe
that an approach to safety assurance able to cope with this complexity must: i)
have sound mathematical foundations on which safety assurance can be built;
and ii) provide a formal framework with precisely defined semantics in which
the assurance can be represented. In doing this, assurance can be made less
ad-hoc, more precise and more repeatable. Sound mathematical foundations
also facilitate the creation of tools that automate many aspects of assurance,
which will be invaluable in coping with the complexity of modern-day and
future embedded systems. The model-based framework that achieves this is
+
Workflow . This framework is rigorous, developed on proven notations from model-based methodologies, comprehensively integrates assurance within the development activities, and provides the basis for more formal assurance cases. / Thesis / Master of Applied Science (MASc)

Identiferoai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/25343
Date January 2020
CreatorsAnnable, Nicholas
ContributorsWassyng, Alan, Lawford, Mark, Computing and Software
Source SetsMcMaster University
LanguageEnglish
Detected LanguageEnglish
TypeThesis

Page generated in 0.0019 seconds