DesignLab
  • Departamento de Engenharia Mecatrônica
    Escola Politécnica - Universidade de São Paulo

Verification of Automated Systems Using Invariants

Salmon, A. Z. O. and del Foyo, P. M. G. and Silva, J. R.

Journal 
 
Autor 
Salmon, A. Z. O. and del Foyo, P. M. G. and Silva, J. R. 
Book Title 
Proc. of the XX Congresso Brasileiro de Autom{\'{a}}tica 
Volume 
Página(s) 
3511--3518 
DOI 
 
Published 
2014 
Month 
Tipo de Documento 
Conference Proceedings 
Abstract 
Nowadays, Petri net and this extensions has been used for modeling and verification of complex systems, used as a sound description language. Algorithms derived from this modeling framework can facilitate the analysis and verification of properties. Methods of verification based in invariants are among the most computacionally efficient and allow the verification of other important properties. This work proposes the use of invariants for the verification of desirable properties for an automatic system in the early design phase. Therefore invariants are used to validate requirements assuming they are elicited using UML Diagrams and modeled also in Petri Nets. Keywords— 
Keywords 
INvariants,Petri Nets,formal verification 
Publisher 
 
URL 
cba14.com.br