University of Illinois Urbana-Champaign

Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety

Bak, Stanley

Content Files
final_ms_thesis.pdf

Permalink

https://hdl.handle.net/2142/13815

Description

Title
Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety
Author(s)
Bak, Stanley
Issue Date
2009-09-24
Date of Ingest
2009-09-24T22:03:49Z
Keyword(s)
  • Simplex
  • real-time systems
  • embedded system
  • model checking
  • formal verification
  • hybrid systems
  • john deere
  • cyberphysical
  • systems
  • hardware
  • software
  • codesign
  • co-design
  • architecture
  • vhdl
  • code generation
  • maude
Language
en
Abstract
Cyberphysical systems differ from traditional computer programming applications in that software bugs and mistakes have immediate, possibly dangerous, physical-world consequences. Rather than requiring all control software be formally verified, which is often impractical, we develop a framework based on the Simplex Architecture, where an untrusted complex controller is allowed to actuate the plant while being monitored by a simpler, verified safety controller and associated decision logic. We use hardware/software co-design to eliminate large classes of potential software bugs associated with system control by developing the System-Level Simplex Architecture. Then, within an industrial case study, we use model-checking to help create and verify the safety-critical decision logic component of the System-Level Simplex Architecture, in the end generating verified VHDL (hardware) code.
Sponsor(s)/Grant Number(s)
John Deere CNS0720702
Type of Resource
text
Permalink
http://hdl.handle.net/2142/13815

Owning Collections

Dissertations and Theses - Computer Science PRIMARY
Dissertations and Theses from the Siebel School of Computer Science