Model-based Software Health Management - (PI) 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. The project is supported by NASA's Aviation Safety program. (2008-)
Producible Adaptive Model-based Software. (PI) This project aims at introducing adaptivity in model-based software development, at different time scales: at design-time, load-time, and run-time. The project is supported by DARPA, and the prime contactor is BAE Systems. (2007-)
Fault-adaptive Control Technology. (PI) The project works on developing fault-adaptive control systems that integrate control and system-level fault diagnosis. The primary focus is on developing modeling approaches and real-time, embeddable fault-diagnostics algorithms that could be used in the model-driven development of system health management applications. The project was initially supported by DARPA and is supported by the aerospace industry. (1999-)
Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems. (Co-PI) This project develops the techniques and tools for constructing high-confidence software systems (like the ones used in avionics systems). The goal is to build an approach that integrates modeling, design synthesis, analysis and verification, and high-confidence computational platforms. The project is supported by an AFOSR MURI and participants include UC Berkeley, Stanford, and CMU. (2006-)
Team for Research on Ubiquitous Secure Technology. (I) This NSF Science and Technology Center does research on computer system security. The related project addresses system-level security problems with focus on trustworthy systems and embedded system design. (2005-)
Software Technologies Targeting Interoperability for Systems of Systems. (PI) This project investigates how large-scale distributed systems could be designed and analyzed using model-driven techniques. Of particular interest are systems that are constructed using Service-Oriented Architectures on Mobile Ad-hoc Networks. The project is supported by the ARO. (2007-)
The C2 Wind-tunnel. (Co-PI) The project works on developing the foundations and a prototype for a 'software wind-tunnel' that allows the rapid prototyping and evaluation of full Command and Control systems, including all elements from human decision making organizations through the C2 software systems and communication networks to the level of autonomous vehicles and sensors. The project is supported by the AFOSR. (2006-)
Foundations for Embedded and Hybrid Systems and Software (I). This NSF ITR project works on the scientific foundations for designing embedded systems and software. Of particular interest are model-based design tools, model transformation tools, and integrated toolchains. The ITR is lead by UC Berkeley, and includes U. of Memphis. (2003-2009)
Model-Integrated Computing Tools for Exploration Systems. (PI) This NASA-supported project investigates the use of model-integrated computing techniques for building software for spacecraft systems. The main focus is on the application of model-based tools in software construction and the verification of model transformations and code generators. (2006-2008)
Criticality-sensitive Coordination. (PI) The project addresses distributed, dynamic re-planning, in real-time. It develops a framework and technology for the coordination across distributed planning agents that must react to changes in situations rapidly. The project is supported by DARPA, and USC/ISI is the prime contractor. (2004-2009)
Software Composition for Embedded Systems using Graph Transformations. (PI) This project looks at using graph transformation techniques in constructing software for embedded systems. In the focus of the project are techniques for verifying the correctness of model transformations. The project is supported by NSF.(2005-2008)
Model-based Synthesis of Generators for Embedded Systems. (PI) This project developed a technology for the synthesis of software generators for embedded systems. The generators were synthesized from very high-level graph transformation rules. The resulting tool has been used to develop several model transformation tools, including code generators. The project was sponsored by DARPA. (1999-2004)
Web-based Open Tool Integration Framework. (PI) This DARPA-supported project developed a model-based open tool integration framework. The framework is fully configurable via a metamodels and it can be used to integrated model-based design tools via semantic translators. Several working toolchains have been constructed using the technology. (2002-2004)
Model Integrated Computing and Autonomous Negotiating Teams for Autonomous Logistics. (PI) This project worked on developing negotiating algorithms and applying them to solve complex resource planning and scheduling problems. The project resulted in a tool for maintenance planning and scheduling for aircraft. DARPA has sponsored the project. (1999-2004)
Model-Integrated Computing Environment. (Co-PI, later PI). The project did research on building a meta-programmable tools for model-integrated software development. The resulting tools and technology has been used in several projects. DARPA has supported the project. (1996-1999)
Design Tool Integration and Fault Diagnostics Algorithms for Prognostics and Health Management (PI). The project had two aims: (1) building a prototype software framework for design tool integration and integrate various tools used in designing PHM systems for aircraft, and (2) constructing a prototype model-based fault diagnostics system that supports a hierarchical architecture. The project was sponsored by DARPA, prime contractor Boeing. (1999-2000).
State-Space Analysis. (Co-PI). This project looked at techniques for early system-level design, where trade-offs between non-orthogonal aspects need to be addressed. Of particular interest were the safety/reliability tradeoffs. The project has created a technology and tools for the integrated, multi-aspect modeling and analysis of systems. Sandia National Labs has supported the project. (1995-1998)
Robust Fault Diagnostics and Diagnostics Analysis. (Co-PI). This project worked on advanced diagnostics algorithms that can tolerate sensor faults and analysis tools to study the quality of systems designs with respect to diagnosability. A system-level modeling tool, a robust fault diagnostics algorithm and its implementation, and a diagnosability analysis tool have been created. The tools have been used on the International Space Station program of NASA. Boeing has supported the project. (1992-1996)
Intelligent Process Control System (Co-PI). This project worked on model-based software synthesis environments for developing specialized applications for monitoring, simulating, controlling, and diagnosing process plants. The project resulted in a model-based suite of tools where graphical techniques were used to model plant and the software in an integrated manner. A prototype of this tool has been used in the process industry. The project was initially sponsored by Osaka Gas of Japan, later by DuPont. (1990-1995).