Codesign of dependable systems: A component-based modeling language
Codesign of dependable systems: A component-based modeling language
复制标题
可靠系统的协同设计：基于组件的建模语言
DOI：
10.1109/memcod.2009.5185388
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
T. Noll
中科院分区：
文献类型：
--
作者：
M. Bozzano;A. Cimatti;Marco Roveri;J. Katoen;Viet Yen Nguyen;T. Noll
本文提出了一种基于模型的方法，系统软件协同工程的重点是航空航天系统，但相关的更广泛的一类可靠的系统。我们提出了SLIM建模语言的主要成分，并通过使用事件数据自动机网络提供正式语义来精确解释SLIM模型。这种基于组件的方法的主要区别方面是可以描述标称硬件和软件操作，混合（和定时）方面，以及概率故障及其传播和恢复。由于我们的方法与标准化的AADL（架构分析与设计语言）非常相似，本文的第二个贡献是AADL的一个大片段的正式语义，包括其错误模型附件。
This paper presents a model-based approach to system-software co-engineering which is focused on aerospace systems but is relevant to a much wider class of dependable systems. We present the main ingredients of the SLIM modeling language and give a precise interpretation of SLIM models by providing a formal semantics using networks of event-data automata. The major distinguishing aspects of this component-based approach are the possibility to describe nominal hardware and software operations, hybrid (and timing) aspects, as well as probabilistic faults and their propagation and recovery. As our approach bears strong resemblance to the standardized AADL (Architecture Analysis and Design Language), a secondary contribution of this paper is a formal semantics of a large fragment of AADL including its Error Model Annex.