{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:44:05Z","timestamp":1725806645708},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122403"},{"type":"electronic","value":"9783319122410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12241-0_6","type":"book-chapter","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T11:39:08Z","timestamp":1412768348000},"page":"71-85","source":"Crossref","is-referenced-by-count":3,"title":["Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages"],"prefix":"10.1007","author":[{"given":"Andrea","family":"H\u00f6ller","sequence":"first","affiliation":[]},{"given":"Nermin","family":"Kajtazovic","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Preschern","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Baarir, S., Braunstein, C., Encrenaz, E., Ili\u00e9, J.: Feasibility Analysis for MEU Robustness Quantification by Symbolic Model checking. Formal Methods in System Design (2011)","DOI":"10.1007\/s10703-011-0121-5"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA safety analysis platform. Journal on Software Tools for Technology Transfer (2007)","DOI":"10.1007\/s10009-006-0001-2"},{"key":"6_CR3","unstructured":"Campetelli, A., H\u00f6lzl, F., Neubeck, P.: User-friendly model checking integration in model-based development. In: CAINE (2011)"},{"key":"6_CR4","unstructured":"Cavada, R., Cimatti, A., Jochim, C., Keighren, G., Olivetti, E., Pistore, M., Roveri, M., Tchaltsev, A.: Nusmv 2.4 User Manual. ITCIRST (2005)"},{"key":"6_CR5","unstructured":"Ezekiel, J., Lomuscio, A.: Combining fault injection and model checking to verify fault tolerance in multi-agent systems. In: AAMAS (2009)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Henkel, J., Bauer, L., Zhang, H.: Multi-layer dependability: From microarchitecture to application level. In: DAC (2014)","DOI":"10.1145\/2593069.2596683"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"H\u00f6ller, A., Krieg, A., Preschern, C., Steger, C., Bock, H., Haid, J., Kreiner, C.: Automatized high-level evaluation of security properties for RTL hardware designs. In: 8th Workshop on Embedded Systems Security (2013)","DOI":"10.1145\/2527317.2527323"},{"key":"6_CR8","unstructured":"Huang, et al.: A simulator for evaluating redundancy analysis algorithms of repairable embedded memories. In: Workshop on Memory Technology, Design and Testing (2002)"},{"key":"6_CR9","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press (2006)"},{"key":"6_CR10","unstructured":"IEC\/EN 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems (1999-2002)"},{"key":"6_CR11","unstructured":"ISO 26262: Road vehicles - Functional Safety Standard (2009)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Krautz, et al.: Evaluating coverage of error detection logic for soft errors using formal methods. In: DATE (2006)","DOI":"10.1109\/DATE.2006.244062"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Krieg, et al.: Power and Fault Emulation for Software Verification and System Stability Testing in Safety Critical Environments. IEEE Transactions on Industrial Informatics (2013)","DOI":"10.1109\/TII.2012.2220976"},{"key":"6_CR14","unstructured":"Kuznetsova, Y.: Analysis and Evaluation of Sequential Redundancy Identification Algorithms. Ph.D. thesis (2011)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Latif-Shabgahi, G., Bass, J.M., Bennett, S.: A taxonomy for software voting algorithms used in safety-critical systems. IEEE Transactions on Reliability (2004)","DOI":"10.1109\/TR.2004.832819"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Maniatakos, M., Michael, M.K., Makris, Y.: Investigating the limits of AVF analysis in the presence of multiple bit errors. In: International On-Line Testing Symposium (2013)","DOI":"10.1109\/IOLTS.2013.6604050"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Peters, A.J., Sindrilaru, E.A., Zigann, P.: Evaluation of software based redundancy algorithms for the EOS storage system at CERN. Journal of Physics: Conference Series (2012)","DOI":"10.1088\/1742-6596\/396\/4\/042046"},{"key":"6_CR18","unstructured":"Rafe, V., Rahmani, M., Rashidi, K.: A Survey on Coping with the State Space Explosion Problem in Model Checking. International Research Journal of Applied and Basic Sciences (2013)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Seshia, S.A., Li, W., Mitra, S.: Verification-guided soft error resilience. In: DATE (2007)","DOI":"10.1109\/DATE.2007.364501"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Sharma, V., Haran, A., Rakamaric, Z., Gopalakrishnan, G.: Towards Formal Approaches to System Resilience. In: Pacific Rim International Symposium on Dependable Computing (2013)","DOI":"10.1109\/PRDC.2013.14"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Voelter, et al.: Mbeddr: Instantiating a Language Workbench in the Embedded Software Domain. Automated Software Engineering (2013)","DOI":"10.1007\/s10515-013-0120-4"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12241-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T02:43:30Z","timestamp":1559011410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12241-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122403","9783319122410"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12241-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}