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

Title page for ETD etd-07292005-162819

Type of Document Master's Thesis
Author Dubey, Abhishek
Author's Email Address dabhishe@isis.vanderbilt.edu
URN etd-07292005-162819
Title Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems
Degree Master of Science
Department Electrical Engineering
Advisory Committee
Advisor Name Title
Takkuen John Koo Committee Chair
Gabor Karsai Committee Member
  • Model Based Design
  • Computation Methods
  • Hybrid Systems
  • Design Methodology
  • Algorithmic Analysis
  • Embedded computer systems
Date of Defense 2005-08-04
Availability unrestricted
Model based approach for design and analysis of systems has made great advances in the last decade. Model driven system development methodologies like model integrated computing (MIC) allow integration and manipulation of models with manageable complexity in various aspects of system design. Model based approach is used in embedded system design and analysis in order to integrate efforts in system specification, design, synthesis, validation, verification and design evolution. Mathematical models like hybrid automaton are used for analysis of embedded systems, which have tightly coupled discrete and continuous components. In order to perform design and analysis for hybrid systems, various approaches have been developed to explore hybrid state space. However, model checking algorithms designed using these state exploration techniques are constrained with the implementation details of the computation tools and that limits the creation of algorithms for some specific design and analysis purposes.

This thesis presents a metamodel based language and a computation platform for designing hybrid system models and designing analysis algorithms as models that are generic and implementation independent. The metamodel based modeling language provides well-defined abstract concepts such as continuous state sets, operators for reachability computation, and Boolean operations on state sets. This language uses multiple aspects to separate the concerns of analysis algorithms into programming logic, system models, and related data. On one hand, the models of analysis algorithms are abstract and therefore the design of algorithms can be made independent of implementation details. On the other hand, translators are provided to automatically generate implementations from the models for computing analysis results based on computation kernels, which have been created by enriching the capabilities of existing computation tools such as d/dt and Level Set toolbox. This platform forms an integral part of a prospective integrated suite of tools that would be used in every step of model based design of embedded systems all the way from specification to production.

  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  thesisNew.pdf 3.48 Mb 00:16:05 00:08:16 00:07:14 00:03:37 00:00:18

Browse All Available ETDs by ( Author | Department )

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