From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!cbatt!cbosgd!ucbvax!NADC.ARPA!czaplick
From: czaplick@NADC.ARPA
Newsgroups: net.lang.ada
Subject: Embeded System Testbeds
Message-ID: <8608191558.AA08679@ucbvax.Berkeley.EDU>
Date: Tue, 19-Aug-86 11:23:38 EDT
Article-I.D.: ucbvax.8608191558.AA08679
Posted: Tue Aug 19 11:23:38 1986
Date-Received: Wed, 20-Aug-86 04:43:35 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


	I'm responding to your request for samples of real-time embedded
computer systems for Ada test bed implementation. Over the last few
years we have been developing benchmark experiments which involve the
requirements, design, and development using Ada. Most notable among
these is the development of the Light Airborn Multi-Purpose System (LAMPS)
Avionics Operational Program simulation using Ada. Another is the
implementation of a Multi-Sensor correlation and tracking system. Both
developments were designed using the structured design methodology of
E. Yourdon and L. Constantine aided by an in-house developed Program 
Design Language. These programs were originally implemented using the
Telesoft Ada compiler on a Vax 11/780 computer. These programs are
being enhanced and combined to be a beta test to evaluate the Navys 
Ada/M(44) Pilot System. The beta test will be performed by implementing
these real-time application systems as a test bed by using the Ada/M(44)
pilot system and the evaluating the performance of the system.
  There are requirements,design and test documentation for these systems
and I'm sure we could make these available to the SEI for your purposes.
If you're interested contact:

	Conrad S Czaplicki		Tel: 215-441-3145
	Advanced Software Technology	Arpa: czaplick@nadc
	Naval Air Development Center
	Warminster, Pennsylvania 18974