Model-Integrated  Computing

• ITR- Foundations of Hybrid and Embedded Software Systems - (PI: Janos Sztipanovits, Sponsor: NSF) This is an Information Technology Research project that works on the theoretical foundations, engineering principles, and design tools for hybrid and embedded systems.
• MURI-Frameworks & Tools for High Confidence Design of Adaptive, Distributed Embedded Control Systems - (PI: Janos Sztipanovits, Sponsor: Air Force Office of Scientific Research (AFOSR)) This project develops software tools and technology for the model-based design and construction of software systems for high-consequence applications, such as flight contol systems.
• Model-Based Software Technologies Targeting Interoperability for Systems of Systems - (PI: Gabor Karsai, Sponsor: US ARMY Research Laboratory) This project looks at the modeling and analysis of Service-Oriented Architectures on Mobile Ad-hoc Networks. 
• Computing Infrastructure For Distributed Embedded Systems Design - (PI: Gabor Karsai, Sponsor: Air Force Office of Scientific Research (AFOSR)) This project is a DURIP grant that builds up a computing infrastructure for the model-based design of distributed embedded systems.
• Team Research for Ubiquitous Secure Technology (TRUST) NSF Science & Technology Center - (PI: Janos Sztipanovits, Sponsor: NSF) See PI for further information.
• Lattice QCD SCIDAC: Optimization of Fault Mitigation for Large Commodity Clusters - (PI: Ted Bapty, Sponsor: Department of Energy) See PI for further information.
• Signal Processing Platform (SPP) - Tool Chain Enhancements & Processor Architecture - (PI: Ted Bapty, Sponsor: Raytheon Company) See PI for further information.
• Producible Adaptive Model-based Software - (PI: Gabor Karsai, Sponsor: DARPA): This project looks into adaptivity in software development and systems at three times-scales: design-time, load-time, and run-time.
• C2 Wind Tunnel - Human Centric Design Environments for Command and Control Systems - (PI: Janos Sztipanovits, Sponsor: Air Force Office of Scientific Research (AFOSR))
• Model-based Integration, Security Analysis and Generation of Large-Scale Distributed Applications - (PI: Akos Ledeczi, Sponsor: DEPT. OF ENERGY) See PI for further information.
• Model-based Software Health Management - (PI: Gabor Karsai, Sponsor: NASA) The project is developing techniques for applying model-based techniques for software health management, with special focus on the use of models in run-time. This work is based previous efforts in the area of model-based software development tools, as well as model-based fault diagnostics.
• Resilient Architectures for Integrated C2 in a Contested Cyber Environment - (PI: Gabor Karsai, Sponsor: AFRL) The project has two goals: (1) to exploit the C2 Wind Tunnel as an Open Experimental Platform, and (2) to investigate the resilienc of C4I systems against combined cyber and physical attacks.
• Model-Based Software for Future Combat Systems - (PI-Ted Bapty, Co-PI Sandeep Neema/Jason Scott) Application of MIC techniques for system integration and rapid prototyping of complex systems. The project stresses the tools in terms of system complexity and size metrics, and the variety of modeling aspects and artifacts generated. See the PI/Co-PI's for further information.
• Model Transformations and Verification - (PI: Gabor Karsai, Sponsor: NASA) : This project extends the use of model transformations and other MIC technologies to the verification of software for space systems. The work investigates extensible code generation, the precise model of semantics for UML/State Machine Diagrams and Matlab/Stateflow models, model transformations from heterogeneous state machine models into a common formalism, modeling and architectural analysis of large scale distributed systems, and component models for the ARINC 653 platforms.
• F6MDK: F6 Model-driven Development Kit (PI: Gabor Karsai, Sponsor: DARPA): This project builds an Information Architecture Platform for fractionated satellite systems.

Distributed Object Computing

• SHS: Small: Automated Deployment and Configuration of Distributed Real-time and Embedded System Software using Hueristic Search Techniques - (PI: Aniruddha Gokhale, Sponsor: NSF)
  Distributed real-time and embedded systems can have 100s or 1000s of components spread across tens or hundreds of processors. This work will develop new hybrid heuristic / meta-heuristic algorithms for optimizing the placement of the software on processors while adhering to multiple constraints on real-time scheduling, resource consumption, fault-tolerance, and component co-location. Moreover, various optimization techniques will be devised by optimizing placement to minimize power consumption, reduce network traffic, and improve performance.
• Principles and Techniques for Automated Middleware Specializations in Distributed Systems - (PI: Aniruddha Gokhale, Sponsor: NSF) See PI for further information.
• Air Force Team for Research in Ubiquitous Security Technologies for GIG/NCES - (PI: Doug Schmidt, Sponsor: USAF) See PI for further information.
• System Execution Modeling Technologies for Large-scale Net-centric DoD Systems - (PI: Doug Schmidt, Sponsor: Air Force Research Laboratory) See PI for further information.
• Quality of Service (QoS) - Enabled dissemination (QED) - (PI: Doug Schmidt, Sponsor: Air Force Research Laboratory) See PI for further information.
• ITR-Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation - (PI: Doug Schmidt, Sponsor: NSF) See PI for further information.
• Advanced Information Systems & Technology Program- ROSES - (PI: Doug Schmidt, Sponsor:  NASA) See PI for further information.
• LM NAOMI -PART 2 - (PI: Doug Schmidt, Sponsor: Lockheed Martin) See PI for further information.
• AFRL Systems & Software Producibility Collaboration & Experimentation Environment (SPRUCE) - (PI: Doug Schmidt, Sponsor: Air Force Research Laboratory) See PI for further information.
• Modular Extendable Demonstration of an Upgradeable Space Architecture (MEDUSA) - (PI: Doug Schmidt, Sponsor: DARPA) See PI for further information.
• Collaborative Proposal: Center for Software-Intensive Ultra Large Scale Systems - (PI: Doug Schmidt, Sponsor: NSF) See PI for further information.
• Pollux: Enhancing the Real-Time Quality of the Global Information Grid - (PI: Doug Schmidt, Sponsor: Air Force Research Laboratory) See PI for further information.
• CCM Middleware Integration Implementation - (PI: Doug Schmidt, Sponsor: PrismTech Corporation) See PI for further information.
• MDD (Model Driven Development) for Heterogeneous DRE (Distributed Real-Time Embedded) Systems - (PI: Doug Schmidt, Sponsor: Raytheon Company) See PI for further information.
• SBIR_A Fault Tolerant Real-Time CORBA Naming Service  - (PI: Doug Schmidt, Sponsor: Department of the Navy) See PI for further information.
• Enterprise Application Configuration in the Context of Model Driven Software Development & Software Factories - (PI: Doug Schmidt, Sponsor: Siemen's Corporate Research, Inc.) See PI for further information.
• ACE-based Monitoring Facility - (PI: Doug Schmidt, Sponsor: Symantec Corporation) See PI for further information.
• Air Force Team for Research in Ubiquitous Security Technologies – (PI: Doug Schmidt, Sponsor: Air Force Office of Scientific Research (AFOSR)) See PI for further information.
• New Research Directions in Composition and Systems Technology for High Confidence Cyber Physical Systems - (PI: Doug Schmidt, Sponsor: NSF) See PI for further information.
• Fault Tolerant Real-Time CORBA Naming Service - (PI: Doug Schmidt, Sponsor: Department of the Navy) See PI for further information.
• Industry University Cooperative Research Center (IUCRC) - Ultra Large Scale Software Intensive Systems - (PI: Doug Schmidt, Sponsor: General Motors) See PI for further information.
• Applications of Reliable Fast Event Notification for Raytheon Combat Systems - (PI: Doug Schmidt, Sponsor: Raytheon) See PI for further information.

Network Embedded Systems

• Relative Localization with GPS. (PI: Akos Ledeczi, Sponsor: NSF and Google). The goal of the project is to precisely determine the relative locations of a network of mobile nodes using GPS.
• Networked Embedded Systems Technology (NEST) - (PI: Akos Ledeczi, various sponsors) This is an umbrella project encompassing a number of research activities in Wireless Sensor Networks (WSN).
• Countersniper System - (PI: Akos Ledeczi, various sponsors) Wireless Sensor Network-based shooter localization and weapon classification.
• Civil Structure Health Monitoring Using Wireless Acoustic Emission Sensors (PI: Peter Volgyesi, Sponsor: NSF) The Goal of the project is to design, prototype, and experimentally verify a self sustaining, autonomous, wireless structural monitoring system based on stress, vibration, and acoustic emission sensing. Our research effort is based on three pillars: (1) a low-power Flash FPGA-based hardware paltform, which offers a radically new approach to CPS design, (2) a vibration-based self-adaptive energy harvesting technology that works with a broad range of excitation frequencies, and (3) quantitative structural health assessment analysis based on acoustic emission (AE) signals to determine crack type, location, orientation, and size as well as component-level and system-level health assessment.

Cyber-Physical Systems  

• Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices (PI: Pietro Valdastri). Medical capsule robots are cm-size mechatronic devices designed to perform medical tasks by entering the human body from natural orifices. Wireless capsule embedding a miniature camera are available since 2000 for diagnosis of small intestine diseases. Due to the complexity of operating inside the human body, capsule robots to date have been designed in an ad hoc fashion, relying on profound expertise acquired through many years of experience. We plan to systematize miniaturized wireless medical device design by creating a cyber-physical design environment that will lower the barriers to design space exploration, thus accelerating progress to prototyping.
• Integrated Vehicle Health Management (IVHM) Vehicle-Level Reasoning System (VLRS) Project -
  (PI: Gabor Karsai, Sponsor: NASA Aviation Safety Program) Vehicle-Level Reasoning System: This project develops technologies to build a vehicle-level reasoning system that performs fault diagnostics and fault prognostics functions across all the subsystems of an aerospace vehicle. The technical focus is on developing a distributed reasoning approach and its implementation that supports the integration of diagnostics and prognostics functions from many subsystems, possibly using their own reasoners. The project is sponsored by the NASA Aviation Safety Program.
• The Science of Integration for Networked Systems - (PI: Yuan Xue, Sponsor: ARO)
• Passivity-based Architecture for Software Design of Dynamic Networked Systems - (PI: Xenofon Koutsoukos, Sponsor NSF)
• MURI-Frameworks & Tools for High Confidence Design of Adaptive, Distributed Embedded Control Systems - (PI: Janos Sztipanovits, Sponsor: Air Force Office of Scientific Research (AFOSR)) This project develops software tools and technology for the model-based design and construction of software systems for high-consequence applications, such as flight contol systems
• SGER- Exploring the Nature & scope of Cyber Physical Systems (CPS) - (PI: Janos Sztipanovits, Sponsor: NSF) See PI for further information.
• Reliable diagnostics & Prognostics for Critical Avionics Systems - (PI: Gautam Biswas, Sponsor: NASA) See PI for further information.
• Producible Adaptive Model-based Software - (PI: Gabor Karsai, Sponsor: DARPA): This project looks into adaptivity in software development and systems at three times-scales: design-time, load-time, and run-time
• Online Statistical Methods for Robust State Estimation, Anomaly Detection, & Degradation Analysis in Complex Embedded Systems - (PI: Gautam Biswas, Sponsor: NASA) See PI for further information.
• Advanced Diagnostics & prognostics techniques Applied to NASA Spacecraft & Testbeds - (PI: Gautam Biswas, Sponsor: NASA) See PI for further information.
• NASA 2006 STTR: T1.01 Distributed Multi-agent fault Diagnosis & reconfiguration Control - (PI: Gautam Biswas, Sponsor: NASA) See PI for further information.
• Support for CSC (Critically Sensitive Coordination) - (PI: Gabor Karsai, Sponsor: DARPA): This project studies real-time distributed re-planning for distributed operations. The lead institution is USC ISI.
• Career- Computational Methods for the Analysis & Design of Stochastic Hybrid Systems - (PI: Xenofon Koutsoukos, Sponsor: NSF) See PI for further information.
• Distributed Monitoring & Diagnosis of Embedded Systems Using Hierarchical Abstractions - (PI: Xenofon Koutsoukos, Sponsor: NSF) See PI for further information.
• Career: Achieving Self-Tunability of Peer to Peer Streaming Service through User-Level QoS Inference - (PI: Yi Cui, Sponsor: NSF) See PI for further information.
• Fault-Adaptive Control Technology - (PI: Gabor Karsai, Sponsor: DARPA and The Boeing Company) This project investigates advanced fault-diagnostics techniques and their integration with the control systems.

Education Technology

• Preparatory Remediation and Evaluation of Participant Skills (PERPS) - (PI: Larry Howard, Sponsor: National White Collar Crime Center) See PI for further information.
• Formal Analysis of Choice-Adaptive Intelligent Learning Environments (FACILE) that support Future Learning - (PI: Gautam Biswas, Sponsor: NSF)
  Technology enables developing rich open-ended learning environments that use a number of different learning paradigms and resources. Students can complete quests in game environments, engage in inquiry, interact with virtual agents, run science simulations, take quizzes, access the web, and more generally make choices about different learning activities. The environment can then adapt intelligently by encouraging (alternative) choices. We will develop environments that permit student choice, and provide adaptive metacognitive support for making better choices. This way, we can help students learn in the computer environment, and then transfer this learning to making choices in real learning situations.
• Collaborative Research: REESE- Assisting & Assessing Middle School Science Learning in Formal & Informal Settings - (PI: Gautam Biswas, Sponsor: NSF) See PI for further information.
• PHASE II STTR: Integrated Ground Support System for Launch Operations - (PI: Gautam Biswas, Sponsor: NASA) See PI for further information.
• Graphical Representations to Assess System Performance (GRASP) - (PI: Larry Howard, Sponsor: NSF) See PI for further information.
• Cognition & Student Learning Research - (PI: Gautam Biswas, Sponsor: Department of Education) See PI for further information.
• Postdoctoral Training: Research Methods in the Learning Sciences - (PI: Gautam Biswas, Sponsor: Department of Education) See PI for further information.
• Adaptive Cybersecurity Training (ACT) Online - (PI: Larry Howard, Sponsor: US Department of Homeland Security) This project uses adaptive learning techniques and technologies to create and deliver online training on cyber-security for the nation's first responders.  It is a collaboration with the University of Memphis Center for Information Assurance and SPARTA, Inc.   The training is available at ACT Online.
• VaNTH Engineering Research Center - Clearsighted SBIR - (PI: Larry Howard, Sponsor: NSF)  This project uses intelligent tutoring techniques to assist instructors using an online authoring and delivery system to create engineering homework problems that support in-place diagnosis and remediation.  It is a collaboration with VaNTH educators and Clearsighted, Inc.   

• Intelligent Instrumentation System (PI: Janos Sztipanovits, Sponsor: IBM Instruments, 1984-1987): This project developed an Intelligent Operator Interface for an advanced instrument. It has produced results like the Multigraph Kernel: an execution platform for component-based systems, and declarative techniques for representing computational structures.
• Intelligent Process Control System (PI: Janos Sztipanovits, Sponsor: Osaka Gas, 1986-1994): This project was aimed at the intelligent operation of highly complex continuous process plants, and it has produced an 'Intelligent Process Control System' that was an early model-based software development environment for plant engineers, in 1992. The environment included model-based monitoring, simulation, fault diagnostics, and operator interface capabilities.
• Fault Detection, Isolation, and Recovery (PI: Janos Sztipanovits, Sponsor: Boeing, 1988-1998): This project worked on advanced fault diagnostics algorithm and resulted in a modeling environment for faults in complex systems, a diagnosability analysis tool, and a robust fault diagnostics algorithm.
• OASiS: An Object-Centric, Ambient-Aware, Service-Oriented Sensornet Programming Framework - (PI: Xenofon Koutsoukos, Sponsor: NSF and Microsoft Research)
• CSR-EHS: Software Composition for Embedded Systems Using Graph Transformations - (PI: Gabor Karsai, Sponsor: NSF): This project studies the use of graph transformation techniques in the development of embedded systems. Of particular interest is the verification of model transformations.
• Model-Integrated Computing Tools for Exploration Systems - (PI: Gabor Karsai, Sponsor: NASA) : This projects investigates the use of MIC technologies in tools for software development for space systems.