Outputs (24)

Addressing Complexity and Intelligence in Systems Dependability Evaluation (2023)
Thesis
Aslansefat, K. Addressing Complexity and Intelligence in Systems Dependability Evaluation. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4500562

Engineering and computing systems are increasingly complex, intelligent, and open adaptive. When it comes to the dependability evaluation of such systems, there are certain challenges posed by the characteristics of “complexity” and “intelligence”. T... Read More about Addressing Complexity and Intelligence in Systems Dependability Evaluation.

Teaching students using Design-First Test-Driven Development (2023)
Presentation / Conference Contribution
Dixon, J., Brayshaw, M., Gordon, N., Grey, S., Parker, D., & Tompsett, B. (2022, June). Teaching students using Design-First Test-Driven Development. Presented at INSPIRE XXVII: E-Learning for Sustainabilty and Education Beyond Pandemic, Online

This paper explores a test-driven approach to teaching within Higher Education. Test-driven here is derived from the Software Engineering approach, where the test cases for software are defined prior to the software being fully developed. The emphasi... Read More about Teaching students using Design-First Test-Driven Development.

The Role of Gamification in a Software Development Lifecycle (2021)
Presentation / Conference Contribution
Gordon, N., Brayshaw, M., Dixon, J., Grey, S., & Parker, D. (2021, June). The Role of Gamification in a Software Development Lifecycle. Presented at INSPIRE XXVI International e-conference, Online

Teaching Software Engineering students raises a number of challenges; in particular that student developers typically demonstrate behaviours that run counter to good software development. These include failing to plan properly, failing to develop the... Read More about The Role of Gamification in a Software Development Lifecycle.

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Presentation / Conference Contribution
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. Failure Mode Reasoning in Model Based Safety Analysis. Presented at International Symposium on Model-Based Safety and Assessment, Lisbon, Portugal

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

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. An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Presented at Model-Based Safety and Assessment 7th International Symposium, IMBSA 2020, Lisbon, Portugal

© 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), Article e2202. 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.

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, Article 2023. 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)
Presentation / Conference Contribution
Parker, D., Godof, A., Papadopoulos, Y., & Saintis, L. (2018, April). A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes. Presented at SAE Technical Papers

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.

Model-connected safety cases (2017)
Presentation / Conference Contribution
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. Model-connected safety cases

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