Wie muß eine Level SIL 4 Programmiersprache aufgebaut sein?

Daniel E.

__-- schrieb:

ich sagte mir ist misra c zu wenig und du bringst mir nen "Use of the C++ Programming Language in Safety Critical Systems" text aber trotzdem danke. wieder ein paar mehr beispiele wie man es _nicht_ machen sollte

Die Begriffsdefinitionen und Literaturübersicht kommt *nach* der Überschrift. HTH.

Daniel E. schrieb:

__-- schrieb:

ich sagte mir ist misra c zu wenig und du bringst mir nen "Use of the C++ Programming Language in Safety Critical Systems" text aber trotzdem danke. wieder ein paar mehr beispiele wie man es _nicht_ machen sollte

Die Begriffsdefinitionen und Literaturübersicht kommt *nach* der Überschrift. HTH.

ja, schon klar. es ist auch mit das beste was mir derzeit zur verfügung steht.

knivil

Was willst du eigentlich wirklich wissen?

knivil schrieb:

Was willst du eigentlich wirklich wissen?

am besten alles also auch die lösung für ewiges leben :p

ich suchte einen text in dem steht: eine programmiersprache für sichere anwendungen muß folgende... anforderungen erfüllen. alles was ich bisher gefunden hab bezog sich idr. auf eine spezielle programmiersprache und was in dieser schlecht/unsicher ist. natürlich kann man daraus rückschlüsse ziehen was nicht so gut ist aber es ist dann doch noch nicht das was ich gesucht hab (einen text ohne bezug auf eine konkrete programmiersprache).

Wir wissen alle, dass unser C-Frickler den Thread nur erstellt hat, weil er allen zeigen will mit was er sich gerade beschäftigt und weil er denkt das das ganz ganz komplex ist und dann alle mega respekt vor ihm haben. So sind sie halt, die Cler

knivil

__-- schrieb:

eine programmiersprache für sichere anwendungen muß folgende... anforderungen erfüllen.

So ein Bullshit ... Suche mir doch mal eine Spezifikation fuer einen sicheren Hammer, eine Kettensaege, einen Schraubenzieher, ... ein Werkzeug, mit dem man sich z.B. nicht verletzten kann oder idiotensicher zu benutzen ist. Programmiersprachen sind auch nur Werkzeuge.

Und es ist auch voellig egal, ob mein Werkzeug sicher ist. Normalerweise ist man nur daran interessiert, ob ein damit erstelltes Programm "sicher" ist. Dafuer gibt es verschiedene Ansaetze, um nachzupruefen, ob es gewisse Eigenschaften und Qualitaetsmerkmale besitzt. Dabei kann die entsprechende Programmiersprache helfen, muss sie aber nicht.

hahahaaa schrieb:

Wir wissen alle, dass unser C-Frickler den Thread nur erstellt hat, weil er allen zeigen will mit was er sich gerade beschäftigt und weil er denkt das das ganz ganz komplex ist und dann alle mega respekt vor ihm haben. So sind sie halt, die Cler

ach du meinst mein angekratztes ego aufpolieren? eigentlich steh ich nicht auf solche schwanzvergleiche (gewinn ich eh immer :p) und es ist mir auch egal was ihr über mich oder meine codemonkey kenntnisse denkt.

Logikfehler->Laufzeitfehler->Übersetzungsfehler. Links stehen die am schwierigsten zu bewältigenden, daher müssen Fehlerquellen möglichst nach Rechts verschoben werden.

"Explizit statt Implizit" ist eines der Grundsätze dies zu erreichen. Man gibt dem Compiler mehr Informationen, dadurch kann er Fehler besser erkennen. Beispielsweise kann das Schreiben auf einem nur-lese-Parameter einen Fehler produzieren, wenn es denn die Möglichkeit gibt, Parametermodi anzugeben. Auch Arraygrenzen und Wertebereiche von Variablen können überprüft werden (manchmal statisch, häufig zur Laufzeit). Eine strenge Typisierung erlaubt das logische Trennen von einzelnen Objekten, so dass der Compiler "unlogische" Operationen finden kann.

So wird auch eine deutlichere Schnittstelle einzelner Module möglich. Eine Weiterführung dahingehend wäre auch echtes Design-by-Contract.

Aber auch eine Wasserdichte Spezifikation der Sprache gehört dazu. Ein Programmierer muss sich darauf verlassen können. Wenn er nur gegen einzelne Implementierungen testet, kann es schnell aus sein mit der Korrektheit. Besonders bei Interpretierten Sprachen ist das ein Problem, da hier die Implementierung auch mal ausgetauscht werden könnte.

Lies vielleicht auch mal:
http://en.wikisource.org/wiki/Steelman_language_requirements
Das ist zwar schon eine gute Zeit her, aber es gibt leider selten derartige Anforderungskataloge.

@Sicherdom

wieso find ich sowas nicht? scheinbar such ich mit den falschen keywords

*john 0

Sicherdom schrieb:

Lies vielleicht auch mal:
http://en.wikisource.org/wiki/Steelman_language_requirements
Das ist zwar schon eine gute Zeit her, aber es gibt leider selten derartige Anforderungskataloge.

Das Resultat dieses Lastenheftes kann auch benannt werden: Ada.

~john schrieb:

Sicherdom schrieb:

Lies vielleicht auch mal:
http://en.wikisource.org/wiki/Steelman_language_requirements
Das ist zwar schon eine gute Zeit her, aber es gibt leider selten derartige Anforderungskataloge.

Das Resultat dieses Lastenheftes kann auch benannt werden: Ada.

mich erinnerte es eher an c