{"title":"Automatic SysML-based safety analysis","authors":"Philipp Helle","doi":"10.1145/2432631.2432635","DOIUrl":null,"url":null,"abstract":"Model-based Safety Analysis (MBSA) techniques exist that ensure an increased consistency by formalising the safety analysis and allow automation of the safety calculations. With the increased acceptance of Model-based Systems Engineering (MBSE) as the new systems engineering paradigm, it seems natural to combine MBSE and MBSA. This work provides a methodology and tool support for an integrated MBSE and MBSA on one common model based on SysML which allows the systems engineers to perform an automated safety analysis to receive quick feedback on their design decisions during the system design phase.","PeriodicalId":158450,"journal":{"name":"ACES-MB '12","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"27","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACES-MB '12","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2432631.2432635","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 27
Abstract
Model-based Safety Analysis (MBSA) techniques exist that ensure an increased consistency by formalising the safety analysis and allow automation of the safety calculations. With the increased acceptance of Model-based Systems Engineering (MBSE) as the new systems engineering paradigm, it seems natural to combine MBSE and MBSA. This work provides a methodology and tool support for an integrated MBSE and MBSA on one common model based on SysML which allows the systems engineers to perform an automated safety analysis to receive quick feedback on their design decisions during the system design phase.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
