Input-profile-based software failure probability quantification for safety signal generation systems.
Hyun Gook KangHo-Gon LimHo Jung LeeMan Cheol KimSeung-Cheol JangPublished in: Reliab. Eng. Syst. Saf. (2009)
Keyphrases
- computer systems
- safety critical
- distributed systems
- commercial software
- frequency domain
- user interface
- industrial strength
- graphical user interfaces
- open systems
- technical issues
- software architecture
- software systems
- non stationary
- signal processing
- source code
- expert systems
- software design
- formal methods
- software engineers
- generation process
- enterprise systems
- building blocks
- legacy systems
- maintenance activities