Object-oriented design of real-time systems with stereotypes.
Miguel A. de MiguelAlejandro AlonsoJuan Antonio de la PuentePublished in: RTS (1997)
Keyphrases
- real time systems
- object oriented design
- formal specification
- object oriented systems
- software design
- real time
- object oriented
- distributed systems
- embedded systems
- mission critical
- timing constraints
- real time database systems
- object oriented programming language
- architectural model
- software maintenance
- real time operating system rtos
- model checking
- machine learning