Vhdl-safety Library

Gast #5384957
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
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
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

Eine eigene Frage? Dieser Thread ist über 8 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

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.