{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:31:55Z","timestamp":1725568315794},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165603"},{"type":"electronic","value":"9783642165610"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_32","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:50:50Z","timestamp":1288705850000},"page":"327-342","source":"Crossref","is-referenced-by-count":2,"title":["Design Choices for High-Confidence Distributed Real-Time Software"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Fischmeister","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akramul","family":"Azim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","volume-title":"Hard Real-Time Computing Systems","author":"G. Buttazzo","year":"2000","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems. Kluwer Academic Publishers, Dordrecht (2000)"},{"volume-title":"Handbook on Scheduling","year":"2004","key":"32_CR2","unstructured":"Leung, J. (ed.): Handbook on Scheduling. CRC Press, Boca Raton (2004)"},{"key":"32_CR3","volume-title":"Real-Time Systems","author":"J. Liu","year":"2000","unstructured":"Liu, J.: Real-Time Systems. Prentice-Hall, New Jersey (2000)"},{"key":"32_CR4","unstructured":"Coulouris, G., Dollimore, J., Kingberg, T.: Distributed Systems: Concepts and Design. Queen Mary and Westfield College, University of London (1996)"},{"key":"32_CR5","volume-title":"Real-time Systems: Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"issue":"7","key":"32_CR6","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1145\/360248.360253","volume":"19","author":"R.M. Metcalfe","year":"1976","unstructured":"Metcalfe, R.M., Boggs, D.R.: Ethernet: distributed packet switching for local computer networks. Commun. ACM\u00a019(7), 395\u2013404 (1976)","journal-title":"Commun. ACM"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, K., Yang, H.: The Ethernet Capture Effect: Analysis and Solution. In: Proc. 19th Local Computer Networks Conference (1994)","DOI":"10.1109\/LCN.1994.386597"},{"issue":"3","key":"32_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/0140-3664(92)90081-O","volume":"15","author":"R. Court","year":"1992","unstructured":"Court, R.: Real-time Ethernet. Comput. Commun.\u00a015(3), 198\u2013201 (1992)","journal-title":"Comput. Commun."},{"issue":"11","key":"32_CR9","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1109\/TC.2007.70747","volume":"56","author":"S. Fischmeister","year":"2007","unstructured":"Fischmeister, S., Sokolsky, O., Lee, I.: A Verifiable Language for Programming Communication Schedules. IEEE Transactions on Computers\u00a056(11), 1505\u20131519 (2007)","journal-title":"IEEE Transactions on Computers"},{"key":"32_CR10","first-page":"134","volume-title":"Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS)","author":"P. Pedreiras","year":"2002","unstructured":"Pedreiras, P., Almeida, L., Gai, P.: The FTT-Ethernet protocol: merging flexibility, timeliness and efficiency. In: Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS), pp. 134\u2013142. IEEE Press, Los Alamitos (June 2002)"},{"key":"32_CR11","first-page":"282","volume-title":"Proceedings of Real-Time Systems Symposium (RTSS)","author":"C. Venkatramani","year":"1994","unstructured":"Venkatramani, C., Chiueh, T.: Supporting real-time traffic on Ethernet. In: Proceedings of Real-Time Systems Symposium (RTSS), pp. 282\u2013286. IEEE Press, Los Alamitos (December 1994)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Carvajal, G., Fischmeister, S.: A TDMA Ethernet Switch for Dynamic Real-Time Communication. In: Proc. of the 18th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), Charlotte, United States (May 2010)","DOI":"10.1109\/FCCM.2010.27"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Jasperneite, J., Neumann, P., Theis, M., Watson, K.: Deterministic Real-Time Communication with Switched Ethernet. In: Proceedings of 4th IEEE International Workshop on Factory Communication Systems, WFCS (2002)","DOI":"10.1109\/WFCS.2002.1159695"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Steinhammer, K., Grillinger, P., Ademaj, A., Kopetz, H.: A Time-Triggered Ethernet (TTE) Switch. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 3001 Leuven, Belgium, Belgium, European Design and Automation Association, pp. 794\u2013799 (2006)","DOI":"10.1109\/DATE.2006.244145"},{"key":"32_CR15","unstructured":"Aeronautical Radio, I.A.: ARINC 653 (Avionics Application Standard Software Interface). ARINC Standard (2003)"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Anand, M., Fischmeister, S., Lee, I.: Composition Techniques for Tree Communication Schedules. In: Proceedings of the 19th Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, pp. 235\u2013246 (July 2007)","DOI":"10.1109\/ECRTS.2007.88"},{"key":"32_CR17","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1997","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer, Dordrecht (1997)"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"Dubey, A., Karsai, G., Abdelwahed, S.: Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. In: Proceedings of the IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC), Tokyo, Japan (March 2009)","DOI":"10.1109\/ISORC.2009.28"},{"key":"32_CR19","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/1450095.1450117","volume-title":"Proceedings of the 2008 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES)","author":"B. Lickly","year":"2008","unstructured":"Lickly, B., Liu, I., Kim, S., Patel, H., Edwards, S., Lee, E.: Predictable Programming on a Precision Timed Architecture. In: Proceedings of the 2008 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), pp. 137\u2013146. ACM, New York (2008)"},{"key":"32_CR20","first-page":"1","volume-title":"Proceedings of the 1998 annual ACM SIGAda international conference on Ada (SIGAda)","author":"B. Dobbing","year":"1998","unstructured":"Dobbing, B., Burns, A.: The Ravenscar Tasking Profile for High Integrity Real-time Programs. In: Proceedings of the 1998 annual ACM SIGAda international conference on Ada (SIGAda), pp. 1\u20136. ACM, New York (1998)"},{"key":"32_CR21","unstructured":"Systems, P.C.: SPARK 95 - The SPADE Ada 95 Kernel (including RavenSPARK). RavenSPARK S.P0468.73.62 version 4.8 (January 2008)"},{"key":"32_CR22","unstructured":"McCall, G.: Misra-C: 2004. MIRA Limited, Warwickshire, United Kingdom (2004)"},{"key":"32_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","volume-title":"Embedded Software","author":"L. de Alfaro","year":"2002","unstructured":"de Alfaro, L., Henzinger, T., Stoelinga, M.: Timed Interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 108\u2013122. Springer, Heidelberg (2002)"},{"key":"32_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Kirsch, C.M., Horowitz, B.: Giotto: A Time-triggered Language for Embedded Programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211. Springer, Heidelberg (2001)"},{"key":"32_CR25","doi-asserted-by":"crossref","unstructured":"Anand, M., Fischmeister, S., Lee, I.: Resource Scopes: Toward Language Support for Compositional Determinism. In: Proceedings the 12th IEEE International Symposium on Object\/component\/service-oriented Real-time Distributed Computing (ISORC), Tokyo, Japan, pp. 295\u2013304 (May 2009)","DOI":"10.1109\/ISORC.2009.42"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Fischmeister, S., Trausmuth, R., Lee, I.: Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet. IEEE Transactions on Industrial Informatics 5, 3 (2009)","DOI":"10.1109\/TII.2009.2026642"},{"key":"32_CR27","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/DSN.2004.1311899","volume-title":"Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004)","author":"C. Shelton","year":"2004","unstructured":"Shelton, C., Koopman, P.: Improving System Dependability with Functional Alternatives. In: Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), p. 295. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"3","key":"32_CR28","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1109\/12.990127","volume":"51","author":"G.C. Buttazzo","year":"2002","unstructured":"Buttazzo, G.C., Lipari, G., Caccamo, M., Abeni, L.: Elastic Scheduling for Flexible Workload Management. IEEE Transactions on Computers\u00a051(3), 289\u2013302 (2002)","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"32_CR29","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MC.2006.139","volume":"39","author":"R. Schrenker","year":"2006","unstructured":"Schrenker, R.: Software engineering for future healthcare and clinical systems. Computer\u00a039(4), 26\u201332 (2006)","journal-title":"Computer"},{"issue":"2","key":"32_CR30","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J. Real","year":"2004","unstructured":"Real, J., Crespo, A.: Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal. Real-Time Systems\u00a026(2), 161\u2013197 (2004)","journal-title":"Real-Time Systems"},{"key":"32_CR31","doi-asserted-by":"crossref","unstructured":"Almeida, L., Anand, M., Fischmeister, S., Lee, I.: A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems. In: Proceedings of the 7th Annual ACM Conference on Embedded Software (EMSOFT), Salzburg, Austria, pp. 67\u201375 (October 2007)","DOI":"10.1145\/1289927.1289942"},{"key":"32_CR32","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/1629335.1629356","volume-title":"Proceedings of the 7th ACM International Conference on Embedded Software (EMSOFT)","author":"D. Potop-Butucaru","year":"2009","unstructured":"Potop-Butucaru, D., de Simone, R., Sorel, Y., Talpin, J.: Clock-driven Distributed Real-time Implementation of Endochronous Synchronous Programs. In: Proceedings of the 7th ACM International Conference on Embedded Software (EMSOFT), pp. 147\u2013156. ACM, New York (2009)"},{"issue":"6","key":"32_CR33","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1016\/S0735-1097(02)02973-X","volume":"41","author":"A.E. Abbas","year":"2003","unstructured":"Abbas, A.E., Fortuin, F.D., Schiller, N.B., Appleton, C.P., Moreno, C.A., Lester, S.J.: A Simple Method for Noninvasive Estimation of Pulmonary Vascular Resistance. Journal of the American College of Cardiology\u00a041(6), 1021\u20131027 (2003)","journal-title":"Journal of the American College of Cardiology"},{"key":"32_CR34","unstructured":"UPPAAL\u2014An Integrated Tool Environment for Modeling, Validation, and Verification of Real-Time Systems, http:\/\/www.uppaal.com (visited June 2010)"},{"key":"32_CR35","doi-asserted-by":"crossref","unstructured":"Potop-Butucaru, D., Azim, A., Fischmeister, S.: Semantics-preserving Implementation of Synchronous Specifications over Dynamic TDMA Distributed Architectures. In: Proceedings of the 10th International Conference on Embedded Software, EMSOFT (2010)","DOI":"10.1145\/1879021.1879048"},{"issue":"1","key":"32_CR36","first-page":"61","volume":"30","author":"Z. Hu","year":"2002","unstructured":"Hu, Z., Diao, Y.: Primary Model of Heart-systemic-pulmonary System. Journal of Tongji University\u00a030(1), 61\u201365 (2002)","journal-title":"Journal of Tongji University"},{"key":"32_CR37","unstructured":"Henriksson, D., Cervin, A., \u00c5rz\u00e9n, K.E.: TrueTime: Real-time Control System Simulation with MATLAB\/Simulink. In: Proceedings of the Nordic MATLAB Conference (2003)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T23:38:14Z","timestamp":1636760294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}