Files in this item

FilesDescriptionFormat

application/pdf

application/pdffinal_ms_thesis.pdf (1MB)
Stanley Bak Master's ThesisPDF

Description

Title:Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety
Author(s):Bak, Stanley
Subject(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
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.
Issue Date:2009-09-24
Genre:Dissertation / Thesis
Type:Text
Language:English
URI:http://hdl.handle.net/2142/13815
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Sponsor:John Deere CNS0720702
Date Available in IDEALS:2009-09-24


This item appears in the following Collection(s)

Item Statistics