Facilitating the design of fault tolerance in transaction level SystemC programs

DOI10.1016/J.TCS.2012.11.010zbMath1294.68044OpenAlexW4246044252MaRDI QIDQ391252

Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni

Publication date: 10 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.11.010

zbMATH Keywords

fault toleranceSystemCtransaction level modeling

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• SPIN
• LLVM
• SystemC
• KRATOS
• LusSy

Cites Work

• Unnamed Item
• Unnamed Item
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

This page was built for publication: Facilitating the design of fault tolerance in transaction level SystemC programs