UML Modeling and Formal Verification of Control/Data Driven Embedded Systems.
Fateh BoutekkoukMohamed BenmohammedPublished in: ICECCS (2009)
Keyphrases
- embedded systems
- formal verification
- data driven
- embedded real time systems
- software systems
- low cost
- computing power
- model checking
- embedded software
- model driven
- processing power
- resource limited
- embedded devices
- modeling language
- real time image processing
- hardware software
- real time systems
- automated verification
- symbolic model checking
- bounded model checking
- software development
- real time embedded
- uml profile
- control system
- flash memory
- hw sw
- object oriented
- unified modeling language
- sequence diagrams
- consumer electronics
- protocol stack
- software engineering
- open source