Der Artikel beschreibt die verschiedenen Ansätze, mit denen Java oder Untermengen von Java für den Einsatz in sicherheitsrelevanten Systemen verwendbar gemacht werden, Am weitesten ist derzeit die Luftfahrtindustrie: Der noch unveröffentlichte Standard DO-178C gestattet sogar den Einsatz einer automatischen Speicherverwaltung, sofern nachgewiesen werden kann, dass diese gewissen Anforderungen genügt (u.a. muss sie deterministisch sein und obere Zeitschranken für Speicherallokationen nachgewiesen werden können). Objekt Orientierte Technologie im Allgemeinen und Java im besonderen verbessern die Effizienz von Entwicklern, in dem sie die Komplexität großer Anwendungen reduzieren. Automatische Speicher Verwaltung, ein starkes Typ System und das Verbot von Zeiger Arithmetik und Mehrfachvererbung verhindern zuverlässig schwer zu findende Fehler, die häufig in C und C++ Anwendungen vorkommen. RTSJ Ist eine gute, sichere und verbreitete Erweiterung, um Echtzeit Anwendungen in Java zu schreiben, Es ist ebenfalls ein gutes, aber alleine noch nicht ausreichendes Fundament für zertifizierte Java Anwendungen, beispielsweise nach DO-178B. In Kombination mit einer echtzeitfähigen Speicherverwaltung sind Zertifizierungen bis hin zu Level C möglich. Der Nachfolgestandard DO-178C, der derzeit entwickelt wird, definiert klare Regeln, die bei der Verwendung von OOT und automatischer Speicherbereinigung gelten. Dies ist ein Meilenstein in der Entwicklung künftiger sicherheitskritischer Anwendungen, die wesentlich schwierigere Aufgaben zu erfüllen haben als die derzeitig im Einsatz befindlichen und daher bessere Werkzeuge erfordern.
Sicherheitskritische Echtzeitsysteme mit Java
Java applied to safety critical real time systems
2010
9 Seiten, 6 Bilder, 10 Quellen
Conference paper
German
Multi-Core fuer sicherheitskritische Echtzeitsysteme
Automotive engineering | 2015
|Microcontroller fuer sicherheitskritische Automotive-Systeme
Automotive engineering | 2010
|Mit Sicherheit - MOST150 fuer sicherheitskritische Anwendungen
Automotive engineering | 2010
|Eingabeverfahren für sicherheitskritische Bedienkommandos und Bediensystem
European Patent Office | 2020
|Automatische Code-Generierung für sicherheitskritische Systeme
Tema Archive | 2003
|