Output details
11 - Computer Science and Informatics
University of Hull
Engineering failure analysis and design optimisation with HiP-HOPS
<09> This paper introduces a novel capability in the HiP-HOPS methodology and tool: automatic optimisation of safety critical system architectures during design. This development enables system architects to consider alternative implementations for subsystems and components when striving for high dependability whilst achieving an optimal trade-off with other objectives such as cost. The optimisation method and capabilities are unique among state-of-the-art methods in model-based dependability assessment and improve the commercial HiP-HOPS tool which is gathering momentum of use in safety critical industries in general and the transport sector in particular. Techniques have been shown to scale up and are industrially applied.