Ihr Einsatz von unseren Tools kann nach ISO 26262, DO-178B, DO-178C, IEC-61508 und anderen Sicherheitsstandards qualifiziert werden. Wir bieten Qualification-Support-Kits an, die den Qualifizierungsprozeß drastisch vereinfachen. Darüberhinaus gewähren unsere Qualification-Software-Life-Cycle-Data-Berichte Einblick in unsere eigenen Entwicklungsprozesse.
Die QSKs werden vielfach von unseren Kunden in ihren Qualifizierungsprozessen eingesetzt, vor allem in der Luftfahrt- und Automobilindustrie.
Ein QSK besteht aus zwei Paketen, die aufeinander abgestimmt sind: einem Bericht-Paket und einem Test-Paket.
Dieses Paket besteht aus einem Operational-Requirements-Bericht und einem Verifikationstestplan. Der Bericht führt alle funktionalen Anforderungen an das zu qualifizierende Tool auf. Für jede Anforderung beschreibt der Testplan dann mindestens einen Testfall, der das korrekte Verhalten des Tools belegt.
Die Berichte werden im HTML-Format erzeugt und können somit problemlos in Ihre Zertifizierungsdokumente integriert werden. Bei den Berichten handelt es sich um Vorlagen, die Sie nach Ihren persönlichen Anforderungen ergänzen können bzw. müssen. (Zum Beispiel müssen Sie die Compiler-Switches angeben, die für die Erzeugung der zu analysierenden Executables benutzt wurden.)
Dieses Paket beinhaltet alle Testfälle, die im Verifikationstestplan aufgeführt sind, sowie ein Framework aus Skripten zur Ausführung und Auswertung dieser Tests. Die Auswertung wird für Ihre Zertifizierungsunterlagen ausgedruckt.
Sie können die QSKs problemlos um Ihre eigenen Tests erweitern.
QSKs sind verfügbar für
| WCET-Analyse | Stackverbrauchsanalyse | |||
|---|---|---|---|---|
| generisch | compilerspezifisch | generisch | compilerspezifisch | |
| ARM | ✓ | TI 4.9.1 TI 20.2.1.LTS GCC 4.9.3 Keil 5.02.0.28 |
✓ | TI 4.9.1 GCC 4.7.4 GCC 4.9.3 GCC 4.9.4 GHS 2019.1.4 Keil 5.02.0.28 Keil 3.1.0.939 |
| C16x | ✓ | Tasking 8.8r1 Tasking VX 2.4r1 |
✓ | Tasking VX 2.4r1 Tasking VX 3.1r2 |
| C28x | ✓ | ✗ | ✗ | ✗ |
| dsPIC | ✗ | ✗ | ✓ | ✗ |
| i386 | ✓ | ✗ | ✗ | ✗ |
| LEON3 | ✓ | GCC 3.4.4 | ✗ | ✗ |
| M68020 | ✓ | GCC 4.2.1 | ✓ | GCC 4.2.1 |
| MPC5xx | ✓ | DiabData 4.4 DiabData 5.2.1.0 |
✓ | CodeWarrior 4.3 DiabData 4.4 DiabData 5.6.1.0 DiabData 5.8.0.0p4 DiabData 5.8.0.0p6 DiabData 5.9.4.8 GCC 3.3.2 GCC 3.4.4 GCC 4.1.2 GCC 4.3.3 GCC 4.9.3 GHS 5.2.4 SCORE 3.7.1 |
| e200 | ✓ | GCC 4.1.2 GHS 2019.1.4 DiabData 5.8.0.0p6 DiabData 5.9.1.0 SCORE 3.7.1 |
||
| e300 | ✓ | DiabData 4.4 GCC 3.3.2 |
||
| MPC755 | ✓ | DiabData 4.4 | ||
| Sonstige MPCs | ✗ | ✗ | ||
| IBM PPC750 | ✓ | DiabData 4.4 | ✗ | ✗ |
| TriCore | ✓ | HighTec GCC 3.4.5.1 | ✓ | ✗ |
| V850 | ✗ | ✗ | ✓ | GHS 5.1.7d |
| x86 | ✗ | ✗ | ✓ | GCC 4.4.5 GCC 4.9.2 GCC 4.9.4 |
Generische QSKs führen Tests auf ELF-Beispieldateien durch, die mit einem „generischen“ C-Compiler erzeugt wurden, z. B. einer weitverbreiteten GCC-Version. Compilerspezifische QSKs bieten darüberhinaus zusätzliche Testfälle, die mit einem von Ihnen ausdrücklich vorgegebenen Compiler erzeugt wurden. In der Regel sind generische QSKs für eine Zertifizierung ausreichend. Compilerspezifische QSKs sind daher optional, können aber je nach Art Ihrer Anwendung von den Zertifizierungsbehörden verlangt werden.
Weitere QSKs sind bereits in der Entwicklung und können auch auf Anfrage gebaut werden. Bei Fragen kontaktieren Sie uns.
Zusätzlich zu den QSKs stellen wir Ihnen QSLCD-Berichte zur Verfügung, die unsere internen Entwicklungsprozesse dokumentieren, inklusive aller Verifikations- und Qualitätssicherungsmaßnahmen.
aiT und StackAnalyzer sind auch als fester Bestandteil der SCADE Suite verfügbar, der einzigen modellbasierten Entwicklungsumgebung, die eine DO-178B- und DO-178C-qualifizierte C-Codegenerierung bis Level A bietet, sowie eine Zertifizierung der C-Codegenerierung nach IEC 61508 bis SIL 3 und nach EN 50128 bis SIL 3/4.
