Verifying system-wide properties of industrial component-based software

Thomas Neele, M.H. Rol, Jan Friso Groote

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

    2 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    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
    PublisherSpringer
    Pages158-175
    Number of pages18
    ISBN (Electronic)978-3-030-31517-7
    ISBN (Print)978-3-030-31516-0
    DOIs
    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
    PublisherSpringer
    Volume11761

    Conference

    ConferenceFSEN 2019 8th International Conference
    CountryIran, Islamic Republic of
    CityTehran
    Period1/05/193/05/19

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

    Cite this