Module Interconnection Framework for Software Producibility

We propose research into the design of a Real-Time Distributed Module Interconnection Framework (RTD-MIF) system for use in the development of distributed, real-time computer software. Real-Time capabilities will include abnormal event processing, RT/FT events and on-line system monitoring and control. The resulting system will have the ability to compose, integrate and monitor the performance of software modules in a variety of domains, particularly real-time distributed applications. The research will also formalize the mathematical semantics of the system, using partial-ordering constructs (directed acyclic graphs) and temporal logic semantics. We will utilize an existing distributed real-time spreadsheet package (ControlCalc from RTware, Inc.) designed specifically for process control and monitoring. The Polylith (Purtilo, 1991) system will be used for interfacing software modules. The RTD-MIF will use MIF capabilities to generalize and extend its existing ability to manage and analyze real-time date, events and distributed processes in diverse environments. Deliverables: 1)Detailed design document for extending Polylith into an RTD-MIF. 2)Formal mathematical semantics of an RTD-MIF. 3)Prototype implementation of Polylith-based RTD-MIF. 4)Design and implement a subset of a running RTD-MIF application based on a distributed, real-time spreadsheet.