Static analysis of run-time errors in embedded real-time parallel C programs

DOI10.2168/LMCS-8(1:26)2012MaRDI QIDQ2881094zbMATH OpenFDO

Authors Antoine Miné

Publication date 3 April 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-8(1:26)2012

zbMATH Keywords

abstract interpretationparallel programsrun-time errorsstatic analysis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Static analysis of run-time errors in embedded critical parallel C programs
• Static analysis of embedded real-time concurrent software with dynamic priorities
• Programming Languages and Systems
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Relational thread-modular static value analysis by abstract interpretation

Cited in

(12)

• Static analysis of embedded real-time concurrent software with dynamic priorities
• Improving thread-modular abstract interpretation
• Static analysis for detecting high-level races in RTOS kernels
• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• Static analysis of run-time errors in embedded critical parallel C programs
• scientific article; zbMATH DE number 1822437 (Why is no real title available?)
• Static Analysis of String Manipulations in Critical Embedded C Programs
• Three improvements to the top-down solver
• Dynamically checking ownership policies in concurrent C/C++ programs
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Programming Languages and Systems
• Clustered relational thread-modular abstract interpretation with local traces

Describes a project that uses

Uses Software

• ASTREE

This page was built for publication: Static analysis of run-time errors in embedded real-time parallel C programs

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