An integrated design methodology for safety critical systems.
Faïda MhenniJean-Yves CholeyNga NguyenPublished in: SysCon (2016)
Keyphrases
- multi agent systems
- safety critical
- agent architecture
- design methodology
- design criteria
- formal methods
- safety analysis
- cooperative
- design methodologies
- support systems
- embedded systems
- formal specification
- design process
- fault tolerant
- adaptive systems
- knowledge based systems
- distributed systems
- case study
- decision making
- artificial intelligence