A UML Profile for Requirements Analysis of Dependable Software
A UML Profile for Requirements Analysis of Dependable Software
复制标题
可靠软件需求分析的 UML 概要文件
DOI：
10.1007/978-3-642-15651-9_24
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Heisel
中科院分区：
文献类型：
--
作者：
Denis Hatebur;M. Heisel
在Safecomp 2009上，我们提出了一个可靠软件需求分析的基础。我们定义了一组模式来表达和分析可靠性需求，例如机密性、完整性、可用性和可靠性。这些模式考虑了随机故障和某些攻击，因此支持组合的安全性和安全性工程。
At Safecomp 2009, we presented a foundation for requirements analysis of dependable software. We defined a set of patterns for expressing and analyzing dependability requirements, such as confidentiality, integrity, availability, and reliability. The patterns take into account random faults as well as certain attacks and therefore support a combined safety and security engineering.
In this paper, we demonstrate how the application of our patterns can be tool supported. We present a UML profile allowing us to express the different dependability requirements using UML diagrams. Integrity conditions are expressed using OCL. We provide tool support based on the Eclipse development environment, extended with an EMF-based UML tool, e.g., Papyrus UML. We illustrate how to use the profile to model dependability requirements of a cooperative adaptive cruise control system.