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

DOI10.1145/1926385.1926398zbMATH Open1284.68199OpenAlexW4239625874MaRDI QIDQ5408535FDOQ5408535

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

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

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)

Cited In (12)

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

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)