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.
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)velopp...
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 the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of -formal...
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques en...
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 examples for the transportation domain.
This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.
The implication of the industrialists allows to raise the problems of confidentiality which could appear and so...
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 i...
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 review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives...
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...
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such ...
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 2: Support Processes explains the process to achieve a certifiable application. This concerns several majo...
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,...
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing the ...
