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

DOI10.1145/1926385.1926398MaRDI QIDQ5408535zbMATH OpenOpenAlexFDO

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

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

abstract domainsinterprocedural analysisinterrupt-driven concurrency

Mathematics Subject Classification ID

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

Recommendations

• Static analysis of embedded real-time concurrent software with dynamic priorities
• Precise analysis of value-dependent synchronization in priority scheduled programs
• Static analysis of run-time errors in embedded real-time parallel C programs
• Static analysis of run-time errors in embedded critical parallel C programs
• scientific article; zbMATH DE number 1953274

Cited in

(12)

• Static race detection for periodic programs
• Data races and static analysis for interrupt-driven kernels
• scientific article; zbMATH DE number 2090843 (Why is no real title available?)
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Static analysis of run-time errors in embedded real-time parallel C programs
• Static analysis of embedded real-time concurrent software with dynamic priorities
• Precise analysis of value-dependent synchronization in priority scheduled programs
• scientific article; zbMATH DE number 4033053 (Why is no real title available?)
• Stack size analysis for interrupt-driven programs
• A typed interrupt calculus
• Static analysis for detecting high-level races in RTOS kernels
• Static analysis for detecting high-level races in RTOS kernels

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

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