Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol

DOI10.1145/1926385.1926398zbMath1284.68199OpenAlexW4239625874MaRDI QIDQ5408535

Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm, Martin D. Schwarz

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926398

zbMATH Keywords

interprocedural analysisabstract domainsinterrupt-driven concurrency

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Static analysis for detecting high-level races in RTOS kernels ⋮ Static analysis of embedded real-time concurrent software with dynamic priorities ⋮ Static race detection for periodic programs

This page was built for publication: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol