Verifying System-Wide Properties of Industrial Component-Based Software - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2019

Verifying System-Wide Properties of Industrial Component-Based Software

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.
Fichier principal
Vignette du fichier
490001_1_En_11_Chapter.pdf (849.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03769112 , version 1 (05-09-2022)

Licence

Attribution

Identifiers

Cite

Thomas Neele, Marijn Rol, Jan Friso Groote. Verifying System-Wide Properties of Industrial Component-Based Software. 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.158-175, ⟨10.1007/978-3-030-31517-7_11⟩. ⟨hal-03769112⟩
12 View
44 Download

Altmetric

Share

Gmail Facebook X LinkedIn More