{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:52Z","timestamp":1725550312234},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540295723"},{"type":"electronic","value":"9783540320920"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11572329_10","type":"book-chapter","created":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T09:09:38Z","timestamp":1129108178000},"page":"101-120","source":"Crossref","is-referenced-by-count":3,"title":["The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Christian","family":"Buckl","sequence":"first","affiliation":[]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[]},{"given":"Gerhard","family":"Schrott","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Fault-Tolerant Computer System Design","author":"D.K. Pradhan","year":"1996","unstructured":"Pradhan, D.K.: Fault-Tolerant Computer System Design. Prentice Hall, Englewood Cliffs (1996)"},{"key":"10_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8990-0","volume-title":"Fault Tolerance: Principles and Practice","author":"P.A. Lee","year":"1990","unstructured":"Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer, Heidelberg (1990)"},{"key":"10_CR3","unstructured":"RTCA DO-178B: Software considerations in airborne systems and equipment certification (1992)"},{"key":"10_CR4","unstructured":"International Electrotechnical Commission: IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems (1998)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H. Kopetz","year":"2003","unstructured":"Kopetz, H., Bauer, G.: The Time-Triggered Architecture. Proceedings of the IEEE\u00a091, 112\u2013126 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"10_CR6","unstructured":"TTTech Computertechnik AG: Time Triggered Protocol TTP\/C High-Level Specification Document (2003)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Gr\u00fcnsteidl, G., Reisinger, J.: Fault-tolerant membership service in a synchronous distributed real-time system. In: Dependable Computing for Critical Applications, pp. 411\u2013429 (1991)","DOI":"10.1007\/978-3-7091-9123-1_19"},{"key":"10_CR8","unstructured":"Kopetz, H., Fohler, G., Gr\u00fcnsteidl, G., Kantz, H., Pospischil, G., Puschner, P., Reisinger, J., Schlatterbeck, R., Sch\u00fctz, W., Vrchoticky, A., Zainlinger, R.: The distributed, fault-tolerant real-time operating system mars. IEEE Operating Systems Newsletter (1992)"},{"key":"10_CR9","unstructured":"Website DECOS, \n \n http:\/\/www.decos.at\/"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 166\u2013184. Springer, Heidelberg (2001)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Embedded control systems development with giotto. In: Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 64\u201372 (2001)","DOI":"10.1145\/384196.384208"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019, 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/41625.41641","volume-title":"POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"P. Caspi","year":"1987","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: Lustre: a declarative language for real-time programming. In: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 178\u2013188. ACM Press, New York (1987)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-46002-0_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times - A Tool for Modelling and Implementation of Embedded Systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 460. Springer, Heidelberg (2002)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Joint European Conferences on Theory and Practice of Software, ETAPS 2004","author":"P. Krcal","year":"2004","unstructured":"Krcal, P., Yi, W.: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In: Joint European Conferences on Theory and Practice of Software, ETAPS 2004. LNCS, Springer, Heidelberg (2004)"},{"key":"10_CR16","unstructured":"Armstrong, J.: Erlang \u2014 a Survey of the Language and its Industrial Applications. In: INAP 1996 \u2014 The 9th Exhibitions and Symposium on Industrial Applications of Prolog, Hino, Tokyo, Japan, pp. 16\u201318 (1996)"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/258948.258967","volume-title":"ICFP 1997: Proceedings of the second ACM SIGPLAN international conference on Functional programming","author":"J. Armstrong","year":"1997","unstructured":"Armstrong, J.: The development of erlang. In: ICFP 1997: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pp. 196\u2013203. ACM Press, New York (1997)"},{"key":"10_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-75765-5","volume-title":"Fehlertoleranzverfahren","author":"K. Echtle","year":"1990","unstructured":"Echtle, K.: Fehlertoleranzverfahren. Springer, Heidelberg (1990)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/2455.2457","volume":"32","author":"L. Lamport","year":"1985","unstructured":"Lamport, L., Melliar-Smith, P.M.: Synchronizing clocks in the presence of faults. J. ACM\u00a032, 52\u201378 (1985)","journal-title":"J. ACM"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Lundelius, J., Lynch, N.A.: A new fault-tolerant algorithm for clock synchronization. In: Symposium on Principles of Distributed Computing, pp. 75\u201388 (1984)","DOI":"10.1145\/800222.806738"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1007957901560","volume":"12","author":"U. Schmid","year":"1997","unstructured":"Schmid, U., Schossmaier, K.: Interval-based clock synchronization. Real-Time Systems\u00a012, 173\u2013228 (1997)","journal-title":"Real-Time Systems"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/B:TIME.0000045318.83240.86","volume":"28","author":"F. Saglietti","year":"2004","unstructured":"Saglietti, F.: Licensing reliable embedded software for safety-critical applications. Real-Time Systems\u00a028, 217\u2013236 (2004)","journal-title":"Real-Time Systems"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/12.833107","volume":"49","author":"S. Poledna","year":"2000","unstructured":"Poledna, S., Burns, A., Wellings, A., Barrett, P.: Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers\u00a049, 100\u2013110 (2000)","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR24","unstructured":"Buckl, C.: Zerberus Language Specification Version 1.0. Technical Report TUM-I0501, TU M\u00fcnchen (2005)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11572329_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:47:32Z","timestamp":1558273652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11572329_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540295723","9783540320920"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11572329_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}