Graphical modelling meets formal methods
Industrial Informatics(2013)
摘要
The graphical modelling languages UML and SysML, nowadays widely used in industry, integrate different modelling concepts and notations in one standardised framework. However, they lack a clearly defined, unambiguous semantics and thus their formal verification represents a challenge. On the other hand, current safety standards, including ISO 26262, demand such verification especially for safety-relevant systems. The literature proposes a plethora of different semantics and formalisms for UML/SysML. In this paper we compare and summarise existing work on the formalisation of behavioural UML and SysML models and their verification. Our goal is to foster a better understanding of the problems related to UML/SysML formalisation, and to aid people bridging the gap from high level graphical modelling to formal verification techniques.
更多查看译文
关键词
ISO standards,Unified Modeling Language,formal verification,ISO 26262,SysML models,behavioural UML models,formal methods,formal verification techniques,graphical modelling languages,high level graphical modelling,safety standards,safety-relevant systems,standardised framework
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要