Deriving Functional Safety Requirements Using Undesired Combination State Templates

Daniel Aceituna, Kaushik Madala, Hyunsook Do
{"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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
使用不需要的组合状态模板导出功能安全需求
功能安全(FS)已成为嵌入式和反应性系统开发过程中的主要考虑因素。当将功能安全整合到正在开发的系统中时,工程师不仅要了解系统需求,还要了解安全需求。这些安全要求通常来自一套最初的危害和风险评估。虽然进行这些评估的方法多种多样,但基于可能被其他技术忽略的不希望的组合状态,有一种特定的危害分类。在本文中,我们提出了一种解决这些危险的技术,使用不期望的组合状态模板(UDCST)。该技术的设想是为了适应工业中通常遇到的时间和成本限制。我们用两个实际应用程序来演示该技术。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation Welcome Message from the Organizers ReqVision: Digitising Your Analog Notes into Readable and Editable Data A Knowledge Acquisition Approach for Off-Nominal Behaviors A Requirements-Based Approach for the Evaluation of Emulated IoT Systems
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1