loading
Documents

Research.Publish.Connect.

Paper

Authors: Kenza Kraibi 1 ; Rahma Ben Ayed 1 ; Joris Rehm 2 ; Simon Collart-Dutilleul 3 ; Philippe Bon 3 and Dorian Petit 4

Affiliations: 1 Institut de Recherche Technologique Railenium, F-59300, Famars and France ; 2 CLEARSY, Strasbourg and France ; 3 Institut de Recherche Technologique Railenium, F-59300, Famars, France, Univ. Lille Nord de France, IFSTTAR, COSYS, ESTAS, F-59650 Villeneuve d’Ascq and France ; 4 Institut de Recherche Technologique Railenium, F-59300, Famars, France, Université Polytechnique Hauts-de-France, LAMIH UMR CNRS 8201, F-59313 Valenciennes and France

ISBN: 978-989-758-379-7

Keyword(s): Formal Methods, Event-B, Refinement, Decomposition, Systems Behavior, Railway Systems.

Abstract: Applications of formal methods to critical systems such as railway systems have been studied by several research works. Their ultimate goal is to increase confidence and to ensure the behavior correctness of these systems. In this paper, we propose to use the Event-B formal method. As a central concept in Event-B, refinement is used to progressively introduce the details of systems requirements, but in most cases, it leads to voluminous and complex models. For this purpose, this paper focuses on decomposition techniques in order to manage the complexity issue in Event-B modeling. It presents a state of the art and an analysis of existing decomposition techniques. Then, an approach will be proposed following this analysis.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.176.189

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kraibi, K.; Ben Ayed, R.; Rehm, J.; Collart-Dutilleul, S.; Bon, P. and Petit, D. (2019). Event-B Decomposition Analysis for Systems Behavior Modeling.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 278-286. DOI: 10.5220/0007929602780286

@conference{icsoft19,
author={Kenza Kraibi. and Rahma Ben Ayed. and Joris Rehm. and Simon Collart{-}Dutilleul. and Philippe Bon. and Dorian Petit.},
title={Event-B Decomposition Analysis for Systems Behavior Modeling},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={278-286},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007929602780286},
isbn={978-989-758-379-7},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Event-B Decomposition Analysis for Systems Behavior Modeling
SN - 978-989-758-379-7
AU - Kraibi, K.
AU - Ben Ayed, R.
AU - Rehm, J.
AU - Collart-Dutilleul, S.
AU - Bon, P.
AU - Petit, D.
PY - 2019
SP - 278
EP - 286
DO - 10.5220/0007929602780286

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.