CIF 3 : model-based engineering of supervisory controllers

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    38 Citaten (Scopus)
    8 Downloads (Pure)

    Samenvatting

    The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based engineering framework for the engineering of supervisory controllers and explain how the CIF language and accompanying tools can be used for typical activities in that framework such as modeling, supervisory control synthesis, simulation-based validation, verification, and visualization, real-time testing, and code generation. We mention a number of case studies for which this approach was used in the recent past. We discuss future developments on the level of language and tools as well as research results that may be integrated in the longer term.
    Originele taal-2Engels
    TitelTools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
    RedacteurenE. Abraham, K. Havelund
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's575-580
    ISBN van geprinte versie978-3-642-54861-1
    DOI's
    StatusGepubliceerd - 2014
    Evenementconference; TACAS 2014 -
    Duur: 1 jan 2014 → …

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume8413
    ISSN van geprinte versie0302-9743

    Congres

    Congresconference; TACAS 2014
    Periode1/01/14 → …
    AnderTACAS 2014

    Vingerafdruk Duik in de onderzoeksthema's van 'CIF 3 : model-based engineering of supervisory controllers'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M., & Reniers, M. A. (2014). CIF 3 : model-based engineering of supervisory controllers. In E. Abraham, & K. Havelund (editors), Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (blz. 575-580). (Lecture Notes in Computer Science; Vol. 8413). Springer. https://doi.org/10.1007/978-3-642-54862-8_48