BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//project/author//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTEND:20221209T120000Z
UID:98fe5aa4e2bc4e954b7d86912e9fb993-374
DTSTAMP:19700101T120016Z
DESCRIPTION:Static Race Detection for Periodic Real-Time Programs
URL;VALUE=URI:https://www.csa.iisc.ac.in/newweb/event/374/static-race-detection-for-periodic-real-time-programs/
SUMMARY:We consider the problem of statically detecting data races in periodic
real-time programs that use locks, and run on a single processor
platform. We propose a technique based on a small set of rules that
exploits the priority, periodicity, locking, and timing information of
tasks in the program. One of the key requirements is a response time
analysis for such programs, and we propose an algorithm to compute
this for the case of non-nested locks. We have implemented our
analysis for real-time C programs in a tool called PePRacer and
evaluated its performance on a small set of benchmarks from the
literature.

This is joint work with Varsha Suresh (IIITB), Rekha Pai (IISc/Oxford), Sujit Kumar Chakrabarty (IIITB) and Meenakshi DSouza (IIITB).
DTSTART:20221209T120000Z
END:VEVENT
END:VCALENDAR