Keyword
Keyword Model-based systems
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.

 

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.

   

Daigle M., Roychoudhury I., Biswas G., Koutsoukos X.: Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, ISIS-06-712, December 18, 2006.

   

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.

   

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.

   

Nordstrom S., Shetty S., Yao D., Ahuja S., Neema S., Bapty T., Karsai G.: Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems, International Journal on Software Tools for Technology Transfer, (under review), 2005.

   

Abdelwahed S., Wu J., Biswas G., Ramirez J., Manders E.: Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems, 34th International Conference on Environmental Systems, pp, Colorado Springs, CO, July, 2004.

   

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.

   

Kandasamy N., Abdelwahed S., Neema S.: Self optimization in computer systems via online control: application to power management, the International Conference on Autonomic Computing, pp, New York, NY, May, 2004.

   

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

   

Abdelwahed S., Karsai G., Biswas G.: System Diagnosis using Hybrid Failure Propagation Graphs, ISIS-02-302, December, 2003.

   

Karsai G., Agrawal A., Ledeczi A.: A Metamodel-Driven MDA Process and its Tools, WISME, UML 2003 Conference, San Francisco, CA, October, 2003.

   

Howard L.: Adaptive Learning Technologies for Bioengineering Education, IEEE Engineering in Medicine and Biology Magazine, 22, 4, pp. 58-65, July, 2003.

 

Scott J.: Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods , Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, May 21, 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.

 

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.

 

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.

   

Bapty T., Gray J., Neema S.: February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, San Diego, CA, February, 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.

 

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.

   

Ledeczi A.: Model-Integrated Parallel Application Synthesis, Engineering of Computer Based Systems (ECBS) , pp. 38-45, Monterey, CA, March, 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