SMT-Based Verification of Safety-Critical Embedded Control Software.
Sunandan AdhikaryAmit GurungJay ThakkarAntonio Anastasio Bruto da CostaSoumyajit DeyAritra HazraPallab DasguptaPublished in: IEEE Embed. Syst. Lett. (2021)
Keyphrases
- expert systems
- control software
- safety critical
- formal methods
- safety analysis
- knowledge based systems
- control system
- embedded systems
- fault tolerant
- nuclear power plant
- artificial intelligence
- model checking
- agent architecture
- regulatory requirements
- support systems
- adaptive systems
- fault model
- software engineering
- cooperative
- formal specification
- dynamic environments
- low cost
- computational intelligence
- information extraction