Seminars

View all Seminars  |  Download ICal for this event

Static 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