DESIGN OF THE REMOTE PROCEDURE CALL MECHANISM TO FACILITATE INTEGRATING M-VERDI INTO AN ADA PROGRAMMING ENVIRONMENT: TASK 1D

Authors
  1. Leeson, D.A.
  2. Dutta, D.
  3. MacEwen, G.H.
Corporate Authors
Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
The goal of this project is to design and implement a mechanism whereby m-Verdi processes and Ada processes can coexist in a meaningful way. The intent is to be able to decompose an application in such a way that while the majority of it is written in Ada, critical parts can be implemented in a verifiable language. Two criteria must be satisfied. First, real world applications must be implementable in a straightforward way. And second, any assumptions made in the verification of the critical processes must be satisfied. This report presents a design of how we intend to implement RPCs, and we explain the rationale for our design decisions. The design presented is fairly high level - the implementation details for one particular host are deferred until the implementation phase of the project.
Keywords
REMOTE PROCEDURE CALLS;M-VERDI
Date of publication
28 Sep 1992
Number of Pages
19
DSTKIM No
94-00163
CANDIS No
128600
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: