Keyword
Keyword GME
People
-- No matches --
Projects

AEDC Integrated Test Information System (ITIS)

TIS addresses the need to integrate diverse sets of information from distributed, heterogeneous data sources into a seamless real-time data system.

 

Integrated Distribution Management System for Electric Utilities (IDMS)

The Integrated Distribution Management System (IDMS) is a framework that supports integrated decision support tools in electric utilities. The IDMS has been applied to fault diagnosis and outage management.

 

Model-based Synthesis of Generators for Embedded Systems

This research is sponsored by the DARPA MoBIES program. Its objective is to automate the creation of model interpreters and other, related tools used for semantic conversion of information.

 

GME: The Generic Modeling Environment

GME is a configurable graphical modeling environment that supports building multi-aspect, hierarchical models. It also has flexible constraint management and automatic program synthesis capabilities.

 

DuPont Activity Modeling Tool (AMT)

The Activity Modeling Tool abstracts creation of a remote GUI and system integration for a high level chemical engineering plant organizer. This framework can be readily extended to other system integration domains.

 
Publications

Dubey A., Xianbin Wu, Hang Su, Koo T.: Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach, Lecture Notes in Computer Science, 3707, pp. 114-128, October 11, 2005.

   

Ahuja S., Yao D., Neema S., Bapty T., Shetty S., Nordstrom S.: Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems, IEEE SoutheastCon, pp. 327, CD-Rom, Fort Lauderdale, Florida, April 8, 2005.

   

Shetty S., Nordstrom S., Ahuja S., Yao D., Bapty T., Neema S.: Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language, 12 IEEE International Conference Proceedings ECBS 2005, 12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05 pp481, Greenbelt, MD , USA, April 6, 2005.

   

Kusy B., Ledeczi A., Maroti M., Volgyesi P.: Domain Independent Generative Modeling, ECBS '04, CD-Rom, Brno, Czech Republic, May 24, 2004.

   

Dora S.: AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE VERIFICATION IN SENSOR NETWORKS , Master's Thesis, Vanderbilt University, EECS, April 1, 2004.

   

Sprinkle J., Karsai G.: A Domain-Specific Visual Language For Domain Model Evolution , Journal of Visual Languages and Computing, vol. 15, no. 2, April, 2004.

   

Volgyesi P., Maroti M., Dora S., Osses E., Ledeczi A., Paka T.: Embedded Software Composition and Verification, ISIS-04-503, February 13, 2004.

   

Karsai G., Agrawal A.: Graph Transformations in OMG’s Model-Driven, Applications of Graph Transformations with Industrial Relevance, To be published in the Lecture Notes of Computer Science, Charlotsville, VA, December, 2003.

   

Agrawal A., Karsai G., Shi F.: Graph Transformations on Domain-Specific Models, ISIS-03-403, November, 2003.

   

Nordstrom S., Shetty S., Chhokra K., Sprinkle J., Eames B., Ledeczi A.: ANEMIC: Automatic Interface Enabler for Model Integrated Computing, Generative Programming and Component Engineering (GPCE '03), (Accepted), Erfurt, Germany, September 22, 2003.

   

Sprinkle J.: Metamodel Driven Model Migration, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, August, 2003.

   

Volgyesi P., Maroti M., Ledeczi A.: Model-based Software Synthesis for Distributed Control Systems and Sensor Networks., International Carpathian Control Conference, , High Tatras, Slovak Republic, May 26, 2003.

 

Maroti M., Volgyesi P., Simon G., Karsai G., Ledeczi A.: Distributed Middleware Services Composition and Synthesis Technology, IEEE Aerospace, , Big Sky, MT, March 8, 2003.

   

Karsai G., Maroti M., Ledeczi A., Gray J., Sztipanovits J.: Composition and Cloning in Modeling and Meta-Modeling, IEEE Transactions on Control System Technology, (accepted), 2003.

 

Gray J., Bapty T., Neema S., Ledeczi A.: Viewpoints and Aspects in Domain-Specific Modeling, 1st International Conference on Aspect-Oriented Software Development , Demonstration, Enschede, The Netherlands, April, 2002.

 

Ledeczi A., Maroti M., Bakay A., Nordstrom G., Garrett J., Thomason IV C., Sprinkle J., Volgyesi P.: GME 2000 Users Manual (v2.0), document, December 18, 2001.

   

Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., Karsai G.: Composing Domain-Specific Design Environments, Computer, pp. 44-51, November, 2001.

 

Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason IV C., Nordstrom G., Sprinkle J., Volgyesi P.: The Generic Modeling Environment, Workshop on Intelligent Signal Processing, accepted, Budapest, Hungary, May 17, 2001.

   

Pathak S.: Framework Independent Agent Modeling Environment, Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, May 11, 2001.

 

Sprinkle J., van Buskirk C., Karsai G.: Modeling Agent Negotiation, IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October 8, 2000.

   

Pathak S., Nordstrom G., Kurokawa S.: Modeling of supply chain: a multi-agent approach, IEEE SMC 2000, CD ROM Reference 00ch37166c, Nashville, Tennessee, October 8, 2000.

   

Gray J., Bapty T., Neema S.: Aspectifying Constraints in Model-Integrated Computing, OOPSLA 2000: Workshop on Advanced Separation of Concerns, http://trese.cs.utwente.nl/Workshops/OOPSLA2000, Minneapolis, MN, October, 2000.

   

Ledeczi A.: Model Construction for Model-Integrated Computing, 13th International Conference on Systems Engineering, pp. CS103-108, Las Vegas, NV, August, 1999.

   

Davis J., Scott J., Sztipanovits J., Karsai G., Martinez M.: Integrated Analysis Environment for High Impact Systems, Proceedings of the Engineering of Computer Based Systems, pp. 218-225, Jerusalem, Israel, April, 1998.

   
Research
-- No matches --

 

Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Projects
Courses
SIPHER
Tutorials
Current Papers & Reports
Archived Papers & Reports
Presentations
Theses
Workshops/Seminars