Research on Safety Analysis Techniques for Complex Software Systems.
Chenjing YanDi ZhaoJinliang GaoWei ZhangPublished in: WSSE (2023)
Keyphrases
- safety analysis
- complex software systems
- software systems
- software engineering
- software development
- nuclear power plant
- safety critical
- control system
- symbolic model checking
- fault model
- embedded systems
- artificial intelligence
- software testing
- model checking
- software components
- intelligent systems
- reliability analysis
- object oriented
- relational databases
- intelligent agents
- fault tolerant
- condition monitoring
- source code
- cooperative
- information systems
- databases