Formal verification and validation of embedded systems: the UML-based MADES approach.
Luciano BaresiGundula BlohmDimitrios S. KolovosNicholas Drivalos MatragkasAlfredo MottaRichard F. PaigeAlek RadjenovicMatteo RossiPublished in: Softw. Syst. Model. (2015)
Keyphrases
- embedded systems
- formal verification
- software systems
- model checking
- embedded real time systems
- embedded software
- low cost
- computing power
- automated verification
- model checker
- embedded devices
- processing power
- resource limited
- formal methods
- real time systems
- symbolic model checking
- metamodel
- bounded model checking
- real time image processing
- sequence diagrams
- object oriented
- safety critical
- hw sw
- database design
- software engineering
- modeling language
- field programmable gate array
- hardware software
- consumer electronics
- conceptual modeling
- software architecture
- software development
- flash memory
- software projects
- software components
- temporal logic
- cooperative