Titre :	Mise en oeuvre de la méthode B
Type de document :	texte imprime
Auteurs :	Jean-Louis Boulanger, Directeur de publication, rédacteur en chef
Editeur :	Paris : Hermès-Lavoisier
Année de publication :	DL 2013, cop. 2013
Autre Editeur :	Lavoisier
Collection :	(Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information)
Importance :	395p.
Présentation :	fig
Format :	24 cm
ISBN/ISSN/EAN :	978-2-7462-3810-7
Note générale :	Références bibliogr.en fin de chapitres. Index. Glossaire
Langues :	Français
Mots-clés :	B (méthode formelle)  Méthodes formelles (informatique):applications industrielles  Génie logiciel
Index. décimale :	005.1
Résumé :	La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
Note de contenu :	Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER Chapitre 2. L’Atelier B / Thierry LECOMTE Chapitre 3. Outils B / Jean-Louis BOULANGER Chapitre 4. La méthode B à Siemens / Daniel DOLLE Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY Chapitre 8. B-RAIL : d’UML à B pour la modélisation d’un passage à niveau / Jean-Louis BOULANGER Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT Chapitre 12. BRILLANT/BCaml : une plateforme d’outils libres pour la méthode B / Samuel COLIN, Dorian PETIT Chapitre 13. Faisabilité de l’utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROT
Permalink :	./index.php?lvl=notice_display&id=12084

Mise en oeuvre de la méthode B [texte imprime] / Jean-Louis Boulanger, Directeur de publication, rédacteur en chef . - Paris : Hermès-Lavoisier : [S.l.] : Lavoisier, DL 2013, cop. 2013 . - 395p. : fig ; 24 cm. - ((Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information)) .
ISBN : 978-2-7462-3810-7
Références bibliogr.en fin de chapitres. Index. Glossaire
Langues : Français

Mots-clés :	B (méthode formelle)  Méthodes formelles (informatique):applications industrielles  Génie logiciel
Index. décimale :	005.1
Résumé :	La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
Note de contenu :	Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER Chapitre 2. L’Atelier B / Thierry LECOMTE Chapitre 3. Outils B / Jean-Louis BOULANGER Chapitre 4. La méthode B à Siemens / Daniel DOLLE Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY Chapitre 8. B-RAIL : d’UML à B pour la modélisation d’un passage à niveau / Jean-Louis BOULANGER Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT Chapitre 12. BRILLANT/BCaml : une plateforme d’outils libres pour la méthode B / Samuel COLIN, Dorian PETIT Chapitre 13. Faisabilité de l’utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROT
Permalink :	./index.php?lvl=notice_display&id=12084