Dependability analysis in the early phases of UML-based system design
Dependability analysis in the early phases of UML-based system design
复制标题
基于 UML 的系统设计早期阶段的可靠性分析
DOI：
--
复制
发表时间：
2001
影响因子：
2.2
通讯作者：
G. Savoia
中科院分区：
文献类型：
--
作者：
A. Bondavalli;M. D. Cin;D. Latella;I. Majzik;A. Pataricza;G. Savoia
一个完整的系统规范不足以保证计算机系统在其整个生命周期中充分执行其任务。早期评估系统特征，如可靠性、正确性和性能，对于评估正在开发的系统与其目标的一致性是必要的。本文介绍了到目前为止在开发一个集成环境方面所取得的成果，在这个集成环境中，基于统一建模语言的设计工具被添加了验证和分析技术，这些技术在系统设计的早期阶段提供了有用的信息。自动转换是为生成模型来捕获系统行为属性、可靠性和性能而定义的。
A thorough system specification is insufficient to guarantee that a computer system will adequately perform its tasks during its entire life cycle. The early evaluation of system characteristics like dependability, correctness and performance is necessary to assess the conformance of the system under development to its targets. This paper presents the results achieved so far to develop an integrated environment, where design tools based on the UML (Unified Modeling Language) are augmented with validation and analysis techniques that provide useful information in the early phases of system design. Automatic transformations are defined for the generation of models to capture system behavioral properties, dependability and performance.