Login / Signup
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.
Levente Bajczi
András Vörös
Vince Molnár
Published in:
ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
</>
formal analysis
embedded software
embedded systems
fault diagnosis
low cost
development projects
formal methods
fault model
software architecture
error detection
sequence diagrams
real time
agent model
runtime environment
smart card
test cases
web services