ABSTRACT
No abstract available.
Recommendations
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopThe Distributed Systems Annex (DSA) was designed for general-purpose distributed systems programming. This paper explores the practical use of the DSA in terms of high-integrity real-time distributed systems. In particular, it defines a high-integrity ...
Deploying expert systems in Ada
TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deploymentAs the Department of Defense Ada mandate begins to be enforced actively, interest in deploying expert systems in Ada has increased. This paper introduces a prototype Ada-based expert system tool called ART/Ada. This prototype was built to support ...
Testing Ada Annex E-distributed systems
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsWith the addition of special needs annexes to Ada 95, the traditional reliance on Ada Compiler Validation Capability style testing may not suffice. This paper explores some alternatives for testing a portion of the Distributed Systems Annex that deals ...







Comments