Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03322.jsonl.gz/35

Elektronik und Halbleiter

Elektronische Geräte wie medizinische Implantate, Verkehrssysteme und Sicherheitssysteme müssen über lange Zeiträume und unter verschiedensten Betriebsbedingungen zuverlässig funktionieren, weil Fehler in diesen Geräten nicht nur teuer, sondern unter Umständen auch gefährlich sein können. MATLAB und Simulink verbessern den Entwurf dieser Systeme und ermöglichen eine deutlich gründlichere Verifikation.
MATLAB und Simulink-Modelle dienen allen beteiligten Entwicklungsteams als ausführbare Spezifikationen; dadurch lässt sich frühzeitig verifizieren, dass ein Systementwurf tatsächlich funktioniert. Fehler, die für handgeschriebenen Code typisch sind, werden durch die direkte Generierung von C- oder HDL-Code aus diesen Modellen vermieden. Den fertigen Code testen die Entwickler mit IDE Links zu Drittanbieter-Tools für die Entwicklung eingebetteter Systeme wie etwa TI&rquo; Code Composer Studio oder mit EDA Links zu Tools wie Cadence Incisive®. Mit diesen Link-Produkten können sowohl Software-in-the-Loop- als auch Hardware-in-the-Loop-Tests durchgeführt werden.
Simulink kann Systeme simulieren, die analoge, digitale, mechanische und andere Komponenten nebeneinander enthalten. Dadurch lassen sich umfassende Testumgebungen erzeugen, in denen sämtliche Verhaltensaspekte gründlich verifiziert werden können. Ein Modell kann beispielsweise einen DSP-in-the-Loop enthalten. Damit können die auf einem DSP-Chip ausgeführten Algorithmen direkt mit einem in Simulink simulierten analogen Systemverhalten verglichen werden.
Beim Testen medizinischer und anderer Geräte mit hohen Integritätsanforderungen wird von den Ingenieuren der umfassende Nachweis und die Dokumentation gefordert, dass diese Systeme fehlerfrei funktionieren. Mit Codeverifikations-Tools von MathWorks kann die Fehlerfreiheit sowohl von handgeschriebenem C/C++-Code als auch von automatisch mit MATLAB und Simulink generiertem Code verifiziert werden.
Diese Codeverifikations-Tools können außerdem für die DO-Qualifizierung, die MISRA-C-Qualifizierung sowie die Zertifizierung nach IEC 61508 und ISO 26262 eingesetzt werden. MathWorks-Produkte und -Workflows für die Codegenerierung und Codeverifikation werden in einer Vielzahl von Anwendungsbereichen eingesetzt wie der Medizintechnik, der Entwicklung von Motorsteuerungen für Kraftfahrzeuge und für Luft- und Raumfahrtsysteme.
Nissan Increases ECU Software Reliability (User Story)
Wir haben unser Ziel, 90 % des Debuggingprozesses in Simulink vorzunehmen, sogar noch übertroffen. Als wir das erste Mal Code für den FPGA erzeugt haben, war der Systementwurf nach fünf Tagen lauffähig. Früher haben wir dafür drei Wochen oder mehr gebraucht. Da wir das System in Simulink verifiziert hatten, wussten wir, dass alle verbleibenden Probleme durch die VDHL-Implementierung verursacht wurden und nicht durch Architekturfehler.Zum Anwenderbericht