All Outputs (53)

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.

Integrated safety and architecture modeling for automotive embedded systems (2011)
Journal Article
Chen, D., Johansson, R., Lönn, H., Blom, H., Walker, M., Papadopoulos, Y., …Sandberg, A. (2011). Integrated safety and architecture modeling for automotive embedded systems. Elektrotechnik und Informationstechnik : E & I, 128(6), 196-202. https://doi.org/10.1007/s00502-011-0007-7

EAST-ADL is an architecture description language (ADL) for model-based development of automotive embedded systems. The formalization of domain-specific engineering information and methodology brings a potential for a wide range of benefits for inform... Read More about Integrated safety and architecture modeling for automotive embedded systems.

An approach to optimization of fault tolerant architectures using HiP-HOPS (2011)
Journal Article
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., & Tohdo, T. (2011). An approach to optimization of fault tolerant architectures using HiP-HOPS. Software: Practice and Experience, 41(11), 1303-1327. https://doi.org/10.1002/spe.1044

New processes for the design of dependable systems must address both cost and dependability concerns. They should also maximize the potential for automation to address the problem of increasing technological complexity and the potentially immense des... Read More about An approach to optimization of fault tolerant architectures using HiP-HOPS.

Capture and reuse of composable failure patterns (2010)
Journal Article
Wolforth, I., Walker, M., Papadopoulos, Y., & Grunske, L. (2010). Capture and reuse of composable failure patterns. International Journal of Critical Computer-Based Systems, 1(1/2/3), 128-147. https://doi.org/10.1504/IJCCBS.2010.031710

Emerging safety analysis techniques use composition of failure models or fault simulation in formal models of a system to determine relationships between the causes and effects of failure. Most recent work has focused on developing system modelling a... Read More about Capture and reuse of composable failure patterns.

Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS (2010)
Journal Article
Nggada, S. H., Parker, D. J., & Papadopoulos, Y. I. (2010). Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 43(17), 204-209. https://doi.org/10.3182/20100908-3-pt-3007.00039

The occurrence of failure in a safety critical engineering system can be reduced through the use of preventive maintenance (PM). Each time a component of the system is maintained its effective age is reduced; the extent of this age reduction depends... Read More about Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS.

Engineering failure analysis and design optimisation with HiP-HOPS (2010)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., …Lien, R. (2011). Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 18(2), 590-608. https://doi.org/10.1016/j.engfailanal.2010.09.025

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. I... Read More about Engineering failure analysis and design optimisation with HiP-HOPS.

Generalizable safety annotations for specification of failure patterns (2010)
Journal Article
Papadopoulos, Y., Walker, M., Grunske, L., & Wolforth, I. (2010). Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, 40(5), 453-483. https://doi.org/10.1002/spe.966

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safe... Read More about Generalizable safety annotations for specification of failure patterns.

Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook (2009)
Journal Article
Papadopoulos, Y., & Walker, M. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control engineering practice, 17(10), 1115-1125. https://doi.org/10.1016/j.conengprac.2008.10.003

The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the notation and mathematical foundation of this widely used safety analysis technique. The Handbook recognises that classical combinatorial fault trees... Read More about Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook.

Semi-automatic FMEA supporting complex systems with combinations and sequences of failures (2009)
Journal Article
Walker, M., Papadopoulos, Y., Parker, D., Lönn, H., Törngren, M., Chen, D., …Sandberg, A. (2009). Semi-automatic FMEA supporting complex systems with combinations and sequences of failures. SAE International Journal of Passenger Cars - Mechanical Systems, 2(1), 791-802. https://doi.org/10.4271/2009-01-0738

Failure Modes and Effects Analysis (FMEA) is a well established safety analysis technique used for the assessment of safety critical engineering systems in the automotive industry. Although FMEA has been shown to be useful, the analysis is typically... Read More about Semi-automatic FMEA supporting complex systems with combinations and sequences of failures.

Multi-objective optimization of dependability attributes using an asynchronous heterogeneous hierarchical parallel genetic algorithm (2008)
Journal Article
Wenhua, Z., Papadopoulos, Y., & Parker, D. (2008). Multi-objective optimization of dependability attributes using an asynchronous heterogeneous hierarchical parallel genetic algorithm. IFAC Proceedings Volumes/ International Federation of Automatic Control, 41(3), 199-204. https://doi.org/10.3182/20081205-2-cl-4009.00036

The optimal satisfaction of dependability attributes and cost, in the design of engineering systems, is a hard multi-objective optimization problem which requires automated algorithms that can effectively search large design spaces. In this paper, a... Read More about Multi-objective optimization of dependability attributes using an asynchronous heterogeneous hierarchical parallel genetic algorithm.

Non-coherent modelling in compositional fault tree analysis (2008)
Journal Article
Sharvia, S., & Papadopoulos, Y. I. (2008). Non-coherent modelling in compositional fault tree analysis. IFAC Proceedings Volumes/ International Federation of Automatic Control, 41(2), 4138-4143. https://doi.org/10.3182/20080706-5-KR-1001.00696

The inclusion of NOT gates in a fault tree creates a 'non-coherent' structure in which not only the failure of a component but also the negation of failure, i.e. the working state of the component, can contribute to the undesirable effects on a syste... Read More about Non-coherent modelling in compositional fault tree analysis.

Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates (2007)
Journal Article
Walker, M., & Papadopoulos, Y. (2008). Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates. Nonlinear Analysis: Hybrid Systems, 2(2), 368-382. https://doi.org/10.1016/j.nahs.2006.05.003

Classical Fault Tree Analysis (FTA) can determine the effects of combinations of failure events on a system but cannot capture the significance of the temporal order of events, which may be critical. In this paper, we propose an extension based on fo... Read More about Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates.