{"title":"A combined analysis approach to assessing requirements for safety critical real-time control systems","authors":"P. L. Goddard","doi":"10.1109/RAMS.1996.500650","DOIUrl":null,"url":null,"abstract":"A combined Petri net and FMEA based approach to requirements analysis of safety critical embedded real-time central systems developed by Hughes has been proven to provide a method of identifying incomplete, inconsistent, and incorrect requirements which may impact safety. This analysis method is applicable early in the design process, allowing requirement changes to be identified and implemented with minimal cost and schedule impact. It has been applied to several real world systems with positive results; missing, inconsistent, and incorrect requirements were identified in all cases. The approach is expected to be able to be implemented with minimal training of existing analysis personnel. Some training in Petri nets may be needed. This training should be able to be self taught.","PeriodicalId":393833,"journal":{"name":"Proceedings of 1996 Annual Reliability and Maintainability Symposium","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1996-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1996 Annual Reliability and Maintainability Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RAMS.1996.500650","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 16
Abstract
A combined Petri net and FMEA based approach to requirements analysis of safety critical embedded real-time central systems developed by Hughes has been proven to provide a method of identifying incomplete, inconsistent, and incorrect requirements which may impact safety. This analysis method is applicable early in the design process, allowing requirement changes to be identified and implemented with minimal cost and schedule impact. It has been applied to several real world systems with positive results; missing, inconsistent, and incorrect requirements were identified in all cases. The approach is expected to be able to be implemented with minimal training of existing analysis personnel. Some training in Petri nets may be needed. This training should be able to be self taught.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
