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

Top-Down System-Level Development Coupled with Component Reuse Design Goal I need a home theatre system. Operations Concept Our wishes are very modest -- we will simply watch movies on a large size theatre screen and high fidelity audio system. Figure 1. Flowdown of Requirements to a Detailed System Architecture Description. Pathway from High-Level Requirements to Component-Level Requirements Level 1 Requirements PRELIMINARY AGREEMENT BETWEEN CUSTOMER AND BUILDER R1 I need a home theatre system. R2 The total cost must be less than or equal to US $8,000. Level 2 Requirements DETAILED AGREEMENT BETWEEN CUSTOMER AND BUILDER Visual Display R1 The theatre system shall have a large display screen. R2 The display should enable picture clarity from a wide range of viewing angles. R3 The display must be thin enough to be mounted on a wall. R4 Cost of the "visual display" shall not exceed US $7,000. Audio System R1 The system shall have a high fidelity audio system. R2 Cost of the "audio system" shall not exceed US $1,000. Implicit Requirements R1 All components must be commercial off-the-shelf (COTS). R2 All components must run off a standard A/C power supply in the house. Level 3 Requirements COMPONENT REQUIREMENTS Flatscreen TV R1 Geometry of the screen shall be at least 3 ft by 4 ft. R2 The screen thickness shall be no more than 6 inches. R3 Cost of the flatscreen TV system < US $7000.00 R4 Interface requirements -- to be determined (TBD). Amplifier System R1 The price of the amplifier system < US $400.00 R2 The audio system output shall be at least 200 watts, but no more than 300 watts. R3 Interface requirements -- to be determined (TBD). Speaker System R1 Cost of the speaker system < US $600.00 R2 Capacity of the speaker system output shall be at least 350 watts. R3 Interface requirements -- to be determined (TBD). Research Questions to be Answered: We need templates for structuring/writing requiremnts in a way enables precise parsing and interpretation of their content. How to do this?

Section 11-3: April, 2003.