Accession Number : ADA289133
Title : Fourth Quarterly Report on Contract N00014-93-C-0213.
Descriptive Note : Quarterly rept.,
Corporate Author : FORMAL SYSTEMS DESIGN AND DEVELOPMENT INC AUBURN AL
Personal Author(s) : Goldsmith, Michael
PDF Url : ADA289133
Report Date : 16 DEC 1994
Pagination or Media Count : 81
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.
Descriptors : *SYSTEMS ENGINEERING, *RESEARCH MANAGEMENT, *FAULT TOLERANT COMPUTING, EUROPE, COMPUTER AIDED DESIGN, MODELS, MICROPROCESSORS, REAL TIME, ALGEBRA, CHIPS(ELECTRONICS), PROTOTYPES, NODES, SCHEDULING, EMBEDDING, RESOURCES, COMMUNICATION AND RADIO SYSTEMS, ENGINEERS, BEHAVIOR, SUPERCOMPUTERS, ITERATIONS, FAULTS.
Subject Categories : Computer Programming and Software
Administration and Management
Distribution Statement : APPROVED FOR PUBLIC RELEASE