Towards Early Verification of UML Models for Embedded and Real-Time Systems.
Marco Aurélio WehrmeisterCarlos Eduardo PereiraPublished in: CESCIT (2012)
Keyphrases
- real time systems
- uml models
- embedded systems
- real time embedded
- embedded real time systems
- real time
- object oriented
- distributed systems
- low cost
- mission critical
- timing constraints
- model checking
- sequence diagrams
- real time database systems
- embedded devices
- anytime algorithms
- test cases
- business rules
- computational intelligence