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

Title page for ETD etd-07302013-124654

Type of Document Master's Thesis
Author Mendes, Alexander Lloyd
Author's Email Address alexander.l.mendes@vanderbilt.edu
URN etd-07302013-124654
Title Multi-Domain Modeling through Specification of a Domain Specific Modeling Language for Cyber-Physical Systems Development
Degree Master of Science
Department Electrical Engineering
Advisory Committee
Advisor Name Title
Theodore A. Bapty, Ph.D Committee Chair
Joseph A. Porter, Ph.D Committee Member
  • GME
  • controller
  • multi-domain
  • bidirectional DC/DC converter
  • DCM
  • hybrid
  • vehicle
  • Composition
  • Modeling
Date of Defense 2013-08-06
Availability unrestricted
Cyber-Physical Systems pair discrete-event computational components with physical components--like electronic circuits--which are governed by continuous-time dynamics. If we are able to simultaneously model the computational and physical aspects of a system, then we could drastically shorten timelines for such systems by being able to simulate, evaluate, and formally verify integrated system behavior all prior to the costly phase of system deployment. Model simulations allow designers to test safety critical use scenarios, and can form a basis for system parameterization. In this work, we present the Signal Flow Domain Specific Modeling Language (DSML) which serves as a free and open language for describing synchronous control logic within the Embedded Systems Modeling Language Framework (ESMoL) and the Cyber-Physical Systems Modeling Language (CyPhyML). Signal Flow is adept at modeling software processes, and its functional blocks are math functions which reference underlying C-code snippets. Furthermore, Signal Flow models can synthesize deployable C-code, for use within the target hardware platform.

We describe the use of Signal Flow within CyPhyML for integrating the computational and physical components of a bidirectional DC/DC converter intended for use in a hybrid vehicle. The full system was modeled in CyPhyML with the vehicle controller employing the Signal Flow DSML. All possible converter mode transitions are composed and simulated as testbenches, and their results illustrate expected system behavior with the controller working seamlessly with the physical circuit model.

  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  mendes.pdf 3.94 Mb 00:18:13 00:09:22 00:08:12 00:04:06 00:00:20

Browse All Available ETDs by ( Author | Department )

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