Co-simulation of Distributed Embedded Real-Time Control Systems

M. Verhoef, P.M. Visser, J. Hooman, Johannes F. Broenink

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    10 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g. performance at the system level. We propose a lightweight approach that alleviates this problem to some extent. An existing formal semantic framework for discrete event models is extended to allow for consistent co-simulation of continuous time models from within this framework. It enables integrated models that can be checked by simulation in addition to the verification and validation techniques already offered by each discipline individually. The level of confidence in the design can now be raised in the very early stages of the system design life-cycle instead of postponing system-level design issues until the integration and test phase is reached. We demonstrate the extended semantic framework by co-simulation of VDM++ and bond-graph models on a case study, the level control of a water tank.
    Original languageUndefined
    Title of host publicationIntegrated Formal Methods, IFM2007
    EditorsJ. Davies, J. Gibbons
    Place of PublicationLondon
    PublisherSpringer
    Pages639-658
    Number of pages20
    ISBN (Print)978-3-540-73209-9
    DOIs
    Publication statusPublished - 2 Jul 2007

    Publication series

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

    Keywords

    • EWI-10886
    • METIS-245727
    • IR-61885

    Cite this

    Verhoef, M., Visser, P. M., Hooman, J., & Broenink, J. F. (2007). Co-simulation of Distributed Embedded Real-Time Control Systems. In J. Davies, & J. Gibbons (Eds.), Integrated Formal Methods, IFM2007 (pp. 639-658). [10.1007/978-3-540-73210-5_33] (Lecture Notes in Computer Science; Vol. 4591, No. 4591). London: Springer. https://doi.org/10.1007/978-3-540-73210-5_33
    Verhoef, M. ; Visser, P.M. ; Hooman, J. ; Broenink, Johannes F. / Co-simulation of Distributed Embedded Real-Time Control Systems. Integrated Formal Methods, IFM2007. editor / J. Davies ; J. Gibbons. London : Springer, 2007. pp. 639-658 (Lecture Notes in Computer Science; 4591).
    @inbook{47b1d38f31154e4c8d2f3f460dbd3731,
    title = "Co-simulation of Distributed Embedded Real-Time Control Systems",
    abstract = "Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g. performance at the system level. We propose a lightweight approach that alleviates this problem to some extent. An existing formal semantic framework for discrete event models is extended to allow for consistent co-simulation of continuous time models from within this framework. It enables integrated models that can be checked by simulation in addition to the verification and validation techniques already offered by each discipline individually. The level of confidence in the design can now be raised in the very early stages of the system design life-cycle instead of postponing system-level design issues until the integration and test phase is reached. We demonstrate the extended semantic framework by co-simulation of VDM++ and bond-graph models on a case study, the level control of a water tank.",
    keywords = "EWI-10886, METIS-245727, IR-61885",
    author = "M. Verhoef and P.M. Visser and J. Hooman and Broenink, {Johannes F.}",
    note = "10.1007/978-3-540-73210-5_33",
    year = "2007",
    month = "7",
    day = "2",
    doi = "10.1007/978-3-540-73210-5_33",
    language = "Undefined",
    isbn = "978-3-540-73209-9",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    number = "4591",
    pages = "639--658",
    editor = "J. Davies and J. Gibbons",
    booktitle = "Integrated Formal Methods, IFM2007",

    }

    Verhoef, M, Visser, PM, Hooman, J & Broenink, JF 2007, Co-simulation of Distributed Embedded Real-Time Control Systems. in J Davies & J Gibbons (eds), Integrated Formal Methods, IFM2007., 10.1007/978-3-540-73210-5_33, Lecture Notes in Computer Science, no. 4591, vol. 4591, Springer, London, pp. 639-658. https://doi.org/10.1007/978-3-540-73210-5_33

    Co-simulation of Distributed Embedded Real-Time Control Systems. / Verhoef, M.; Visser, P.M.; Hooman, J.; Broenink, Johannes F.

    Integrated Formal Methods, IFM2007. ed. / J. Davies; J. Gibbons. London : Springer, 2007. p. 639-658 10.1007/978-3-540-73210-5_33 (Lecture Notes in Computer Science; Vol. 4591, No. 4591).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    TY - CHAP

    T1 - Co-simulation of Distributed Embedded Real-Time Control Systems

    AU - Verhoef, M.

    AU - Visser, P.M.

    AU - Hooman, J.

    AU - Broenink, Johannes F.

    N1 - 10.1007/978-3-540-73210-5_33

    PY - 2007/7/2

    Y1 - 2007/7/2

    N2 - Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g. performance at the system level. We propose a lightweight approach that alleviates this problem to some extent. An existing formal semantic framework for discrete event models is extended to allow for consistent co-simulation of continuous time models from within this framework. It enables integrated models that can be checked by simulation in addition to the verification and validation techniques already offered by each discipline individually. The level of confidence in the design can now be raised in the very early stages of the system design life-cycle instead of postponing system-level design issues until the integration and test phase is reached. We demonstrate the extended semantic framework by co-simulation of VDM++ and bond-graph models on a case study, the level control of a water tank.

    AB - Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g. performance at the system level. We propose a lightweight approach that alleviates this problem to some extent. An existing formal semantic framework for discrete event models is extended to allow for consistent co-simulation of continuous time models from within this framework. It enables integrated models that can be checked by simulation in addition to the verification and validation techniques already offered by each discipline individually. The level of confidence in the design can now be raised in the very early stages of the system design life-cycle instead of postponing system-level design issues until the integration and test phase is reached. We demonstrate the extended semantic framework by co-simulation of VDM++ and bond-graph models on a case study, the level control of a water tank.

    KW - EWI-10886

    KW - METIS-245727

    KW - IR-61885

    U2 - 10.1007/978-3-540-73210-5_33

    DO - 10.1007/978-3-540-73210-5_33

    M3 - Chapter

    SN - 978-3-540-73209-9

    T3 - Lecture Notes in Computer Science

    SP - 639

    EP - 658

    BT - Integrated Formal Methods, IFM2007

    A2 - Davies, J.

    A2 - Gibbons, J.

    PB - Springer

    CY - London

    ER -

    Verhoef M, Visser PM, Hooman J, Broenink JF. Co-simulation of Distributed Embedded Real-Time Control Systems. In Davies J, Gibbons J, editors, Integrated Formal Methods, IFM2007. London: Springer. 2007. p. 639-658. 10.1007/978-3-540-73210-5_33. (Lecture Notes in Computer Science; 4591). https://doi.org/10.1007/978-3-540-73210-5_33