A design flow with integrated verification of requirements and faults in safety-critical systems.
Wei YanDaniel FontaineJohn A. ChandyLaurent MichelPublished in: SoSE (2017)
Keyphrases
- safety critical
- formal methods
- safety analysis
- regulatory requirements
- embedded systems
- support systems
- fault tolerant
- knowledge based systems
- expert systems
- adaptive systems
- agent architecture
- model checking
- nuclear power plant
- artificial intelligence
- modeling language
- formal specification
- design process
- building blocks
- decision support system
- formal verification
- user interface
- case study
- software intensive systems
- information systems