Error Analysis and Reliability Metrics for Software in Safety Critical Systems.
Jonathan LockhartCarla PurdyPhilip A. WilseyPublished in: MWSCAS (2018)
Keyphrases
- safety critical
- error analysis
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- agent architecture
- nuclear power plant
- adaptive systems
- support systems
- software intensive systems
- software development
- information systems
- regulatory requirements
- knowledge based systems
- intelligent systems
- distributed systems
- low cost
- least squares
- image sequences