Vers une conception de systèmes réactifs synchrones sûrs - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Vers une conception de systèmes réactifs synchrones sûrs

Résumé

La nécessité de gérer la complexité croissante des systèmes en général, et les systèmes embarqués en particulier pousse leur conception vers une approche basée sur la réutilisation de composants existants.À cette complexité s'ajoute des exigences techniques, les systèmes doivent satisfaire des contraintes strictes de fiabilité et de correction. Dans notre travail, nous préconisons d'offrir un cadre théorique pour le développement de composants réactifs synchrones sûrs de manière compositionnelle. Dans ce papier nous offrons d'une part, un cadre de description de composants réactifs synchronesélémentaires dans un formalisme adapté pour la vérification formelle de propriétés de sûreté, et d'autre part, un cadre pour la construction des systèmes globauxà partir de composantsélémentaires par une opération de composition garantissant la correction par construction.
Fichier principal
Vignette du fichier
MSR19_paper_3.pdf (493.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02431949 , version 1 (08-01-2020)

Identifiants

  • HAL Id : hal-02431949 , version 1

Citer

Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed. Vers une conception de systèmes réactifs synchrones sûrs. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02431949⟩
62 Consultations
39 Téléchargements

Partager

Gmail Facebook X LinkedIn More