Wyniki wyszukiwania:

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

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

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.

The present book includes a set of selected papers from the eighth "International Conference on Informatics in Control Automation and Robotics"

(ICINCO 2011), held in Noordwijkerhout, The Netherlands, from 28 to 31 July 2011. The conference was organized in four simultaneous tracks: "Intelligent Control Systems and Optimization," "Robotics and Automation," "Signal Processing, Sensors, Systems Modeling and Control" and "Industrial Engineering, Production and Management." The book is based on the same structure.

ICINCO received 322 paper submissions, not including those of...