Precise analysis of value-dependent synchronization in priority scheduled programs

DOI10.1007/978-3-642-54013-4_2MaRDI QIDQ2938059zbMATH OpenOpenAlexFDO

Authors Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis

Publication date 13 January 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54013-4_2

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Static analysis of embedded real-time concurrent software with dynamic priorities
• May-happen-in-parallel analysis with condition synchronization
• May-Happen-in-Parallel Analysis for Priority-Based Scheduling
• Dealing with Priorities and Locks for Concurrent Programs

Cited in

(5)

• May-happen-in-parallel analysis with condition synchronization
• Static analysis for detecting high-level races in RTOS kernels
• Integrating synchronization with priority into a Kronecker representation
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Static analysis for detecting high-level races in RTOS kernels

This page was built for publication: Precise analysis of value-dependent synchronization in priority scheduled programs

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