{"title":"Deriving Functional Safety Requirements Using Undesired Combination State Templates","authors":"Daniel Aceituna, Kaushik Madala, Hyunsook Do","doi":"10.1109/RESACS.2018.00006","DOIUrl":null,"url":null,"abstract":"Functional Safety (FS) has become a major consideration during the development of embedded and reactive systems. When incorporating functional safety into a system under development, the engineer must be cognitive of not just system requirements, but safety requirements as well. These safety requirements are typically derived from an initial set of hazard and risk assessments. While there are various means of performing these assessments, there is a particular classification of hazards, based on undesired combination states that may be overlooked by other techniques. In this paper, we propose a technique that addresses these hazards, using Undesired Combination States Templates (UDCST). The technique has been conceived to accommodate the constraints on time and cost typically encountered in industry. We demonstrate the technique with two real world applications.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RESACS.2018.00006","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
Functional Safety (FS) has become a major consideration during the development of embedded and reactive systems. When incorporating functional safety into a system under development, the engineer must be cognitive of not just system requirements, but safety requirements as well. These safety requirements are typically derived from an initial set of hazard and risk assessments. While there are various means of performing these assessments, there is a particular classification of hazards, based on undesired combination states that may be overlooked by other techniques. In this paper, we propose a technique that addresses these hazards, using Undesired Combination States Templates (UDCST). The technique has been conceived to accommodate the constraints on time and cost typically encountered in industry. We demonstrate the technique with two real world applications.