Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems

Sebti Mouelhi
  • Fonction : Auteur correspondant
  • PersonId : 963032

Connectez-vous pour contacter l'auteur
Hassan Mountassir
  • Fonction : Auteur
  • PersonId : 963034

Résumé

In this report, we propose a formal approach for the design of object-oriented component- based systems using behavioral contracts. This formalism merges interface automata describing communication protocols of components with the semantics of their operations. On grounds of consistency with the object-oriented paradigms, we revisit the notions of incremental design and independent implementability of interface automata by novel definitions of components compatibility, composition, and refinement. Our work is illustrated by a design case study of CBTC railway systems to argue their relevance in the safety-critical context.
Fichier principal
Vignette du fichier
rr-bconts.pdf (1.44 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01102947 , version 1 (13-01-2015)
hal-01102947 , version 2 (12-09-2015)

Identifiants

  • HAL Id : hal-01102947 , version 1

Citer

Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir. Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems. [Research Report] FEMTO-ST. 2015. ⟨hal-01102947v1⟩
1027 Consultations
158 Téléchargements

Partager

Gmail Facebook X LinkedIn More