Un processus de développement Event-B pour des applications distribuées
| Autor: | Siala, Badr, Tahar Bhiri, Mohamed, Bodeveix, Jean-Paul, Filali, M |
|---|---|
| Přispěvatelé: | Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Sfax (TUNISIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Université de Sfax - University of Sfax, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Toulouse - INPT (FRANCE) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Modélisation et simulation [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Systèmes embarqués Interface homme-machine Développement d’applications distribuées [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] Architectures Matérielles Cryptographie et sécurité Génie logiciel [INFO.INFO-ES]Computer Science [cs]/Embedded Systems [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] |
| Zdroj: | Actes des 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100 |
| Popis: | International audience; Nous présentons une méthodologie basée sur le raffinement manuel et automatique pour le développement d’applications distribuées correctes par construction. À partir d’un modèle Event-B, le processus étudié définit des étapes successives pour décomposer et ordonnancer les calculs associés aux événements et distribuer le code sur des composants. La spécification de ces deux étapes est faite au travers de deux langages dédiés. Enfin, une implantation distribuée en BIP est générée. La correction du processus repose sur la correction des raffinements et de la traduction vers le code cible BIP. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|