Roger Van Scoy

A specification and code generation tool for message translation and validation

This paper describes the Message Translation and Validation (MTV) problem common to most computer-based applications, and a model-based solution to the problem that is supported by a tool. An early version of the MTV model was used by Granite Sentry Phase II in the late eighties and later by the Air Force PRISM program at ESC in the nineties. Accel obtained an SBIR Phase I and II contract to extend the MTV model, convert it from Ada83 to Ada95, and to provide tool support to ease the specification of message formats and automate the MTV code generation. This paper will describe the solution and benefits, its usage, some lessons learned, and future directions.

A Detailed view of DARK

The main purpose of the Distributed Ada Real-Time Kernel (DARK) Project is to demonstrate that it i s possible to develop application code entirely in Ada that will have acceptable quality and real-tim e performance . This purpose is achieved by providing a prototype artifact — a Kernel — that implement s the necessary functionality required by real-time applications, but in a manner that avoids or mitigates th e efficiency and maturity problems found in current Ada runtime implementations .