Vhdl-safety Library

Gast #5384957
Lesenswert?
• ▲
▼
Wir haben sowas. Ist aber was selber Gestricktes. Es geht um die 
Implementierung von Modulen für die Berechnung mit integrierter 
Überlaufüberwachung für eingangsseitige Werte. Damit kann man die 
gesamten Berechnungen dahingehend einengen, dass keine unplausiblen 
Werte von ADCs kommen oder es zu Rechenfehlern kommt aufgrund von 
FPGA-Störungen von Außen.

Ich möchte aber wetten, dass Karonlina was anderes gesehen hat, wenn 
auch vielleicht was Ähnliches.
Gast #5386701
Lesenswert?
• ▲
▼
Karolina schrieb:

> Und wenn ich gut versteche, es geht
> um das, das die Safety Library sind zur Prüfen ob kein fehler gibt.

Nach meinem Verständniss ist diese Bibliothek nicht in VHDL sondern in C 
geschrieben und dient zum Testen von der Cypress auf den ARM Cortex 
basierende System on a chip  Architektur. Dient wohl der 
System-Diagnose.
#5388168
Lesenswert?
• ▲
▼
Wir schreiben ASIL-A, B oder C "Modulen" in C++ (Alles statisch). Im 
ASIL-B und C, nach unser implementierung, Modulen werden z.B. alle 
Variabeln dupliziert und die duplicate kriegen die bit-komplemente. An 
bestimmten Punkten werden beide Variabeln verglichen (die "echte" mit 
dem komplement der komplement). Für ASIL-C wird zusätzlich mit 
Fliesskomma berechnet und auch verglichen.

Ich vermute daß man genauso was in VHDL realisieren kann. Sinnvoll oder 
nicht, ist es möglich. Aber ich sehe nicht das dafür eine extra 
Bibliothek nötig wäre.

Ich wurde mich für die konkrete Implementierung nach der Architektur 
orientieren. Da muss man ein bisschen nachdenken wie es Sinnvoll zu 
lösen ist.

Antwort schreiben

Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt. Bitte hier nur auf die ursprüngliche Frage antworten, für neue Fragen einen neuen Beitrag erstellen.

Formatierung
  • [c]C-Code[/c]
  • [vhdl]VHDL-Code[/vhdl]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.