Verifying system-wide properties of industrial component-based software

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

    3 Citations (Scopus)
    1 Downloads (Pure)


    Analytical Software Design (ASD) enables model-based development of component software systems. Until now, functional verification of ASD systems is only possible on a per-component basis. There is no functional verification engine for ASD itself, so this verification relies on a translation of individual components to mCRL2, a process-algebraic model checker. We show how to extend the ASD-mCRL2 translation to support multiple components in order to enable checking of system wide functional properties. With our extended translation, we perform a case-study on a newly developed industrial system consisting of 26 communicating components. The results indicate that it is feasible to model check functional properties on this scale.

    Original languageEnglish
    Title of host publicationFundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers
    EditorsHossein Hojjat, Mieke Massink
    Place of PublicationCham
    Number of pages18
    ISBN (Electronic)978-3-030-31517-7
    ISBN (Print)978-3-030-31516-0
    Publication statusPublished - 2019
    EventFSEN 2019 8th International Conference - Tehran, Iran, Islamic Republic of
    Duration: 1 May 20193 May 2019

    Publication series

    NameLecture notes in computer science


    ConferenceFSEN 2019 8th International Conference
    Country/TerritoryIran, Islamic Republic of


    Dive into the research topics of 'Verifying system-wide properties of industrial component-based software'. Together they form a unique fingerprint.

    Cite this