Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Software and Systems Modeling Année : 2015

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Résumé

Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact in an heterogeneous environment. These limitations entail the need for complementary verification methods such as runtime verification based on dynamic analysis and apt to scalability. In this paper, we integrate runtime verification into the BIP (Behavior, Interaction and Priority) framework. BIP is a powerful and expressive component-based framework for the formal construction of heterogeneous systems. Our method augments BIP systems with monitors to check specifications at runtime. This method has been implemented in RV-BIP, a prototype tool that we used to validate the whole approach on a robotic application.
Fichier principal
Vignette du fichier
Sosym-author-version_Falcone-et-al.pdf (502.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01248420 , version 1 (26-12-2015)

Identifiants

Citer

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Software and Systems Modeling, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩. ⟨hal-01248420⟩
405 Consultations
470 Téléchargements

Altmetric

Partager

More