Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- ISBN-10
- 1437728170
- ISBN-13
- 9781437728170
- Category
- Computers
- Pages
- 318
- Language
- English
- Published
- 2012-12-02
- Publisher
- William Andrew
- Authors
- Dan Craigen, Susan Gerhart
Description
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.
Get the book
Similar books
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
By Tiziana Margaria, Stefania GnesiThe 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 ...
-
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004....
By Farn WangIndustrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: an International Survey. Noyes Data Corporation, USA, 1995. 4. C.A.R.Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall, 1998. 5.
-
Specification of Software Systems
By V.S. Alagar, K. PeriyasamyCraigen D, Gerhart S, Ralston T (1995) Industrial applications of formal methods to model, design and analyze computer systems 4. Crow J, De Vitto BL (1996) Formalizing space shuttle software requirements. In: ACM SIGSOFT workshop on ...
-
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
By Rohit Gheyi, David NaumannWe believe that our pattern system complements the existing approaches and provides the first steps in the direction ... Gerhart, S., Ralston, T.: Industrial applications of formal methods to model, design and analyze computer systems.
-
Formal Engineering for Industrial Software Development: Using the SOFL Method
By Shaoying LiuFundamentals of Object-Oriented Design. In UML. AddisonWesley, 2000. D. Craigen, S. Gerhart, and T. Ralston. Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: an International Survey.
-
Cryptographic Security Architecture: Design and Verification
By Peter GutmannNorman Fenton, The Journal of Systems and Software, Vol.22, No.2 (August 1993), p.141. “Industrial Applications of Formal Methods to Model, Design, and Analyze Computer Systems: An International Survey”, Dan Craigen, Susan Gerhart, ...
-
Language Constructs for Describing Features: Proceedings of the FIREworks workshop
By Mark Ryan, Stephen GilmoreAndrade, R.: “Applying Use Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks”. ... Gerhart, S., and Ralston, T.: Industrial applications of formal methods to model, design, and analyze computer systems: an ...
-
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,...
By Marco Bernardo, Erik de Vink, Alessandra Di Pierro13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, ... describe some of the issues related to the application of model checking to the analysis of biological systems.
-
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
By Pedro Merino, Stefan LeueThe aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
-
Formal Methods: Industrial Use from Model to the Code
By Jean-Louis BoulangerThe purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain.