Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
Facing the Safety-Security Gap in RTES: the Challenge of Timeliness
Volp, Marcus; Kozhaya, David; Verissimo, Paulo
20172nd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2017) co-located with RTSS 2017
 

Files


Full Text
Timeliness-SafeSecGap.pdf
Author preprint (507.09 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Safety-critical real-time systems, including real-time cyber-physical and industrial control systems, need not be solely correct but also timely. Untimely (stale) results may have severe consequences that could render the control system’s behaviour hazardous to the physical world. To ensure predictability and timeliness, developers follow a rigorous process, which essentially ensures real-time properties a priori, in all but the most unlikely combinations of circumstances. However, we have seen the complexity of both real-time applications, and the environments they run on, increase. If this is matched with the also increasing sophistication of attacks mounted to RTES systems, the case for ensuring both safety and security through aprioristic predictability loses traction, and presents an opportunity, which we take in this paper, for discussing current practices of critical realtime system design. To this end, with a slant on low-level task scheduling, we first investigate the challenges and opportunities for anticipating successful attacks on real-time systems. Then, we propose ways for adapting traditional fault- and intrusiontolerant mechanisms to tolerate such hazards. We found that tasks which typically execute as analyzed under accidental faults, may exhibit fundamentally different behavior when compromised by malicious attacks, even with interference enforcement in place.
Disciplines :
Computer science
Author, co-author :
Volp, Marcus  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kozhaya, David ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Verissimo, Paulo ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
Facing the Safety-Security Gap in RTES: the Challenge of Timeliness
Publication date :
December 2017
Number of pages :
8
Event name :
2nd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2017) co-located with RTSS 2017
Event date :
05-08 December 2017
FnR Project :
FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp
Available on ORBilu :
since 17 January 2018

Statistics


Number of views
145 (14 by Unilu)
Number of downloads
210 (19 by Unilu)

Bibliography


Similar publications



Contact ORBilu