Skip to main navigation Skip to search Skip to main content

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

Activity: Talk or presentation types › Invited talk › Scientific

Description

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.
Period28 Jun 2023
Event titleCompSys 2023
Event typeConference
LocationUtrecht, NetherlandsShow on map
Degree of RecognitionNational

Related content