Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design.
Susmita GuhaAkash NagRahul KarmakarPublished in: ISDA (2020)
Keyphrases
- safety critical
- formal verification
- formal methods
- embedded systems
- model checking
- safety analysis
- model checker
- fault tolerant
- support systems
- automated verification
- case study
- knowledge based systems
- regulatory requirements
- nuclear power plant
- management system
- agent architecture
- adaptive systems
- user interface
- symbolic model checking
- machine learning
- distributed systems
- load balancing
- formal specification
- learning systems
- design process
- decision support system
- reinforcement learning
- real time