Skip to Main content Skip to Navigation
Conference papers

Event-B Decomposition Analysis for Systems Behavior Modeling

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

https://hal-uphf.archives-ouvertes.fr/hal-03679809
Contributor : Kathleen TORCK Connect in order to contact the contributor
Submitted on : Friday, May 27, 2022 - 10:26:43 AM
Last modification on : Saturday, May 28, 2022 - 3:42:21 AM

Identifiers

Collections

Citation

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, et al.. Event-B Decomposition Analysis for Systems Behavior Modeling. 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.278-286, ⟨10.5220/0007929602780286⟩. ⟨hal-03679809⟩

Share

Metrics

Record views

3