Automated analysis of timing information in UML diagrams
Automated analysis of timing information in UML diagrams
复制标题
自动分析 UML 图中的时序信息
DOI：
10.1109/ase.2004.10041
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
B. Cheng
中科院分区：
文献类型：
--
作者：
S. Konrad;L. A. Campbell;B. Cheng
介绍了一种将时序信息添加到UML图中以对嵌入式系统进行建模的方法。为了对这些带有时序信息的UML图进行自动化的形式化分析，我们扩展了一个先前开发的UML形式化框架，为这些图的时序元素提供了Promela语义。本文描述了我们的方法在电子控制转向系统中的应用，该系统是从我们的一个工业合作者那里获得的。
This work introduces an approach to adding timing information to UML diagrams for modeling embedded systems. In order to perform automated formal analysis of these UML diagrams with timing information, we extend a previously developed UML formalization framework to provide Promela semantics for the timing elements of the UML diagrams. The paper describes the application of our approach to an electronically controlled steering system obtained from one of our industrial collaborators.