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