{"title":"起搏器行业的正式安全分析和软件工程流程","authors":"D. Santel, C. Trautmann, W. Liu","doi":"10.1109/CMPASS.1988.9648","DOIUrl":null,"url":null,"abstract":"The increasing application of software-based systems to safety-critical processes has necessitated the integration of safety into the software-development process. An example from the cardiac pacemaker industry of this safety-oriented software design methodology is provided. Safety considerations begin on product description with the hazard analysis, whereby potential hazards are classified according to their criticality and qualitative probability of occurrence. The completed hazard analysis determines the software safety requirements, which specify what the system will not do. A system hazard cross-check matrix is defined that serves to direct the design team to those areas requiring more scrutiny. Finally, traceability matrices provide a verifiable link from safety requirements through design to the actual code. This methodology should serve to minimize hazards in the final software product.<<ETX>>","PeriodicalId":224212,"journal":{"name":"Computer Assurance, 1988. COMPASS '88","volume":"43 2-3","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Formal safety analysis and the software engineering process in the pacemaker industry\",\"authors\":\"D. Santel, C. Trautmann, W. Liu\",\"doi\":\"10.1109/CMPASS.1988.9648\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The increasing application of software-based systems to safety-critical processes has necessitated the integration of safety into the software-development process. An example from the cardiac pacemaker industry of this safety-oriented software design methodology is provided. Safety considerations begin on product description with the hazard analysis, whereby potential hazards are classified according to their criticality and qualitative probability of occurrence. The completed hazard analysis determines the software safety requirements, which specify what the system will not do. A system hazard cross-check matrix is defined that serves to direct the design team to those areas requiring more scrutiny. Finally, traceability matrices provide a verifiable link from safety requirements through design to the actual code. This methodology should serve to minimize hazards in the final software product.<<ETX>>\",\"PeriodicalId\":224212,\"journal\":{\"name\":\"Computer Assurance, 1988. COMPASS '88\",\"volume\":\"43 2-3\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer Assurance, 1988. COMPASS '88\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPASS.1988.9648\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Assurance, 1988. COMPASS '88","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1988.9648","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal safety analysis and the software engineering process in the pacemaker industry
The increasing application of software-based systems to safety-critical processes has necessitated the integration of safety into the software-development process. An example from the cardiac pacemaker industry of this safety-oriented software design methodology is provided. Safety considerations begin on product description with the hazard analysis, whereby potential hazards are classified according to their criticality and qualitative probability of occurrence. The completed hazard analysis determines the software safety requirements, which specify what the system will not do. A system hazard cross-check matrix is defined that serves to direct the design team to those areas requiring more scrutiny. Finally, traceability matrices provide a verifiable link from safety requirements through design to the actual code. This methodology should serve to minimize hazards in the final software product.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
