You are here

Module Interconnection Framework for Software Producibility

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N/A
Agency Tracking Number: 20744
Amount: $50,000.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 1993
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
714 Ninth St., Suite 206
Durham, NC 27705
United States
DUNS: N/A
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Richard Clarke
 (919) 286-3114
Business Contact
Phone: () -
Research Institution
N/A
Abstract

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.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government