Static race detection for periodic programs

DOI10.1007/978-3-030-99336-8_11MaRDI QIDQ6166790zbMATH OpenFDO

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

Publication date 3 August 2023

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-99336-8_11

zbMATH Keywords

data racesperiodic programsreal-time systemsstatic analysisWCRT analysis

Mathematics Subject Classification ID

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

Recommendations

• Data races and static analysis for interrupt-driven kernels
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Static analysis for detecting high-level races in RTOS kernels
• Static analysis for detecting high-level races in RTOS kernels

Cites work

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

Cited in

(3)

• Data races and static analysis for interrupt-driven kernels
• Dynamic Data-Race Detection Through the Fine-Grained Lens
• Static analysis for detecting high-level races in RTOS kernels

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166790)