Static analysis of embedded real-time concurrent software with dynamic priorities

DOI10.1016/j.entcs.2017.02.002zbMath1412.68042OpenAlexW2596962460WikidataQ113317605 ScholiaQ113317605MaRDI QIDQ1650954

Antoine Miné

Publication date: 16 July 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2017.02.002

zbMATH Keywords

verificationsafetystatic analysisconcurrencydeadlocksabstract interpretationreal-time schedulingrun-time errorspriority ceiling protocoldata-races

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Uses Software

• TinyOS
• ASTREE
• Goblint
• Magiclock
• AUTOSAR

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Relational Thread-Modular Static Value Analysis by Abstract Interpretation
• Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
• Thread-Modular Verification Is Cartesian Abstract Interpretation
• On the verification problem for weak memory models
• Programming Languages and Systems
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Static analysis of embedded real-time concurrent software with dynamic priorities