Formal Verification for Embedded Systems Design Based on MDE.
Francisco Assis Moreira do NascimentoMarcio F. da S. OliveiraFlávio Rech WagnerPublished in: IESS (2009)
Keyphrases
- embedded systems
- formal verification
- embedded devices
- embedded software
- low cost
- processing power
- model checking
- hw sw
- resource limited
- computing power
- real time embedded
- real time systems
- software systems
- communication technologies
- consumer electronics
- safety critical
- symbolic model checking
- mobile devices
- embedded real time systems
- real time image processing
- flash memory
- efficient implementation
- design process
- building blocks