TÜV-SÜD-zertifizierte MPLAB-Tools

[Coverage (Gast)]

https://www.elektroniknet.de/elektronik-automotive/software-tools/tuev-sued-zertifizierte-mplab-tools-172615.html

Ist das für Euch interessant?

[Mw E. (Firma: fritzler-avr.de) (fritzler)]

Nich wirklich, der TÜV Süd zertifiziert auch brasilianische Staudämme 
die kurz danach zusammenkrachen.

[Fazin (Gast)]

Mw E. schrieb:

> Nich wirklich, der TÜV Süd zertifiziert auch brasilianische Staudämme
> die kurz danach zusammenkrachen.

Zertifizieren die überhaupt noch? Habe gelesen, dass es eine Reihe von 
Mordanklagen in Brasilien gab.

[Programmierer (Gast)]

Der XC32 ist ja anscheinend GCC-basiert. Heißt das jetzt etwa, dass der 
ARM GCC und G++ für sicherheitskritische Dinge nutzbar ist, und man dort 
dann auch aktuelle Sprachstandards nutzen kann (C18, C++17)?

[Fazin (Gast)]

Programmierer schrieb:

> Der XC32 ist ja anscheinend GCC-basiert. Heißt das jetzt etwa, dass der
> ARM GCC und G++ für sicherheitskritische Dinge nutzbar ist, und man dort
> dann auch aktuelle Sprachstandards nutzen kann (C18, C++17)?

GCC? Bist du sicher?

[Einer K. (Gast)]

Programmierer schrieb:
> Heißt das jetzt etwa, dass der
> ARM GCC und G++ für sicherheitskritische Dinge nutzbar ist, und man dort
> dann auch aktuelle Sprachstandards nutzen kann (C18, C++17)?

Nööö...
Das heißt nur, dass man daran nicht ersticken können sollte, wenn man 
versucht es zu verschlucken.

[. . (Gast)]

https://www.spiegel.de/spiegel/print/d-139456010.html

[Joe J. (j_955)]

Naja, kommt auf die Anforderungen drauf an.
Es gibt Argumentationsketten, mit denen man sicherlich auch einen GCC 
ine eine Safety Entwicklung einbringen kann.

Ein zertifizierter Compiler zB befreit einen Entwickler oder 
Verantwortlichen sicherlich nicht von der Aufgabe, sich mit der 
Funktionalität von Compilern zu beschäftigen um zu verstehen wie dieser 
Funktioniert, zB Optimierung.

Weiterhin spielen auch andere Faktoren bei der Auswahl des Compilers 
eine Rolle. Nach dem letzten Safety Projekt halte ich zertifizierte 
Compiler persönlich für Geldmacherei bzw nur für Marketing um den 
Verkauf zb von Chips voran zu treiben.

Und sicherlich hinterfragen viele schlichtweg nicht, ob es eben möglich 
ist einfach auch nicht zertifizierte Compiler einzusetzten und was dafür 
nötig wäre

[Joe J. (j_955)]

Programmierer schrieb:
> (C18, C++17)

Wichtiger sind vll. die Codier Standards, die mit bedacht und sorgfältig 
auszuwählen sind.

Beispiel MISRA. Die unterstützen schlichtweg diese Kodierstandards 
(noch) nicht. Somit fällt man gezwungenermaßen auf ältere Standards 
zurück.

Allerdings gibts auch hier sicherlich Tricks und Kniffe, zB bei der 
Einschränkung des Sprachumfangs wozu MISRA hier dient.

[Joe J. (j_955)]

Joe J. schrieb:
> Und sicherlich hinterfragen viele schlichtweg nicht, ob es eben möglich
> ist einfach auch nicht zertifizierte Compiler einzusetzten und was dafür
> nötig wäre

...oder das Geld spielt in dem Falle eine untergeordnete Rolle, oder 
einfach nur "Hamm mir immer so gemacht" ;-)