Time Is Up

  • Carlo A. Furia
  • Dino Mandrioli
  • Angelo Morzenti
  • Matteo Rossi
Part of the Monographs in Theoretical Computer Science. An EATCS Series book series (EATCS)


In this epilogue chapter, we summarize the book content and we discuss how the methods and notations presented in the book could be adopted, possibly in combination, to derive potentially original solutions for the problem of specifying, modeling, and analyzing complex computerized systems. We support our conclusive remarks by means of a hypothetical case study inspired by the management of an autonomous vehicle. Finally, we outline possible future developments in terms of unifying frameworks that could integrate the salient features of the approaches discussed in the book.


Temporal Logic Abstract State Machine Discrete Time Domain Continuous Time Domain Hypothetical Case Study 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Bliudze, S., Krob, D.: Modelling of complex systems: systems as dataflow machines. Fundam. Inform. 91(2), 251–274 (2009)Google Scholar
  2. 2.
    Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Berlin/New York (2003)Google Scholar
  3. 3.
    Gargantini, A., Mandrioli, D., Morzenti, A.: Dealing with zero-time transitions in axiom systems. Inf. Comput. 150(2), 119–131 (1999)Google Scholar
  4. 4.
    Littlewood, B.: How to measure software reliability, and how not to. In: ICSE, pp. 37–45. IEEE Computer Society, Washington, DC/New York/Long Beach (1978)Google Scholar
  5. 5.
    Littlewood, B.: Dependability assessment of software-based systems: state of the art. In: Roman, G.C., Griswold, W.G., Nuseibeh, B. (eds.) Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 15–21 May 2005, St. Louis, pp. 6–7. ACM, New York (2005)Google Scholar
  6. 6.
    Ouimet, M., Lundqvist, K.: The timed abstract state machine language: abstract state machines for real-time system engineering. In: Proceedings of the 14th International Workshop on Abstract State Machines (ASM’07), Norway (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Carlo A. Furia
    • 1
  • Dino Mandrioli
    • 2
  • Angelo Morzenti
    • 2
  • Matteo Rossi
    • 2
  1. 1.Department of Computer ScienceZürichSwitzerland
  2. 2.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanItaly

Personalised recommendations