Show simple item record

dc.contributor.advisorWolf, Marilyn
dc.contributor.authorTariq, Muhammad Umer
dc.date.accessioned2017-08-17T18:55:24Z
dc.date.available2017-08-17T18:55:24Z
dc.date.created2016-08
dc.date.issued2016-05-04
dc.date.submittedAugust 2016
dc.identifier.urihttp://hdl.handle.net/1853/58559
dc.description.abstractThis dissertation has formalized a service-oriented computing (SOC) based approach to cyber-physical systems (CPS) in the form of a service-oriented CPS reference model. The proposed reference model extends the traditional SOC paradigm for handling hard real-time CPS aspects by introducing resource-aware service deployment and quality-of-service (QoS)-aware service operation phases along with support for the following formal guarantees: 1) functional equivalence between a CPS design specification and the corresponding service-based CPS field deployment and 2) non-interference between the co-deployed CPS services from the perspective of their timing performance. As a result, the proposed CPS reference model enables a provably-correct process for converting a new CPS application from a CPS design specification to a service-based CPS deployment in the field without affecting the timing performance of already deployed CPS applications or disrupting the operation of already deployed CPS applications for system upgrade. Therefore, unlike the traditional task-based reference model from the domains of automotive and avionics, the proposed service-oriented CPS reference model enables disruption-free incremental system deployment and reconfiguration that are fundamental requirements of the emerging safety-critical but wide-area and "always-online" CPS application domains such as smart grid and vehicular networks.
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.publisherGeorgia Institute of Technology
dc.subjectCyber-physical systems
dc.subjectSimulation
dc.subjectService-oriented computing
dc.subjectModel-driven development
dc.subjectSmart grid
dc.titleService-oriented reference model for cyber-physical systems
dc.typeDissertation
dc.description.degreePh.D.
dc.contributor.departmentElectrical and Computer Engineering
thesis.degree.levelDoctoral
dc.contributor.committeeMemberGrijalva, Santiago
dc.contributor.committeeMemberEgerstedt, Magnus
dc.contributor.committeeMemberRiley, George
dc.contributor.committeeMemberFeron, Eric
dc.date.updated2017-08-17T18:55:24Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record