| Type of Document |
Master's Thesis |
| Author |
Thibodeaux, Ryan
|
| Author's Email Address |
ryan.j.thibodeaux@vanderbilt.edu |
| URN |
etd-02142008-101147 |
| Title |
The Specification and Implementation of a Model of Computation |
| Degree |
Master of Science |
| Department |
Electrical Engineering |
| Advisory Committee |
| Advisor Name |
Title |
| Dr. Gabor Karsai |
Committee Chair |
| Dr. Janos Sztipanovits |
Committee Member |
|
| Keywords |
- Model-Driven Development
- Models of Computation
- Time-Triggered Systems
- Platform Modeling
- Model-driven software architecture
- Embedded computer systems -- Design and construction
|
| Date of Defense |
2008-02-12 |
| Availability |
unrestricted |
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.
|
| Files |
| Filename |
Size |
Approximate Download Time
(Hours:Minutes:Seconds)
|
| 28.8 Modem |
56K Modem |
ISDN (64 Kb) |
ISDN (128 Kb) |
Higher-speed Access |
| |
RThibodeaux_Thesis.pdf |
4.77 Mb |
00:22:04 |
00:11:21 |
00:09:56 |
00:04:58 |
00:00:25 |
|
