{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:07:06Z","timestamp":1759838826445},"publisher-location":"Boston, MA","reference-count":22,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_20","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"221-233","source":"Crossref","is-referenced-by-count":7,"title":["The Fault Hypothesis for The Time-Triggered Architecture"],"prefix":"10.1007","author":[{"given":"H.","family":"Kopetz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Ademaj, A., Sivencrona, H., Bauer, G., and Torin, J. (2003). Evaluation of fault handling of the time-triggered architecture with bus and star topology. In Proceedings of the 2003 International Conference on Dependable Systems andNetworks, pages 123\u2013132.","DOI":"10.1109\/DSN.2003.1209924"},{"issue":"4","key":"20_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/2.585154","volume":"30","author":"A. Avizienis","year":"1997","unstructured":"Avizienis, A. (1997). Toward systematic design of fault-tolerant systems. Computer, 30(4):51\u201358.","journal-title":"Computer"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Constantinescu, C. (2002). Impact of deep submicron technology on dependability of VLSI circuits. In Proceedings of the International Conference on Dependable Systems and Networks, pages 205\u2013209. IEEE.","DOI":"10.1109\/DSN.2002.1028901"},{"issue":"4","key":"20_CR4","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/248448.248456","volume":"40","author":"M. Eisenstadt","year":"1997","unstructured":"Eisenstadt, M. (1997). My hairiest bug war stories. Commun. ACM, 40(4):30\u201337.","journal-title":"Commun. ACM"},{"key":"20_CR5","unstructured":"Gray, J. (1986). Why do computers stop and what can be done about it? In Proceedings of the 5th Symposium on Reliablity in Distributed Software and Database Systems."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Karlsson, J., Folkesson, P., Arlat, J., Crouzet, Y., and Leber, G. (1995). Integration and comparison of three physical fault injection techniques. In Randell, B., Laprie, J., Kopetz, H., and Littlewood, B., editors, Predictably Dependable Computing Systems, pages 309\u2013327. Springer Verlag, heidelberg edition.","DOI":"10.1007\/978-3-642-79789-7_18"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Kaufmann, L.F. and Johnson, B.W. (2000). Modeling of common-mode failures in digital embedded systems. In Proc. of the Reliability and Maintainability Symposium, Los Angeles, Cal.","DOI":"10.1109\/RAMS.2000.816333"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Kopetz, H. (1992). Sparse time versus dense time in distributed real-time systems. In Proceedings of 12th International Conference on Distributed Computing Systems, Japan.","DOI":"10.1109\/ICDCS.1992.235008"},{"key":"20_CR9","volume-title":"Real-Time Systems, Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H. (1997). Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Boston, Dordrecht, London."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Kopetz, H. (2003). Fault containment and error detection in the time-triggered architecture. In Proceedings of the Sixth International Symposium on Autonomous Decentralized Systems.","DOI":"10.1109\/ISADS.2003.1193942"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Kopetz, H. and Bauer, G. (2003). The time-triggered architecture. IEEE Special Issue on Modeling and Design of Embedded Software.","DOI":"10.1109\/JPROC.2002.805821"},{"key":"20_CR12","series-title":"Research Report","volume-title":"From a federated to an integrated architecture for dependable embedded systems","author":"H. Kopetz","year":"2004","unstructured":"Kopetz, H., Obermaisser, R., Peti, P., and Suri, N. (2004). From a federated to an integrated architecture for dependable embedded systems. Research Report 22\/2004, Technische Universitat Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 1-3\/182-1, 1040 Vienna, Austria."},{"key":"20_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9170-5","volume-title":"Dependability: Basic Concepts and Terminology","author":"J.C. Laprie","year":"1992","unstructured":"Laprie, J.C. (1992). Dependability: Basic Concepts and Terminology. Springer Verlag, Vienna, Austria."},{"issue":"11","key":"20_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B. Littlewood","year":"1993","unstructured":"Littlewood, B. and Strigini, L. (1993). Validation of ultrahigh dependability for software-based systems. Commun. ACM, 36(11):69\u201380.","journal-title":"Commun. ACM"},{"issue":"6","key":"20_CR15","doi-asserted-by":"publisher","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(6):2742\u20132750.","journal-title":"IEEE Transactions on Nuclear Science"},{"key":"20_CR16","unstructured":"Pauli, B., Meyna, A., and Heitmann, P. (1998). Reliability of electronic components and control units in motor vehicle applications. In VDI Berichte 1415, Electronic Systems for Vehicles, pages 1009\u20131024. Verein Deutscher Ingenieure."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Powell, D. (1992). Failure mode assumptions and assumption coverage. In Proceedings of the 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22), pages 386\u2013395, Boston, USA.","DOI":"10.1109\/FTCS.1992.243562"},{"key":"20_CR18","volume-title":"The Art of Systems Architecting","author":"E. Rechtin","year":"2002","unstructured":"Rechtin, E. and Maier, M.W. (2002). The Art of Systems Architecting. CRC Press, Boca Raton, USA."},{"key":"20_CR19","volume-title":"Proc. of the IEEE WORDS 2003 Conference","author":"W. Steiner","year":"2003","unstructured":"Steiner, W., Paulitsch, M., and Kopetz, H. (2003). Multiple failure correction in the time-triggered architecture. In Proc. of the IEEE WORDS 2003 Conference, CAPRI, Italy."},{"key":"20_CR20","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. The International Conference on Dependable Systems and Networks (DSN 2004).","DOI":"10.1109\/DSN.2004.1311889"},{"key":"20_CR21","unstructured":"TTTech (1998). homepage of TTTech at www.tttech.com."},{"key":"20_CR22","volume-title":"Advances in Ultra-Dependable Distributed Systems","author":"C. J. Walter","year":"1995","unstructured":"Walter, C. J., Hugue, M. M., and Suri, Neeraj (1995). Advances in Ultra-Dependable Distributed Systems. IEEE Computer Society, 10662 Los Vaqueros Circle, Los Alamitos, CA 90720."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:05Z","timestamp":1619672885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_20","relation":{},"subject":[]}}