{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:31:27Z","timestamp":1742394687509},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,2,10]],"date-time":"2006-02-10T00:00:00Z","timestamp":1139529600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s11241-005-4681-6","type":"journal-article","created":{"date-parts":[[2006,2,11]],"date-time":"2006-02-11T12:44:17Z","timestamp":1139661857000},"page":"213-233","source":"Crossref","is-referenced-by-count":5,"title":["The TTA's Approach to Resilience after Transient Upsets"],"prefix":"10.1007","volume":"32","author":[{"given":"Wilfried","family":"Steiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Paulitsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hermann","family":"Kopetz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,2,10]]},"reference":[{"key":"4681_CR1","doi-asserted-by":"crossref","unstructured":"Arora, A. and Gouda, M. 1994. Distributed reset. In IEEE Transaction on Computers, IEEE, pp. 1026\u20131038.","DOI":"10.1109\/12.312126"},{"key":"4681_CR2","doi-asserted-by":"crossref","unstructured":"Arora, A. and Kulkarni, S. S. 1998. Detectors and correctors: A theory of fault-tolerance components. In Proc. of the 18th International Conference on Distributed Computing Systems, IEEE.","DOI":"10.1109\/ICDCS.1998.679772"},{"key":"4681_CR3","unstructured":"Bauer, G., Kopetz, H. and Steiner, W. 2003. The central guardian approach to enforce fault isolation in a time-triggered system. In Proc. of ISADS, IEEE, pp. 37\u201344."},{"key":"4681_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, G. and Paulitsch, M. 2000. An investigation of membership and clique avoidance in TTP\/C. In Proc. of SRDS.","DOI":"10.1109\/RELDI.2000.885399"},{"key":"4681_CR5","doi-asserted-by":"crossref","unstructured":"Bouajjani, A. and Merceron, A. 2002. Parametric verification of a group membership algorithm. In Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science; Vol. 2469, Oldenburg, Germany, Springer-Verlag, pp. 311\u2013330.","DOI":"10.1007\/3-540-45739-9_19"},{"key":"4681_CR6","doi-asserted-by":"crossref","unstructured":"Constantinescu, C. 2003. Trends and challenges in VLSI circuit reliability. IEEE Micro 23(4):14\u201319.","DOI":"10.1109\/MM.2003.1225959"},{"issue":"11","key":"4681_CR7","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E. W. Dijkstra","year":"1974","unstructured":"Dijkstra, E. W. 1974. Self-stabilizing systems in spite of distributed control. Communications of the ACM. 17(11):643\u2013644.","journal-title":"Communications of the ACM."},{"key":"4681_CR8","doi-asserted-by":"crossref","unstructured":"Hall, B., Driscoll, K., Paulitsch, M. and Dajani-Brown, S. 2005. Ringing out fault tolerance. A new ring network for superior low-cost dependability, in International Conference on Dependable Systems and Networks (DSN'05), pp. 298\u2013307.","DOI":"10.1109\/DSN.2005.84"},{"key":"4681_CR9","unstructured":"Heiner, G. and Thurner, T. 1998. Time-triggered architectrue for safety-related distributed real-time systems in transportation systems. In Proceedings of the 28th Annual Symposium on Fault-Tolerant Computing, FTCS, IEEE, pp. 402\u2013407."},{"key":"4681_CR10","doi-asserted-by":"crossref","unstructured":"Kopetz, H. and Bauer, G. 2003. The time-triggered architecture. In Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software.","DOI":"10.1109\/JPROC.2002.805821"},{"issue":"8","key":"4681_CR11","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"C-36","author":"H. Kopetz","year":"1987","unstructured":"Kopetz, H. and Ochsenreiter, W. 1987. Clock synchronization in distributed real-time systems. IEEE Transactions on Computers C-36(8):933\u2013940.","journal-title":"IEEE Transactions on Computers"},{"key":"4681_CR12","unstructured":"Kopetz, H. 1997. Real-Time Systems. Kluwer Academic Publishers."},{"key":"4681_CR13","unstructured":"Kopetz, H. Paulitsch, M., Jones, C., Killijian, M.-O., Marsden, E., Moffat, N., Powell, D., Randell, B., Romanovsky, A. and Stroud, R. 2001. Revised version of DSoS conceptual model. Project Deliverable for DSoS (Dependable Systems of Systems), Research Report 35\/2001, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 1-3\/182-1, 1040 Vienna, Austria, 2001."},{"key":"4681_CR14","doi-asserted-by":"crossref","first-page":"2742","DOI":"10.1109\/23.556861","volume":"43","author":"E. Normand","year":"1996","unstructured":"Normand, E. 1996. Single event upset at ground level. IEEE Transactions on Nuclear Science 43:2742\u20132750.","journal-title":"IEEE Transactions on Nuclear Science"},{"key":"4681_CR15","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1109\/16.278509","volume":"41","author":"T. J. O'Gorman","year":"1994","unstructured":"O'Gorman, T. J. 1994. The effect of cosmic rays on the soft error rate of a DRAM at ground level. IEEE Transactions on Electron Devices 41:553\u2013557.","journal-title":"IEEE Transactions on Electron Devices"},{"key":"4681_CR16","doi-asserted-by":"crossref","unstructured":"Paulitsch, M., Morris, J., Hall, B., Driscoll, K., Latronico, E. and Koopman, P. 2005. Coverage and the use of cyclic redundancy codes in ultra-dependable systems, in International Conference on Dependable Systems and Networks (DSN'05), pp. 346\u2013355.","DOI":"10.1109\/DSN.2005.31"},{"key":"4681_CR17","doi-asserted-by":"crossref","unstructured":"Pfeifer, H. 2000. Formal verification of the TTP group membership algorithm. In T. Bolognesi and D. Latella (editors), Formal Methods for Distributed System Development Proceedings of FORTE XIII\/PSTV XX 2000, Pisa, Italy, Kluwer Academic Publishers, pp. 3\u201318.","DOI":"10.1007\/978-0-387-35533-7_1"},{"key":"4681_CR18","doi-asserted-by":"crossref","unstructured":"Pauli, B. and Meyna, A. 1998. Reliability of electronic control units in motor vehicles. SAE Technical Paper Series.","DOI":"10.4271\/980740"},{"key":"4681_CR19","doi-asserted-by":"crossref","unstructured":"Rushby, J. 2001. A Comparison of bus architectures for safety-critical embedded systems. CSL Technical Report, SRI International, Menlo Park, CA 94025, USA.","DOI":"10.1007\/3-540-45449-7_22"},{"key":"4681_CR20","doi-asserted-by":"crossref","unstructured":"Rushby, J. 2002. An overview of formal verification for the time-triggered architecture. In W. Damm and E.-R. Olderog (editors), Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, Oldenburg, Germany: Springer-Verlag, pp. 83\u2013105.","DOI":"10.1007\/3-540-45739-9_7"},{"issue":"1","key":"4681_CR21","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M. Schneider","year":"1993","unstructured":"Schneider, M. 1993. Self-stabilization. ACM Computing Surveys (CSUR) 25(1):45\u201367.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"4681_CR22","unstructured":"Steiner, W., Paulitsch, M. and Kopetz, H. 2003. Multiple failure correction in the time-triggered architecture. In Proc. of 9th Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003f)."},{"key":"4681_CR23","doi-asserted-by":"crossref","unstructured":"Steiner, W., Rushby, J., Sorea, M. and Pfeifer, H. 2004. Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. In The International Conference on Dependable Systems and Networks (DSN 2004).","DOI":"10.1109\/DSN.2004.1311889"},{"key":"4681_CR24","unstructured":"Steiner, W. 2004. Startup and Recovery of Fault-Tolerant Time-Triggered Communication. PhD thesis, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 3\/3\/182-1, 1040 Vienna, Austria."},{"key":"4681_CR25","doi-asserted-by":"crossref","unstructured":"Temple, C. 1998. Avoiding the babbling-idiot failure in a time-triggered communication system. In Proceedings of 28th Annual International Symposium on Fault-Tolerant Computing, pp. 218\u2013227.","DOI":"10.1109\/FTCS.1998.689473"},{"key":"4681_CR26","unstructured":"Wilde, J., Wondrak, W. and Senske, W. 1999. Reliability requirements for microtechnologies used in automotive applications. In Proceedings of the Congress for Microsystems and Precision Engineering, MicroEngineering 99, Stuttgart, Germany, Stuttgarter Messe- und Kongressgesellschaft GmbH."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-4681-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-005-4681-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-4681-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T16:42:04Z","timestamp":1586709724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-005-4681-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2,10]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["4681"],"URL":"https:\/\/doi.org\/10.1007\/s11241-005-4681-6","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2,10]]}}}