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 language | Undefined |
|---|---|
| Title of host publication | 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011) |
| Editors | Uli Fahrenberg, Stavros Tripakis |
| Place of Publication | Heidelberg |
| Publisher | Springer |
| Pages | 18-24 |
| Number of pages | 7 |
| ISBN (Print) | 978-3-642-24309-7 |
| DOIs | |
| Publication status | Published - Sep 2011 |
| Event | 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011 - Phønix Hotel, Aalborg, Denmark Duration: 21 Sep 2011 → 23 Sep 2011 Conference number: 9 http://formats2011.cs.aau.dk/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 6919 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011 |
|---|---|
| Abbreviated title | FORMATS |
| Country | Denmark |
| City | Aalborg |
| Period | 21/09/11 → 23/09/11 |
| Internet address |
Keywords
- METIS-278847
- EWI-20619
- IR-78198
Cite this
Haverkort, B. R. H. M. (2011). Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? In U. Fahrenberg, & S. Tripakis (Eds.), 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011) (pp. 18-24). (Lecture Notes in Computer Science; Vol. 6919). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-24310-3_2