Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice.
Marc ZellerDaniel RatiuKai HöfigPublished in: CoRR (2021)
Keyphrases
- safety critical
- support systems
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- agent architecture
- nuclear power plant
- regulatory requirements
- adaptive systems
- management system
- artificial intelligence
- software engineering
- software intensive systems
- learning systems
- knowledge based systems
- intelligent systems
- decision support system
- data mining