Keyword
Keyword domain-specific program synthesis
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 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.

 

Adaptive Model-Integrated Computing

Model-integrated approach to self-adaptive embedded 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

Tambe S., Dabholkar A., Kavimandan A., Gokhale A., Abdelwahed S.: A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems , ISIS-07-809, June, 2007.

   

Agrawal A., Karsai G., Kalmar Z., Neema S., Shi F., Vizhanyo A.: The Design of a Language for Model Transformations, Journal of Software and System Modeling, in review, 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.

   

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., Ledeczi A.: An End-to-End Domain-Driven Software Development Framework, 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 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.

   

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.

 

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.

   

Agrawal A., Ledeczi A.: Multigranular Simulation of Heterogeneous Embedded Systems, Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS), p. 3-10, Huntsville, Alabama, 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.

 

Gray J., Karsai G.: An Examination of DSLs for Concisely Representing Model Traversals and Transformations , HICSS-36, (TBD), Big Island, Hawaii, January, 2003.

   

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

   

Agrawal A., Levendovszky T., Sprinkle J., Shi F., Karsai G.: Generative Programming via Graph Transformations in the Model-Driven Architecture, OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November 5, 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.

   

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

   

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.

 

Ledeczi A.: Model Construction for Model-Integrated Computing, 13th International Conference on Systems Engineering, pp. CS103-108, Las Vegas, NV, August, 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.

   

Moore M.: Model-Integrated Program Synthesis for Real-Time Image Processing, Ph. D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, February, 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