Safety-Critical Protective Systems and Margins of Safety.
Martin A. WortmanErnest KeePranav KannanPublished in: CoRR (2020)
Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- adaptive systems
- distributed systems
- intelligent systems
- decision making
- object oriented
- software engineering
- regulatory requirements
- decision support system
- knowledge representation