Our research thrusts for performance and dependability include the following:

• What is required for the efficient use of advanced processor hardware architectures without sacrificing predictable execution times?
• Why do system-level failures still occur despite fault tolerance techniques being deployed in systems?
• How can systems of systems become more robust against the consequences of failure to exchange information properly among system-of-systems constituents.
• How can a variety of design, analysis, and test information be combined to develop increased and justified confidence in system-of-systems behavior?
• How can we predict and bound unacceptable system-of-systems behavior?
• What are the barriers and incentives for transitioning new assurance technology into practice?