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.

    Formal Verification of Control System Software
    Formal Verification of Control System Software
    Formal Verification of Control System Software
    Ebook230 pages4 hours

    Formal Verification of Control System Software

    By Pierre-Loïc Garoche

    ()

    Read preview

    About this ebook

    An essential introduction to the analysis and verification of control system software

    The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.

    Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.

    As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

    LanguageEnglish
    PublisherPrinceton University Press
    Release dateMay 14, 2019
    ISBN9780691189581
    Formal Verification of Control System Software

    Read more from Pierre Loïc Garoche

    Related to Formal Verification of Control System Software

    Titles in the series (33)

    View More
    View More

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Strategic Command

      Nov 4, 2022

      Strategic Command
      9 min read

    • Article

      Canon, Into The Fray

      Jun 22, 2021

      This is a further article in an accidental sequence on sensor technology. Previously I discussed Sony and Nikon sensors, and this time it’s Canon’s turn, with the ‘newly developed full-frame, back illuminated, stacked CMOS sensor that makes possible

      2 min read

    • Article

      Robo-marshal

      May 3, 2019

      Robo-marshal
      8 min read

    • Article

      Control Environment

      Apr 5, 2024

      Control Environment
      15 min read

    • Article

      X Marks The Loop

      Jul 7, 2023

      X Marks The Loop
      8 min read

    • Article

      Kernel Watch

      Aug 23, 2022

      Linus Torvalds released Linux 5.19, the last kernel in the 5.x series. Among its many features is support for the “LoongArch” architecture (similar to MIPS or RISC-V, intended for the Chinese market), Zstd-compressed firmware files, and various fixes

      2 min read

    • Article

      EBPF To Enhance Kubernetes Monitoring

      Apr 1, 2022

      The introduction of Docker and Kubernetes has brought a dramatic revolution in the IT industry. Unlike the traditional methods of developing and deploying software, Kubernetes or K8s uses scaling and automated deployment. Thanks to the Linux function

      4 min read

    • Article

      Ongoing Development

      Jun 28, 2022

      A potential security hole was discovered in which someone with local console access (including a remote console available over the network) “could trigger the debugger”. The kernel debugger can be used to read/write to arbitrary memory, which isn’t u

      1 min read

    • Article

      Ongoing Development

      Jun 28, 2022

      A potential security hole was discovered in which someone with local console access (including a remote console available over the network) “could trigger the debugger”. The kernel debugger can be used to read/write to arbitrary memory, which isn’t u

      1 min read

    • Article

      Electromechanical Keying System

      Nov 4, 2020

      Electromechanical key systems are now very widely accepted in the security landscape and used in a vast array of applications through our region. They provide a hybrid solution that combines many of the benefits of access control with the functionali

      3 min read

    • Article

      Train Automation

      Sep 18, 2018

      Train Automation
      12 min read

    • Article

      Total Control Racing

      Oct 6, 2023

      Whether it is an engine, battery or gearbox, engineers are constantly trying to quantify the performance of components using metrics such as power, energy, speed, efficiency and range. In reality, these performance figures can only be achieved if par

      11 min read

    • Article

      Soft and Smooth

      Apr 20, 2017

      Soft and Smooth
      5 min read

    • Article

      Simplifying Network Deployment

      Sep 29, 2023

      Savant recently introduced the Savant Smart Network, dubbing it “the only learning wireless network solution leveraging Juniper Mist Wi-Fi technology designed for smart home integrators.” It might seem too soon to assess the success of partnership be

      2 min read

    Related categories

    Reviews for Formal Verification of Control System Software

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Formal Verification of Control System Software - Pierre-Loïc Garoche

      Enjoying the preview?
      Page 1 of 1