University of Hull logo

Browse


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

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

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