Skip to main content

Research Repository

Advanced Search

All Outputs (6)

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (2020)
Journal Article
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)
Journal Article
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.

A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes (2018)
Journal Article
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)
Journal Article
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.

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.

Size exclusion chromatography and rheology of AB/AB2 hyperbranched polymers (2003)
Journal Article
Kunamaneni, S., Buzza, D. M. A., Parker, D., & Feast, W. J. (2003). Size exclusion chromatography and rheology of AB/AB2 hyperbranched polymers. Journal of Materials Chemistry, 13(11), 2749-2755. https://doi.org/10.1039/b303473a

We report size exclusion chromatography (SEC) and linear shear rheology results for a series of AB/AB2 hyperbranched polyesters. For these samples, the weight average molecular weight Mw was systematically varied from 3000 to 250000 but the spacer le... Read More about Size exclusion chromatography and rheology of AB/AB2 hyperbranched polymers.