Ingredients for the Specification of Mixed-Criticality Real-Time Systems.
Raimund KirnerPublished in: ISORC (2014)
Keyphrases
- real time systems
- reactive systems
- real time
- embedded systems
- real time database systems
- timing constraints
- distributed systems
- mission critical
- low cost
- real time databases
- embedded real time systems
- real time embedded
- anytime algorithms
- architectural model
- formal specification
- object oriented programming language
- high level