University of Hull logo

Variability management in safety-critical systems design & dependability analysis (2019)
Journal Article
De Oliveira, A., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (in press). Variability management in safety-critical systems design & dependability analysis. Journal of software : evolution and process,

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

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, doi: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

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

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Parker, D., Walker, M., 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). doi:10.1007/978-3-319-64119-5_11. ISSN 0302-9743

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

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

Automatic allocation of safety requirements to components of a software product line (2015)
Journal Article
Azevedo, L. S., De Oliveira, A. L., Braga, R. T., Masiero, P. C., de Oliveira, A. L., Papadopoulos, Y., …Oliveira, A. D. (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). doi:10.1016/j.ifacol.2015.09.706. ISSN 1474-6670

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

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). doi:10.1016/j.ifacol.2015.06.466. ISSN 1474-6670

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

Exploring the impact of different cost heuristics in the allocation of safety integrity levels (2014)
Journal Article
Araújo, R. E., Azevedo, L. S., Papadopoulos, Y., Parker, D., Sorokos, I., Walker, M., & 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. doi: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

Automatic optimisation of system architectures using EAST-ADL (2013)
Journal Article
Papadopoulos, Y., Parker, D., Walker, M., Chen, D., Lönn, H., Mraidha, C., …Tucci-Piergiovanni, S. (2013). Automatic optimisation of system architectures using EAST-ADL. Journal of Systems and Software, 86(10), (2467-2487). doi:10.1016/j.jss.2013.04.001. ISSN 0164-1212

There are many challenges which face designers of complex system architectures, particularly safety-critical or real-time systems. The introduction of Architecture Description Languages (ADLs) has helped to meet these challenges by consolidating info... Read More

Assisted assignment of automotive safety requirements (2013)
Journal Article
Azevedo, L. D. S., Parker, D., Walker, M., Papadopoulos, Y., & Araújo, R. E. (2014). Assisted assignment of automotive safety requirements. IEEE Software, 31(1), (62-68). doi:10.1109/ms.2013.118. ISSN 0740-7459

ISO 26262, a functional-safety standard, uses Automotive Safety Integrity Levels (ASILs) to assign safety requirements to automotive-system elements. System designers initially assign ASILs to system-level hazards and then allocate them to elements o... Read More

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). doi:10.1002/spe.1044. ISSN 0038-0644

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

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 postprint volumes IPPV / International Federation of Automatic Control, 43(17), 204-209. doi: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

Engineering failure analysis and design optimisation with HiP-HOPS (2010)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., …Lien, R. (2011). Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 18(2), (590-608). doi:10.1016/j.engfailanal.2010.09.025. ISSN 1350-6307

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. I... Read More

Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance (2010)
Book
(2010). Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance. Strategic Advantage of Computing Information Systems in Enterprise Management, 231 - 245. ATINER

An effective preventive maintenance (PM) policy for components of an engineering system slows down the rate at which component fatigue accumulates, thereby minimising the occurrence of component failure. The benefit of PM at system level is improveme... Read More

Semi-automatic FMEA supporting complex systems with combinations and sequences of failures (2009)
Journal Article
Walker, M., Papadopoulos, Y., Parker, D., Lönn, H., Törngren, M., Chen, D., …Sandberg, A. (2009). Semi-automatic FMEA supporting complex systems with combinations and sequences of failures. SAE International Journal of Passenger Cars - Mechanical Systems, 2(1), 791-802. doi:10.4271/2009-01-0738

Failure Modes and Effects Analysis (FMEA) is a well established safety analysis technique used for the assessment of safety critical engineering systems in the automotive industry. Although FMEA has been shown to be useful, the analysis is typically... Read More

Multi-objective optimization of dependability attributes using an asynchronous heterogeneous hierarchical parallel genetic algorithm (2008)
Journal Article
Wenhua, Z., Papadopoulos, Y., & Parker, D. (2008). Multi-objective optimization of dependability attributes using an asynchronous heterogeneous hierarchical parallel genetic algorithm. IFAC postprint volumes IPPV / International Federation of Automatic Control, 41(3), (199-204). doi:10.3182/20081205-2-cl-4009.00036. ISSN 1474-6670

The optimal satisfaction of dependability attributes and cost, in the design of engineering systems, is a hard multi-objective optimization problem which requires automated algorithms that can effectively search large design spaces. In this paper, a... Read More

Entanglement transition of randomly branched polymers in the hyperbranched class (2006)
Journal Article
Kunamaneni, S., Buzza, D. M. A., Read, D. J., Parker, D., Kenwright, A. M., Feast, W. J., & Larsen, A. L. (2006). Entanglement transition of randomly branched polymers in the hyperbranched class. Macromolecules, 39(19), 6720-6736. doi:10.1021/ma0603276

We study the melt rheology of randomly branched polymers in the hyperbranched polymer (HBP) class which are formed by the co-condensation of AB and AB2 type monomers. Specifically, we study the effect of branch length Mx on the entanglement transitio... Read More

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. doi: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