Fourth Quarterly Report on Contract N00014-93-C-0213.
FORMAL SYSTEMS DESIGN AND DEVELOPMENT INC AUBURN AL
Pagination or Media Count:
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 quarters 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 Drapers 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.
- Computer Programming and Software
- Administration and Management