Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.
Francisco Assis Moreira do NascimentoMarcio F. da S. OliveiraFlávio Rech WagnerPublished in: SBCCI (2009)
Keyphrases
- sequence diagrams
- formal verification
- embedded software
- embedded systems
- class diagrams
- petri net
- uml models
- model checking
- activity diagrams
- intermediate representation
- low cost
- model based testing
- embedded real time systems
- resource limited
- computing power
- unified modelling language
- regression testing
- embedded devices
- software systems
- hardware software
- class diagram
- real time systems
- test cases
- dependency graph
- object oriented
- uml class diagrams
- field programmable gate array
- database