Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?

  • Boudewijn R. Haverkort
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6919)


In this short paper I will address the question whether the methods and techniques we develop are applied well in industrial practice. To address this question, I will make a few observations from the academic field, as well as from industrial practice. This will be followed by a concise analysis of the cause of the perceived gap between the academic state-of-the-art and industrial practice. I will conclude with some opportunities for improvement.


Model Check Open Innovation Industrial Practice Technology Push Embed Control System 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks 14, 25–59 (1987)Google Scholar
  2. 2.
    Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Performance Evaluation and Model Checking Join Forces. Communications of the ACM 53(9), 76–85 (2010)CrossRefGoogle Scholar
  3. 3.
    Chesbrough, H.W.: The Era of Open Innovation. MIT Sloan Management Review 44(3), 35–41 (2003)Google Scholar
  4. 4.
    The Embedded Systems Institute Strategic Research Agenda 2011 Forthcoming fall (2011),
  5. 5.
    Thomas, N., Juiz, C. (eds.): EPEW 2008. LNCS, vol. 5261. Springer, Heidelberg (2008)Google Scholar
  6. 6.
    Frenkel, K.A.: Big Blue’s Time-Sharing Pioneer. Communications of the ACM 30(10), 824–828 (1987)CrossRefGoogle Scholar
  7. 7.
    Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1990)Google Scholar
  8. 8.
    Proceedings IEEE MASCOTS. IEEE CS Press, London (September 2009)Google Scholar
  9. 9.
    Proceedings of the International Conference on Operations Research. Springer, München (September 2010)Google Scholar
  10. 10.
  11. 11.
    Potts, C.: Software-Engineering Research Revisited. IEEE Software 10(5), 19–28 (1993)CrossRefGoogle Scholar
  12. 12.
    Tichy, W.F.: Should Computer Scientists Experiment More? IEEE Computer 31(5), 32–40 (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Boudewijn R. Haverkort
    • 1
    • 2
  1. 1.Embedded Systems InstituteEindhovenThe Netherlands
  2. 2.Design and Analysis of Communication SystemsUniversity of TwenteThe Netherlands

Personalised recommendations