@inproceedings{905274bfc64a46959d63812a81ef9f15,
title = "A Tool for Transforming SysML State Machine into Uppaal Automatically",
abstract = "SysML state machine (SysML-STM) is a modeling tool used in the Systems Modeling Language (SysML) to describe the behavior of a system. It is widely used in model-driven development (MDD). Formal methods are mathematical techniques to ensure the correctness, reliability and safety of software systems and hardware designs. In this paper, we introduce formal methods into MDD by transforming a SysML-STM model into a Uppaal timed automata. By formally verifying the system at an early stage of the development life-cycle, we aim to enhance the system's robustness. We design the mapping rules between the two models and have developed a tool, STMTU, to transform them directly. Our tool effectively leverage the benefits of formal verification techniques to ensure the correctness and reliability of the system. And the direct transformation of these models not only reduces the learning cost for developers but also helps to promote the wider adoption of formal methods.",
keywords = "ATL, Formal Methods, Model Transformation, State Machine, SysML, Timed Automata, Uppaal",
author = "Shaopeng Wang and Jianqi Shi and Yanhong Huang and Yang Yang",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 2023 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023 ; Conference date: 01-10-2023 Through 04-10-2023",
year = "2023",
doi = "10.1109/SMC53992.2023.10394302",
language = "英语",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "2471--2476",
booktitle = "2023 IEEE International Conference on Systems, Man, and Cybernetics",
address = "美国",
}