Sign in
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.
Christian Bartsch
Stephan Wilhelm
Daniel Kästner
Dominik Stoffel
Wolfgang Kunz
Published in:
ITC (2021)
Keyphrases
</>
embedded systems
abstract interpretation
static analysis
embedded software
low cost
computing power
termination analysis
knowledge base
data structure
cooperative
database management systems
real time systems
resource limited