Research Area
Research Area Model Integrated Computing
Research URL http://www.isis.vanderbilt.edu/research/research.html
Research Description Providing rich, domain-specific modeling environments including model analysis and model-based program synthesis tools.
Research Start Date 1/1/1975
Research End Date 1/1/1975
People

Arpad Bakay

arpad.bakay@vanderbilt.edu

 

Ted Bapty

bapty@isis.vanderbilt.edu

 

James Davis

james.r.davis@vanderbilt.edu

 

Jason Garrett

 

Jeff Gray

jgray@isis.vanderbilt.edu

 

Gabor Karsai

gabor.karsai@vanderbilt.edu

 

Akos Ledeczi

first name dot last name at vanderbilt dot edu

 

Sandeep Neema

sandeep.k.neema@vanderbilt.edu

 

Greg G Nordstrom

greg.nordstrom@vanderbilt.edu

 

Jason M Scott

jscott@isis.vanderbilt.edu

 

Janos Sztipanovits

janos.sztipanovits@vanderbilt.edu

 
Projects

Networked Embedded Software Technology (NEST)

Pattern-Oriented Composition and Synthesis of Middleware Services for NEST

 

Model-based Integrated Simulation Framework (MILAN)

Model-based Integrated Simulation Framework

 

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-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.

 

Model-Integrated Computing for Surety of High Assurance Systems

Development formal-method based system design tools with an emphasis on reliability, safety, and security. The tools utilize models, generic in construct but domain specific for each application.

 

Fault Tolerant, Real-Time Embedded Systems (FT-RTES)

Tools and technology to build self-repairing, large-scale, real-time, distributed, embedded systems.

 

Adaptive Model-Integrated Computing

Model-integrated approach to self-adaptive embedded systems

 

Multi Granular Dynamic Architecture Adaptation

Investigate high-level representation techniques capable of modeling the design-space of Polymorphous Computing Architectures at multiple levels of granularity

 

Model-Integrated Data Validation (DatVal)

DatVal is a model-based data validation system used in turbine engine testing developed for, and in use at, Arnold Engineering Development Center.

 

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.

 

Model Integrated Computing and Autonomous Negotiating Teams for Autonomous Logistics (MICANTS)

The MICANTS project seeks to develop efficient negotiation protocols for distributed problem solving in the logistics domain

 

MetaGME Metamodeling Environment

GME-based toolsuite for specifying and synthesizing domain-specific modeling environments from UML/OCL-based metamodels.

 

Tool Integration Framework for Systems Biology

Tool Integration Framework for Systems Biology, is a research project at ISIS sponsored by the BioCOMP program of DARPA/IPTO.

 

Modeling and Analysis of Complex Systems

The study of behavior of complex physical systems. These systems are characterized by mixed discrete-continuous behaviors that are effectively described using the theory of hybrid systems.

 

Tools for formal modeling languages (4mlware)

Development of a formal backplane of tools that support analysis and interchange of models, metamodels, and DSMLs.

 
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.

   

Jackson E.: The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, ISIS-07-807, March, 2007.

   

Jackson E., Sztipanovits J.: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality, 13th Annual IEEE International Conference on the Engineering of Computer Based Systems , CD-Rom, Potsdam, Germany, March 27, 2006.

   

Williams B.: Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow, ACMSE 2006, CD-Rom p51.pdf, Melbourne, FL, March 10, 2006.

 

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

   

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.

   

Gray J., Yuehua Lin, Jing Zhang, Nordstrom S., Gokhale A., Neema S., Swapna Gokhale: Replicators: Transformations to Address Model Scalability, Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713, pp. 295-308, Montego Bay, Jamaica, October, 2005.

   

Jackson E., Sztipanovits J.: Using Separation of Concerns for Embedded Systems Design, EMSOFT '05, CD-Rom, Jersey City, New Jersey, September, 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.

   

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.

   

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.

   

Volgyesi P., Maroti M., Dora S., Osses E., Ledeczi A.: Software Composition and Verification for Sensor Networks, Science of Computer Programming (Elsevier), 56, 1-2, pp. 191-210, April, 2005.

   

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.

   

