{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T02:05:59Z","timestamp":1784772359129,"version":"3.55.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Elektrotech. Inftech."],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s00502-006-0323","type":"journal-article","created":{"date-parts":[[2006,10,6]],"date-time":"2006-10-06T14:32:39Z","timestamp":1160145159000},"page":"83-95","source":"Crossref","is-referenced-by-count":12,"title":["DECOS: an integrated time-triggered architecture","DECOS: eine integrierte zeitgesteuerte Architektur"],"prefix":"10.1007","volume":"123","author":[{"given":"R.","family":"Obermaisser","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Peti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"B.","family":"Huber","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"El Salloum","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"323_CR1","unstructured":"Atkinson, R. (2002): COTS tools reduce the cost of embedded software certification. COTS Journal: 27\u201331."},{"key":"323_CR2","unstructured":"Beal, D. et al. (2000): RTAI: Real-Time Application Interface. Linux Journal. April, 2000."},{"key":"323_CR3","unstructured":"Birch, S. (2003): Pre-safe headlines S-Class revisions. Automotive Engineering International: 15\u201318."},{"key":"323_CR4","doi-asserted-by":"crossref","unstructured":"Butler, R. W., Caldwell, J. L., Vito, B. L. Di. (1991): Design strategy for a formally verified reliable computing platform. In: Proceedings of the 6th Annual Conference on Systems Integrity, Software Safety and Process Security: 125\u2013133.","DOI":"10.1109\/CMPASS.1991.161051"},{"key":"323_CR5","series-title":"Int. Computer Science Series","volume-title":"Distributed systems: concepts and design","author":"G. Coulouris","year":"1994","unstructured":"Coulouris, G., Dollimore, J., Kindberg, T. (1994): Distributed systems: concepts and design. 2nd ed. Int. Computer Science Series. Reading, MA, USA: Addison-Wesley.","edition":"2"},{"issue":"2","key":"323_CR6","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/102792.102801","volume":"34","author":"F. Cristian","year":"1991","unstructured":"Cristian F. (1991): Understanding fault-tolerant distributed systems. Communications of the ACM, 34 (2): 56\u201378.","journal-title":"Communications of the ACM"},{"key":"323_CR7","unstructured":"DECOS (2005): Virtual communication links and gateways \u2013 implementation of design tools and middleware services. Dependable Embedded Components and Systems (DECOS) Project Deliverable D2.2.3."},{"key":"323_CR8","unstructured":"Deicke, A. (2002): The electrical\/electronic diagnostic concept of the new 7 series. In: Convergence Int. Congress & Exposition On Transportation Electronics, Detroit, MI, USA. SAE."},{"key":"323_CR9","unstructured":"DeLine, R. (1999): Resolving packaging mismatch. PhD thesis, Carnegie Mellon University, Computer Science Department, Pittsburgh."},{"key":"323_CR10","unstructured":"Driscoll, K., Hoyme, K. (1993): SafeBus for avionics. IEEE Aerospace and Electronics Systems Magazine."},{"issue":"6","key":"323_CR11","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MAES.2003.1209588","volume":"18","author":"R. Hammett","year":"2003","unstructured":"Hammett, R. (2003): Flight-critical distributed systems: design considerations [avionics]. IEEE Aerospace and Electronic Systems Magazine, 18 (6): 30\u201336.","journal-title":"IEEE Aerospace and Electronic Systems Magazine"},{"key":"323_CR12","unstructured":"Hansen (2002): The Hansen Report on Automotive Electronics, Portsmouth, NH, USA ( www.hansenreport.com )."},{"key":"323_CR13","unstructured":"Hayhurst, K., Dorsey, C., Knight, J., Leveson, N., McCormick, G. (1999): Streamlining software aspects of certification: Report on the SSAC survey. Technical report, NASA Technical Memorandum 1999\u2013209519."},{"key":"323_CR14","unstructured":"Hexel, R. (1999): Validation of fault tolerance mechanisms in a time triggered communication protocol using fault injection. PhD Thesis. Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik."},{"key":"323_CR15","doi-asserted-by":"crossref","unstructured":"Huber, B., Peti, P., Obermaisser, R., El Salloum, C. (2005): Using RTAI\/LXRT for partitioning in a prototype implementation of the DECOS architecture. In: Proc. of the 3rd Int. Workshop on Intelligent Solutions in Embedded Systems (WISES). May, 2005.","DOI":"10.1109\/WISES.2005.1438707"},{"issue":"1","key":"323_CR16","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/62.127129","volume":"7","author":"S. C. Johnson","year":"1992","unstructured":"Johnson, S. C., Butler, R. W. (1992): Design for validation. IEEE Aerospace and Electronic Systems Magazine, 7 (1): 38\u201343.","journal-title":"IEEE Aerospace and Electronic Systems Magazine"},{"key":"323_CR17","series-title":"Design principles for distributed embedded applications","volume-title":"Real-time systems","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H. (1997): Real-time systems. Design principles for distributed embedded applications. Boston, Dordrecht, London: Kluwer Academic Publishers."},{"key":"323_CR18","doi-asserted-by":"crossref","unstructured":"Kopetz, H. (1999): Elementary versus composite interfaces in distributed real-time systems. In: Proc. of ISADS'99, Tokyo, Japan.","DOI":"10.1109\/ISADS.1999.838362"},{"key":"323_CR19","unstructured":"Kopetz, H. (1999b): Specification of the TTP\/C Protocol. TTTech. Sch\u00f6nbrunnerstra\u00dfe 7, 1040 Vienna."},{"key":"323_CR20","doi-asserted-by":"crossref","unstructured":"Kopetz, H. (2003): Fault containment and error detection in the time-triggered architecture. In: Proc. of the 6th Int. Symposium on Autonomous Decentralized Systems.","DOI":"10.1109\/ISADS.2003.1193942"},{"key":"323_CR21","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Bauer, G. (2003): The time-triggered architecture. IEEE Special Issue on Modeling and Design of Embedded Software.","DOI":"10.1109\/JPROC.2002.805821"},{"key":"323_CR22","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Nossal, R. (1997): Temporal firewalls in large distributed real-time systems. In: Proc. of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems.","DOI":"10.1109\/FTDCS.1997.644743"},{"key":"323_CR23","unstructured":"Kopetz, H., Obermaisser, R., Peti, P., Suri, N. (2004): From a federated to an integrated architecture for dependable embedded systems. Technical Report 22\/2004. Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik."},{"key":"323_CR24","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Ochsenreiter, W. (1987): Clock synchronization in distributed real time systems. IEEE Transactions on Computers.","DOI":"10.1109\/TC.1987.5009516"},{"key":"323_CR25","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Suri, N. (2003): Compositional design of RT systems: A conceptual basis for specification of linking interfaces. In: Proc. of the 6th IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing: 51\u201360.","DOI":"10.1109\/ISORC.2003.1199236"},{"key":"323_CR26","doi-asserted-by":"crossref","unstructured":"Lala, J. H., Harper, R. E. (1994): Architectural principles for safety-critical real-time applications. In: Proc. of the IEEE, 82: 25\u201340.","DOI":"10.1109\/5.259424"},{"key":"323_CR27","unstructured":"Langley, NASA (2003): Formal methods site. (shemesh.larc.nasa.gov)"},{"key":"323_CR28","doi-asserted-by":"crossref","unstructured":"Leohold, J., Schmidt, C. (2004): Communication requirements of future driver assistance systems in automobiles. In: Proc. of the Int. Workshop on Factory Communication Systems: 167\u2013174.","DOI":"10.1109\/WFCS.2004.1377702"},{"issue":"2","key":"323_CR29","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N. G. Leveson","year":"1986","unstructured":"Leveson, N. G. (1986): Software safety: why, what, and how. ACM Comput. Surv., 18 (2): 125\u2013163.","journal-title":"ACM Comput. Surv."},{"key":"323_CR30","unstructured":"MOST Cooperation (2002): MOST Specification Version 2.2. MOST Cooperation, Karlsruhe, Germany. ( www.mostnet.de )."},{"key":"323_CR31","unstructured":"Nicholson, M., Conmy, P., Bate, I., McDermid, J. (2000): Generating and maintaining a safety argument for integrated modular systems. In: Proc. of the 5th Australian Workshop on Safety Critical Systems and Software: 31\u201341."},{"key":"323_CR32","doi-asserted-by":"crossref","unstructured":"Obermaisser, R., Peti, P. (2005): Specification and execution of gateways in integrated architectures. In: Proc. of the 10th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'05): 689\u2013698.","DOI":"10.1109\/ETFA.2005.1612742"},{"key":"323_CR33","unstructured":"Obermaisser, R., Peti, P., Kopetz, H. (2005): Virtual networks in an integrated time-triggered architecture. In: Proc. of the 10th IEEE Int. Workshop on Object-oriented Real-time Dependable Systems."},{"key":"323_CR34","doi-asserted-by":"crossref","unstructured":"Obermaisser, R., Peti, P., Kopetz, H. (2005b): Virtual gateways in the DECOS integrated architecture. In: Proc. of the Workshop on Parallel and Distributed Real-Time Systems.","DOI":"10.1109\/IPDPS.2005.450"},{"key":"323_CR35","unstructured":"OMG (2001): Model driven architecture. Technical Report document number ORMSC\/2001-07-01, Object Management Group. ( http:\/\/www.omg.org )."},{"key":"323_CR36","doi-asserted-by":"crossref","unstructured":"Peti, P., Obermaisser, R., Tagliabo, F., Marino, A., Cerchio, S. (2005): An integrated architecture for future car generations. In: Proc. of the 8th IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing.","DOI":"10.1109\/ISORC.2005.12"},{"issue":"4","key":"323_CR37","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MM.2002.1028474","volume":"22","author":"S. Poledna","year":"2002","unstructured":"Poledna, S., Maier, R., Bauer, G., St\u00f6ger, G. (2002): Time-triggered architecture: A consistent computing platform. IEEE Micro, 22 (4): 36\u201345.","journal-title":"IEEE Micro"},{"key":"323_CR38","volume-title":"CAN Specification, Version 2.0","author":"Robert Bosch Gmbh","year":"1991","unstructured":"Robert Bosch Gmbh (1991): CAN Specification, Version 2.0. Robert Bosch Gmbh, Stuttgart, Germany."},{"key":"323_CR39","volume-title":"DO-178B: Software considerations in airborne systems and equipment certification","author":"RTCA","year":"1992","unstructured":"RTCA (1992): DO-178B: Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics, Inc. (RTCA), Washington, DC."},{"key":"323_CR40","unstructured":"Rushby, J. (1999): Partitioning for avionics architectures: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center. Also to be issued by the FAA."},{"key":"323_CR41","doi-asserted-by":"crossref","unstructured":"Rushby, J. (2001): Bus architectures for safety-critical embedded systems. In: Henzinger, Tom and Kirsch, Christoph (eds.): In: Proc. of the 1st Workshop on Embedded Software (EMSOFT 2001), vol. 2211 of Lecture Notes in Computer Science: 306\u2013323, Lake Tahoe, CA: Springer.","DOI":"10.1007\/3-540-45449-7_22"},{"key":"323_CR42","unstructured":"Rushby, J. (2001b): Modular certification. Technical report, Computer Science Laboratory SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA."},{"key":"323_CR43","doi-asserted-by":"crossref","unstructured":"Rushby, J. (2002): An overview of formal verification for the time-triggered architecture. In: Damm, W., Olderog, E.-R. (eds.): Formal techniques in real-time and fault-tolerant systems. Vol. 2469 of Lecture Notes in Computer Science. Oldenburg, Germany: Springer. 83\u2013105.","DOI":"10.1007\/3-540-45739-9_7"},{"key":"323_CR44","unstructured":"Simon, H. A. (1996): The sciences of the artificial. MIT Press."},{"key":"323_CR45","doi-asserted-by":"crossref","unstructured":"Swanson, D. L. (1998): Evolving avionics systems from federated to distributed architectures. In: Proc. of the 17th Digital Avionics Systems Conf. (DASC). Vol. 1: D26\/1\u2013D26\/8. AIAA\/IEEE\/SAE.","DOI":"10.1109\/DASC.1998.741519"},{"key":"323_CR46","unstructured":"Swingler, J., McBride, J. W. (1998): The synergistic relationship of stresses in the automotive connector. In: Proc. of the 19th Int. Conf. on Electric Contact Phenomena: 141\u2013145."},{"key":"323_CR47","unstructured":"Toyota (2004): A guide to hybrid synergy drive. Toyota Motor Corporation. Japan."},{"key":"323_CR48","unstructured":"Walter, C. J., Hugue, M. M., Suri, Neeraj (1995): Advances in ultra-dependable distributed systems. IEEE Computer Society, 10662 Los Vaqueros Circle, Los Alamitos, CA 90720."}],"container-title":["e & i Elektrotechnik und Informationstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00502-006-0323.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00502-006-0323\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00502-006-0323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:48:23Z","timestamp":1559094503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00502-006-0323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["323"],"URL":"https:\/\/doi.org\/10.1007\/s00502-006-0323","relation":{},"ISSN":["0932-383X","1613-7620"],"issn-type":[{"value":"0932-383X","type":"print"},{"value":"1613-7620","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}