Hierarchical Hybrid Modeling of Embedded Systems
Hierarchical Hybrid Modeling of Embedded Systems
复制标题
嵌入式系统的分层混合建模
DOI：
10.1007/3-540-45449-7_2
复制
发表时间：
2001
影响因子：
4.6
通讯作者：
O. Sokolsky
中科院分区：
文献类型：
--
作者：
R. Alur;T. Dang;J. Esposito;R. Fierro;Y. Hur;Franjo Ivancic;Vijay R. Kumar;Insup Lee;Pradyumna Mishra;George Pappas;O. Sokolsky
本文介绍了用于相互作用混合系统模块化设计的建模语言。该语言允许规范建筑和行为层次结构，离散以及连续活动。该语言的模块化结构不仅是句法，而且由分析工具所利用，并且得到具有伴随的精致理论的正式语义的支持。我们使用自动化的高速公路上有关车辆协调的示例来说明Charon在设计嵌入式控制软件方面的好处。
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in design of embedded control software using examples from automated highways concerning vehicle coordination.