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
- 0
- Página(s)
- 3511--3518
- DOI
- Published
- 2014
- Month
- 0
- 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