{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T04:09:17Z","timestamp":1742270957616,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642259586"},{"type":"electronic","value":"9783642259593"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-25959-3_7","type":"book-chapter","created":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T19:50:29Z","timestamp":1325447429000},"page":"91-105","source":"Crossref","is-referenced-by-count":1,"title":["Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs"],"prefix":"10.1007","author":[{"given":"Ali","family":"Ebnenasir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reza","family":"Hajisheykhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep S.","family":"Kulkarni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Algorithmic and Register-Transfer Level Synthesis: The System Architect\u2019s Workbench","author":"D.E. Thomas","year":"1989","unstructured":"Thomas, D.E., Lagnese, E.D., Nestor, J.A., Rajan, J.V., Blackburn, R.L., Walker, R.A.: Algorithmic and Register-Transfer Level Synthesis: The System Architect\u2019s Workbench. Kluwer Academic Publishers, Norwell (1989)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Chen, Y.-Y., Hsu, C.-H., Leu, K.-L.: SoC-level risk assessment using FMEA approach in system design with SystemC. In: International Symposium on Industrial Embedded Systems, pp. 82\u201389 (2009)","DOI":"10.1109\/SIES.2009.5196199"},{"key":"7_CR3","unstructured":"Open SystemC Initiative (OSCI): Defining and advancing SystemC standard IEEE 1666-2005, https:\/\/2.zoppoz.workers.dev:443\/http\/www.systemc.org\/ ."},{"key":"7_CR4","unstructured":"Transaction-Level Modeling (TLM) 2.0 Reference Manual, https:\/\/2.zoppoz.workers.dev:443\/http\/www.systemc.org\/downloads\/standards\/"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Fin, A., Fummi, F., Martignano, M., Signoretto, M.: SystemC: A homogenous environment to test embedded systems. In: Proceedings of the Ninth International Symposium on Hardware\/Software Codesign, CODES 2001, pp. 17\u201322 (2001)","DOI":"10.1145\/371636.371657"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MDT.2003.1214351","volume":"20","author":"I.G. Harris","year":"2003","unstructured":"Harris, I.G.: Fault models and test generation for hardware-software covalidation. IEEE Design and Test of Computers\u00a020(4), 40\u201347 (2003)","journal-title":"IEEE Design and Test of Computers"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Kundu, S., Ganai, M., Gupta, R.: Partial order reduction for scalable testing of SystemC TLM designs. In: Proceedings of the 45th Annual Design Automation Conference, pp. 936\u2013941 (2008)","DOI":"10.1145\/1391469.1391706"},{"key":"7_CR8","unstructured":"Sen, A.: Mutation operators for concurrent SystemC designs. In: International Workshop on Microprocessor Test and Verification (2000)"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754405.1754406","volume":"15","author":"N. Blanc","year":"2010","unstructured":"Blanc, N., Kroening, D.: Race analysis for SystemC using model checking. ACM Transactions on Design Automation of Electronic Systems\u00a015(3), 21:1\u201321:32 (2010)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Marquet, K., Moy, M.: PinaVM: A SystemC front-end based on an executable intermediate representation. In: International Conference on Embedded Software (EMSOFT), pp. 79\u201388 (2010)","DOI":"10.1145\/1879021.1879032"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Misera, S., Vierhaus, H.T., Sieber, A.: Fault injection techniques and their accelerated simulation in SystemC. In: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools, pp. 587\u2013595 (2007)","DOI":"10.1109\/DSD.2007.4341528"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Shafik, R.A., Rosinger, P., Al-Hashimi, B.M.: SystemC-based minimum intrusive fault injection technique with improved fault representation. In: Proceedings of the 2008 14th IEEE International On-Line Testing Symposium, pp. 99\u2013104 (2008)","DOI":"10.1109\/IOLTS.2008.25"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"da Silva Farina, A., Prieto, S.S.: On the use of dynamic binary instrumentation to perform faults injection in transaction level models. In: Proceedings of the 2009 Fourth International Conference on Dependability of Computer Systems, pp. 237\u2013244 (2009)","DOI":"10.1109\/DepCoS-RELCOMEX.2009.30"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Perez, J., Azkarate-askasua, M., Perez, A.: Codesign and simulated fault injection of safety-critical embedded systems using SystemC. In: Proceedings of the 2010 European Dependable Computing Conference, pp. 221\u2013229 (2010)","DOI":"10.1109\/EDCC.2010.34"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Giovanni, B., Bolchini, C., Miele, A.: Multi-level fault modeling for transaction-level specifications. In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI, pp. 87\u201392 (2009)","DOI":"10.1145\/1531542.1531565"},{"issue":"4","key":"7_CR16","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026599015809","volume":"13","author":"J. Hatcliff","year":"2000","unstructured":"Hatcliff, J., Dwyer, M.B., Zheng, H.: Slicing software for model construction. Higher-Order and Symbolic Computation\u00a013(4), 315\u2013353 (2000)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: Bebop: A symbolic model checker for Boolean programs. In: 7th International Workshop on SPIN Model Checking and Software Verification, pp. 113\u2013130 (2000)","DOI":"10.1007\/10722468_7"},{"issue":"5","key":"7_CR18","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/381694.378846","volume":"36","author":"T. Ball","year":"2001","unstructured":"Ball, T., Majumdar, R., Millstein, T.D., Rajamani, S.K.: Automatic predicate abstraction of C programs. ACM SIGPLAN Notices\u00a036(5), 203\u2013213 (2001)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: International Conference on Software Engineering (ICSE), pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"issue":"5","key":"7_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR21","unstructured":"Niemann, B., Haubelt, C.: Formalizing TLM with Communicating Stat Machines. In: Proceedings of Forum on Specification and Design Languages 2006 (FDL 2006), pp. 285\u2013292 (2006)"},{"key":"7_CR22","unstructured":"Spin language reference, https:\/\/2.zoppoz.workers.dev:443\/http\/spinroot.com\/spin\/Man\/promela.html\/"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Traulsen, C., Cornet, J., Moy, M., Maraninchi, F.: A SystemC\/TLM semantics in Promela and its possible applications. In: SPIN Workshop, pp. 204\u2013222 (2007)","DOI":"10.1007\/978-3-540-73370-6_14"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-22110-1_24","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2011","unstructured":"Cimatti, A., Griggio, A., Micheli, A., Narasamdya, I., Roveri, M.: kratos \u2013 A Software Model Checker for SystemC. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 310\u2013316. Springer, Heidelberg (2011)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Campana, D., Cimatti, A., Narasamdya, I., Roveri, M.: An analytic evaluation of systemc encodings in promela. In: International SPIN Workshop on Model Checking Software (SPIN), pp. 90\u2013107 (2011)","DOI":"10.1007\/978-3-642-22306-8_7"},{"key":"7_CR26","unstructured":"Ebnenasir, A.: UPC-SPIN: A Framework for the Model Checking of UPC Programs. In: Fifth Partitioned Global Address Space Conference, PGAS (to appear, 2011)"},{"key":"7_CR27","unstructured":"Ebnenasir, A.: Automatic Synthesis of Fault Tolerance. PhD thesis, Michigan State University (2005)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: Exploiting symbolic techniques in automated synthesis of distributed programs. In: EEE International Conference on Distributed Computing Systems(ICDCS), pp. 3\u201310 (2007)","DOI":"10.21236\/ADA460390"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Networking"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25959-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T09:52:09Z","timestamp":1742205129000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-642-25959-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642259586","9783642259593"],"references-count":28,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-642-25959-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}