The Assurance Recipe: Facilitating Assurance Patterns
The Assurance Recipe: Facilitating Assurance Patterns
复制标题
保证秘诀：促进保证模式
DOI：
10.1007/978-3-319-99229-7_3
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Cohen, Myra B.
中科院分区：
文献类型：
--
作者：
Firestone, Justin;Cohen, Myra B.
随着安全关键系统的保证案例越来越受欢迎，它们的复杂性也越来越高，因此需要有系统地构建它们的方法。保证案例可能会变得太大、太抽象，除了原始构建者之外，任何人都无法理解，这使得重用变得困难。重用很重要，因为不同的系统可能具有相同或相似的组件，一个系统的好解决方案应该适用于类似的系统。先前的研究表明，工程师可以通过模块化和识别更容易理解的公共模式来缓解一些复杂性问题，以便在不同的系统中重复使用。然而，我们认为这些模式对于缺乏软件工程或保证案例专业知识的用户来说太复杂了。本文提出了低层模式的概念，我们称之为食谱。我们使用合成生物学的安全关键领域作为示例学科来演示如何构建和应用食谱。
As assurance cases have grown in popularity for safety-critical systems, so too has their complexity and thus the need for methods to systematically build them. Assurance cases can grow too large and too abstract for anyone but the original builders to understand, making reuse difficult. Reuse is important because different systems might have identical or similar components, and a good solution for one system should be applicable to similar systems. Prior research has shown engineers can alleviate some of the complexity issues through modularity and identifying common patterns which are more easily understood for reuse across different systems. However, we believe these patterns are too complicated for users who lack expertise in software engineering or assurance cases. This paper suggests the concept of lower-level patterns which we call recipes. We use the safety-critical field of synthetic biology, as an example discipline to demonstrate how a recipe can be built and applied.
登录
查看更多内容
DOI：
10.1007/978-3-319-59415-6_39
发表时间：
2017-07
期刊：
--
影响因子：
--
作者：
Monika Szczygielska;Aleksander Jarzębowicz
通讯作者：
Monika Szczygielska;Aleksander Jarzębowicz
确保基于组件的软件工程的安全
DOI：
--
发表时间：
2014
期刊：
IEEE International Symposium on High-Assurance Systems Engineering
影响因子：
--
作者：
P. Conmy;I. Bate
通讯作者：
I. Bate
面向安全保证重用的基于案例的推理方法
DOI：
--
发表时间：
2012
期刊：
SAFECOMP Workshops
影响因子：
--
作者：
A. Ruiz;I. Habli;H. Espinoza
通讯作者：
H. Espinoza
保证时间表：构建合成生物学的保证案例
影响因子：
3.4
作者：
Myra B. Cohen;Justin W. Firestone;M. Pierobon
通讯作者：
M. Pierobon