Hierarchical modeling and analysis of embedded systems
Proceedings of the IEEE(2003)
摘要
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 compositiona...
更多查看译文
关键词
Embedded system,Automatic control,Control systems,Medical control systems,Embedded software,Biological system modeling,Power system modeling,Automotive engineering,Robot sensing systems,Robot kinematics
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要