Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice.
Marc ZellerDaniel RatiuKai HöfigPublished in: SAFECOMP Workshops (2016)
Keyphrases
- safety critical
- support systems
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- software intensive systems
- decision support system
- adaptive systems
- software engineering
- artificial intelligence
- regulatory requirements
- formal specification
- low cost
- information systems
- real time