Stopping Rules for the Operational Testing of Safety-Critical Software.
Bev LittlewoodDavid WrightPublished in: FTCS (1995)
Keyphrases
- safety critical
- stopping rules
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- agent architecture
- software intensive systems
- nuclear power plant
- support systems
- regulatory requirements
- adaptive systems
- test cases
- real time
- distributed systems
- software development
- confidence intervals
- low cost
- decision making
- artificial intelligence
- control system
- expert systems
- cooperative
- multi agent