Event-B Decomposition Analysis for Systems Behavior Modeling

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

2019

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.

Paper Citation

in Harvard Style

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

in Bibtex Style

@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},
}

in EndNote Style

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