Skip to main content
Springer Nature Link
Log in

All About Time

  • Chapter
  • First Online:
Real Time and Such

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 15230))

  • 125 Accesses

Abstract

Timing is a central concern in critical embedded systems. Such systems must interact with a physical environment in a timely fashion. The critical point here is not average performance but guaranteed performance which must be good enough for the given environment. In this introduction to the Festschrift dedicated to Wang Yi on the occasion of his 60th birthday, we give an overview on the contributions of Wang Yi to the analysis and the construction of real-time systems and to the related contributions to this volume.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Yi, W.: A calculus of real time systems, Doctoral thesis, Chalmers University of Technology, ISBN 91–7032–589–8 (1991)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article  MathSciNet  Google Scholar 

  4. Laxsen, K.G., Pettersson, P., Yi, W.: Diagnostic Model-Checking for Real-Time Systems, pp. 575–586. Springer, Berlin Heidelberg (1996)

    Google Scholar 

  5. 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–25, 1995 Proceedings 10 (pp. 62-88). Springer Berlin Heidelberg (1995).

    Google Scholar 

  6. 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–256. Springer Berlin Heidelberg, Berlin, Heidelberg (1996). https://doi.org/10.1007/3-540-61474-5_73

    Chapter  Google Scholar 

  7. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1–2), 134–152 (1997)

    Article  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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).

    Google Scholar 

  10. 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–297. Springer Berlin Heidelberg, Berlin, Heidelberg (1998). https://doi.org/10.1007/BFb0054178

    Chapter  Google Scholar 

  11. 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–141. Springer Berlin Heidelberg, Berlin, Heidelberg (2000). https://doi.org/10.1007/3-540-46419-0_10

    Chapter  Google Scholar 

  12. Seabrook, J.: Now. In: The Refuge and the Fortress, pp. 153–225. Palgrave Macmillan UK, London (2009). https://doi.org/10.1057/9780230235014_5

    Chapter  Google Scholar 

  13. Amnell, T., Fersman, E., Pettersson, P., Sun, H., Yi, W.: Code synthesis for timed automata. Nord. J. Comput. 9(4), 269–300 (2002)

    MathSciNet  Google Scholar 

  14. 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–82. Springer Berlin Heidelberg, Berlin, Heidelberg (2002). https://doi.org/10.1007/3-540-46002-0_6

    Chapter  Google Scholar 

  15. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES b— 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–464. Springer Berlin Heidelberg, Berlin, Heidelberg (2002). https://doi.org/10.1007/3-540-46002-0_32

    Chapter  Google Scholar 

  16. 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–239. Springer Berlin Heidelberg, Berlin, Heidelberg (2003). https://doi.org/10.1007/3-540-36577-X_16

    Chapter  Google Scholar 

  17. Fersman, E., Yi, W.: A generic approach to schedulability analysis of real-time tasks. Nord. J. Comput. 11(2), 129–147 (2004)

    MathSciNet  Google Scholar 

  18. Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2), 301–317 (2006)

    Article  MathSciNet  Google Scholar 

  19. Fersman, E., Krcál, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149–1172 (2007)

    Article  MathSciNet  Google Scholar 

  20. 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–289 (2007)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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).

    Google Scholar 

  24. 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).

    Google Scholar 

  25. 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)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. 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).

    Google Scholar 

  28. 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).

    Google Scholar 

  29. 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)

    Google Scholar 

  30. Stigge, M., Yi, W.: Combinatorial abstraction refinement for feasibility analysis. In: 2013 IEEE 34th Real-Time Systems Symposium (pp. 340-349). IEEE (2013).

    Google Scholar 

  31. Ekberg, P., Yi, W.: Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-Time Syst. 50(1), 48–86 (2014)

    Article  Google Scholar 

  32. 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).

    Google Scholar 

  33. Ekberg, P., Yi, W.: Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization. RTSS (2015)

    Google Scholar 

  34. 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)

    Google Scholar 

  35. 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).

    Google Scholar 

  36. Ekerg, P., Yi, W.: Fixed-priority schedulability of sporadic tasks on uniprocessors is NP-hard, RTSS (2017)

    Google Scholar 

  37. Yi, W.: Design and dynamic update of real-time systems. RTSS (2019)

    Google Scholar 

  38. 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).

    Google Scholar 

  39. 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).

    Google Scholar 

  40. 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

  41. Dai, G., Khodabandeloo, B., Mohaqeqi, M., Yi, W. et al.: MIMOS tool, see https://akhoda256.github.io/agency-jekyll-theme/, under development

  42. Hansson, H., Norström, C., Seceleanu, C., Wang at MDU in a nutshell. In this volume

    Google Scholar 

  43. Fersman, E., Pettersson, P.: To Sifu - Supervision, Mentorship and Lifelong Bond. In this volume

    Google Scholar 

  44. Andersson, B.: Research in one Area Benefits Another. In this volume

    Google Scholar 

  45. Olderog, E-R.: Verifying PLC-Automata against Counterexample Formulas using Timed Automata. In this volume

    Google Scholar 

  46. 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

    Google Scholar 

  47. Gao, Y., Zhou, C., Abate, A., Johansson, K.H.: Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees. In this volume

    Google Scholar 

  48. Abdulla, P.A., Atig, M.F., Das, S., Jonsson, B., Sagonas, K.: Trading Space for Simplicity in Stateless Model Checking. In this volume

    Google Scholar 

  49. Kristjansen, M., Kim, G., Larsen, Performance Analysis of Stochastic Digraph Real-Time Task Model. In this volume

    Google Scholar 

  50. Baruah, S., Ekberg, P.: A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory. In this volume

    Google Scholar 

  51. Murtovi, A.: Maximilian Schlüter, Bernhard Steffen, Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. In this volume

    Google Scholar 

  52. Henzinger, T.A.: Reminiscences of a Real-Time Researcher. In this volume

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNRS, Grenoble INP, VERIMAG, University Grenoble Alpes, Grenoble, France

    Susanne Graf

  2. Uppsala University, Uppsala, Sweden

    Susanne Graf

  3. Mälardalen University, Västerås, Sweden

    Paul Pettersson

  4. TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Authors
  1. Susanne Graf
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paul Pettersson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bernhard Steffen .

Editor information

Editors and Affiliations

  1. Université Grenoble Alpes, VERIMAG, Grenoble, France

    Susanne Graf

  2. Mälardalen University, Västerås, Sweden

    Paul Pettersson

  3. TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Graf, S., Pettersson, P., Steffen, B. (2025). All About Time. In: Graf, S., Pettersson, P., Steffen, B. (eds) Real Time and Such. Lecture Notes in Computer Science, vol 15230. Springer, Cham. https://doi.org/10.1007/978-3-031-73751-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-73751-0_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-73750-3

  • Online ISBN: 978-3-031-73751-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics