Keyword
Keyword Model-based
People
-- No matches --
Projects

Program Composition for Embedded Systems (PCES)

The main goal of this project is to demonstrate the synergy of model-integrated computing with the ideas from Aspect-Oriented Programming (AOP).

 

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.

 
Publications

Dubey A., Nordstrom S., Keskinpala T., Neema S., Bapty T., Karsai G.: Towards A Model-Based Autonomic Reliability Framework for Computing Clusters, Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), , Belfast, Northern Ireland, April, 2008.

   

Dubey A., Nordstrom S., Keskinpala T., Neema S., Bapty T.: Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems, Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06), pp. 129-140, Potsdam, Germany, March, 2006.

   

Chen K., Sztipanovits J., Abdelwahed S.: A Semantic Unit for Timed Automata Based Modeling Languages, ISIS-05-605, October 28, 2005.

   

Dubey A.: Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems, Master's Thesis, Vanderbilt University, Electrical Engineering, July 28, 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.

   

Madl G., Abdelwahed S., Schmidt D.: Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking, International Journal of Time-Critical Computing Systems, 2005.

   

Shetty S., Neema S., Bapty T.: Model Based Self Adaptive Behaviour Language Large Scale Real time Embedded Systems, ECBS, Accepted, 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.

   

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.

 

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.

 

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.

 

Deva D., Sprinkle J., Maroti M., Nordstrom G.: Towards A Standard For Model Specification And Storage, IEEE SMC 2000, , Nashville, TN, September, 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.

 

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