Inspection of Safety-Critical Software Using Program-Function Tables.
David Lorge ParnasPublished in: IFIP Congress (3) (1994)
Keyphrases
- safety critical
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- agent architecture
- nuclear power plant
- database
- low cost
- regulatory requirements
- software intensive systems
- support systems
- software development
- expert systems
- databases
- distributed systems
- decision making
- adaptive systems
- information systems
- test cases
- cooperative
- learning environment
- multi agent
- artificial intelligence
- machine learning
- real time