Seminars
View all Seminars | Download ICal for this eventStatic Race Detection for Periodic Real-Time Programs
Series: CSA Faculty Colloquium
Speaker: Prof. Deepak DSouza
Date/Time: Dec 09 16:00:00
Location: CSA Seminar Hall (Room No. 254, First Floor)
Faculty Advisor:
Abstract:
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).
Speaker Bio:
Deepak DSouza received his PhD from Chennai Mathematical Institute in
2000. Since 2003 he has been at the Department of Computer Science and
Automation of the Indian Institute of Science, Bangalore, where he is
currently a Professor. His areas of interest include program verification,
program analysis, and specification and analysis of real-time and hybrid
systems.
Host Faculty: Arkaprava Basu