Emerson M., Sztipanovits J., Bapty T.: A MOF-Based Metamodeling Environment, Journal of Universal Computer Science, 10, 10, pp. 1357-1382, October 9, 2004.

   

Gray J., Sztipanovits J., Schmidt D., Bapty T., Neema S., Gokhale A.: TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE , Aspect-Oriented Software Deveopment (Book) , Addison Wesley, 2004, pp. 681-705, August, 2004.

   

Agrawal A.: A Formal Graph-Transformation Based Language for Model-to-Model Transformations, PhD Dissertation, Vanderbilt University, Dept of EECS, August, 2004.

   

Kusy B., Ledeczi A., Maroti M., Volgyesi P.: Domain Independent Generative Modeling, ECBS '04, CD-Rom, Brno, Czech Republic, May 24, 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.

   

Volgyesi P., Maroti M., Dora S., Osses E., Ledeczi A., Paka T.: Embedded Software Composition and Verification, ISIS-04-503, February 13, 2004.

   

Sprinkle J.: Model-Integrated Computing, IEEE Potentials, Vol. 23, No. 1, pp. 28-30, February, 2004.

   

Karsai G., Agrawal A.: Graph Transformations in OMG’s Model-Driven, Applications of Graph Transformations with Industrial Relevance, To be published in the Lecture Notes of Computer Science, Charlotsville, VA, December, 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.

   

Neema S., Sztipanovits J., Karsai G., .Ken Butts: Constraint-Based Design-Space Exploration and Model Synthesis , EMSOFT 2003, LNCS 2855, Philadelphia, PA, October 2, 2003.

   

Karsai G., Agrawal A., Ledeczi A.: A Metamodel-Driven MDA Process and its Tools, WISME, UML 2003 Conference, San Francisco, CA, October, 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.

   

Sprinkle J.: Metamodel Driven Model Migration, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, August, 2003.

   

Howard L.: Adaptive Learning Technologies for Bioengineering Education, IEEE Engineering in Medicine and Biology Magazine, 22, 4, pp. 58-65, July, 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.

   

Sprinkle J.: Metamodel Based Model Migration, Area Paper, Vanderbilt University, Electrical Engineering, February 5, 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.

 

Karsai G., Maroti M., Ledeczi A., Gray J., Sztipanovits J.: Composition and Cloning in Modeling and Meta-Modeling, IEEE Transactions on Control System Technology, (accepted), 2003.

 

Neema S., Ledeczi A.: Constraint Guided Self-Adaptation, Self-Adaptive Software: Applications, LNCS 2614, pp. 39-51, 2003.

   

Roselli, RJ, Howard L.: Development of online homework problems that provide instant feedback and remediation to students, Annual BMES Conference, (CD ROM, Omnipress), Nashville, TN, 2003.

 

Roselli, RJ, Howard L.: Integration of an Interactive Free Body Diagram Assistant with a Courseware Authoring Package and an Experimental Learning Management System, Proceedings of the American Society for Engineering Education, (CD-ROM DEStech Publications) Session 2793: 10 pages, Nashville, TN, 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.

   

Volgyesi P., Ledeczi A.: Component-Based Development of Networked Embedded Applications, 28th Euromicro Conference, Component-Based Software Engineering Track, , Dortmund, Germany, September, 2002.

   

Davis J.: Model Integrated Computing: A Framework for Creating Domain Specific Design Environments, The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI), , Orlando, FL, July, 2002.

   

Gray J., Bapty T., Neema S., Ledeczi A.: Viewpoints and Aspects in Domain-Specific Modeling, 1st International Conference on Aspect-Oriented Software Development , Demonstration, Enschede, The Netherlands, April, 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., Nordstrom G., Karsai G., Volgyesi P., Maroti M.: On Metamodel Composition, IEEE CCA 2001, CD-Rom, Mexico City, Mexico, September 5, 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.

   

Pathak S.: Framework Independent Agent Modeling Environment, Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, May 11, 2001.

 

Nordstrom G., Davis J., Briski M.: A Graduate-Level Course on CBS Design Tool Development, Engineering of Computer Based Systems, , Washington, D.C., April, 2001.

 

Eames B., Neema S., Scott J., Bapty T.: High-Level Functional Simulation for Model-Based Embedded System Synthesis, ISIS-01-202, February, 2001.

   

