Securing a Dependability Improvement Mechanism for Cyber Physical Systems

Regan, Gilbert and McCaffery, Fergal and Paul, Pangkaj Chandra and Sorokos, Ioannis and Reich, Jan and Armengaud, Eric and Zeller, Marc (2020) Securing a Dependability Improvement Mechanism for Cyber Physical Systems. In: SERP.

[thumbnail of Securing a Dependability Mechanism for Cyber Physical Systems.docx] HTML
Download (507kB)


The open and cooperative nature of Cyber-Physical Systems (CPS) poses a signifi-cant new challenge in assuring dependability. A European funded project named DEIS addresses this important and unsolved challenge by developing technologies that facilitate the efficient synthesis of components and systems based on their de-pendability information. The key innovation that is the aim of DEIS is the corre-sponding concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. In this paper we present an overview of the DDI, and provide the protocol for ensur-ing the security of the DDI while it is in transit and rest. Additionally, we provide con-fidentiality, integrity and availability validation of the protocol.

Item Type: Conference or Workshop Item (Paper)
Subjects: Computer Science
Research Centres: Regulated Software Research Centre
Depositing User: Gilbert Regan
Date Deposited: 04 Feb 2021 18:03
Last Modified: 04 Feb 2021 18:03
License: Creative Commons: Attribution-Noncommercial-Share Alike 4.0

Actions (login required)

View Item View Item


Downloads per month over past year