New verification method for embedded systems

Update Item Information
Title New verification method for embedded systems
Publication Type dissertation
School or College College of Engineering
Department Computing
Author Thacker, Robert A
Date 2010-12
Description Cyber-physical systems, in which computers control real-world mechanisms, are ever more pervasive in our society. These complex systems, containing a mixture of software, digital hardware, and analog circuitry, are often employed in circumstances where their correct behavior is crucial to the safety of their operators. Therefore, verifi cation of such systems would be of great value. This dissertation introduces a modeling and veri fication methodology sufficiently powerful to manage the complications inherent in this mixeddiscipline design space.
Type Text
Publisher University of Utah
Subject Embedded systems; Petri nets; Verification
Subject LCSH Embedded computer systems -- Verification
Dissertation Institution University of Utah
Dissertation Name PhD
Language eng
Rights Management © Robert A. Thacker.
Format application/pdf
Format Medium application/pdf
Source Original in Marriott Library Special Collections, TK7.5 2010.T43
ARK ark:/87278/s6xd1g7b
Setname ir_etd
ID 193199
Reference URL https://collections.lib.utah.edu/ark:/87278/s6xd1g7b
Back to Search Results