Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.
Thomas ReinbacherKristin Yvonne RozierJohann SchumannPublished in: TACAS (2014)
Keyphrases
- real time systems
- health management
- real time
- engineering systems
- distributed systems
- embedded systems
- real time database systems
- timing constraints
- temporal constraints
- object oriented programming language
- architectural model
- knowledge representation
- pairwise
- real time embedded
- low cost
- fuzzy logic
- multi agent systems
- optimal solution