Techniques for the Design and Implementation of Highly Reliable Multi- Processing Systems
Final rept. 1 Apr 87-31 Jul 91,
STANFORD UNIV CA COMPUTER SYSTEMS LAB
Pagination or Media Count:
This research focuses on specification languages for multi-processor systems, with particular emphasis on applications to Ada software. The research, however, applies generally to specifying distributed systems containing both software and hardware components, and to software systems implemented in any programming language. The primary goals are 1 design of a high level specification language for distributed systems, and 2 design and development of prototype tools for applying this language to development of highly reliable multi-processor Ada software.
- Computer Programming and Software
- Computer Hardware