Jump to ContentJump to Main Navigation
Formal Verification of Control System Software$
Users without a subscription are not able to see the full content.

Pierre-Loïc Garoche

Print publication date: 2019

Print ISBN-13: 9780691181301

Published to Princeton Scholarship Online: January 2020

DOI: 10.23943/princeton/9780691181301.001.0001

Show Summary Details
Page of

PRINTED FROM PRINCETON SCHOLARSHIP ONLINE (www.princeton.universitypressscholarship.com). (c) Copyright Princeton University Press, 2022. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in PRSO for personal use.date: 04 July 2022

Critical Embedded Software

Critical Embedded Software

Control Software Development and V&V

(p.3) Chapter One Critical Embedded Software
Formal Verification of Control System Software

Pierre-Loïc Garoche

Princeton University Press

This chapter looks at the current state of physical systems controlled by an onboard computer. Typically this covers transportation systems such as cars, aircraft, railway systems, space systems, or even medical devices, all of them either for the expected harmfulness for people, or for the huge cost associated with their failure. The chapter shows how the increase of computer use in those systems has led to huge benefits, but also an exponential growth in complexity. Furthermore, the drawback of this massive introduction of computers to control systems is the lack of predictability for both computer and software. This chapter shows how the aerospace industry, and more generally critical embedded systems industries, is now facing a huge increase in the software size in their systems. This in turn creates a greater system complexity increase because of safety or performance objectives. Moreover, this complexity leads to the need to integrate even more advanced algorithms to sustain autonomy and energy efficiency.

Keywords:   cyber-physical systems, aerospace industry, critical embedded systems, controller software, safety, critical embedded systems, onboard computer, dynamical systems

Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.