AADL-Based safety analysis using formal methods applied to aircraft digital systems.
Danielle StewartJing LiuDarren D. CoferMats Per Erik HeimdahlMichael W. WhalenMichael PetersonPublished in: Reliab. Eng. Syst. Saf. (2021)
Keyphrases
- formal methods
- safety critical
- safety analysis
- nuclear power plant
- formal analysis
- software engineering
- machine learning
- model checking
- fault tolerant
- embedded systems
- formal specification
- knowledge based systems
- artificial intelligence
- model checker
- life cycle
- distributed systems
- case study
- symbolic model checking
- real time