OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

An Event-B Development Process for the Distributed BIP Framework

Siala, Badr and Bhiri, Tahar and Bodeveix, Jean-Paul and Filali, Mamoun An Event-B Development Process for the Distributed BIP Framework. (2016) In: 18th International Conference on Formal Engineering Methods (ICFEM 2016), 14 November 2016 - 18 November 2016 (Tokyo, Japan).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-319-47846-3_20


We present a refinement-based methodology to design correct by construction distributed systems specified as Event-B models. Starting from an Event-B machine, the studied process proposes successive steps in order to split and schedule the computation of complex events and then to map them on subcomponents. The specification of these steps is done through two domain specific languages. From these specifications, two refinements are generated. Eventually, a distributed code architecture is also generated. The correctness of the process relies on the correctness of the refinements and the translation. We target the distributed BIP framework.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 10009 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-319-47845-6 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-47846-3_20
HAL Id:hal-01709119
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Sfax (TUNISIA)
Laboratory name:
Deposited On:23 Jan 2018 13:12

Repository Staff Only: item control page