New verification method for embedded systems

Update item information
Publication Type dissertation
School or College College of Engineering
Department College of Engineering; (School of)
Author Thacker, Robert A
Title New verification method for embedded systems
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 Medium application/pdf
Source Original in Marriott Library Special Collections, TK7.5 2010.T43
ARK ark:/87278/s6xd1g7b
Setname ir_etd
Date Created 2012-04-23
Date Modified 2018-04-03
ID 193199
Reference URL https://collections.lib.utah.edu/ark:/87278/s6xd1g7b