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

Ensuring Consistency Across Different System Viewpoints Issue: Lack of formalization and associated automation forces manual update of subsystem views when there is a change in the system structure. Proposed Solution: Tracking modifications in the system structure by extracting the connectivity information from its XML/RDF representation. Figure 1. Viewpoints of a Home Theatre System. (Source: Vimal Mayank, April 2003). Preliminary Implementation (...as of April, 2003) Figure 2. Screendump of Home Theatre System Assembly (Source: Natasha Kositsyna, April 2003).

Section 11-8: April, 2003.