TY - GEN
T1 - Model-based safety analysis of simulink models using SCADE design verifier
AU - Joshi, Anjali
AU - Heimdahl, Mats P.E.
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33646134101&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33646134101&partnerID=8YFLogxK
U2 - 10.1007/11563228_10
DO - 10.1007/11563228_10
M3 - Conference contribution
AN - SCOPUS:33646134101
SN - 3540292004
SN - 9783540292005
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 122
EP - 135
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005
Y2 - 28 September 2005 through 30 September 2005
ER -