Werkzeug- und Library-Qualifizierung

Qualifizierung schafft das benötigte Vertrauen
in den sicheren Werkzeug- und Libraryeinsatz

WerkzeugeinsatzWerkzeugkettenanalyse

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.

Tool Qualification Process zertifiziert

Der TÜV-Süd hat den Validas Tool 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“.

alt text

alt text

alt text

alt text

alt text

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:

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.

VASE

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:

   
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