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=3.4 required=5.0 tests=BAYES_50,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!watmath!att!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!mcvax!goya!colon!jjrc From: jjrc@colon.gmv.es (Javier Romanach) Newsgroups: comp.lang.ada Subject: Re: ESA use of Ada Message-ID: <1305@colon.gmv.es> Date: 27 Jul 89 15:45:54 GMT References: <8907140011.AA03469@boardwalk.mitre.org> Reply-To: jjrc@colon.UUCP (Javier Romanach) Organization: Grupo de Mecanica del Vuelo, S.A. (GMV), Madrid, Spain List-Id: In article <8907140011.AA03469@boardwalk.mitre.org> howell@COMMUNITY-CHEST.MITRE.ORG writes: >I believe that the European Space Agency (ESA) is using Ada for some >major spaceflight projects, and that HOOD is at least a methodology >being considered within the ESA community. Can anyone provide a bit >more information, e.g. > * does ESA mandate Ada for all projects? If so, is there a waiver > process, and how did they implement the mandate? > > * has ESA mandated related standards (e.g., methodology to be used, > or PDL format, or standard interfaces to OS or DBMS services, etc.) > > * what's the current status of Ada use w/in ESA community? (e.g., > 10 KSLOC pilot projects underway, or 3 MSLOC od running code > implemented, or.... ? > > * (finally), any set timeframe for ESA to re-evaluate any > standards decisions that they have mandated? COLUMBUS is the biggest project being carried out by ESA. It is a joint programme with NASA's Freedom space station Project. The objective of COLUMBUS is the development of the european part of the space station. COLUMBUS' software must be written in Ada, and HOOD must be used as design methodology. C or Assember may be used in special circumstances. There are software standards for COLUMBUS (ESA reference STD 12131800 000; Issue 2; 15th November 1988), that cover: - software life cycle - documentation format - SADT - HOOD - Petri Nets - Detailed Design - software qualification - prototyping - Data Design Standard - software coding standards (Ada, C, Assembler and Command Languaje) - software product assurance - commercial software procurement - configuration management - PDL We are not sure about the use of Ada in other ESA projects, but it seems that Ada is the current baseline. J.Campos/J.Romanach Ph. +34 1 234 30 04 Grupo de Mecanica del Vuelo, S.A. (GMV) Fax +34 1 233 32 50 Cristobal Bordiu, 35 Telex 48487 GMEV E E-28003 MADRID jromanach@gmv.es SPAIN mcvax!gmv.es!jromanach@uunet.uu.net uunet!mcvax!gmv.es!jromanach