Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.
16 résultat(s)
Télécharger le livre : Ingénierie des exigences
feuilleter
Stéphane Badreau , Jean-Louis Boulanger
Ingénierie des exigences
Ce livre s’adresse à toutes les personnes concernées par l’ingénierie des exigences qu’elles soient managers, responsables d’équipes, chefs de projet, analystes, architectes, développeurs ou testeurs.L’ingénierie des exigences est une discipline qui consiste à...
Editeur : Dunod
Parution : 2014-06-04
Collection : Management des systèmes d'information
Format(s) : PDF, ePub
37,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Mise en oeuvre de la méthode B
Jean-Louis Boulanger
Mise en oeuvre de la méthode B
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...
Editeur : Hermés science
Parution : 2013-04-02
Collection : Traité RTA
Format(s) : PDF sans DRM
126,60 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Outils de mise en oeuvre industrielle des techniques formelles
Jean-Louis Boulanger
Outils de mise en oeuvre industrielle des techniques formelles
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.Différents domaines...
Editeur : Hermés science
Parution : 2012-04-25
Collection : Traité RTA
Format(s) : PDF sans DRM
116,05 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Sécurisation des architectures informatiques industrielles
Jean-Louis Boulanger
Sécurisation des architectures informatiques industrielles
Cet ouvrage collectif présente des exemples d'architecture industrielle à base de calculateur et/ou d'automate qui doivent être sécurisés afin de garantir les objectifs de sûreté de fonctionnement qui leurs sont associés. Le but de...
Editeur : Hermés science
Parution : 2011-04-15
Collection : Traité IC2
Format(s) : PDF sans DRM
158,25 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Sécurisation des architectures informatiques : exemples concrets
feuilleter
Jean-Louis Boulanger
Sécurisation des architectures informatiques : exemples concrets
Actuellement la littérature met à disposition des étudiants de master2 des livres très généraux sur les aspects "Sûreté de Fonctionnement" et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans un seul livre, une...
Editeur : Hermés science
Parution : 2009-05-14
Collection : Traité IC2 - Série Informatique et Systèmes d'Information
Format(s) : PDF sans DRM
139,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Certifiable Software Applications 3
Jean-Louis Boulanger
Certifiable Software Applications 3
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code...
Editeur : Iste Press - Elsevier
Parution : 2018-09-03

Format(s) : epub sans DRM
125,54 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Certifiable Software Applications 2
Jean-Louis Boulanger
Certifiable Software Applications 2
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition,...
Editeur : Iste Press - Elsevier
Parution : 2016-11-29

Format(s) : PDF, epub sans DRM
98,06 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Certifiable Software Applications 1
Jean-Louis Boulanger
Certifiable Software Applications 1
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module,...
Editeur : Iste Press - Elsevier
Parution : 2016-07-15

Format(s) : epub sans DRM
98,06 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the...
Editeur : Wiley-ISTE
Parution : 2015-03-24

Format(s) : PDF, ePub
163,47 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods Applied to Complex Systems
Jean-Louis Boulanger
Formal Methods Applied to Complex Systems
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a...
Editeur : Wiley-ISTE
Parution : 2014-07-22

Format(s) : PDF, ePub
207,78 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on...
Editeur : Wiley-ISTE
Parution : 2014-07-09

Format(s) : PDF, ePub
197,23 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods
Jean-Louis Boulanger
Formal Methods
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of...
Editeur : Wiley-ISTE
Parution : 2013-05-10

Format(s) : PDF, ePub
164,53 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Industrial Use of Formal Methods
Jean-Louis Boulanger
Industrial Use of Formal Methods
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial...
Editeur : Wiley-ISTE
Parution : 2013-05-10

Format(s) : PDF, ePub
164,53 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Safety Management for Software-based Equipment
Jean-Louis Boulanger
Safety Management for Software-based Equipment
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification,...
Editeur : Wiley-ISTE
Parution : 2013-05-06

Format(s) : PDF, ePub
163,47 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Static Analysis of Software
Jean-Louis Boulanger
Static Analysis of Software
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various...
Editeur : Wiley-ISTE
Parution : 2013-02-07

Format(s) : PDF, ePub
184,57 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Safety of Computer Architectures
Jean-Louis Boulanger
Safety of Computer Architectures
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system...
Editeur : Wiley-ISTE
Parution : 2013-01-09

Format(s) : PDF, ePub
163,47 €
Téléchargement immédiat
Dès validation de votre commande