Keyword
Keyword model interpreters
People
-- No matches --
Projects

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.

 

Model-Integrated Design Environment for Dynamically Adaptive Systems

Development of a Model-Based Design Environment for specification, analysis, simulation, and synthesis of dynamically adaptive, hardware/software systems.

 

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.

 
Publications

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.

   

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

   

Neema S., Bapty T., Shetty S., Nordstrom S.: Autonomic Fault Mitigation in Embedded Systems, Elsevier publisher, 2004, Special Issue on Autonomic Computing and Grids at the Journal, 2004.

 

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

   

Karsai G., Agrawal A., Shi F.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Volume 9, Issue 11, pp. 1296-1321, 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.

   

Bapty T., Neema S., Nordstrom S., Shetty S., Vashishtha D., Overdorf J., Sheldon, Paul: Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03) , pp. 11-16, Huntsville, Alabama, April, 2003.

 

Sprinkle J.: Metamodel Based Model Migration, Area Paper, Vanderbilt University, Electrical Engineering, February 5, 2003.

   

Agrawal A., Karsai G., Shi F.: Interpreter Writing using Graph Transformations, ISIS-03-401, 2003.

   

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.

 

Bapty T., Neema S., Scott J., Sztipanovits J., Asaad S.: Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, VLSI Design, 10, 3, pp. 281-306, 2000.

 
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