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=2.1 required=5.0 tests=BAYES_05,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!rochester!pt.cs.cmu.edu!sei!rsd From: rsd@sei.cmu.edu (Richard S D'Ippolito) Newsgroups: comp.lang.ada Subject: Re: Ada a Real-Time Lang.? Message-ID: <3267@ae.sei.cmu.edu> Date: 1 May 89 16:19:08 GMT References: <890421184316.1e25@VLSI.JPL.NASA.GOV> <99@gldsyd.OZ> Reply-To: rsd@sei.cmu.edu (Richard S D'Ippolito) Organization: Software Engineering Institute, Pittsburgh, PA List-Id: In article <99@gldsyd.OZ> Mark Broadbent writes: >In article <890421184316.1e25@VLSI.JPL.NASA.GOV>, larry@VLSI.JPL.NASA.GOV writes: >> Let me issue a challenge here. Can anyone tell me of a hard real-time >> system which is operational now that was written in Ada? ... > >The USAF Ada Simulator Validation Program was designed to test the suitability >of Ada for the realtime requirements involved in aircraft simulators. > > BOEING Military Airplane Company, Huntsville Al. redesigned the >existing E-3A AWACS simulator to run under Ada. > > BURTEK Inc, Tulsa, Ok. implemented the C141B flight simulator using >Ada. Since this appears to be the "atta-boy" season, allow me to mention that the group here at the SEI consisting of D'Ippolito, Lee, Plinta, Rissman, and Van Scoy acted as technical consultants to the AF ASVP SPO and to those contractors, and we were involved with both design teams. Both of the systems were redesigns of simulators written in FORTRAN, and not translations. A report ("An OOD Paradigm for Flight Simulators", CMU/SEI-88-TR-30, available from DTIC), presents our work on modeling several of the aircraft systems. These system models consisted of a set of non-nested, independent objects updated in a very controlled manner, and were a successful demonstration of OOD techniques. Furthermore, the refined model is being successfully applied in other simulator systems. We are currently working on models inplemented in Ada in other real-time domains, such as C3I and embedded systems. Rich -- --------------------------------------------------------------------------- Ideas have consequences. RSD@sei.cmu.edu Richard Weaver ---------------------------------------------------------------------------