Gast
#6117605
https://www.elektroniknet.de/elektronik-automotive/software-tools/tuev-sued-zertifizierte-mplab-tools-172615.html Ist das für Euch interessant?
Nich wirklich, der TÜV Süd zertifiziert auch brasilianische Staudämme die kurz danach zusammenkrachen.
Gast
#6117632
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.
Gast
#6117665
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)?
Gast
#6117669
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?
Gast
#6117686
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
#6117718
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
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. 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" ;-)