Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/verschiedene-Autoren/Ariane5 Giese/   (Columbo Version 0.7©)  Datei vom 19.1.2009 mit Größe 2 kB image not shown  

Quelle  irs2.cob   Sprache: Cobol

 
      * ...
      * von http://www-aix.gsi.de/~giese/swr/ariane5.html
      * 4. Juni 1996, Kourou / Frz. Guyana, ESA
      * Jungfernflug der neuen europäischen Trägerrakete
      * (Gewicht: 740 t, Nutzlast 7 - 18 t) mit 4 Cluster-Satelliten
      *
      * Entwicklungskosten in 10 Jahren: DM 11 800 Millionen
      * Ada-Programm nach COBOL umgewandelt:
      * ...
        identification division.
        program-id. irs2.
      * declare
      * pragma suppress(numeric-error, horizontal-veloc-bias);
        data division.
         77 vertical-veloc-sensor   pic s9(4)v9(4) comp-2.
         77 horizontal-veloc-sensor pic s9(4)v9(4) comp-2.
         77 vertical-veloc-bias     pic s9(4)v9(4) comp-2.
         77 horizontal-veloc-bias   pic s9(4)v9(4) comp-2.
        procedure division.
        declaratives.
        exc section.
         use after error procedure num1.
         use after exception procedure num2.
        end declaratives.
        begin.
          call sensor-get using vertical-veloc-sensor
          call sensor-get using horizontal-veloc-sensor
          compute vertical-veloc-bias 
             = function integer(vertical-veloc-sensor) 
          compute horizontal-veloc-bias
             = function integer(horizontal-veloc-sensor)
      *    ...
          stop run.
          num1 section.
            call calculate-vertical-veloc. 
          num2 section.
           call use-irs1.
         end-program irs2.
      *       Wirkung:
      * 37 Sekunden nach Zünden der Rakete (30 Sekunden nach Liftoff)
      * erreichte Ariane 5 in 3700 m Flughöhe eine
      * Horizontal-Geschwindigkeit von 32768.0 (interne Einheiten). 
      * Dieser Wert lag etwa fünfmal höher als bei Ariane 4.

      * Die Umwandlung in eine ganze Zahl führte daher zu einem Überlauf,
      * der jedoch nicht abgefangen wurde. 

      * Der Ersatzrechner (Redundanz !) hatte das gleiche Problem schon
      * 72 msec vorher und schaltete sich sofort ab. 
      * Daraus resultierte, daß Diagnose-Daten zum Hauptrechner geschickt
      * wurden, die dieser als Flugbahndaten interpretierte.

      * Daraufhin wurden unsinnige Steuerbefehle an die seitlichen,
      * schwenkbaren Feststoff-Triebwerke, später auch an das Haupttriebwerk
      * gegeben, um die großen Flugabweichungen (über 20 Grad) korrigieren
      * zu können. Die Rakete drohte jedoch auseinanderzubrechen und
      * sprengte sich selbst (39 sec). 

      * Ein intensiver Test des Navigations- und Hauptrechners wurde nicht
      * unternommen, da die Software bei Ariane 4 erprobt war. 

Messung V0.5
C=92 H=99 G=95

¤ Dauer der Verarbeitung: 0.3 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.