VHDL in sicherheitskritischen Anwendungen

[Michael W. (Gast)]

Von der Entwicklung von C-Software für sicherheitskritische Anwendungen 
wie der Automobil- und Medizintechnik sind unterschiedliche Prozesse und 
Schritte zur Code-Validierung bekannt. Unter anderem ist es bei 
bestimmten Anwendungen üblich, Code-Zeilen einzeln prüfen zu lassen, was 
von einschlägigen Stellen angeboten wird.

Wie verhält es sich dabei mit VHDL? - Wird das auch gemacht?

Wer lässt was von wem prüfen?

Gefunden habe ich dazu nur dies hier:
Beitrag "FPGAs in sicherheitskritischen Anwendungen"

[Stefan R. (srand)]

Die 2010er-Fassung der IEC61508 hat einen Abschnitt zu FPGAs 
hinzubekommen.

[Michael W. (Gast)]

das ist schon mal ein guter Tipp, Danke.

[ASICs (Gast)]

Ich bin mir jetzt nicht sicher, aber wird das nicht durch die 
Verifikation abgedeckt? (Insbesondere beim ASIC Entwurf, wo das ohnehin 
einen Großteil der Arbeit ausmacht)

[genervt (Gast)]

Ich blende hier mal etwas Werbung ein:

http://www.onespin-solutions.com/#

[Christoph Z. (christophz)]

In diesem Beitrag gabs kurz einen Verweis auf die DO-254 Sachen aus dem 
Flugzeugbau, da sind FPGAs ja schon länger üblich:
Beitrag "Re: Allgemeine Coding Vorgaben für VLSI Design"

Die grossen Software Hersteller bieten alle Unterstützung und Support 
für diese DO-* Sachen an (erzählen sie mir jedenfalls gerne in ihren 
Werbetexten, keine eigene Erfahrung).

[Michael W. (Gast)]

Ja, das bieten viele an. Für die gilt dasselbe wie hier:

Beitrag "Re: Intelligentes Ingenieur Management"

Es gibt inzwischen viele Normen und Vorgaben, aber meine Frage ist halt 
auch die, wie das real umgesetzt wird.

Danke schon mal für die links.