Asynchronous Testing of Synchronous Components in GALS Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Asynchronous Testing of Synchronous Components in GALS Systems

Résumé

GALS (Globally Asynchronous Locally Synchronous) systems, such as the Internet of Things or autonomous cars, integrate reactive synchronous components that interact asynchronously. The complexity induced by combining synchronous and asynchronous aspects makes GALS systems difficult to develop and debug. Ensuring their functional correctness and reliability requires rigorous design methodologies, based on formal methods and assisted by validation tools. In this paper we propose a testing methodology for GALS systems integrating: (1) synchronous and asynchronous concurrent models; (2) functional unit testing and behavioral conformance testing; and (3) various formal methods and their tool equipments. We leverage the conformance test generation for asynchronous systems to automatically derive realistic scenarios (input constraints and oracle), which are necessary ingredients for the unit testing of individual synchronous components, and are difficult and error-prone to design manually. We illustrate our approach on a simple, but relevant example inspired by autonomous cars.
Fichier principal
Vignette du fichier
Marsso-Mateescu-Parissis-Serwe-09.pdf (307.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02394989 , version 1 (13-12-2019)

Identifiants

Citer

Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe. Asynchronous Testing of Synchronous Components in GALS Systems. IFM'2019 - 15th International Conference on Integrated Formal Methods, Dec 2019, Bergen, Norway. pp.360-378, ⟨10.1007/978-3-030-34968-4_20⟩. ⟨hal-02394989⟩
339 Consultations
199 Téléchargements

Altmetric

Partager

More