Optimization of system reliability by branch-and-bound
Evaluation of control mixer concept for reconfiguration of flight control system
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Mission effectiveness model for a system with several mission types
Failure mode, effect and criticality analysis
On fly-by-wire control system and statistical analysis of system performance
Complex system modelling with fault trees and stochastic processes
Dependability evaluation of integrated hardware/software systems