HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis.
Hallstein Asheim HansenPublished in: FMICS (2013)
Keyphrases
- safety critical
- embedded systems
- reachability analysis
- real time systems
- low cost
- real time
- resource limited
- fault tolerant
- control system
- embedded devices
- real time embedded
- agent architecture
- software systems
- formal methods
- markov decision processes
- timed automata
- model checking
- support systems
- field programmable gate array
- state space
- data model
- machine learning