Ledeczi A., Bakay A., Maroti M.: Model-Integrated Embedded Systems, in Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.

   

Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Towards Two-Level Formal Modeling of Computer-Based Systems, Journal of Universal Computer Science, Vol. 6, No. 11, pp. 1131-1144, November, 2000.

   

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

   

Venkatachalam S., Nordstrom G., Peters R., Wilkes M., Alford A.: Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing, IEEE-SMC 2000, CD-ROM, Nashville, TN, October, 2000.

   

Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Specifying Graphical Modeling Systems Using Constraint-based Metamodels, IEEE Symposium on Computer Aided Control System Design, Conference CD-Rom, Anchorage, Alaska, September 25, 2000.

   

Deva D., Sprinkle J., Maroti M., Nordstrom G.: Towards A Standard For Model Specification And Storage, IEEE SMC 2000, , Nashville, TN, September, 2000.

   

Nordstrom G., Karsai G., Moore M., Bapty T., Sztipanovits J.: Model Integrated Computing-Based Software Design and Evolution, Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, , Huntsville, Alabama, August 16, 2000.

   

Sprinkle J.: Model Integrated Program Synthesis of Agent Interaction Protocols, Masters Thesis, Vanderbilt, Electrical Engineering, August, 2000.

   

Sztipanovits J., Karsai G., Franke H.: Model-Integrated Program Synthesis Environment, Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, pp. 348-355, Friedrichshafen, Germany, March 11, 2000.

   

Nordstrom G.: Formalizing the Specification of Graphical Modeling Languages, Proceedings of the IEEE Aerospace 2000 Conference, CD-ROM Reference 10.0402, Big Sky, MT, March, 2000.

   

Ledeczi A., Bapty T., Karsai G.: Synthesis of Self-Adaptive Software, IEEE Aerospace 2000 , CD-ROM Reference 10.0304, Big Sky, MT, March, 2000.

   

Nordstrom G., Ledeczi A.: Formalizing the Specification of Graphical Modeling Languages, ISIS Technical Report ISIS-00-200, 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.

   

Nordstrom G., Sztipanovits J., Karsai G., Ledeczi A.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Proceedings of the IEEE ECBS'99 Conference, pp. 68-74, Nashville, Tennessee, April, 1999.

   

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Ph. D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, March, 1999.

   

Ledeczi A., Maroti M., Karsai G., Nordstrom G.: Metaprogrammable Toolkit for Model-Integrated Computing, Engineering of Computer Based Systems (ECBS) , pp. 311-317, Nashville, TN, March, 1999.

   

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Area Paper, Vanderbilt University, Electrical Engineering and Computer Science, October, 1998.

   

Nordstrom G., Sztipanovits J., Karsai G.: Metalevel Extension of the MultiGraph Architecture, Proceedings of the IEEE ECBS'98 Conference, pp. 61-68, Jerusalem, Israel, April, 1998.

   

Ledeczi A.: Model-Integrated Parallel Application Synthesis, Engineering of Computer Based Systems (ECBS) , pp. 38-45, Monterey, CA, March, 1997.

   

Ledeczi A.: System Synthesis for Parallel Signal Processing, International Conference on Signal Processing Applications and Technology, pp. 1507-1511, Boston, MA, 1995.

 

Ledeczi A.: Parallel Systems with Flexible Topology, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, 1995.

   

Ledeczi A., Bapty T., Karsai G., Sztipanovits J.: Modeling Paradigm for Parallel Signal Processing, The Australian Computer Journal, 27, 3, pp. 99-102, 1995.

 

Ledeczi A., Biegl C., Abbott B.: High Performance Graphics for Parallel Systems, Int. Conf. on Signal Processing Applications and Technology, pp. 733-738, Dallas, TX, January, 1994.

 

Ledeczi A., Abbott B.: Parallel Systems with Flexible Topology, Scalable High Performance Computing Conference, pp. 460-470, Knoxville, TN, January, 1994.

 

Ledeczi A., Abbott B., Biegl C., Bapty T., Karsai G., Sztipanovits J.: Parallel DSP System Integration, Microprocessors and Microsystems, 17, 8, pp. 460-469, 1993.

 
Associated Keywords
-- 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