Project 3. Formal Methods for the Synthesis of Modular Systems with Real-Time Rule Checking.

Architecture-Level Synthesis and Analysis of a Home Theatre System We would like to create and interactive design environment where the specifications for components are found on the web. Figure 1. Synthesis of System Architectures Supported by Product Descriptions on Web Simple Scenario: We are assembling a home theatre system using descriptions of the components and their capabilities located at the vendor web sites. Component specifications will basically say "...if you supply a required set of inputs, then the component will gurantee a minimum level of performance (output). Long-Term Challenge We would like to create a design environment that supports system-level activities, but without making any assumptions on the types of entities involved in the design activity (e.g., DVD players; sensors; building floor plans...). To what extent is this possible ???

Section 11-2: April, 2003.