{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:35:20Z","timestamp":1743129320192,"version":"3.40.3"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737503"},{"type":"electronic","value":"9783031737510"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73751-0_1","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["All About Time"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"1_CR1","unstructured":"Yi, W.: A calculus of real time systems, Doctoral thesis, Chalmers University of Technology, ISBN 91\u20137032\u2013589\u20138 (1991)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic verification of real-time communicating systems by constraint-solving. In: Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques (pp. 243-258). Boston, MA: Springer US (1995)","DOI":"10.1007\/978-0-387-34878-0_18"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR4","first-page":"575","volume-title":"Diagnostic Model-Checking for Real-Time Systems","author":"KG Laxsen","year":"1996","unstructured":"Laxsen, K.G., Pettersson, P., Yi, W.: Diagnostic Model-Checking for Real-Time Systems, pp. 575\u2013586. Springer, Berlin Heidelberg (1996)"},{"key":"1_CR5","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Model-checking for real-time systems. In: Fundamentals of Computation Theory: 10th International Conference, FCT'95 Dresden, Germany, August 22\u201325, 1995 Proceedings 10 (pp. 62-88). Springer Berlin Heidelberg (1995)."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-61474-5_73","volume-title":"Computer Aided Verification","author":"W Johan Bengtsson","year":"1996","unstructured":"Johan Bengtsson, W., Griffioen, D., Kristoffersen, K.J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Verification of an Audio Protocol with Bus Collision Using UPPAAL. In: Alur, R., Henzinger, T.A. (eds.) Computer Aided Verification, pp. 244\u2013256. Springer Berlin Heidelberg, Berlin, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61474-5_73"},{"issue":"1\u20132","key":"1_CR7","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL: Status & developments. In Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, Proceedings 9 (pp. 456-459). Springer Berlin Heidelberg (1997)","DOI":"10.1007\/3-540-63166-6_47"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Efficient verification of real-time systems: Compact data structure and state-space reduction. In: Proceedings Real-Time Systems Symposium (pp. 14-24). IEEE (1997).","DOI":"10.1109\/REAL.1997.641265"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/BFb0054178","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Lindahl","year":"1998","unstructured":"Lindahl, M., Pettersson, P., Yi, W.: Formal Design and Analysis of a Gear Controller. In: Steffen, B. (ed.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 281\u2013297. Springer Berlin Heidelberg, Berlin, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0054178"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-46419-0_10","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Larsson","year":"2000","unstructured":"Larsson, F., Pettersson, P., Yi, W.: On Memory-Block Traversal Problems in Model-Checking Timed Systems. In: Graf, S., Schwartzbach, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 127\u2013141. Springer Berlin Heidelberg, Berlin, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46419-0_10"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1057\/9780230235014_5","volume-title":"The Refuge and the Fortress","author":"J Seabrook","year":"2009","unstructured":"Seabrook, J.: Now. In: The Refuge and the Fortress, pp. 153\u2013225. Palgrave Macmillan UK, London (2009). https:\/\/doi.org\/10.1057\/9780230235014_5"},{"issue":"4","key":"1_CR13","first-page":"269","volume":"9","author":"T Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Pettersson, P., Sun, H., Yi, W.: Code synthesis for timed automata. Nord. J. Comput. 9(4), 269\u2013300 (2002)","journal-title":"Nord. J. Comput."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed Automata with Asynchronous Processes: Schedulability and Decidability. In: Katoen, J.-P., Stevens, P. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 67\u201382. Springer Berlin Heidelberg, Berlin, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_6"},{"key":"1_CR15","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 b\u2014 A Tool for Modelling and Implementation of Embedded Systems. In: Katoen, J.-P., Stevens, P. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 460\u2013464. Springer Berlin Heidelberg, Berlin, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_32"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-36577-X_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Fersman","year":"2003","unstructured":"Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability Analysis Using Two Clocks. In: Garavel, H., Hatcliff, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 224\u2013239. Springer Berlin Heidelberg, Berlin, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36577-X_16"},{"issue":"2","key":"1_CR17","first-page":"129","volume":"11","author":"E Fersman","year":"2004","unstructured":"Fersman, E., Yi, W.: A generic approach to schedulability analysis of real-time tasks. Nord. J. Comput. 11(2), 129\u2013147 (2004)","journal-title":"Nord. J. Comput."},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.tcs.2005.11.019","volume":"354","author":"E Fersman","year":"2006","unstructured":"Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2), 301\u2013317 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"8","key":"1_CR19","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman, E., Krc\u00e1l, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Krcal, P., Stigge, M., Yi, W.: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. In: the proc. of 5th Int Conference on Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, LNCS 4763: 274\u2013289 (2007)","DOI":"10.1007\/978-3-540-75454-1_20"},{"key":"1_CR21","unstructured":"Krcal, P., Mokrushin, L., Yi, W.: A tool for compositional analysis of timed systems by abstraction. In: Proc, of 19th Nordic workshop on programming theory, Oslo (2007)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Guan, N., Yi, W., Gu, Z., Yu, G.: New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms. In: The proc. of the 29th IEEE Real-Time Systems Symposium, Barcelona (2008)","DOI":"10.1109\/RTSS.2008.17"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Guan, N., Stigge, M., Yi, W., Yu, G.: Cache-aware scheduling and analysis for multicores. In: Proceedings of the seventh ACM international conference on Embedded software (pp. 245-254) (2009).","DOI":"10.1145\/1629335.1629369"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Guan, N., Stigge, M., Yi, W., Yu, G.: New response time bounds for fixed priority multiprocessor scheduling. In: 2009 30th IEEE Real-Time Systems Symposium (pp. 387-397). IEEE (2009).","DOI":"10.1109\/RTSS.2009.11"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Guan, N., Stigge, M., Yi, W., Yu, G.: Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound. In: the proc. of RTAS10, 16th IEEE Real-Time and Embedded Technology and Applications Symposium Stockholm, Sweden (2010)","DOI":"10.1109\/RTAS.2010.39"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Lv, M., Nan, G., Yi, W. and Yu, G.: Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. In: the proc. of the 31th IEEE Real-Time Systems Symposium, San Diego, CA, USA (2010)","DOI":"10.1109\/RTSS.2010.30"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Stigge, M., Ekberg, P., Guan, N., Yi, W.: The digraph real-time task model. In: 2011 17th IEEE real-time and embedded technology and applications symposium (pp. 71-80). IEEE (2011).","DOI":"10.1109\/RTAS.2011.15"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Guan, N., Ekberg, P., Stigge, M., Yi, W.: Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems. In: 2011 IEEE 32nd Real-Time Systems Symposium (pp. 13-23). IEEE (2011).","DOI":"10.1109\/RTSS.2011.10"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Ekberg, P., Yi, W.: Bounding and shaping the demand of mixed-criticality sporadic tasks. In: the proc of the 24rd Euromicro Conference on Real-Time Systems. Pisa, Italy (2012)","DOI":"10.1109\/ECRTS.2012.24"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Stigge, M., Yi, W.: Combinatorial abstraction refinement for feasibility analysis. In: 2013 IEEE 34th Real-Time Systems Symposium (pp. 340-349). IEEE (2013).","DOI":"10.1109\/RTSS.2013.41"},{"issue":"1","key":"1_CR31","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/s11241-013-9187-z","volume":"50","author":"P Ekberg","year":"2014","unstructured":"Ekberg, P., Yi, W.: Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-Time Syst. 50(1), 48\u201386 (2014)","journal-title":"Real-Time Syst."},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Ekberg, P., Yi, W.: Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete. In: 2015 27th Euromicro Conference on Real-Time Systems (pp. 281-286). IEEE (2015).","DOI":"10.1109\/ECRTS.2015.32"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Ekberg, P., Yi, W.: Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization. RTSS (2015)","DOI":"10.1109\/RTSS.2015.16"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Abdullah, J., Dai, G., Guan, N., Mohaqeqi, M., Yi, W.: Towards a tool: times-pro for modeling, analysis, simulation and implementation of cyber-physical systems. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 623-639 (2017)","DOI":"10.1007\/978-3-319-63121-9_31"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Jiang, X., Guan, N., Long, X., Yi, W.: Semi-federated scheduling of parallel real-time tasks on multiprocessors. In 2017 IEEE Real-Time Systems Symposium (RTSS) (pp. 80-91). IEEE (2017).","DOI":"10.1109\/RTSS.2017.00015"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Ekerg, P., Yi, W.: Fixed-priority schedulability of sporadic tasks on uniprocessors is NP-hard, RTSS (2017)","DOI":"10.1109\/RTSS.2017.00020"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Yi, W.: Design and dynamic update of real-time systems. RTSS (2019)","DOI":"10.1109\/RTSS46320.2019.00011"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Yi, W., Mohaqeqi, M., Graf, S.: Mimos: A deterministic model for the design and update of real-time systems. In International Conference on Coordination Languages and Models (pp. 17-34). Cham: Springer Nature Switzerland (2022).","DOI":"10.1007\/978-3-031-08143-9_2"},{"key":"1_CR39","unstructured":"Roozkhosh, S., Hoornaert, D., Mancuso, R., Athanassoulis, M.: Hardware data re-organization engine for real-time systems. In: Proceedings of the Open Demo Session of the 43rd Real-Time Systems Symposium (RTSS@ Work) (2022)."},{"key":"1_CR40","unstructured":"Mohaqeqi, M., Yi, W.: DATooR, white paper: A DAG Design and Analysis Tool, see https:\/\/user.it.uu.se\/~mormo492\/datoor\/DAG_Tool.pdf, under development"},{"key":"1_CR41","unstructured":"Dai, G., Khodabandeloo, B., Mohaqeqi, M., Yi, W. et al.: MIMOS tool, see https:\/\/akhoda256.github.io\/agency-jekyll-theme\/, under development"},{"key":"1_CR42","unstructured":"Hansson, H., Norstr\u00f6m, C., Seceleanu, C., Wang at MDU in a nutshell. In this volume"},{"key":"1_CR43","unstructured":"Fersman, E., Pettersson, P.: To Sifu - Supervision, Mentorship and Lifelong Bond. In this volume"},{"key":"1_CR44","unstructured":"Andersson, B.: Research in one Area Benefits Another. In this volume"},{"key":"1_CR45","unstructured":"Olderog, E-R.: Verifying PLC-Automata against Counterexample Formulas using Timed Automata. In this volume"},{"key":"1_CR46","unstructured":"Johnsen, E.B., Kobialka, P., Pferscher, A., Tarifa, S.L.T.: Nudging Strategies for User Journeys: Take a Path on the Wild Side. In this volume"},{"key":"1_CR47","unstructured":"Gao, Y., Zhou, C., Abate, A., Johansson, K.H.: Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees. In this volume"},{"key":"1_CR48","unstructured":"Abdulla, P.A., Atig, M.F., Das, S., Jonsson, B., Sagonas, K.: Trading Space for Simplicity in Stateless Model Checking. In this volume"},{"key":"1_CR49","unstructured":"Kristjansen, M., Kim, G., Larsen, Performance Analysis of Stochastic Digraph Real-Time Task Model. In this volume"},{"key":"1_CR50","unstructured":"Baruah, S., Ekberg, P.: A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory. In this volume"},{"key":"1_CR51","unstructured":"Murtovi, A.: Maximilian Schl\u00fcter, Bernhard Steffen, Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. In this volume"},{"key":"1_CR52","unstructured":"Henzinger, T.A.: Reminiscences of a Real-Time Researcher. In this volume"}],"container-title":["Lecture Notes in Computer Science","Real Time and Such"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73751-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:52Z","timestamp":1729638172000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73751-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031737503","9783031737510"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73751-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}