%0 Conference Proceedings
%T Verifying System-Wide Properties of Industrial Component-Based Software
%+ Eindhoven University of Technology [Eindhoven] (TU/e)
%A Neele, Thomas
%A Rol, Marijn
%A Groote, Jan, Friso
%Z Part 4: Verification
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th International Conference on Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Hossein Hojjat
%Y Mieke Massink
%I Springer International Publishing
%3 Fundamentals of Software Engineering
%V LNCS-11761
%P 158-175
%8 2019-05-01
%D 2019
%R 10.1007/978-3-030-31517-7_11
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-03769112/document
%2 https://inria.hal.science/hal-03769112/file/490001_1_En_11_Chapter.pdf
%L hal-03769112
%U https://inria.hal.science/hal-03769112
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-11761