Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.
Nawal AddoucheChristian AntoineJacky MontmainPublished in: SAFECOMP (2005)
Keyphrases
- real time systems
- formal methods
- uml models
- formal analysis
- real time
- formal specification
- safety critical
- embedded systems
- real time database systems
- object oriented
- reactive systems
- artificial intelligence
- knowledge based systems
- software engineering
- distributed systems
- model checking
- real time embedded
- object oriented programming language
- timing constraints
- sequence diagrams
- knowledge acquisition
- software architecture
- fine grained
- low level
- information systems
- machine learning