Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS.
Abhishek SinghMeenakshi D'SouzaArshad EbrahimPublished in: ICACCI (2018)
Keyphrases
- formal verification
- safety critical
- model checking
- formal methods
- safety analysis
- symbolic model checking
- fault tolerant
- nuclear power plant
- embedded systems
- agent architecture
- model checker
- support systems
- formal specification
- regulatory requirements
- adaptive systems
- temporal logic
- multi agent
- knowledge base
- machine learning
- real time