Combining UML and formal notations for modelling real-time systems.
Luigi LavazzaGabriele QuaroniMatteo VenturelliPublished in: ESEC / SIGSOFT FSE (2001)
Keyphrases
- real time systems
- modeling language
- unified modeling language
- formal methods
- uml profile
- real time
- embedded systems
- embedded real time systems
- distributed systems
- reactive systems
- software systems
- real time database systems
- architectural model
- metamodel
- timing constraints
- object oriented
- artificial intelligence
- mission critical
- real time embedded
- formal specification
- software engineering
- anytime algorithms
- model driven architecture
- case study