Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling
复制标题
DOI：
10.1145/2663171.2663178
复制
发表时间：
2014-11
期刊：
影响因子：
--
通讯作者：
Ehsan Ahmad;Brian R. Larson;Stephen C. Barrett;N. Zhan;Yunwei Dong
中科院分区：
文献类型：
--
作者：
Ehsan Ahmad;Brian R. Larson;Stephen C. Barrett;N. Zhan;Yunwei Dong
正确的设计和系统级别的可靠性预测高度综合的系统需要在集成的开发环境中搭配需求和建筑伪像。混合系统，具有依赖关系和其控制部分与环境之间的广泛相互作用，进一步加剧了这一需求。 AADL是一种基于模型的工程语言，用于嵌入式控制系统的建筑设计和分析。核心AADL已通过一种用于控制系统的离散行为建模和分析的机制，但没有用于物理环境的持续行为。在本文中，我们向称为“混合时间建模的混合附件”引入了轻巧的语言扩展，满足了计算系统集成建模的需求，以及其各自域中的物理环境。 FAA需求工程管理手册中描述的隔离系统用于用建议的混合附件来说明连续的行为建模。
Correct design, and system-level dependability prediction of highly-integrated systems demand the collocation of requirements and architectural artifacts within an integrated development environment. Hybrid systems, having dependencies and extensive interactions between their control portion and their environment, further intensify this need. AADL is a model-based engineering language for the architectural design and analysis of embedded control systems. Core AADL has been extended with a mechanism for discrete behavioral modeling and analysis of control systems, but not for the continuous behavior of the physical environment. In this paper, we introduce a lightweight language extension to AADL called the Hybrid Annex for continuous-time modeling, fulfilling the need for integrated modeling of the computing system along with its physical environment in their respective domains. The Isolette system described in the FAA Requirement Engineering Management Handbook is used to illustrate continuous behavior modeling with the proposed Hybrid Annex.