Model-Based Design and Verification of Reactive Systems
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009（2009）
摘要
The article is focused on a model-based design and verification of reactive systems. In opposite to common approaches to developing reliable systems, at first a model of a system is constructed in high level visual language, then it is verified on this level of abstraction and consequently a low level code for target platform is generated. In approach discussed in this article an UML statechart formalism is used for construction of the model. This model is translated into Promela model and verified by the SPIN model checker.
更多查看译文
关键词
target platform,spin model checker,reactive system,model-based design,low level code,reac- tive systems.,reactive systems,formal verification,promela model,reliable system,uml statechart formalism,high level,common approach,state charts,model based design
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要