Introducing the modeling and verification process in SysML

Marcos V Linhares, Romulo S. de Oliveira, Jean-Marie Farines, Francois Vernadat
2007 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)  
The development process of complex systems needs to take in account differents domains and aspects. SysML (Systems Modeling Language) is a new modeling language that allows a system description with various integrated diagrams (as structure, behavior and requirements diagrams), but SysML lacks formality for the requirement verification. The aim of this paper is to propose an approach to verify complex systems using SysML as a language which describes the system structure and requirements. Petri
more » ... requirements. Petri nets and temporal logic LTL are used respectively to formalize the system behavior and requirements. The benefit of such formalization is to allow an automatic formal verification. In order to demonstrate this methodology, it will be used a factory automation system, modeled by SysML and Petri nets, and verified by the TINA toolbox.
doi:10.1109/efta.2007.4416788 dblp:conf/etfa/LinharesOFV07 fatcat:7alhz6y6h5fi3p7nkeabsk665q