Quantifiable Software Architecture for Dependable Systems of Systems
Quantifiable Software Architecture for Dependable Systems of Systems
复制标题
可靠系统的可量化软件架构
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Luqi
中科院分区：
文献类型：
--
作者：
Sheldon X. Liang;J. Puett;Luqi
软件架构是成功开发和发展可靠的系统的系统（dso）的关键方面，因为它提供了人工的轨迹，工程师可以围绕这些轨迹进行推理、构建和发展软件设计，以提供健壮性和弹性。可量化地构建dso涉及建立可靠性属性的共识（从不同涉众的角度），并将其转换为可量化的约束。不幸的是，很少有既定的方法可以在体系结构级别上考虑可靠性问题来定量地构建这样的系统。本文提出了一种可量化的体系结构方法，用于将混合系统演化为dso，以便可靠性的属性可以合理地转换为约束并附加到体系结构工件上。此外，它还提供了在整个dso发展/演变过程中定量评估这些特征的方法。基本上，该方法结合显式架构和附加到后续工件的可量化约束来加强系统组合，从而通过架构级别的静态检查和运行时的动态监视进行设计检查，提高预期系统的可靠性。
Software architecture is a critical aspect in the successful development and evolution of dependable systems of systems (DSoS), because it provides artifactual loci around which engineers can reason, construct, and evolve the software design to provide robustness and resilience. Quantifiably architecting DSoS involves establishing a consensus of attributes of dependability (from different stakeholders’ perspectives) and translating them into quantifiable constraints. Unfortunately, there are few established approaches for quantifiably architecting such systems with dependability concerns considered at the architectural level. This paper presents a quantifiable architectural approach for evolving hybrid systems into DSoS so that the attributes of dependability can be justifiably translated into constraints and attached to architectural artifacts. Furthermore, it provides a means of quantitatively assessing these characteristics throughout the DSoS development/evolution process. Basically, this approach strengthens system composition in combination with explicit architecting and quantifiable constraints attached to the subsequent artifacts so as to improve the dependability of the intended systems through design inspection via static checking at the architectural level and dynamic monitoring at runtime.