Outputs (24)

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., Azevedo, L., & 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., Habli, I., & Kelly, T. (2015). Automatic allocation of safety requirements to components of a software product line. IFAC Proceedings Volumes/ 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 Proceedings Volumes/ 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.

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

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 about Automatic optimisation of system architectures using EAST-ADL.

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. https://doi.org/10.1109/ms.2013.118

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 about Assisted assignment of automotive safety requirements.

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. https://doi.org/10.1002/spe.1044

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 about An approach to optimization of fault tolerant architectures using 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. Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS

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.

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., Grätz, U., & Lien, R. (2011). Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 18(2), 590-608. https://doi.org/10.1016/j.engfailanal.2010.09.025

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 about Engineering failure analysis and design optimisation with HiP-HOPS.

Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance (2010)
Book Chapter
Parker, D., & Papadopoulos, Y. (2010). Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance. In M. Sarrafzadeh, & P. Petratos (Eds.), 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 about Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance.