Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
    Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
    Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
    Ebook246 pages5 hours

    Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    By Dan Craigen and Susan Gerhart

    ()

    Read preview

    About this ebook

    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.
    LanguageEnglish
    PublisherElsevier Science
    Release dateDec 2, 2012
    ISBN9781437728170
    Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    Related to Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    Related ebooks

    Systems Architecture For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Arrested Development

      Jul 2, 2018

      Architectural firms are great at creating knowledge and value through design. But when it comes to R and D, architects are good at doing the R but not so good at the D. Arguably, the disintermediation of architects in procurement processes, the rise

      4 min read

    • Article

      Facilities Systems

      Oct 21, 2018

      Facilities Systems
      5 min read

    • Article

      PEOPLE ASSESSMENT in the Digital Age

      May 25, 2021

      PEOPLE ASSESSMENT in the Digital Age
      8 min read

    • Article

      Making A Corrosion Strategy

      Feb 25, 2018

      The degradation of private and public assets and infrastructure continues to have a major economic impact on industry and the wider community. In Australia, the yearly cost of asset maintenance is estimated to be approximately $32 billion, with $8 bi

      4 min read

    • Article

      The Future Of The Data Economy

      Jun 1, 2022

      The Future Of The Data Economy
      6 min read

    • Article

      Integrated Workplace Management Systems

      Dec 23, 2018

      Property and facilities management are data-rich operating worlds. This is becoming even more complex as the Internet of Things (IoT) provides the capability to imbed sensors and diagnostic tools to monitor the use and performance of everything in re

      4 min read

    • Article

      Web App Security

      Jun 29, 2021

      Web App Security
      8 min read

    • Article

      Edge Computing In Europe: A Key Driver Of Business Innovation

      Jan 26, 2024

      1 83% of our survey respondents believe that edge computing will be essential to remaining competitive in the future but only 65% are using edge today. 2 Super Integrators — edge adopters that tie edge to business in transformation adoption — compris

      8 min read

    • Article

      A Method Of Foresight In The Field Of Strategy Innovation

      Feb 25, 2021

      This research consisted of two phases. Phase 1. Information gathering: systematic collection of relevant signals and trends, informed by academic knowledge and consulting company reports. Phase 2. Diagnosis is a three-step exercise: In-Depth Ana

      1 min read

    • Article

      A Fraction Too Much Friction?

      Sep 2, 2020

      A Fraction Too Much Friction?
      3 min read

    • Article

      Arnab PANDEY

      Apr 1, 2021

      Arnab PANDEY
      11 min read

    • Article

      Why Non-profit Foundations Play A Key Role In Industry Digital Transformation

      Feb 1, 2023

      If we picture an industry as a complex irrigation network that conveys value towards a final user, we can then witness three types of bottlenecks1 that can prevent value from flowing seamlessly through the network: technical, strategic, and ecosystem

      1 min read

    • Article

      Leveraging Global Supply Chains

      Aug 6, 2020

      Every crisis brings an opportunity. The recent disruptions to the global supply chain have accelerated the shift towards shorter development times, shorter product life cycles and frequent adjustments to customer demands. And the entire value chain i

      5 min read

    • Article

      The Digital Replica

      May 27, 2022

      The Digital Replica
      6 min read

    • Article

      Tech Advances

      Jul 24, 2022

      Tech Advances
      2 min read

    Related categories

    Reviews for Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems - Dan Craigen

      Enjoying the preview?
      Page 1 of 1