All Outputs (18)

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (2020)
Presentation / Conference Contribution
Aslansefat, K., Sorokos, I., Whiting, D., Tavakoli Kolagari, R., & Papadopoulos, Y. (2020). SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. Lecture notes in computer science, 12297, 197-211. https://doi.org/10.1007/978-3-030-58920-2_13

Ensuring safety and explainability of machine learning (ML) is a topic of increasing relevance as data-driven applications venture into safety-critical application domains, traditionally committed to high safety standards that are not satisfied with... Read More about SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures.

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (2020)
Presentation / Conference Contribution
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture notes in computer science, 12297 LNCS, 179-193. https://doi.org/10.1007/978-3-030-58920-2_12

© 2020, Springer Nature Switzerland AG. Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards.... Read More about An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Presentation / Conference Contribution
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. Lecture notes in computer science, 12297 LNCS, 130-145. https://doi.org/10.1007/978-3-030-58920-2_9

© 2020, Springer Nature Switzerland AG. Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of... Read More about Failure Mode Reasoning in Model Based Safety Analysis.

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (2019)
Presentation / Conference Contribution
(2019). Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings. In Y. Papadopoulos, K. Aslansefat, P. Katsaros, & M. Bozzano (Eds.), . https://doi.org/10.1007/978-3-030-32872-6

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected fr... Read More about Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings.

A runtime safety analysis concept for open adaptive systems (2019)
Presentation / Conference Contribution
Kabir, S., Sorokos, I., Aslansefat, K., Papadopoulos, Y., Gheraibia, Y., Reich, J., …Wei, R. (2019). A runtime safety analysis concept for open adaptive systems. Lecture notes in computer science, 11842, 332-346. https://doi.org/10.1007/978-3-030-32872-6_22

© Springer Nature Switzerland AG 2019. In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architectu... Read More about A runtime safety analysis concept for open adaptive systems.

Infinite Virtual Stoa (2018)
Presentation / Conference Contribution
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018). Infinite Virtual Stoa. In XXI GENERATIVE ART 2018, proceedings of XXI Generative Art conference (183-194)

Stoicism is a philosophy that considers the object of life to be ataraxia (αταραξία), a state of psychological stability which is undisturbed by exposure to phenomena and circumstances that lie outside one's control. Such circumstances may include il... Read More about Infinite Virtual Stoa.

TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures (2018)
Presentation / Conference Contribution
Torrao, L., Mckie, D., & Papadopoulos, Y. (2018). TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures. In Proceedings of 20th Generative Art Conference,Soddu C. and Colabella E. (eds), Domus Argenia (459-469)

TIMAEUS is a digital art studio environment that enables creation of personalised 3-dimensional sculptures built with expanding spherical volumes or interconnected tetrahedra and possibly other atomic blocks in the future. These sculptures can be cus... Read More about TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures.

A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes (2018)
Presentation / Conference Contribution
Parker, D., Godof, A., Papadopoulos, Y., & Saintis, L. (2018). A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes. SAE Technical Papers, 2018-April, https://doi.org/10.4271/2018-01-1076

ISO 26262 describes a safety engineering approach in which the safety of a system is considered from the early stages of design through a process of elicitation and allocation of system safety requirements. These are expressed as automotive safety in... Read More about A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes.

Model-connected safety cases (2017)
Presentation / Conference Contribution
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63. https://doi.org/10.1007/978-3-319-64119-5_4

© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the ev... Read More about Model-connected safety cases.

Using simulation to evaluate dynamic systems with weibull or lognormal distributions (2014)
Presentation / Conference Contribution
Edifor, E., Gordon, N., Walker, M., & Papadopoulos, Y. (2014). Using simulation to evaluate dynamic systems with weibull or lognormal distributions. Advances in Intelligent Systems and Computing, 286, 117-187. https://doi.org/10.1007/978-3-319-07013-1_17

© Springer International Publishing Switzerland 2014. Most techniques for quantitatively analysing the temporal fault trees of safety-critical systems are used with the assumption that the systems under study have exponentially distributed component... Read More about Using simulation to evaluate dynamic systems with weibull or lognormal distributions.

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Presentation / Conference Contribution
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.

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. (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.

Automatic allocation of safety integrity levels (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Walker, M., Reiser, M., Weber, M., Chen, D., Törngren, M., …Sandberg, A. (2010). Automatic allocation of safety integrity levels. . https://doi.org/10.1145/1772643.1772646

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.

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Presentation / Conference Contribution
Papadopoulos, Y., & Walker, M. (2010). A hierarchical method for the reduction of temporal expressions in Pandora. . https://doi.org/10.1145/1772630.1772634

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.

A translation of state machines to temporal fault trees (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010). A translation of state machines to temporal fault trees. . https://doi.org/10.1109/dsnw.2010.5542620

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.

Semi automatic failure analysis based on simulation models (2008)
Presentation / Conference Contribution
Hamann, R., Uhlig, A., Papadopoulos, Y., Rüde, E., Grätz, U., Walker, M., & Lien, R. (2008). Semi automatic failure analysis based on simulation models. . https://doi.org/10.1115/omae2008-57256

Classical risk assessment and risk management which is gaining importance in many industries is usually based on well defined processes and uses techniques like FTA and FMEA. However, classical risk analysis techniques like FTA and FMEA should ideall... Read More about Semi automatic failure analysis based on simulation models.

A language for failure patterns and application in safety analysis (2008)
Presentation / Conference Contribution
Wolforth, I., Walker, M., & Papadopoulos, Y. (2008). A language for failure patterns and application in safety analysis. . https://doi.org/10.1109/depcos-relcomex.2008.44

Components and families of components in mechatronic systems often exhibit failure characteristics that are independent of system context and repeatable across applications. In this paper, we show that it is possible to capture and reuse such pattern... Read More about A language for failure patterns and application in safety analysis.

Non-coherent modelling in compositional fault tree analysis (2008)
Presentation / Conference Contribution
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.