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