Persistent Link:
http://hdl.handle.net/10150/311576
Title:
Design Validation of Multi-mode Systems
Author:
Chu, Diyang
Issue Date:
2013
Publisher:
The University of Arizona.
Rights:
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
Abstract:
Cyber-Physical Systems(CPS) are a group of systems that are involved with both physical processes and computational processes. The interaction of physical components and computational components makes it difficult to analyze, design and verify this type of systems. The problem becomes more complex when certain input or decision of these systems must be initiated by human. Cyber-Physical Systems with human operator in the loop are called Embedded Human Systems(EHS). To ensure the safety of EHS such as traffic control systems, space shuttle control systems, nuclear power plant control systems and so on, it is critically important for human operators to fully understand both physical and computational processes. However, humans are usually easily overwhelmed by concurrent information, the situation becomes worse when it comes to complex EHS with timing constraints.This dissertation proposes a domain specific modeling language that takes advantage of hybrid system abstraction to retain important system behaviors and automatically generates self-configured system verification software. The verification software could effectively reduce the computation time with parallel scheduling algorithm, thus the computation process that violates the design protocol can be halted without wasting computation resources. The modeling environment also allows user to conveniently set design constraints to avoid flaws early in prototype phase and reuse the available model for a family of different platforms. Several verification results of different platforms are shown to demonstrate the efficiency and reusability of the modeling environment.
Type:
text; Electronic Dissertation
Keywords:
Multi-mode; Electrical & Computer Engineering; Hybrid System
Degree Name:
Ph.D.
Degree Level:
doctoral
Degree Program:
Graduate College; Electrical & Computer Engineering
Degree Grantor:
University of Arizona
Advisor:
Sprinkle, Jonathan

Full metadata record

DC FieldValue Language
dc.language.isoen_USen_US
dc.titleDesign Validation of Multi-mode Systemsen_US
dc.creatorChu, Diyangen_US
dc.contributor.authorChu, Diyangen_US
dc.date.issued2013-
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.description.abstractCyber-Physical Systems(CPS) are a group of systems that are involved with both physical processes and computational processes. The interaction of physical components and computational components makes it difficult to analyze, design and verify this type of systems. The problem becomes more complex when certain input or decision of these systems must be initiated by human. Cyber-Physical Systems with human operator in the loop are called Embedded Human Systems(EHS). To ensure the safety of EHS such as traffic control systems, space shuttle control systems, nuclear power plant control systems and so on, it is critically important for human operators to fully understand both physical and computational processes. However, humans are usually easily overwhelmed by concurrent information, the situation becomes worse when it comes to complex EHS with timing constraints.This dissertation proposes a domain specific modeling language that takes advantage of hybrid system abstraction to retain important system behaviors and automatically generates self-configured system verification software. The verification software could effectively reduce the computation time with parallel scheduling algorithm, thus the computation process that violates the design protocol can be halted without wasting computation resources. The modeling environment also allows user to conveniently set design constraints to avoid flaws early in prototype phase and reuse the available model for a family of different platforms. Several verification results of different platforms are shown to demonstrate the efficiency and reusability of the modeling environment.en_US
dc.typetexten_US
dc.typeElectronic Dissertationen_US
dc.subjectMulti-modeen_US
dc.subjectElectrical & Computer Engineeringen_US
dc.subjectHybrid Systemen_US
thesis.degree.namePh.D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.disciplineElectrical & Computer Engineeringen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.advisorSprinkle, Jonathanen_US
dc.contributor.committeememberSprinkle, Jonathanen_US
dc.contributor.committeememberSanfelice, Ricardoen_US
dc.contributor.committeememberRamasabramanian, Srinivasanen_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.