Automating the Assembly of Large-Scale, Component-Based Systems

Professor Manolios is from Georgia Tech
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.
Pete's primary research interest is mechanized formal
verification and validation. What guides his research is the
vision that formal methods can be used to revolutionize the
design and implementation of highly reliable, robust, secure, and
scalable systems in a variety of important application areas.

Pete is an Assistant Professor in the College of Computing at the
Georgia Institute of Technology. He is also an Adjunct Assistant
Professor in the School of Electrical and Computer Engineering.
He has a B.S. and an M.A. in Computer Science from Brooklyn
College and a Ph.D. in Computer Sciences from the University of
Texas at Austin.