Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.
André L. N. MunizAline Maria Santos AndradeGeorge LimaPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- real time systems
- model checking
- timed automata
- real time
- formal methods
- distributed systems
- embedded real time systems
- embedded systems
- metamodel
- real time database systems
- specification language
- conceptual modeling
- modeling language
- software engineering
- timing constraints
- real time embedded
- formal specification
- object oriented
- mission critical
- software development
- temporal logic
- software systems
- database management systems
- uml class diagrams
- component based development
- data model
- object oriented programming language
- case study