Keynote at CompSys 2023: "The right action at the right time: past, present, and future trends in real-time systems design"

Activiteit: Types gesprekken of presentaties › Genodigd spreker › Wetenschappelijk

Beschrijving

Abstract: Real-time systems are pervasive in the automotive, robotics, smart industry, manufacturing, and healthcare domains, where the system’s safety, dependability, or quality of service depends on both functional and temporal correctness, namely, performing the right actions at the right time. Guaranteeing temporal correctness often involves bounding the worst-case end-to-end response-time of the system (e.g., from the moment input data are sent by a sensor to the moment the system responds to it). Bounding the response-time, in turn, requires detailed knowledge about how the underlying hardware platform, operating system, and software components/applications interact with each other and how that interaction influences the timing behavior of the system.
This talk presents the past, current, and future trends in modeling, designing, and verifying real-time systems. It walks through the challenges that new hardware, software, and network technologies introduce in the verification of temporal correctness and discusses existing solutions and open research problems.
Periode28 jun. 2023
EvenementstitelCompSys 2023
EvenementstypeCongres
LocatieUtrecht, NederlandToon op kaart
Mate van erkenningNationaal

Gerelateerde inhoud