Event-B is one of the most commonly used rigorous methods that has proven its value in
many applications. To support the development of cyber-physical systems (CPS) continuous …

This article presents our experience in re-engineering a pressure sensing system–a
subsystem often found in safety-critical medical devices–using the B formal method. We …

L'amélioration de la qualité d'un logiciel commence par l'expression de ses exigences en
langage naturel. Notre objectif est de combler l'écart entre le cahier des charges, celui du …

Many books and many engineers will tell you that systems engineering is much bigger than
requirements management. While it is true that systems engineering is much more than …

ABSTRACT INTRODUCTION: Chronic Kidney Disease (CKD) is a disease characterized by
a gradual decline in renal function. It is brought about by various causations and it is …

In this paper, we introduce Circus2CSP, a tool that automatically translates Circus into CSP
_ M CSP M, with an implementation based on a published manual translation scheme. This …

Among several approaches aiming at the correctness of systems, model-checking is one
technique to formally assess system models regarding their desired/undesired behavioural …

The constant growth of technology associated with computing and the need for increasingly
secure software has increased the demand for process verification systems, especially in the …

Background; Thyroid and parathyroid dysfunction in hemodialysis patients is a critical
medical concern that arises due to the intricate relationship between kidney function and …

Je voudrais tout d'abord adresser mes immenses remerciements à ma directrice de thèse,
Madame Jeanine SOUQUIÈRES, Professeure à l'Université de Lorraine, qui m'a accueillie …