home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / ada / 3847 < prev    next >
Encoding:
Text File  |  1992-12-31  |  1.2 KB  |  37 lines
  1. Newsgroups: comp.lang.ada
  2. Path: sparky!uunet!world!tne
  3. From: tne@world.std.com (Thomas N Erickson)
  4. Subject: Re: Ada RTE/F.A.A.-certified?
  5. Message-ID: <C03yBr.7I@world.std.com>
  6. Organization: The World Public Access UNIX, Brookline, MA
  7. References: <1992Dec31.020120.20770@murdoch.acc.Virginia.EDU>
  8. Date: Thu, 31 Dec 1992 05:09:26 GMT
  9. Lines: 26
  10.  
  11. dtl8v@holmes.acc.Virginia.EDU (Heracleitus) writes:
  12.  
  13.  
  14. >  I recently came across a reference in the AIAA/IEEE 8th Digital
  15. >Avionics Systems Conference to an Ada RTE bassed on a U.S.
  16. >F.A.A.-certified executive in one or more commercial Ada compiler
  17. >systems.  I was hoping someone out there would be able to give me a
  18. >lead on this, as the article in the proceedings did not provide
  19. >specific detail, and there may be more than the author mentioned.
  20.  
  21. >Doug Lamb
  22. >University of Virginia
  23. >dtl8v@Virginia.EDU
  24.  
  25. We at Alsys have a certifiable run time called C-SMART which is being used
  26. on the Boeng 777 program and in several European programs.  The RTE is
  27. available for 68K and Intel x86 targets.
  28.  
  29. Please contact George Romanski (romanski@world.std.com) or Scott Dorman
  30. (617)270-0030 for more information.
  31.  
  32.  
  33. -- 
  34. Tom Erickson
  35. Alsys
  36. tne@world.std.com
  37.