Электронная книга: Margaria Tiziana «Formal Methods for Industrial Critical Systems. A Survey of Applications»

Formal Methods for Industrial Critical Systems. A Survey of Applications

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

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

ISBN: 9781118459867

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

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

Look at other dictionaries:

  • 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 Review — ▪ 1994 Introduction       The period since 1990 was proving a difficult time for the older industrialized economies, which had suffered from prolonged recession at home, and also for the previously centrally planned economies of Eastern Europe… …   Universalium

  • Data & Analysis Center for Software — The Data Analysis Center for Software (DACS) is one of several United States Department of Defense (DoD) sponsored Information Analysis Centers (IACs), administered by the Defense Technical Information Center (DTIC). It is technically managed by… …   Wikipedia

  • HISTORICAL SURVEY: THE STATE AND ITS ANTECEDENTS (1880–2006) — Introduction It took the new Jewish nation about 70 years to emerge as the State of Israel. The immediate stimulus that initiated the modern return to Zion was the disappointment, in the last quarter of the 19th century, of the expectation that… …   Encyclopedia of Judaism

  • Sociology — For the journal, see Sociology (journal). Sociology …   Wikipedia

  • Operations research — For the academic journal, see Operations Research: A Journal of the Institute for Operations Research and the Management Sciences. Operations research (also referred to as decision science, or management science) is an interdisciplinary… …   Wikipedia

  • Human factors — For other uses, see The Human Factor (disambiguation). Research subject in a human fatigue study. Human factors science or human factors technologies is a multidisciplinary field incorporating contributions from psychology, engineering,… …   Wikipedia

  • Archaeology — For the magazine about archaeology, see Archaeology (magazine). Excavations at the site of Gran Dolina, in the Atapuerca Mountains, Spain, 2008 Archaeology, or archeology[1] (from Greek ἀρχαιολογία, archaiologia …   Wikipedia

  • Ecology — For other uses, see Ecology (disambiguation). Ecology …   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

  • Business and Industry Review — ▪ 1999 Introduction Overview        Annual Average Rates of Growth of Manufacturing Output, 1980 97, Table Pattern of Output, 1994 97, Table Index Numbers of Production, Employment, and Productivity in Manufacturing Industries, Table (For Annual… …   Universalium