Software Product Line Engineering for Safety-critical Systems.
Philipp LohmüllerBernhard BauerPublished in: MODELSWARD (2019)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- agent architecture
- support systems
- software intensive systems
- adaptive systems
- learning systems
- intelligent systems
- decision making
- database management systems
- software development
- distributed systems
- expert systems
- product line
- cooperative
- knowledge base
- artificial intelligence