Objektorientierung und sichere software mit ada
This presentation is the property of its rightful owner.
Sponsored Links
1 / 12

Objektorientierung und sichere Software mit Ada PowerPoint PPT Presentation


  • 42 Views
  • Uploaded on
  • Presentation posted in: General

Objektorientierung und sichere Software mit Ada. Ada Compiler Konformitätsprüfungen: Ein Modell für andere Programmiersprachen? Michael Tonndorf IABG Labor für Ada Konformitätsprüfungen D-85521 Ottobrunn [email protected] Ada Deutschland Workshop Karlsruhe, 21. und 22. April 1999.

Download Presentation

Objektorientierung und sichere Software mit Ada

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Objektorientierung und sichere software mit ada

Objektorientierung und sichere Software mit Ada

Ada Compiler Konformitätsprüfungen:Ein Modell für andere Programmiersprachen?

Michael Tonndorf

IABG

Labor für Ada Konformitätsprüfungen

D-85521 Ottobrunn

[email protected]

Ada Deutschland Workshop

Karlsruhe, 21. und 22. April 1999


Gliederungs bersicht

Gliederungsübersicht

  • Entwicklung des Ada-Zertifizierungssystems

  • Aktuelle Situation

  • Ein Modell für Konformitätsprüfungen von Programmiersprachen

  • Die Situation bei den Programmiersprachen C, C++ und Java

  • Zusammenfassung und Bewertung


Entwicklung des ada zertifizierungssystems

Entwicklung des Ada-Zertifizierungssystems

  • ISO als weltweite Dachorganisation für Standardisierungen

  • Ada 83: Verankerung bei NIST, USA; Umsetzung durch DoD / AJPO

  • Certification Body mit

    • Ada Validation Organization

    • Ada Validation Facilities

    • ACVC Maintenance Team

  • Ada 9X:

    • Rückzug des DoD und NIST

    • Schließung der franz. und brit. AVF

  • Ada 95:

    • ISO als direkter Host des Zertifizierungssystems

    • Ada Resource Association (ARA) als Sponsor


Grundlagen der neuordnung unter iso

Grundlagen der Neuordnung unter ISO

  • Übergang zu neuen Begriffen, kompatibel zur ISO-Terminologie

  • Beibehaltung der unter AJPO erarbeiteten Prinzipien und „best practices“

  • Anforderungen an ein Zertifizierungssystem unter ISO: Ada - Conformity Assessment of a Language Processor,Final Committee Draft ISO/IEC CD 18009; Komponenten:

    • Ada Conformity Assessment Laboratory (ACAL)

    • Ada Conformity Assessment Authority (ACAA)

    • Ada Conformity Assessment Process

    • Ada Conformity Assessment Procedure (ACAP)

    • Ada Conformity Assessment Test Suite (ACATS)


Ein modell f r konformit tspr fungen

Ein Modell für Konformitätsprüfungen

  • Ein weltweit akzeptiertes und einheitliches Zertifizierungssystem

  • Eine definierte Prüfmethode

  • Eine Testsuite mit definierten

    • positiven Testfällen

    • negativen Testfällen

    • Anleitung zur Interpretation der Testergebnisse

    • Prozeduren zum Ablaufen und Auswerten von Tests

  • Regeln für die Ausdehnung des Status konformitätsgeprüft auf weitere

    • Prozessoren

    • Versionen unter Wartung

    • Plattformen,OS-Umgebungen


Berblick ada zertifizierungssystem

Überblick Ada Zertifizierungssystem

ISO

NIST

DIN CERTCO(Akkreditierung)

ISOJTC1/SC22Working Group 9Ada

SponsorAda Resource Association

Testsuite Development and Maintenance

Ada Conformity Assessment Authority

Ada Conformity Assessment Authority Advisory Board

Ada Conformity Assessment Laboratory IABG

Ada Conformity Assessment Laboratory EDS


Von iso standardisierte programmiersprachen

Von ISO standardisierte Programmiersprachen


Situation bei c c und java

Situation bei C, C++ und Java

  • Anbieter kommerzieller, konkurrierender Testsuiten:

    • Plum Hall

    • Perennial

  • Testsuiten als kommerzielle SW-Produkte

    • hohe Lizenzgebühren

    • befristete Wartung und Updateberechtigung

    • Wartung unter alleiniger Zuständigkeit des Herstellers

    • Komfortable Ablauf- und Auswerte-Umgebung

    • kein globaler Überblick über geprüfte Implementierungen


Die testsuiten von plum hall

Die Testsuiten von Plum Hall


Die testsuiten von perennial

Die Testsuiten von Perennial


Zusammenfassung

Zusammenfassung


Bewertung thesen

Bewertung; Thesen

  • Bedeutung von formalen Validierungen von Compilern rückläufig

  • Umsetzung von Standards auf nationaler Ebene nicht mehr forciert

  • Validierungen als eine Massnahme zur Qualitätsverbesserung von Compilern unter mehreren

  • Gereifte Compilertechnik

  • Im sicherheitskritischen Bereich unabhängige Konformitätspfüfungen weiterhin notwendig (und von Standards gefordert)

  • Herstellerunabhängiges System für Konformitätsprüfungen nur bei Ada


  • Login