A joint project of the Graduate School, Peabody College, and the Jean & Alexander Heard Library

Title page for ETD etd-02142008-101147

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
  • 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
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.
  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

Browse All Available ETDs by ( Author | Department )

If you have more questions or technical problems, please Contact LITS.