Bi-directional safety analysis of product lines.
Qian FengRobyn R. LutzPublished in: J. Syst. Softw. (2005)
Keyphrases
- bi directional
- safety analysis
- product lines
- product line
- nuclear power plant
- software systems
- control system
- management practices
- software product line
- software development
- safety critical
- fault model
- symbolic model checking
- associative memory
- reliability analysis
- software engineering
- embedded systems
- software architecture
- future directions
- neural network
- model checking
- real time
- formal verification
- partial observability
- software components
- source code