New verification method for embedded systems
| Publication Type | dissertation |
| School or College | College of Engineering |
| Department | Computing |
| 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 |
| ID | 193199 |
| Reference URL | https://collections.lib.utah.edu/ark:/87278/s6xd1g7b |