Assuring Safety for Component Based Software Engineering
Assuring Safety for Component Based Software Engineering
复制标题
确保基于组件的软件工程的安全
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
I. Bate
中科院分区：
文献类型：
--
作者：
P. Conmy;I. Bate
开发安全关键系统（SCS）是一项昂贵的活动，主要是由于测试组件和通过集成它们产生的系统的成本。在更主流的系统设计中，基于模型的开发（MBD）和基于代理的软件工程（CBSE）被视为可以降低这些成本的互补活动，但是它们的使用在安全关键领域还没有得到很好的支持，因为安全是一个紧急属性。本文的贡献是描述在SCS中使用这些方法所面临的一些挑战，然后讨论如何通过适当的安全论证模式来解决这些挑战。
Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the systems produced by integrating them. In more mainstream system design, Model-Based Development (MBD) and Component-Based Software Engineering (CBSE) are seen as complementary activities that can reduce these costs, however their use is not yet well supported in the safety critical domain, as safety is an emergent property. The contributions of this paper are to describe some of the challenges of using these approaches in SCS, and then argue how through appropriate safety argument patterns the challenges can be addressed.