Fourth Quarterly Report on Contract N00014-93-C-0213.
Abstract
The level of effort expended is currently broadly on track both at Formal Systems and at the Charles Stark Draper Laboratory (Draper) and Formal Systems (Europe) Ltd. This quarter's work has spilled somewhat into the following period, due to staff resource problems arising from circumstances outside our control. Additional effort within the project fifth quarter is expected to bring progress back into line with the plan in a reasonable time. With regard to the personnel changes foreseen in the previous report: Neil Brock, the technical point-of-contact at Draper, left as anticipated. Ms Donald, however, also left Draper over the summer. The new technical point-of-contact is Richard Harper (617) 258-2243, the Senior Engineer leading the technical development of Draper's current fault-tolerant computer systems. Dr Richard Chapman (of Auburn University) is continuing to contribute to the project on a part-time basis. The main areas of activity and achievement during this period are: Completion of the first iteration of work on a prioritized model for CSP suitable for justifying discrete analysis of real-time behavior. Prototype implementation of an extension to FDR 2 to support this model. Design, analysis and modeling of the communication and voting architecture of a Transputer Fault-Tolerant Processor node with particular provision for the interaction with its task scheduling.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 16, 1994
- Accession Number
- ADA289133
Entities
People
- Michael Goldsmith