Supporting the Design of Safety Critical Systems Using AADL.
T. CorreaLeandro Buss BeckerJean-Marie FarinesJean-Paul BodeveixMamoun FilaliFrançois VernadatPublished in: ICECCS (2010)
Keyphrases
- safety critical
- support systems
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- nuclear power plant
- knowledge based systems
- agent architecture
- machine learning
- building blocks
- information systems
- learning systems
- management system
- software intensive systems
- regulatory requirements
- design process
- decision makers
- case study
- real time