Abstract

One of the major challenges in developing large-scale, high-confidence, component-based systems is the system assembly problem: from a sea of available components, which should be selected and how should they be connected, integrated, and assembled so that the overall system requirements are satisfied?

In this talk, I will present a powerful framework, based on novel verification technology, for automatically solving the system assembly problem directly from system requirements. The framework includes an expressive language for declaratively describing requirements, including component interfaces and dependencies, resource requirements, safety properties, scheduling and timing constraints, separation requirements, and objective functions. I will also give an overview of how our work is currently being used by Boeing to support the development of the 787 Dreamliner.

The verification technology we developed for solving the system assembly problem is generally applicable, and I will briefly describe how it has been used to solve problems in the areas of hardware verification and computational biology.

This is joint work with Sudarshan Srinivasan, Gayatri Subramanian, and Daron Vroon.