Verifying system-wide properties of industrial component-based software

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

1 Citation (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

Cite this

Neele, T., Rol, M. H., & Groote, J. F. (2019). Verifying system-wide properties of industrial component-based software. In H. Hojjat, & M. Massink (Eds.), Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers (pp. 158-175). (Lecture notes in computer science; Vol. 11761). Cham: Springer. https://doi.org/10.1007/978-3-030-31517-7_11