Publications Méthode B et Méthodes Formelles

SOMMAIRE

Publications de ClearSy

ClearSy publie ses travaux de R&D dans des actes de conférences ou dans des revues. Souvent ces publications se font en partenariat avec nos clients ou avec nos partenaires académiques.

2008

Antoine Requet (ClearSy)
An overview of Atelier B 4.0
Conférence de Nantes – 16 Juin 2008
Télécharger l'Article

Louis Mussat (ClearSy)
Modèles Réactifs - Exemple de B Evénementiel "L'Ile"
07 juillet 2008
Télécharger l'Article - Archive de modèles

Denis Sabatier (ClearSy) - Brice Dellandrea (Thales), David Chemouil (CNES)
FDIR Strategy Validation with the B Method
DASIA 2008
Télécharger l'Article

T. Lecomte
"Safe and Reliable Metro Platform Screen Doors Control/Command Systems"
Colloque FM 2008, Finlande
Télécharger l'article...

ClearSy
"Industrial Use of B"
Download

2007

T. Lecomte, T. Servat, G. Pouzancre
"Formal Methods in Satefy Critical Railway Systems"
Conférence SBMF 2007, Brésil
Plus de détails sur l'article...

Thierry Lecomte (ClearSy) - Dominique Cansell, Dominique Méry (Université Henri Poincaré)
Patrons de conception prouvés
ClearSy - Université Henri Poincaré Nancy 1/Loria
Télécharger la présentation - Télécharger l'Article

Sarah Hoffmann and Sophie Gabriele (ST Microelectronics)
The B-Method for the Construction of Microkernel-Based Systems
ClearSy - ST Mircroelectronics
ZB2007
Télécharger

BRAMA: A New Graphic Animation Tool for B Models
ZB2007
Télécharger

2006

F. Patin, G. Pouzancre, D. Sabatier (ClearSy), S. Hauvespre et P. Sauvage (RATP)
Utilisation de la Méthode Formelle B pour un Système SIL3 : la Commande des Portes Palières sur la ligne 13 du métro Parisien
ClearSy - RATP
Lamda Mu 15
Télécharger

Florent Patin, Guilhem Pouzancre, Thierry Servat
Approche Formelle pour la Réalisation d'un Système Sécuritaire de Contrôle Commade de Façades de Quais
AFIS 2006
Télécharger

2005

R. Sola, S. Coudert, S. Gabriele, S. Hoffmann, L. Burdy
Microkernel API formal modelisation
ClearSy - ENST - Microelectronics
SAME 2005 Forum, Nice, France, October.
Télécharger

D. Sabatier, G. Hacken, S. Georgiadis, E. Cutright, N. Gahly, N Khalil
'Safe Software' Need Not Be an Oxymoron
CBTC NY
Accéder à l'article

2004

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM
Technique et Science Informatiques 23(7): 879-903
Accéder à l'article

Denis Sabatier
Reusing formal models
IFIP Congress Topical Sessions 2004: 613-620

2003

Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
Adaptable Translator of B Specifications to Embedded C Programs
ClearSy - Gemplus - LSR - IMAG
FME 2003: 94-113
Accéder à l'article

Guilhem Pouzancre
How to Diagnose a Modern Car with a Formal B Model?
ZB 2003: 98-100

Guilhem Pouzancre, Jean-Philippe Pitzalis
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule
Technique et Science Informatiques 22(1): 119-128
Accéder à l'article

2000

Denis Sabatier, Pierre Lartigue
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
ClearSy - Gemplus
Formal Methods in System Design 17(3): 245-272

Comités de Programmes

ClearSy est reconnue dans le monde académique pour son expertise dans le domaine formel et bien sûr notamment ce qui concerne la méthode formelle B. Dans ce cadre, certains experts de ClearSy participent aux comités de programme de différentes conférences.