The Specification and Implementation of a Model of Computation
dc.creator | Thibodeaux, Ryan | |
dc.date.accessioned | 2020-08-21T21:01:16Z | |
dc.date.available | 2010-02-14 | |
dc.date.issued | 2008-02-14 | |
dc.identifier.uri | https://etd.library.vanderbilt.edu/etd-02142008-101147 | |
dc.identifier.uri | http://hdl.handle.net/1803/10565 | |
dc.description.abstract | Separating a complex software system into individual components with well-defined interfaces is a common practice in software engineering intended to simplify reasoning about the system. Establishing a precise set of rules that define components and how they interact over the interfaces is necessary in order to formulate expectations about the possible behaviors that can arise from their composition. These rules are commonly called a Model of Computation (MoC); they establish the legal syntactical, structural, behavioral, and temporal patterns over which components execute. Various approaches have been developed to define MoC-s and their influence over system behavior. The work presented here describes a new approach for specifying MoC-s operationally within a formal modeling framework that captures both event-triggered and time-triggered behaviors. Equipped with this new reasoning framework, an illustrative example is provided to show how a common MoC for real-time systems can be implemented on physical hardware and off-the-shelf software. By first modeling the MoC, the execution logic that orchestrates components is established without introducing limitations of the physical system. Following the realization of the implementation, the model can be updated to reflect these limitations in order to give developers a more realistic view of how a MoC influences system behavior in a realistic deployment setting. | |
dc.format.mimetype | application/pdf | |
dc.subject | Model-Driven Development | |
dc.subject | Models of Computation | |
dc.subject | Time-Triggered Systems | |
dc.subject | Platform Modeling | |
dc.subject | Model-driven software architecture | |
dc.subject | Embedded computer systems -- Design and construction | |
dc.title | The Specification and Implementation of a Model of Computation | |
dc.type | thesis | |
dc.contributor.committeeMember | Dr. Janos Sztipanovits | |
dc.type.material | text | |
thesis.degree.name | MS | |
thesis.degree.level | thesis | |
thesis.degree.discipline | Electrical Engineering | |
thesis.degree.grantor | Vanderbilt University | |
local.embargo.terms | 2010-02-14 | |
local.embargo.lift | 2010-02-14 | |
dc.contributor.committeeChair | Dr. Gabor Karsai |
Files in this item
This item appears in the following Collection(s)
-
Electronic Theses and Dissertations
Electronic theses and dissertations of masters and doctoral students submitted to the Graduate School.