Skip to main content

Research Repository

Advanced Search

Dr David Parker


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.

Variability management in safety-critical systems design and dependability analysis (2019)
Journal Article
de Oliveira, A. L., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design and dependability analysis. Journal of software : evolution and process, 31(8), https://doi.org/10.1002/smr.2202

Safety-critical systems are of paramount importance for many application domains, where safety properties are a key driver to engineer critical aspects and avoid system failures. For the benefits of large-scale reuse, software product lines (SPL) hav... Read More about Variability management in safety-critical systems design and dependability analysis.

Variability management in safety-critical systems design & dependability analysis (2019)
Journal Article
De Oliveira, A. L., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design & dependability analysis. Journal of software : evolution and process, 31(8), https://doi.org/10.1002/smr.2202

Safety-critical systems are of paramount importance for many application domains where safety properties are a key driver to engineer critical aspects and avoid system failures. However, the integration of safety analyses in the development process i... Read More about Variability management in safety-critical systems design & dependability analysis.

Constraints and autonomy for creativity in extracurricular gamejams and curricular assessment (2018)
Journal Article
Grey, S., Parker, D., & Gordon, N. (2018). Constraints and autonomy for creativity in extracurricular gamejams and curricular assessment. Research in Learning Technology, 26, https://doi.org/10.25304/rlt.v26.2023

The engagement observed by the players of the games that they play is a desirable quality that has not gone unnoticed in the field of education, leading to concepts such as gamification of education, game-based learning and serious games for training... Read More about Constraints and autonomy for creativity in extracurricular gamejams and curricular assessment.

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.

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11

HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement alloc... Read More about A model-based extension to HiP-HOPS for dynamic fault propagation studies.

A synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., …Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecast... Read More about A synthesis of logic and bio-inspired techniques in the design of dependable systems.

Automatic allocation of safety requirements to components of a software product line (2015)
Journal Article
De Oliveira, A. L., Papadopoulos, Y., Azevedo, L. S., Parker, D., Braga, R. T., Masiero, P. C., …Kelly, T. (2015). Automatic allocation of safety requirements to components of a software product line. IFAC postprint volumes IPPV / International Federation of Automatic Control, 48(21), 1309-1314. https://doi.org/10.1016/j.ifacol.2015.09.706

Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under des... Read More about Automatic allocation of safety requirements to components of a software product line.

Automating allocation of development assurance levels: An extension to HiP-HOPS (2015)
Journal Article
Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., & Walker, M. (2015). Automating allocation of development assurance levels: An extension to HiP-HOPS. IFAC postprint volumes IPPV / International Federation of Automatic Control, 48(7), 9-14. https://doi.org/10.1016/j.ifacol.2015.06.466

Controlling the allocation of safety requirements across a system's architecture from the early stages of development is an aspiration embodied in numerous major safety standards. Manual approaches of applying this process in practice are ineffective... Read More about Automating allocation of development assurance levels: An extension to HiP-HOPS.

Exploring the impact of different cost heuristics in the allocation of safety integrity levels (2014)
Journal Article
Azevedo, L. S., Parker, D., Papadopoulos, Y., Walker, M., Sorokos, I., & Araújo, R. E. (2014). Exploring the impact of different cost heuristics in the allocation of safety integrity levels. Lecture notes in computer science, 8822, 70-81. https://doi.org/10.1007/978-3-319-12214-4_6

Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural elements. Different SILs reflect different r... Read More about Exploring the impact of different cost heuristics in the allocation of safety integrity levels.