Safety-Critical Software Development in C++.
Daniel KästnerChristoph CullmannGernot GebhardSebastian HahnThomas KarosLaurent MauborgneStephan WilhelmChristian FerdinandPublished in: SAFECOMP Workshops (2020)
Keyphrases
- safety critical
- software development
- formal methods
- software engineering
- fault tolerant
- embedded systems
- safety analysis
- software systems
- nuclear power plant
- agent architecture
- support systems
- development process
- adaptive systems
- case study
- software components
- regulatory requirements
- software architecture
- requirements engineering
- domain independent