Outputs (84)

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Presentation / Conference Contribution
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. System dependability modelling and analysis using AADL and HiP-HOPS

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.

Multi-objective system optimisation with respect to availability, maintainability and cost (2012)
Thesis
Nggada, S. H. Multi-objective system optimisation with respect to availability, maintainability and cost. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4213593

Safety critical engineering systems are becoming increasingly larger and more complex. One way of ensuring the dependability of such systems is via architectural redundancy and replication of components. Use of redundancy has its limitations though,... Read More about Multi-objective system optimisation with respect to availability, maintainability and cost.

Integrated application of compositional and behavioural safety analysis (2011)
Book Chapter
Sharvia, S., & Papadopoulos, Y. (2011). Integrated application of compositional and behavioural safety analysis. In W. Zamojski, J. Kacprzyk, J. Mazurkiewicz, J. Sugier, & T. Walkowiak (Eds.), Dependable Computer Systems (179-192). Springer. https://doi.org/10.1007/978-3-642-21393-9_14

The design complexity of modern safety critical systems presents various challenges for its safety assessment process. In recent years, Model-Based Safety Analysis (MBSA) has been proposed to achieve more-robust and effective safety assessment techni... Read More about Integrated application of compositional and behavioural safety analysis.

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., Torchiaro, S., Tagliabo, F., & 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.

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Presentation / Conference Contribution
Papadopoulos, Y., & Walker, M. A hierarchical method for the reduction of temporal expressions in Pandora. Presented at Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10

Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of even... Read More about A hierarchical method for the reduction of temporal expressions in Pandora.

Automatic allocation of safety integrity levels (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D., Törngren, M., Servat, D., Abele, A., Stappert, F., Lonn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., & Sandberg, A. (2010, April). Automatic allocation of safety integrity levels. Presented at Proceedings of the 1st Workshop on Critical Automotive applications Robustness & Safety - CARS '10

In this paper, we describe a concept for the automatic allocationof general Safety Integrity Levels (SILs) to subsystems andcomponents of complex hierarchical networked architectures thatdeliver sets of safety critical functions. The concept is gener... Read More about Automatic allocation of safety integrity levels.

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)
Presentation / Conference Contribution
Nggada, S. H., Parker, D. J., & Papadopoulos, Y. I. Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS

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.