ISEC 2025
Thu 20 - Sat 22 February 2025 Kurukshetra , India

Periodic applications involve tasks that execute continuously at specific intervals, often leading to concurrency-related data races. Traditionally, locks are used as synchronization mechanisms to ensure correctness. However, in safety-critical systems, a low-priority task holding a lock may be preempted by a high-priority task that requires the same lock, resulting in priority inversion and violating the periodicity and priority of high-priority tasks. While previous research has focused on race detection techniques for applications without nested locking, these approaches fail to generalize to scenarios involving nested locks. This work introduces a worst-case response time analysis and a robust technique for static race detection in periodic applications with nested locking behavior. The proposed algorithm provides a conservative upper bound for task response times while addressing the complexities of nested locks, enhancing the safety and dependability of concurrent periodic programs. Implemented in Rust, the algorithm is evaluated for performance and correctness across various programs, demonstrating its efficacy.

Sat 22 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

10:30 - 11:30
Research Papers Session 3: Distributed SystemsResearch Papers at Senate Hall
10:30
12m
Research paper
A Lightweight Hybrid CNN-Fuzzy Logic Approach for Real Time On-Device Document Classification
Research Papers
Shashank Mouli Satapathy Vellore Institute of Technology, Vishal Agrawal , Kartik Kumar Gounder Vellore Institute of Technology, Riddhi Panchal , Amith Kumar Mahale , Akila Victor Vellore Institute of Technology
10:42
12m
Research paper
Domain Aligned Microservices Decomposition
Research Papers
Jay Gandhi TCS Research, Tata Consultancy Services, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Ravindra Naik TCS Research, TRDDC, India
10:54
12m
Research paper
Dominant Hand detection using Base Smartphone sensors
Research Papers
11:06
12m
Research paper
Effective Resource Management through VM Allocation in Cloud Data Center
Research Papers

11:18
12m
Research paper
Worst-Case Response Time Analysis for Periodic Programs with Nested Locks
Research Papers
:
:
:
: