Keyword
Keyword domain-specific environment
People
-- No matches --
Projects

Saturn Site Production Flow (SSPF) : Engineering Process and Business Decision Support Tools

The Saturn Site Production Flow (SSPF) system is a Manufacturing Execution System which is an integral and enabling component of the business process employed by Saturn Corp., a car manufacturer, to increase plant throughput.

 

Model-based Integrated Simulation Framework (MILAN)

Model-based Integrated Simulation Framework

 

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.

 

Adaptive Learning Technologies

Provides technology for authoring interactive, adaptive courseware from graphical models. The project is a part of the VaNTH Engineering Research Center in Bioengineering Educational Technologies funded by the National Science Foundation.

 
Publications

Nordstrom S., Bapty T., Neema S., Dubey A., Keskinpala T.: A Guided Explorative Approach for Autonomic Healing of Model-Based Systems, Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), CD Rom, Pasadena, CA, July, 2006.

   

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.

   

Derek Messie, Mina Jung, Jae C. Oh, Shetty S., Nordstrom S., Michael Haney: Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems, Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April 6, 2005.

   

Scott J., Neema S., Eames B., Bapty T., Vandivort, Andrew, Khamsi, Sarir , Gangwer, Troy: A HW/SW Co-design Tool for Modern FPGAs with FPGA-Embedded Processors, 7th Military and Aerospace Programmable Logic Devices, , Washington, DC, September 11, 2004.

   

Neema S., Karsai G.: Embedded Control Systems Language for Distributed Processing, ISIS-04-505, May 12, 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.

   

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.

   

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

   

Karsai G., Agrawal A., Shi F., Sprinkle J.: On the use of Graph Transformations in the Formal Specification of Computer-Based Systems, IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, p. 19-27, Huntsville, Alabama, April 9, 2003.

   

Sprinkle J., Agrawal A., Levendovszky T., Shi F., Karsai G.: Domain Translation Using Graph Transformations, Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 159-168, Huntsville, AL, April 7, 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., Sztipanovits J., Ledeczi A., Bapty T.: Model-Integrated Development of Embedded Software, Proceedings of the IEEE, Vol. 91, Number 1, pp. 145-164, January, 2003.

 

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

   

Howard L.: CAPE: A Visual Language for Courseware Authoring, 2nd Workshop on Domain-Specific Visual Languages, pp. 45-53, Seattle, WA, November 4, 2002.

   

Sprinkle J., Agrawal A., Levendovszky T., Shi F., Karsai G.: Domain Evolution in Visual Languages Using Graph Transformations, OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November 4, 2002.

   

Agrawal A.: Hardware Modeling and Simulation of Embedded Applications, Master's Thesis, Vanderbilt University, Electrical Engineering & Computer Science, May, 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.

   

Neema S.: Design Space Representation and Management for Model-Based Embedded System Synthesis, ISIS-01-203, February, 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.

 

Bapty T., Scott J., Neema S., Sztipanovits J.: Uniform Execution Environment for Dynamic Reconfiguration, Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, pp.181-187, Nashville, TN, March, 1999.

   

Karsai G., Sztipanovits J., Ledeczi A., Moore M.: Model-Integrated System Development: Models, Architecture and Process, 21st Annual International Computer Software and Application Conference (COMPSAC), pp. 176-181, Bethesda, MD, August, 1997.

   
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