Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar.
Tobias R. GundersenFlorian LorberUlrik NymanChristian OvesenPublished in: GandALF (2018)
Keyphrases
- real time systems
- real time
- distributed systems
- fault diagnosis
- timing constraints
- fault model
- real time database systems
- embedded systems
- architectural model
- real time embedded systems
- embedded real time systems
- object oriented programming language
- mission critical
- real time embedded
- artificial intelligence
- fuzzy logic
- cooperative
- database systems
- machine learning
- neural network