Model-based safety analysis of simulink models using SCADE design verifier

Anjali Joshi, Mats P.E. Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

87 Scopus citations

Abstract

Safety analysis techniques have traditionally been performed manually by the safety engineers. Since these analyses are based on an informal model of the system, it is unlikely that these analyses will be complete, consistent, arid error-free. Using precise formal models of the system as the basis of the analysis may help reduce errors and provide a more thorough analysis. Further, these models allow automated analysis, which may reduce the manual effort required. The process of creating system models suitable for safety analysis closely parallels the model-based development process that is increasingly used for critical system and software development. By leveraging the existing tools and techniques, we can create formal safety models using tools that are familiar to engineers and we can use the static analysis infrastructure available for these tools. This paper reports our initial experience in using model-based safety analysis on an example system taken from the ARP Safety Assessment guidelines document.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages122-135
Number of pages14
DOIs
StatePublished - 2005
Event24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005 - Fredrikstad, Norway
Duration: Sep 28 2005Sep 30 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3688 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005
CountryNorway
CityFredrikstad
Period9/28/059/30/05

Fingerprint Dive into the research topics of 'Model-based safety analysis of simulink models using SCADE design verifier'. Together they form a unique fingerprint.

Cite this