Formal Methods Applied To Complex Systems

Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
Page : 342 pages
File Size : 45,9 Mb
Release : 2014-07-22
Category : Computers
ISBN : 9781119002925

Get Book

Formal Methods Applied to Complex Systems by Jean-Louis Boulanger Pdf

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

Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
Page : 496 pages
File Size : 49,8 Mb
Release : 2014-07-22
Category : Computers
ISBN : 9781119002680

Get Book

Formal Methods Applied to Complex Systems by Jean-Louis Boulanger Pdf

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

Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
Page : 328 pages
File Size : 53,9 Mb
Release : 2014-07-09
Category : Computers
ISBN : 9781119004776

Get Book

Formal Methods Applied to Industrial Complex Systems by Jean-Louis Boulanger Pdf

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

Author : Jean-Louis Boulanger
Publisher : Unknown
Page : 128 pages
File Size : 55,7 Mb
Release : 2014
Category : Formal methods (Computer science)
ISBN : 1119004705

Get Book

Formal Methods Applied to Industrial Complex Systems by Jean-Louis Boulanger Pdf

Author : Jean-Francois Monin
Publisher : Springer Science & Business Media
Page : 288 pages
File Size : 52,6 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447100430

Get Book

Understanding Formal Methods by Jean-Francois Monin Pdf

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.

Author : Stefania Gnesi,Tiziana Margaria
Publisher : John Wiley & Sons
Page : 256 pages
File Size : 53,8 Mb
Release : 2012-11-27
Category : Computers
ISBN : 9781118459874

Get Book

Formal Methods for Industrial Critical Systems by Stefania Gnesi,Tiziana Margaria Pdf

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.

Author : Bernard Cohen,William T. Harwood,Melvyn I. Jackson
Publisher : Addison Wesley Publishing Company
Page : 172 pages
File Size : 52,8 Mb
Release : 1986
Category : Philosophy
ISBN : UOM:39015011128769

Get Book

The Specification of Complex Systems by Bernard Cohen,William T. Harwood,Melvyn I. Jackson Pdf

Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)

Author : Peter Ryan,Chris Sennett
Publisher : Springer Science & Business Media
Page : 204 pages
File Size : 44,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447119753

Get Book

Formal Methods in Systems Engineering by Peter Ryan,Chris Sennett Pdf

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications. Among the topics covered in this volume are: what is a formal method?; social research on formal methods; current quality assurance methods and formal methods; a pragmatic approach to validation; integrating methods in practice; composition of descriptions; and topics in large program formal development. Formal Methods in Systems Engineering provides an overview of many of the major approaches to formal methods and the benefits which can result from them. It is relevant to academic and industrial researchers, industrial practitioners and government workers with an interest in certification.

Author : Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever
Publisher : Springer
Page : 371 pages
File Size : 44,6 Mb
Release : 2004-11-08
Category : Computers
ISBN : 9783540301011

Get Book

Formal Methods for Components and Objects by Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever Pdf

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Author : Emanuela Merelli,Marjan Sirjani,Narges Khakpour
Publisher : CRC Press
Page : 300 pages
File Size : 51,5 Mb
Release : 2015-09-15
Category : Mathematics
ISBN : 1466556625

Get Book

A Formal Approach to Multi-Level Complex Systems by Emanuela Merelli,Marjan Sirjani,Narges Khakpour Pdf

Although complex systems have been thoroughly studied by different scientific communities, Computer Science opens up potential that had not been fully exploited in this field. This book examines the multi-level nature of complex systems and includes formal methods for their modeling and the analysis. It presents a formal computational framework for the study of complex systems and provides concrete evidence of the usefulness of formal methods in many interdisciplinary research fields, e.g. biological systems and social systems.

Author : André Platzer
Publisher : Springer Science & Business Media
Page : 446 pages
File Size : 54,7 Mb
Release : 2010-09-02
Category : Mathematics
ISBN : 9783642145094

Get Book

Logical Analysis of Hybrid Systems by André Platzer Pdf

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

Author : Jayadev Misra,Tobias Nipkow,Emil Sekerinski
Publisher : Springer
Page : 620 pages
File Size : 50,5 Mb
Release : 2006-08-08
Category : Computers
ISBN : 9783540372165

Get Book

FM 2006: Formal Methods by Jayadev Misra,Tobias Nipkow,Emil Sekerinski Pdf

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Author : Dan Craigen,Susan Gerhart
Publisher : William Andrew
Page : 318 pages
File Size : 46,6 Mb
Release : 2012-12-02
Category : Computers
ISBN : 9781437728170

Get Book

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems by Dan Craigen,Susan Gerhart Pdf

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.

Author : Guillaume Brat,Neha Rungta,Arnaud Venet
Publisher : Springer
Page : 504 pages
File Size : 46,8 Mb
Release : 2013-05-09
Category : Computers
ISBN : 9783642380884

Get Book

NASA Formal Methods by Guillaume Brat,Neha Rungta,Arnaud Venet Pdf

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Author : Jeannette M. Wing
Publisher : Unknown
Page : 22 pages
File Size : 43,7 Mb
Release : 1989
Category : Computer architecture
ISBN : OCLC:21054880

Get Book

What is a Formal Method? by Jeannette M. Wing Pdf

Abstract: "A formal method is a mathematically-based technique used in Computer Science to describe properties of hardware and/or software systems. It provides a framework within which large, complex systems may be specified, developed, and verified in a systematic rather than ad hoc manner. A method is formal if it has a sound mathematical basis, typically given by a formal specification language. A formal method is only a method, rather than an isolated mathematical entity in itself, because of a number of pragmatic considerations: who uses it, what it is used for, when it is used, and how it is used. This paper elaborates on what makes up for a formal method and compares six different well-known formal methods, three used to specify abstract data types and three used to specify properties of concurrent and distributed systems."