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

Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

This 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 the automotive industry. The purpose of this book is to present a summary of experience on the use of“formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B,validation of Petri Nets-based automated rail safety, data validation, etc.

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

ISBN: 9781119002680

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

Купить за 15516.57 руб и скачать на 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электронная книга
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электронная книга
Formal Methods Applied to Industrial Complex SystemsA 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… — John Wiley&Sons Limited, электронная книга Подробнее...14748.07электронная книга
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

  • Industrial and organizational psychology — Psychology …   Wikipedia

  • History of science and technology in the People's Republic of China — For more than a century China s leaders have called for rapid development of science and technology, and science policy has played a greater role in national politics in China than in many other countries. China s scientific and technical… …   Wikipedia

  • Netherlands, The — officially Kingdom of The Netherlands byname Holland Country, northwestern Europe. Area: 16,033 sq mi (41,526 sq km). Population (2002 est.): 16,142,000. Capital: Amsterdam; Seat of Government: The Hague. Most of the people are Dutch. Languages:… …   Universalium

  • international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… …   Universalium

  • election — /i lek sheuhn/, n. 1. the selection of a person or persons for office by vote. 2. a public vote upon a proposition submitted. 3. the act of electing. 4. Theol. the choice by God of individuals, as for a particular work or for favor or salvation.… …   Universalium

  • operations research — the analysis, usually involving mathematical treatment, of a process, problem, or operation to determine its purpose and effectiveness and to gain maximum efficiency. [1940 45, Amer.] * * * Application of scientific methods to management and… …   Universalium

  • ECONOMIC AFFAIRS — THE PRE MANDATE (LATE OTTOMAN) PERIOD Geography and Borders In September 1923 a new political entity was formally recognized by the international community. Palestine, or Ereẓ Israel as Jews have continued to refer to it for 2,000 years,… …   Encyclopedia of Judaism

  • Permaculture — The word permaculture, coined by Australians Bill Mollison and David Holmgren during the 1970s, is a portmanteau of permanent agriculture as well as permanent culture. Through a series of publications, Mollison, Holmgren and their associates… …   Wikipedia

  • international law — the body of rules that nations generally recognize as binding in their conduct toward one another. Also called law of nations. Cf. private international law, public international law. [1830 40] * * * Body of legal rules, norms, and standards that …   Universalium


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

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