Produkte
Um ihren Kunden zu helfen ihre Werkzeuge und Libraries sicher zu machen, bietet die Validas die folgenden Produkte an.
QKits:
Die Validas hat bereits die folgenden QKits zusammen mit den Anbietern der Werkzeuge/Libraries erstellt (oder dazu beigetragen):
- Texas Instruments C/C++ Compiler
- Testwell CTC++
- TraceTronic ECU-TEST
- Dassault Systèmes Reqtify
- Altera Nios II development tool chain
- Hightec Development Platform HDP
- Kyoto (Pinteam), siehe Kyoto Embedded Designer
- Validierungssuite for Matlab-Simulink Code-Generator, siehe Validation of Matlab-Simulink Code generator
Diese Qualification Kits sind bei den genannten Partnern oder der Validas AG erhältlich.
Tool Qualification Kits, die von der Validas gewartet werden, ihr gehören oder von ihr erweitert worden sind, sind:
- QKit for IBM DOORS
- QKit for IBM ELM
- Math Library Qualification Kit
- PCLint MISRA-Checker
- QKitCPP: qualification kit for the C/C++ preprocessor
- CodeSys Library Qualification Kit für mathematische Funktionen (Validas)
- EB Tresos code generator qualification kit (Validas)
Andere Produkte basierend auf sicheren Werkzeugen und Libraries sind:
- Cuda (NVIDIA), siehe NVIDIAS’s Future Car platform
- ARM safe C Libraries, siehe ARM
- Falcon (NVIDIA), siehe Nvidia RISCV Story
- Mentor Graphics AUTOSAR Tool chain, siehe Mentor
- NXP Safe Assure program, siehe NXP
- Integrated Management System of Continental based on PTC Integrity, siehe Method Park
- C/C++Test (Parasoft), siehe Parasoft
Weitere Information zu diesen und anderen QKits finden sie auch in unserer QKit Database
Klicken Sie auf das folgende Bild, um die QKitDB zu öffnen:
QUALIFICATION KIT BINUTILS LD
Validas bietet ein Qualifizierungs-Kit für den GNU Binutils Linker ld, um das Tool nach den Standards ISO26262 & IEC61508 zu testen und zu qualifizieren. Die meisten verfügbaren Qualifizierungs-Kits und kommerziellen Testsuiten sind konzipiert, um den verwendeten Compiler zu testen. Der Linker wird von diesen Lösungen jedoch nicht in strukturierter und requirementsbasierter Weise berücksichtigt und getestet. Aus diesem Grund hat die Validas AG einen Qualifizierungs-Kit für den GNU Binutils Linker ld erstellt, um den Linker zu testen und zu qualifizieren.
Was wir bieten:
- Qualifizierungs-Kit für den Binutils ld mit einer requirementsbasierten Test Suite
- Erweiterung des QKits, um das Tool in ihrer Build-Umgebung zu qualifizieren [siehe ISO26262 8-11.2]
- Erweiterung des QKits, um Ihren Use Case(benutzte Linker-Funktionen, Linker Skript-Funktionalität,etc.) zu testen
Ihr Vorteil:
- requirementsbasierte, dokumentierte Test Suite als Basis für Ihre Qualifizierungs-Dokumentation
- eine einfache und erweiterbare Plattform zum Qualfizierung des Linkers in Ihrer Umgebung
- generierte, standardkonforme Qualifizierungsdokumente
Weitere Information zu diesem QKit finden Sie auch in der QKitDB
http://www.validas.de/qkitdb/html/tool__Binutils_LD.html.
QUALIFICATION KIT CTC++
Testfallerstellung zur Werkzeugqualifizierung: Die von der Validas erstellten Tests sind funktionale und anforderungsbasierte Tests. Diese spiegeln dabei die Kundensicht auf Werkzeuge wieder.
Wie wir Sie unterstützen
Wir spezifizieren und testen Ihre Werkzeuge:
- Erstellung einer Teststrategie, z.B. für MC/DC Code-Coveragemessung für C-Code
- Spezifikation von Werkzeugtests
- Generierung von Testfällen, z.B. mittels SAT-Solver und Vorhersage der erwarteten Code-Coverage
Ihr Nutzen
Sie konzentrieren sich auf die Entwicklung/Anwendung der Werkzeuge, wir kümmern uns um die Absicherung.
- Unabhängige Tests
- Vollständigkeitsprüfung von existierenden Tests
- Testpriorisierung aus Sicht der funktionalen Sicherheit
- Tests für Werkzeuge von Dritten, z.B. Open Source Tools oder Tools, für die der Hersteller kein Qualification Kit anbietet
Weitere Information zu diesem QKit finden Sie auch in der QKitDB
http://www.validas.de/qkitdb/html/tool__Testwell_CTC_.html.
Der Qualification-Kit für unser Werkzeug CTC++ wurde von der Validas AG erstellt. Die über 50.000 Testfälle zum Korrektheitsnachweis der MC/DC Codegenerierung beeindrucken unsere Kunden und zeigen die Korrektheit von CTC++ bis zu seinen Grenzen.
Klaus Lambertz (Geschäftsführender Gesellschafter, Verifysoft)
QUALIFICATION KIT IBM DOORS
Wir sind stolz darauf, ein QKit für das Requirements Management Tool DOORS von IBM anbieten zu können. Damit kann gezeigt werden, dass das Tool mit Hilfe eines Tool Safety Manuals sicher verwendet werden kann.
Das ISO 26262 konforme Tool QKit für IBM DOORS 9.7 enthält die folgenden Features/Funktionen:
- Es generiert die benötigten Safety-Dokumente (einschließlich eines ISO 26262 8-11 Compliance Reports)
- Es enthält TÜV zertifizierte Testfälle, die manuell durchführbar sind
- Es ist auch in einer zertifizierten Version erhältlich, die vorab-qualifizierte Dokumente enthält
Das Qualification Kit wurde gemäß der Qualifizierungsmethode der Validas entwickelt und beinhaltet den Einsatz des Qualification Support Tools (QST).
„The Validas safety approach is too good to be true“
Michael Halder, IBM
QUALIFICATION KIT IBM ELM
Die Integrated Lifecycle Management Anwendung von IBM integriert diverse Werkzeuge, unter anderem Doors Next Generation. Das wachsende QKit IBM ELM deckt alle integrierten Werkzeuge und die Haupt-Anforderungen der ISO 26262 ab.
Das QKit IBM ELM enthält die folgenden Features:
- Es generiert die geforderten Safety-Dokumente (einschließlich eines ISO 26262 8-11 Compliance Reports)
- Es deckt alle ISO 26262 Prozesse ab (System, Software, Support)
- Es ist auch in einer zertifizierten Version erhältlich, die vorab-qualifizierte Dokumente enthält
Das Qualification Kit IBM ELM wurde gemäß der Qualifizierungsmethode der Validas entwickelt und beinhaltet den Einsatz des Qualification Support Tools (QST).
Weitere Information zu diesem QKit finden Sie in diesem Dokument und in unserer Podcast Episode.
Mit einer Liste von C und C++ Funktionen sind wir in der Lage das richtige Qualification Kit für Sie zu finden. Kontaktieren Sie uns unter E-Mail
QUALIFICATION KIT MATH LIBRARIES
Für die Qualifizierung von mathematischen & Runtime C Libraries haben wir ein QKit mit Tests für viele mathematische Funktionen entwickelt. Das QKit:
- Generiert die geforderten Safety-Dokumente (einschließlich eines ISO 26262 8-12 Compliance Reports)
- Umfasst eine große Liste (>100) von mathematischen Funktionen
- Erlaubt die erwarteten Floating Point Toleranzen anzupassen
Das Qualification Kit wurde gemäß der Qualifizierungsmethode der Validas entwickelt und beinhaltet den Einsatz des Qualification Support Tools (QST). Des Weiteren ist es kompatibel mit der ISO 26262 8-12 (Qualifizierung von Softwarekomponenten).
GENERISCHER SAFETY PLAN
Die Validas hat einen Generischen Safety Plan für Software- und wiederverwendbare Safety Komponenten (SEOOC). Dieser kann verwendet werden, um sichere Software-Produkte aus existierenden Software-Prototypen mit Hilfe von Validas Safety-Modellen zu erzeugen.
- Konform zur ISO 26262: Teil 6-* und 8-*
- Führt automatisch alle Tests auf dem Target aus
- Generiert alle geforderten ISO Dokumente aus dem Model
- Hat eine Werkzeugkette, der man vertrauen kann
- Kann auf existierenden C/C++ Code angewandt werden (Prototyp)
- Einen Überblick über die Safety Cases finden sie hier
Der Generische Safety Plan wurde zur Erzeugung eines kompletten Safety Case in einem Kundenprojekt angewendet. Dieses wurde vom TÜV-Süd geprüft und erfolgreich abgenommen.
