By Topic

Pervasive formal verification in control system design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Pike, L. ; Galois, Inc.

Control systems design is a multifaceted field, drawing not only on control theory, but on results from computer science, electrical engineering, mechanical engineering, and physics. A controller often must satisfy regimented size, weight, power, and timing constraints, integrate with the overall system, and perform properly in a variety of harsh environments. Furthermore, control systems are arguably the lynchpin of safety in critical embedded systems, ranging from nuclear reactors to avionics to medical devices. Progress has been made in the formal verification of aspects of control system design. Advances in hybrid system verification show promise in automating the verification of abstract models of dynamical systems. Advances in software and hardware formal verification may contribute to ensuring the correctness of implementations. Nevertheless, industrial uptake of these advances is still in its infancy, particularly as compared to disciplines such as digital hardware design. This panel will address the impediments to the adoption of formal verification techniques in industrial control system design. Furthermore, the panel will address what research topics would most benefit the adoption of formal verification in industry.

Published in:

Formal Methods in Computer-Aided Design (FMCAD), 2011

Date of Conference:

Oct. 30 2011-Nov. 2 2011