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

Logical Checking of Requirements Issue: Low productivity due to manual checking of requirements against interfacing components in the system structure. Proposed Solution: Design a formal language framework to describe system requirements and specifications. An implementation in XML and RDF would work. Identifying and eliminating conflicting requirements through automated processing. Simple Example -- Connecting a Digital Camera to a Computer Requirements on the Computer Object: Camera connects through a USB port .... Requirements on the Camera Object: Computer should have a vacant USM slot. Driver has to be installed on the computer for the camera to function. System-Level Requirements: Camera resolution needs to be > 2.1 MP. Camera price should be < US $1,500. Computer clock speed > 100 MHz. Figure 1. Synthesis of System Assemblies Accompanied by Logical Checking of Requirements. (Source: Vimal Mayank, MSSE Student).

Section 11-7: April, 2003.