Skip to main content

Research Repository

Advanced Search

Outputs (2)

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. (2012). System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 45(6), 1647-1652. https://doi.org/10.3182/20120523-3-RO-2023.00334

The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and d... Read More about System dependability modelling and analysis using AADL and HiP-HOPS.

Compositional synthesis of temporal fault trees from state machines (2012)
Journal Article
Papadopoulos, Y., Walker, M., & Mahmud, N. (2012). Compositional synthesis of temporal fault trees from state machines. Performance Evaluation Review, 39(4), 79-88. https://doi.org/10.1145/2185395.2185444

Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts... Read More about Compositional synthesis of temporal fault trees from state machines.