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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC 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!burl!ulysses!bellcore!decvax!decwrl!pyramid!nsc!csi!epimass!oliveb!tolerant!leach
From: leach@tolerant.UUCP
Newsgroups: net.lang.ada
Subject: Validation on Embedded Systems
Message-ID: <354@tolerant.UUCP>
Date: Fri, 23-May-86 14:53:06 EDT
Article-I.D.: tolerant.354
Posted: Fri May 23 14:53:06 1986
Date-Received: Sun, 25-May-86 16:10:59 EDT
Reply-To: leach@handel.UUCP (Geoff Leach)
Distribution: net.lang.ada
Organization: Tolerant Systems, Inc.  San Jose, CA
List-Id: <comp.lang.ada>


The Ada validation capability exercises the full capabilities
of the language, including such things as file i/o.  On the
other hand, one of the purposes of the languages is the
programming of embedded systems.  Presumably there are
some of those that do not have file systems.  The question
arrises, then, as to what it means to validate Ada for
one such system.

Any experience with this problem out there?

-- 
Geoffrey Leach
Yet Another Software Company
(415)325-8717
{ucbvax,pyramid,oliveb,idsvax,bene,nsc}!tolerant!leach
Net access through the courtesy of Tolerant Systems