Static race detection for periodic programs

DOI10.1007/978-3-030-99336-8_11zbMath1528.68086MaRDI QIDQ6166790

Sujit Kumar Chakrabarti, Varsha P. Suresh, Meenakshi D'Souza, Rekha R. Pai, Deepak D'Souza

Publication date: 3 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

zbMATH Keywords

real-time systemsstatic analysisWCRT analysisdata racesperiodic programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Feasibility analysis of real-time periodic tasks with offsets
• Resource holding times: Computation and optimization
• Compositional Sequentialization of Periodic Programs
• Priority inheritance protocols: an approach to real-time synchronization
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

This page was built for publication: Static race detection for periodic programs