Design Tool Integration

Engineering processes often require a large number of software tools. This project aims at providing an infrastructure for facilitating the integration of these tools.

MetaGME Metamodeling Environment

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

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.

Tools for formal modeling languages (4mlware)

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

Adaptive Model-Integrated Computing

Model-integrated approach to self-adaptive embedded systems

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

Fault-Adaptive Control Technology (FACT)

The goal of the project is to develop integrated solutions for fault diagnostics and control.

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

Model-based Integrated Simulation Framework (MILAN)

Model-based Integrated Simulation Framework

Web-based Open Tool Integration Framework (WOTIF)

This project is working on a design tool integration framework for embedded systems development that supports semantic interoperability across design tools.

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.

Polymorphous Computing Architectures (PCA)

Polymorphous Computing Architectures (PCA)

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.

Networked Embedded Software Technology (NEST)

Pattern-Oriented Composition and Synthesis of Middleware Services for NEST

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

Tools and technology to build self-repairing, large-scale, real-time, distributed, embedded 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.

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.

AEDC Integrated Test Information System (ITIS)

TIS addresses the need to integrate diverse sets of information from distributed, heterogeneous data sources into a seamless real-time data system.

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.

Teachable Agents: Exploring the value of learning by teaching

Our project's objective is to combine insights from recent work in computer science, psychology and education to create and study "teachable agent" (TA) environments in mathematics and science.

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.

Integrated Distribution Management System for Electric Utilities (IDMS)

The Integrated Distribution Management System (IDMS) is a framework that supports integrated decision support tools in electric utilities. The IDMS has been applied to fault diagnosis and outage management.

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.

OASiS

Object-centric, Ambient-aware, Service-oriented Programming Framework for Sensor Networks

DuPont Activity Modeling Tool (AMT)

The Activity Modeling Tool abstracts creation of a remote GUI and system integration for a high level chemical engineering plant organizer. This framework can be readily extended to other system integration domains.

--no current projects available--