earth

Dependable Intelligent Systems

yipapadopoulos
Professor Yiannis Papadopoulos
Group lead

The Challenge

System dependability is crucially important for a new generation of emerging intelligent, co-operative, autonomous, cyberphysical systems. These include smart vehicles, robotics, telehealth devices, smart energy grids and the internet of things.

If such systems fail they may harm people and lead to the collapse of important infrastructures. Ensuring their dependability is a largely unsolved problem and the key to enabling their industrial and societal uptake.

The Approach

The group is pioneering a novel synthesis of model-based and bio-inspired technologies, known as HiP-HOPS, for the design and analysis of complex dependable systems. It also co-authored EAST-ADL, an emerging automotive architecture description language.

Our work has been transferred to the automotive and other industries through the HiP-HOPS and Safety Designer software tools. Inspired by the hunting habits of penguins, our algorithms and their application to automotive safety have attracted publicity on the BBC and Automotive IQ.

Laptop

OUR AIMS

  • Effective, automated, design-time analysis of the dependability properties of complex intelligent systems, including safety, reliability, availability, security and maintainability
  • Design optimisation of these properties using sound mathematical and computational techniques
  • Run-time certification and assurance of dependability of complex intelligent systems, and systems of systems, to address the inherent unpredictability, uncertainties and new security threats

Projects

Land Rover grille

Safety of Autonomous Systems with Jaguar Land Rover (SAS-JLR)

The project examines potential safety flaws in advanced driver assistance systems and software used in autonomous cars. The aim is to derive analyses and methods that could help improve safety. (2018 - 2020)

wind-turbines

Data-driven Reliability-centred Evolutionary Asset Manager (DREAM)

This project aims to develop a data-driven Wind Farm Operations and Maintenance Manager, which will integrate data and artificial intelligence algorithms to optimise wind farm operation and maintenance. (2018-2021)

Lights on a motorway

Dependability Engineering Innovation for Cyber Physical Systems (DEIS)

Cyber-physical-systems combine physical components and software connected to the internet and have the potential for impact in areas such as automotive, health care and home automation. The project will provide a framework to assure the dependability of these systems. (2017 - 2020)

Find out more
View all projects

Members

Outputs and publications

Lampe J, Rüde E, Papadopoulos Y, Kabir S, 'Model-Based Assessment of Energy-Efficiency, Dependability, and Cost-Effectiveness of Waste Heat Recovery Systems Onboard Ship', Ocean Engineering, 157, pp 234-250, DOI: 10.1016/j.oceaneng.2018.03.062 (2018)

Kabir S, Walker M, Papadopoulos Y, 'Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks', Safety Science, 105, pp 55-70, DOI: 10.1016/j.ssci.2018.02.001 (2018)

Aizpurua J I, Catterson V M, Papadopoulos Y, Chiacchio F, D'Urso D, 'Supporting group maintenance through prognostics-enhanced dynamic dependability prediction', Reliability Engineering & System Safety, DOI: 10.1016/j.ress.2017.04.005, ISSN 0951-8320 (2017)

Aizpurua J I, Papadopoulos Y, Muxika E, Chiacchio F, Manno G, 'On Cost-effective Reuse of Components in the Design of Complex Reconfigurable Systems', Quality Reliability Engineering International, DOI:10.1002/qre.2112 (2017)

Aizpurua J I, Catterson V M, Papadopoulos Y, Chiacchio F, Manno G, 'Improved Dynamic Dependability Assessment Through Integration With Prognostics', IEEE Transactions on Reliability, 99, pp 1-21, ISSN 0018-9529 (2017)

Papadopoulos Y, Walker M, Parker D, Sharvia S, Bottaci L, Kabir S, Azevedo L, Sorokos I, 'A Synthesis of Logic and Bio-inspired techniques in the Design of Dependable Systems', Annual Reviews in Control, 41, pp 170-182, ISSN: 1367-5788, extension of plenary paper at IFAC - DCDS'15 (2016)

Kabir S, Walker M, Papadopoulos Y, Ruede E, Securius P, 'Fuzzy Temporal Fault Tree Analysis of Dynamic Systems', International Journal of Approximate Reasoning, 77, pp 20-37, ISSN 0888-613X 3 (2016)

Blom H, Chen D J, Kaijser H, Lönn H, Papadopoulos Y, Reiser M O, Kolagari T, Tucci S, 'EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research', International Journal of System Dynamics Applications, 5(3), pp 1-19, ISSN: 2160-9772 (2016)

Oliveira A L, Rosana T, Braga V, Masiero P C, Papadopoulos Y, Habli I, Kelly T, 'Model-Based Safety Analysis of Software Product Lines', Special issue on Critical and Real-time Cyberphysical Systems, International Journal of Critical Embedded Systems, 8(5-6), pp 412-426, extension of best paper at IEEE SBES'14, ISSN 1741-1068 (in print)

PhD students

Athanasion Retouniotis

Model-Connected Safety Cases

Koorosh Aslansefat

DREAM: Data-driven Reliability-centred, Evolutionary Asset Manager

Luis Torrao

TIMAEUS: Three-dimensional Illuminated Media-Augmented Ethereal-Unreal Sculptures