Predictive Formal Analysis of Resilience in Cyber-Physical Systems

Autor: Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi

Publikováno v: IEEE Access, Vol 7, Pp 33741-33758 (2019)

The behavioral analysis of cyber-physical systems in safety-critical scenarios is a challenging task. In this paper, the endogenous and exogenous aspects of resilience are of cornerstone importance in system design and verification. Endogenous resili

Externí odkaz: https://doaj.org/article/23347d061a1e4658beda64753024b5b1

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Autor: Daniela Cancila, Michele Albano, Sándor Plósz, Roberto Passerone, Anna Ryabokon, Csaba Hegedus, Pal Varga, Erkki Jantunen, Emine Laarouchi, Sebti Mouelhi

Publikováno v: Passerone, R, Cancila, D, Albano, M, Mouelhi, S, Plosz, S, Jantunen, E, Ryabokon, A, Laarouchi, E, Hegedus, C & Varga, P 2019, ' A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles ', IEEE Access, vol. 7, 8812663, pp. 125022-125037 . https://doi.org/10.1109/ACCESS.2019.2937453
IEEE Access, Vol 7, Pp 125022-125037 (2019)
IEEE Access
IEEE Access, 2019, 7, pp.125022-125037. ⟨10.1109/ACCESS.2019.2937453⟩
IEEE Access, IEEE, 2019, 7, pp.125022-125037. ⟨10.1109/ACCESS.2019.2937453⟩

International audience; The automotive industry is increasing its effort towards scientific and technological innovations regarding autonomous vehicles. The expectation is a reduction of road accidents, which are too often caused by human errors. Mor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7aa031a881e2c049859decaf2ed71dba
https://cris.vtt.fi/en/publications/bde7ca74-32be-4e5e-ae6c-82cbd9f97374