Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02431949
Contributor : Mehdi Lhommeau Connect in order to contact the contributor
Submitted on : Wednesday, January 8, 2020 - 11:37:33 AM
Last modification on : Wednesday, November 3, 2021 - 6:18:20 AM
Long-term archiving on: : Thursday, April 9, 2020 - 3:25:14 PM

File

MSR19_paper_3.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02431949, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

83

Files downloads

68