Ce livre est la reprise de la thA]se que j''ai prA(c)sentA(c) en 2006 et qui est le rA(c)sultat de plusieurs annA(c)es de recherches et de dA(c)veloppements. Cette thA]se n''aurait certainement jamais vu le jour si je n''avais pas bA(c)nA(c)ficiA(c) des conseils avisA(c)s, du soutien, des discussions enrichissantes et de l''aide constante d''un grand nombre de personnes qu''il ne m''ait pas possible de citer mais que je remercie.

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, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). -Certifiable system- aspects are taken into account throughout the book.

...

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 the use of these -formal methods- (such as proof and model-checking) in industrial examples of complex systems.
It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the...

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, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented.

Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final...

Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing the specification phases, architecture, design and coding, along with important concepts on modeling and implementation.

For coding, code generation strategies and/or manual code production are explored. As the application is coded, a presentation of programming languages and their impact on certifiability is presented.

• Describes the descending phase of the creation of a software application, detailing specification phases,...