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

Boudewijn R.H.M. Haverkort, Uli Fahrenberg (Editor), Stavros Tripakis (Editor)

Research output: Other contributionOther research output

Abstract

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.
Original languageEnglish
PublisherSpringer Verlag
Number of pages7
Place of PublicationHeidelberg
ISBN (Print)978-3-642-24309-7
DOIs
Publication statusPublished - Sep 2011
Externally publishedYes

Fingerprint

market
cause

Keywords

  • METIS-278847
  • EWI-20619
  • IR-78198

Cite this

Haverkort, Boudewijn R.H.M. ; Fahrenberg, Uli (Editor) ; Tripakis, Stavros (Editor). / Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?. 2011. Heidelberg : Springer Verlag. 7 p.
@misc{a570cff870a94580b48daae1f1342ca3,
title = "Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?",
abstract = "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.",
keywords = "METIS-278847, EWI-20619, IR-78198",
author = "Haverkort, {Boudewijn R.H.M.} and Uli Fahrenberg and Stavros Tripakis",
note = "10.1007/978-3-642-24310-3_2",
year = "2011",
month = "9",
doi = "10.1007/978-3-642-24310-3_2",
language = "English",
isbn = "978-3-642-24309-7",
publisher = "Springer Verlag",
address = "Germany",
type = "Other",

}

Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? / Haverkort, Boudewijn R.H.M.; Fahrenberg, Uli (Editor); Tripakis, Stavros (Editor).

7 p. Heidelberg : Springer Verlag. 2011, .

Research output: Other contributionOther research output

TY - GEN

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

AU - Haverkort, Boudewijn R.H.M.

A2 - Fahrenberg, Uli

A2 - Tripakis, Stavros

N1 - 10.1007/978-3-642-24310-3_2

PY - 2011/9

Y1 - 2011/9

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

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

KW - METIS-278847

KW - EWI-20619

KW - IR-78198

U2 - 10.1007/978-3-642-24310-3_2

DO - 10.1007/978-3-642-24310-3_2

M3 - Other contribution

SN - 978-3-642-24309-7

PB - Springer Verlag

CY - Heidelberg

ER -