Oris: a tool for modeling, verification and evaluation of real-time systems.
Giacomo BucciLaura CarnevaliLorenzo RidiEnrico VicarioPublished in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
- real time systems
- object oriented programming language
- architectural model
- real time
- distributed systems
- machine learning
- embedded real time systems
- model checking
- mission critical
- colored petri nets
- embedded systems
- timing constraints
- information processing
- source code
- real time database systems
- fuzzy logic
- mobile devices
- artificial intelligence