Wyniki wyszukiwania:

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.

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,...

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...

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 foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.

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...

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...

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, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to the concept of...

Lexiographica. Series Maior features monographs and edited volumes on the topics of lexicography and meta-lexicography. Works from the broader domain of lexicology are also included, provided they strengthen the theoretical, methodological and empirical basis of lexicography and meta-lexicography. The almost 150 books published in the series since its founding in 1984 clearly reflect the main themes and developments of the field.
The publications focus on aspects of lexicography such as micro- and macrostructure, typology, history of the discipline, and application-oriented...