Seminars
View all Seminars | Download ICal for this eventA framework for timing analysis of event-driven applications
Series: M.Tech (Research) Colloquium
Speaker: Kuchi Sai Teja, M.Tech (Research) student, Dept. of CSA, IISc
Date/Time: Aug 13 10:00:00
Location: CSA Auditorium, (Room No. 104, Ground Floor)
Faculty Advisor: Prof. Vinod Ganapathy (RS) & Prof. K V Raghavan (Co-RS)
Abstract:
Event-driven applications, particularly those based on the publish??subscribe communication model are widely adopted to build responsive and decoupled applications in domains such as robotics, the Internet of Things (IoT), and real-time control. While these architectures offer flexibility and scalability, they also pose significant challenges in meeting real-time timing requirements. These challenges often stem from factors such as long-running event-handler executions, misconfigured parameters, and execution orderings of event-handlers.
In this work, we address the problem: -Given code based on the publish??subscribe communication model, will it consistently deliver each message on time?-. To answer this, we propose a framework for analyzing the timing behavior of such systems. Our approach involves constructing a Timed Automata Model from the source code, capturing both timing and behavioral semantics. The constructed Timed Automata Model is then verified using a model checker to determine if the system could ever end up in a situation where messages are not delivered on time.
If such a situation arises, the framework provides feedback such as recommending adjustments to configuration parameters, reordering event-handler execution, or relaxing overly strict timing requirements. Through case studies on several real-world ROS packages, a widely adopted publish??subscribe system, we demonstrate the practical utility of our approach.