{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:53Z","timestamp":1742914313929,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_15","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"213-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Time for All Programs, Not Just Real-Time Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"15_CR1","unstructured":"Allen, J.: Effective Akka: Patterns and Best Practices. \" O\u2019Reilly Media, Inc.\" (2013)"},{"key":"15_CR2","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent programming in Erlang. Prentice Hall, second edn. (1996)"},{"issue":"9","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79(9), 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Brewer, E.: Towards robust distributed system. In: Symposium on Principles of Distributed Computing (PODC) (2000), keynote Talk","DOI":"10.1145\/343477.343502"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Brewer, E.: CAP twelve years later: How the \u201crules\u201d have changed. Computer 45(2), 23\u201329 (2012). https:\/\/doi.org\/10.1109\/MC.2012.37","DOI":"10.1109\/MC.2012.37"},{"key":"15_CR6","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX. Addison-Wesley, 3d edn. (2001)"},{"key":"15_CR7","volume-title":"Discrete Event Systems","author":"CG Cassandras","year":"1993","unstructured":"Cassandras, C.G.: Discrete Event Systems. Irwin, Modeling and Performance Analysis (1993)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison Wesley (1988)","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., Dean, J., Epstein, M., Fikes, A., Frost, C., Furman, J., Ghemawat, S., Gubarev, A., Heiser, C., Hochschild, P., Hsieh, W., Kanthak, S., Kogan, E., Li, H., Lloyd, A., Melnik, S., Mwaura, D., Nagle, D., Quinlan, S., Rao, R., Rolig, L., Saito, Y., Szymaniak, M., Taylor, C., Wang, R., Woodford, D.: Spanner: Google\u2019s globally-distributed database. In: OSDI (2012). https:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. In: The origin of concurrent programming, pp. 65\u2013138. Springer (1968)","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"15_CR11","unstructured":"Downey, A.B.: The Little Book of Semaphores, vol. Version 2.2.1. Green Tea Press, second edition edn. (2016), https:\/\/greenteapress.com\/semaphores\/LittleBookOfSemaphores.pdf"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"J Eidson","year":"2012","unstructured":"Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed real-time software for cyber-physical systems. Proceedings of the IEEE (special issue on CPS) 100(1), 45\u201359 (2012). https:\/\/doi.org\/10.1109\/JPROC.2011.2161237","journal-title":"Proceedings of the IEEE (special issue on CPS)"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"PT Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P.A., Gerraoui, R., Kermarrec, A.M.: The many faces of publish\/subscribe. ACM Computing Surveys 35(2), 114\u2013131 (2003). https:\/\/doi.org\/10.1145\/857076.857078","journal-title":"ACM Computing Surveys"},{"key":"15_CR14","unstructured":"Galletly, J.: Occam-2. University College London Press, 2nd edn. (1996)"},{"key":"15_CR15","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, August 20\u201323, 1973. pp. 235\u2013245 (1973)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Hunkeler, U., Truong, H.L., Stanford-Clark, A.: MQTT-S\u2013A publish\/subscribe protocol for wireless sensor networks. In: 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE\u201908). pp. 791\u2013798. IEEE (2008)","DOI":"10.1109\/COMSWA.2008.4554519"},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"Imam, S., Sarkar, V.: Savina - an actor benchmark suite enabling empirical evaluation of actor libraries. In: Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE) (2014).https:\/\/doi.org\/10.1145\/2687357.2687368","DOI":"10.1145\/2687357.2687368"},{"issue":"3","key":"15_CR18","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D Jefferson","year":"1985","unstructured":"Jefferson, D.: Virtual time. ACM Trans. Programming Languages and Systems 7(3), 404\u2013425 (1985)","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Jerad, C., Lee, E.A.: Deterministic timing for the industrial internet of things. In: IEEE Int. Conf. on Industrial Internet (ICII). IEEE (Oct 21\u201323 2018)","DOI":"10.1109\/ICII.2018.00010"},{"issue":"9","key":"15_CR20","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E Klingerman","year":"1986","unstructured":"Klingerman, E., Stoyenko, A.: Real-time Euclid: A language for reliable real-time systems. IEEE Tr. on Software Engineering 12(9), 941\u2013949 (1986)","journal-title":"IEEE Tr. on Software Engineering"},{"key":"15_CR21","unstructured":"Kuhl, F., Weatherly, R., Dahmann, J.: Creating Computer Simulation Systems: an Introduction to the High Level Architecture. Prentice Hall PTR (1999)"},{"issue":"7","key":"15_CR22","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558\u2013565 (1978). https:\/\/doi.org\/10.1145\/359545.359563","journal-title":"Communications of the ACM"},{"issue":"2","key":"15_CR23","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/2993.2994","volume":"6","author":"L Lamport","year":"1984","unstructured":"Lamport, L.: Using time instead of timeout for fault-tolerant distributed systems. ACM Transactions on Programming Languages and Systems 6(2), 254\u2013280 (1984)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR24","doi-asserted-by":"publisher","unstructured":"Liskov, B.H., Ladin, R.: Highly available distributed services and fault-tolerant distributed garbage collection. In: Symposium on Principles of distributed computing (PODC). pp. 29\u201339. ACM (November 1986). https:\/\/doi.org\/10.1145\/10590.10593","DOI":"10.1145\/10590.10593"},{"key":"15_CR25","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Menard, C., Bateni, S., Lee, E.A.: Toward a Lingua Franca for deterministic concurrent systems. ACM Transactions on Embedded Computing Systems (TECS) 20(4), Article 36 (May 2021). https:\/\/doi.org\/10.1145\/3448128","DOI":"10.1145\/3448128"},{"key":"15_CR26","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Menard, C., Schulz-Rosengarten, A., Weber, M., Castrillon, J., Lee, E.A.: A language for deterministic coordination across multiple timelines. In: Forum for Specification and Design Languages (FDL). IEEE (September 15\u201317 2020). https:\/\/doi.org\/10.1109\/FDL50818.2020.9232939","DOI":"10.1109\/FDL50818.2020.9232939"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Martin, T.: Real-time programing language PEARL - concept and characteristics. In: Computer Software and Applications Conference (COMPSAC). pp. 301\u2013306 (1978)","DOI":"10.1109\/CMPSAC.1978.810404"},{"key":"15_CR28","doi-asserted-by":"publisher","unstructured":"Menard, C., Goens, A., Lohstroh, M., Castrillon, J.: Determinism in Adaptive AUTOSAR. In: Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE) (March 2020). https:\/\/doi.org\/10.23919\/DATE48585.2020.9116430","DOI":"10.23919\/DATE48585.2020.9116430"},{"key":"15_CR29","unstructured":"Moritz, P., Nishihara, R., Wang, S., Tumanov, A., Liaw, R., Liang, E., Paul, W., Jordan, M.I., Stoica, I.: Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889 (2017)"},{"issue":"3","key":"15_CR30","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/360680.360709","volume":"18","author":"DL Parnas","year":"1975","unstructured":"Parnas, D.L.: On a solution to the cigarette smokers\u2019 problem (without conditional statements). Communications of the ACM 18(3), 181\u2013183 (1975). https:\/\/doi.org\/10.1145\/360680.360709","journal-title":"Communications of the ACM"},{"key":"15_CR31","volume-title":"Limitations and capabilities of Dijkstra\u2019s semaphore primitives for coordination among processes","author":"SS Patil","year":"1971","unstructured":"Patil, S.S.: Limitations and capabilities of Dijkstra\u2019s semaphore primitives for coordination among processes. Report, Computation Structures Group, Project MAC, MIT (February (1971)"},{"key":"15_CR32","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y., et al.: ROS: an open-source robot operating system. In: ICRA workshop on open source software. vol. 3, p. 5. Kobe, Japan (2009)"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Schneider, C., Sp\u00f6nemann, M., von Hanxleden, R.: Just model! - Putting automatic synthesis of node-link-diagrams into practice. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC \u201913). pp. 75\u201382. San Jose, CA, USA (9 2013)","DOI":"10.1109\/VLHCC.2013.6645246"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Wirth, N.: Toward a discipline of real-time programming. Commun. ACM 20(8), 577\u2013583 (1977)","DOI":"10.1145\/359763.359798"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Wirth, N.: Report on the programming language Modula-2. In: Programming in Modula-2, pp. 139\u2013165. Springer (1983)","DOI":"10.1007\/978-3-642-96757-3_33"},{"key":"15_CR36","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press, 2nd edn. (2000)"},{"key":"15_CR37","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS). pp. 259\u2013268. IEEE (2007). https:\/\/doi.org\/10.1109\/RTAS.2007.5","DOI":"10.1109\/RTAS.2007.5"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:26:40Z","timestamp":1725913600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}