Static analysis of embedded real-time concurrent software with dynamic priorities
type: Item
instance of: scholarly article
title: Static analysis of embedded real-time concurrent software with dynamic priorities
zbMATH Open document ID: 1412.68042
author: Antoine Miné
publication date: 2018-07-16T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6903863
zbMATH Keywords: static analysis
zbMATH Keywords: abstract interpretation
zbMATH Keywords: verification
zbMATH Keywords: safety
zbMATH Keywords: concurrency
zbMATH Keywords: run-time errors
zbMATH Keywords: data-races
zbMATH Keywords: deadlocks
zbMATH Keywords: real-time scheduling
zbMATH Keywords: priority ceiling protocol
describes a project that uses: Magiclock
describes a project that uses: ASTREE
describes a project that uses: Goblint
describes a project that uses: AUTOSAR
describes a project that uses: TinyOS
MaRDI profile type: Publication
full work available at URL: j.entcs.2017.02.002
OpenAlex ID: W2596962460
Wikidata QID: Q113317605
cites work: On the verification problem for weak memory models
cites work: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
cites work: Q4426384
cites work: Thread-Modular Verification Is Cartesian Abstract Interpretation
cites work: Programming Languages and Systems
cites work: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
cites work: Relational Thread-Modular Static Value Analysis by Abstract Interpretation
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
cites work: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
cites work: Q3653849
DOI: 10.1016/J.ENTCS.2017.02.002
description: scientific article; zbMATH DE number 6903863