Werkzeug- und Library-Qualifizierung
Qualifizierung schafft das benötigte Vertrauen
in den sicheren Werkzeug- und Libraryeinsatz
Herausforderungen
Sicherheitsstandards wie ISO 26262, IEC 61508, DO-178/330, EN 50128 fordern den Nachweis der Vertrauenswürdigkeit der verwendeten Werkzeuge. Dazu wird in einer Risikoanalyse der Qualifizierungsbedarf von Werkzeugen ermittelt („Tool Classification“). Durch einen systematischen Test („Tool Validation“) wird das Vertrauen in kritische Werkzeuge erhöht. „Tool Qualification Kits“ erlauben es Werkzeuganwendern, die Klassifizierung und Validierung mit geringem Aufwand für ihre Projekte durchzuführen.
Der TÜV-Süd hat den Validas Tool & Library Qualification Process zertifiziert. mehr
„Fantastic to work with you again and I really appreciate all your safety expertise“
Greg Miller, Texas Instruments
Methodik
Der TÜV-Süd hat den Validas Tool Qualification Process zertifiziert. mehr
Wir führen die Tool-Qualifizierung in drei Phasen durch:
- Klassifikation von Werkzeugketten: Ergebnis ist ein Tool Classification Report
- Qualifizierung von Werkzeugen erfolgt nach dem Tool Qualification Plan und erzeugt einen Tool Qualification Report
- Einsatz von Werkzeugen erfolgt gemäß einem Tool Safety Manual
Die Validas verwendet ein modellbasiertes Vorgehen um Werkzeuge systematisch zu klassifizieren und zu qualifizieren. Die benötigten Dokumente werden automatisch generiert und eventuelle Tests ebenfalls automatisch durchgeführt. Das verwendete Modellierungswerkzeug ist der „Tool Chain Analyzer“.
Haben Sie Fragen zum Thema Toolqualifizierung? – Wir beantworten diese gerne im Rahmen einer Webex oder eines Workshops. Nehmen Sie dazu einfach mit uns Kontakt auf: Dr. Thomas Flaig, E-Mail
Leistungen
Wir erstellen für Sie als Anwender oder Hersteller von Werkzeugen Qualification Kits, die konform zu den gängigen Sicherheitsstandards (ISO 26262, IEC 61508, DO 178/330) sind. Durch unseren modellbasierten Ansatz sind unsere Qualification Kits besonders flexibel und einfach in Ihren Projekten anzuwenden: Die nachweisrelevante Dokumentation wird automatisch auf Grundlage einer Beschreibung des Werkzeugeinsatzes und der Ergebnisse eines mitgelieferten Werkzeugtests erzeugt.
Wir liefern “all inklusive” Qualifications Kits (bei denen Sie uns nur das Werkzeug und das Manual geben), arbeiten mit Ihnen im Team oder führen Sie schrittweise zur Erstellung von eigenen Qualification Kits.
Die Qualification Kits der Validas enthalten
- Modelle der Werkzeug-Funktionen, potentieller und bekannter Fehler sowie Fehlervermeidungsmaßnahmen
- Konfigurator für Werkzeuganwendungsszenarien
- Testablaufumgebung und Testfälle
- Generator und Templates für die nachweisrelevanten Dokumente
Der Aufwand für die Erstellung eines Qualification Kits hängt damit nur von der Natur des Werkzeuges ab, d.h. von der Anzahl und Komplexität der zu qualifizierenden Funktionen.
„Validas has accomplished the qualification of compiler within the timeline we requested and the report has been approved from TÜV successfully“
„Validas按照我方时间节点，完成编译器认证，并顺利的通过最终审核“
Beijing Electric Vehicle Co. Ltd. / 北京新能源汽车股份有限公司
Beispiele
Folgende Werkzeuge wurden von der Validas qualifiziert. Für diese Werkzeuge gibt es zudem Qualification Kits:
- Texas Instruments C/C++ Compiler
- Testwell CTC++
- TraceTronic ECU-TEST
- Dassault Systèmes Reqtify
- Altera Nios II development tool chain
- Hightec Development Platform HDP
- PCLint
Darüber hinaus qualifizieren wir auch regelmäßig Inhouse- und Spezial-Werkzeuge (ggf. TÜV zertifizierbar).
„Our CTC++ Qualification Kit built together with Validas is rated “best” by customers who compared it with “Qual Kits” of competitors.“
Fa. Verifysoft präsentiert Ihren Validas QKit: Zum Video
Klaus Lambertz (Geschäftsführender Gesellschafter, Verifysoft)
Validierungssuite
Mittels Validierungssuiten sichern wir umfangreiche Werkzeugketten ab.
Eine Validierungssuite validiert dabei eine Werkzeugkette beispielsweise bestehend aus Modellierungswerkzeug, Code-Generator und Target-Compiler (M2C-Tool). Zielsetzung ist dabei, dass sich die Ausführung des generierten Codes auf dem Target weitgehend so verhält wie das Modell in der Simulation.
Hierzu erstellen wir Teststrategien, Testsuiten, führen die Tests aus, analysieren die Ergebnisse, Dokumentieren die Absicherung und ggf. liefern wir automatisch prüfbare Richtlinien und Modellanalysatoren für aufgedeckte Schwachstellen. Wichtig ist dabei ein systematischer Test gemäß einer Teststrategie, die alle wesentlichen in der Praxis verwendeten Modelle und Einstellungen abdeckt.
Folgende Modellierungswerkzeuge/Code-Generatoren wurden bereits von der Validas AG mittels Validierungssuiten getestet und erfolgreich qualifiziert (in Zusammenarbeit mit dem TÜV Nord):
- ETAS ASCET
- MATLAB Simulink/MATLAB Embedded Coder
- MATLAB Simulink/dSpace TargetLink
Weitere Informationen zur Validierung einer Matlab-Toolkette finden Sie in folgenden Vortragsfolien Validierung einer MATLAB-Toolkette – Notwendiges Übel oder Allheilmittel?
Prozess-Modellierungs-Technologie
Der Qualifizierungsprozess der Validas wurde erfolgreich vom TÜV Süd auf Konformität zur ISO 26262 und IEC 61508 zertifiziert (siehe hier). Zur Zertifizierung des Kern-Prozesses wurden eine speziell im Forschungsprojekt SPEDIT (BMBF) entwickelte Methode und ein unterstützendes Tool verwendet.
Das Prozess-Modellierungs-Tool (PMT) kann hier herunter geladen werden und wird in Kürze hier unter einer Open-Source-Lizenz verfügbar sein. Das PMT kann folgendes:
- Modellierung von Prozessen, Anforderungen und der Compliance-Argumentation
- Unterstützung bei der Prüfung auf Konsistenz und Vollständigkeit
- Adaption von Prozessen durch Parameter und Bedingungen
- Graphische Visualisierung von Prozessen (BPMN-artig) und Compliance-Argumenten (GSN)
- Generierung von Prozess- und Compliance-Reports
- Generierung von an einen konkreten Prozess angepassten Verifikations - und Validierungsprüfverpflichtungen („Checklisten“)
- Schnittstelle zum Verifikations- und Validierungstool (VVT) zur Bearbeitung dieser Checklisten
- Generierung von Verifikations- und Validierungs-Reports
- Schnittstellen zu TCA und Excel
Wir empfehlen und verwenden das PMT für die Modellierung und Durchführung sicherheitsrelevanter Prozesse. Das PMT ist also Ihre kostenlose Eintrittskarte für Ihr Unternehmen für den Weg zu sicheren Prozessen und der systematischen und effizienten Überprüfung der Einhaltung dieser Prozesse. Wir begleiten Sie gerne auf diesem Weg.
Die aktuelle Version des PMT (Version 1.5) erhalten Sie hier:
Die zugehörige Version des VVT (Version 1.2) erhalten Sie hier:
Ein ausführliches Tutorial ist im Werkzeug inkludiert und kann hier gefunden werden:
- PMT Tutorial (Link zu PMTExample.ppt)
- PMT Überblick (Link zu PMTOverview.ppt)
| Video-Einführung Teil 1: Vorstellung des Spedit-Referenzprozesses |
Video-Einführung Teil 2: Prozessmodelle |
| Video-Einführung Teil 3: PMT First Steps |
Video-Einführung Teil 4: PMT Verification and Validation |
Für Fragen stehen wir Ihnen gerne zur Verfügung unter E-Mail
Weitere Informationen
Die Unterstützung der Validas AG reicht von der Beratung zur Notwendigkeit von Qualifizierung bis hin zur kompletten Qualifizierung von Werkzeugen inklusive der Testerstellung. Gerne kooperieren wir dabei mit Ihren Werkzeugentwicklern und Testern und integrieren deren Testfälle in die Qualifizierung.
Wir unterstützen Sie in allen drei Phasen bei folgenden Prozessen, egal ob Sie Anwender, Hersteller oder Vertreiber von Werkzeugen sind:
- Klassifikation der Werkzeuge mit dem Tool Chain Analyzer
- Qualifizierung per Validierung: Werkzeugtest
- Erstellung von Qualification-Kits mit dem Tool Qualification Framework
Sie wollen mehr wissen?
Wollen Sie ein Werkzeug oder eine Library qualifizieren? Dann sprechen Sie mit unserem Qualifizierungsexperten!
Dr. Thomas Flaig
Tel +49 (89) 5388669-295
E-Mail