Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway sector focusing on software elements. He is a specialist in the field of software engineering (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.
19 Ebooks por Jean-Louis Boulanger
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 def …
EPUB
Inglês
DRM
€139.99
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 def …
PDF
Inglês
DRM
€139.99
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 …
EPUB
Inglês
DRM
€140.99
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 …
PDF
Inglês
DRM
€140.99
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 …
PDF
Inglês
DRM
€139.99
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 …
EPUB
Inglês
DRM
€139.99
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 techniq …
PDF
Inglês
DRM
€157.99
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 techniq …
EPUB
Inglês
DRM
€157.99
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 applic …
EPUB
Inglês
DRM
€140.99
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 applic …
PDF
Inglês
DRM
€140.99
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 …
PDF
Inglês
DRM
€177.99
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 …
EPUB
Inglês
DRM
€177.99
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, Control Build, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive ind …
EPUB
Inglês
DRM
€168.99
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, Control Build, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive ind …
PDF
Inglês
DRM
€168.99
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 implemen …
EPUB
Inglês
DRM
€139.99
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 implemen …
PDF
Inglês
DRM
€139.99
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 impo …
EPUB
Inglês
DRM
€132.23
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 m …
EPUB
Inglês
DRM
€101.44
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 applic …
EPUB
Inglês
DRM
€101.83
