Verification and testing of safety-critical airborne systems: A model-based methodology.
Mounia ElqortobiWarda El-KhoulyAmine RahjJamal BentaharRachida DssouliPublished in: Comput. Sci. Inf. Syst. (2020)
Keyphrases
- safety critical
- formal methods
- safety analysis
- fault tolerant
- support systems
- embedded systems
- nuclear power plant
- agent architecture
- regulatory requirements
- machine learning
- formal verification
- model checking
- distributed systems
- learning systems
- adaptive systems
- software engineering
- management system
- fault model
- data model
- multi agent systems