Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.
Aiman GannousAnneliese AndrewsBarbara GallinaPublished in: ISSRE Workshops (2018)
Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- control system
- model checking
- regulatory requirements
- real time
- adaptive systems
- decision making
- databases
- ambient intelligence
- intelligent agents
- intelligent systems
- knowledge acquisition
- expert systems
- multi agent
- information systems