Multi-Concerns Engineering for Safety-Critical Systems.
Philipp LohmüllerAndrea FendtBernhard BauerPublished in: MODELSWARD (2018)
Keyphrases
- safety critical
- formal methods
- agent architecture
- safety analysis
- fault tolerant
- embedded systems
- nuclear power plant
- software intensive systems
- support systems
- artificial intelligence
- knowledge based systems
- distributed systems
- management system
- adaptive systems
- decision support system
- low cost
- learning process
- cooperative
- real time