MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.
Alek RadjenovicNikolas Drivalos MatragkasRichard F. PaigeMatteo RossiAlfredo MottaLuciano BaresiDimitrios S. KolovosPublished in: ECMFA (2012)
Keyphrases
- embedded systems
- uml models
- automated verification
- sequence diagrams
- embedded software
- model checking
- embedded devices
- computing power
- resource limited
- real time systems
- automated reasoning
- low cost
- hardware software
- formal verification
- object oriented
- consumer electronics
- databases
- embedded real time systems
- flash memory
- hw sw
- field programmable gate array
- case study
- intermediate representation
- software systems
- information systems