Электронная книга: Jean-Louis Boulanger «Formal Methods Applied to Industrial Complex Systems»

Formal Methods Applied to Industrial Complex Systems

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 usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).

Издательство: "John Wiley&Sons Limited"

ISBN: 9781119004844

электронная книга

Купить за 14748.07 руб и скачать на Litres

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Static Analysis of Software. The Abstract InterpretationThe 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… — John Wiley&Sons Limited, электронная книга Подробнее...13970.48электронная книга
Formal Methods. Industrial Use from Model to the CodeAlthough 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… — John Wiley&Sons Limited, электронная книга Подробнее...12483.68электронная книга
Industrial Use of Formal Methods. Formal VerificationAt 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… — John Wiley&Sons Limited, электронная книга Подробнее...12483.68электронная книга
Safety of Computer ArchitecturesIt 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… — John Wiley&Sons Limited, электронная книга Подробнее...10848.59электронная книга
Formal Methods Applied to Industrial Complex Systems. Implementation of the B MethodThis 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… — John Wiley&Sons Limited, электронная книга Подробнее...15516.57электронная книга
Safety Management of Software-based EquipmentA 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… — John Wiley&Sons Limited, электронная книга Подробнее...7794.92электронная книга
CENELEC 50128 and IEC 62279 StandardsCENELEC 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… — John Wiley&Sons Limited, электронная книга Подробнее...10810.32электронная книга

См. также в других словарях:

  • Industrial market segmentation — is a scheme for categorizing industrial and business customers to guide strategic and tactical decision making, especially in sales and marketing. While government agencies and industry associations use standardized segmentation schemes for… …   Wikipedia

  • systems engineering — ☆ systems engineering n. a branch of engineering using esp. information theory, computer science, and facts from systems analysis studies to design integrated operational systems for specific complexes systems engineer n. * * * Technique of using …   Universalium

  • Systems theory — is an interdisciplinary field of science and the study of the nature of complex systems in nature, society, and science. More specificially, it is a framework by which one can analyze and/or describe any group of objects that work in concert to… …   Wikipedia

  • Systems science — is the interdisciplinary field of science, which studies the nature of complex systems in nature, society, and science. It aims to develop interdisciplinary foundations, which are applicable in a variety of areas, such as engineering, biology,… …   Wikipedia

  • industrial relations — 1. the dealings or relations of an industrial concern with its employees, with labor in general, with the public, etc. 2. the administration of such relations, esp. to maintain goodwill for an industrial concern. [1900 05] * * * Introduction also …   Universalium

  • Systems ecology — portal|Systems science|Complex adaptive system.jpgSystems ecology is an interdisciplinary field of ecology, taking a holistic approach to the study of ecological systems, especially ecosystems. Systems ecology can be seen as an application of… …   Wikipedia

  • Industrial and organizational psychology — Psychology …   Wikipedia

  • industrial polymers, major — Introduction       chemical compounds used in the manufacture of synthetic industrial materials.       In the commercial production of plastics, elastomers, man made fibres, adhesives, and surface coatings, a tremendous variety of polymers are… …   Universalium

  • The William Davidson Faculty of Industrial Engineering & Management at the Technion — is the oldest suchdepartment in Israel. The department is currently headed by [Prof. Boaz Golany] [http://ie.technion.ac.il/Home/Users/golany0.html] and is based in the Cooper and Bloomfield buildings at Technion City. The department employs 54… …   Wikipedia

  • Mechatronics — is the combination of Mechanical engineering, Electronic engineering, Computer engineering, Software engineering, Control engineering, and Systems Design engineering in order to design, and manufacture useful products[1][2]. Mechatronics is a… …   Wikipedia

  • education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… …   Universalium


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»