IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2020 > Towards Ultra-Reliable Cyber-Physical Systems: Reliability Analysis of Distributed Real-Time Systems
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Arpan Gujarati

martes 31 de marzo de 2020

11:00am Zoom5 - https://zoom.us/j/5911012202 (pass: s3)

Arpan Gujarati, Post-doctoral Researcher, Max Planck Institute for Software Systems, Germany

Towards Ultra-Reliable Cyber-Physical Systems: Reliability Analysis of Distributed Real-Time Systems

Abstract:

Fully-autonomous cyber-physical systems (CPS) such as autonomous vehicles, drones, and robots today are not engineered as rigorously as aircraft, and thus are not as reliable. In fact, these CPS will likely experience more failures in the future, since they will have a cumulative operation time several orders of magnitude more than that of airplanes. Thus, it is essential that we bring the reliability of today’s commercial aircraft systems (“ultra-reliability”) to the next generation of fully-autonomous CPS. One of the main challenges that needs to be addressed in this regard is ensuring high reliability with minimal cost in the presence of environmental disturbance sources such as electro-magnetic interference and thermal effects. To this end, I will present the first provably safe reliability analysis of Ethernet-based distributed real-time systems in the presence of environmentally-induced Byzantine errors. The analysis helps quantify and systematically evaluate the reliability tradeoffs involved when using different replication schemes. In this talk, I will discuss the key features of our analysis, including how we tackle reliability anomalies and how we quantify a CPS application’s inherent robustness to occasional failures, and my plans for future research.