Automating Software FMEA via Formal Analysis of Dependence Relations.
Wei DongJi WangChangzhi ZhaoXian ZhangJie TianPublished in: COMPSAC (2008)
Keyphrases
- formal analysis
- formal methods
- software systems
- software architecture
- software design
- software tools
- data model
- failure modes
- ban logic
- user interface
- agent model
- software components
- computer systems
- embedded systems
- design patterns
- knowledge acquisition
- software development
- source code
- safety analysis
- software engineering