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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)

    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 languageUndefined
    Title of host publication9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011)
    EditorsUli Fahrenberg, Stavros Tripakis
    Place of PublicationHeidelberg
    PublisherSpringer
    Pages18-24
    Number of pages7
    ISBN (Print)978-3-642-24309-7
    DOIs
    Publication statusPublished - Sep 2011
    Event9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011 - Phønix Hotel, Aalborg, Denmark
    Duration: 21 Sep 201123 Sep 2011
    Conference number: 9
    http://formats2011.cs.aau.dk/

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume6919
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011
    Abbreviated titleFORMATS
    CountryDenmark
    CityAalborg
    Period21/09/1123/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