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.
Qualification-Support-Kits
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.
Das Bericht-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.)
Das Test-Paket
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.
Qualification-Software-Life-Cycle-Data-Berichte
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.
Verfügbarkeit
QSKs werden in der Regel auf Anfrage entwickelt. Die Entwicklungszeit hängt von der Komplexität des Prozessors, der Verfügbarkeit der gewünschten Compilerversion und unserer akuten Auslastung ab.
Bereits entwickelt und somit jederzeit sofort verfügbar sind QSKs für:
- Astrée,
- RuleChecker,
- Valex,
- TimeWeaver,
- sowie die folgenden Versionen von aiT und StackAnalyzer:
| WCET-Analyse | Stackverbrauchsanalyse | |||
|---|---|---|---|---|
| generisch | compilerspezifisch | generisch | compilerspezifisch | |
| ARM | ✓ | TI 4.9.1 TI 20.2.1.lts GCC 4.7.4 GCC 4.9.3 Keil 5.02.0.28 |
✓ | TI 4.9.1 TI 20.2.1.lts GCC 4.7.4 GCC 4.9.3 GCC 4.9.4 GHS 2019.1.4 GHS 2020.1.4 Keil 3.1.0.939 Keil 5.02.0.28 |
| C16x | ✓ | Tasking VX 2.4r1 Tasking 8.8r1 |
✓ | Tasking VX 2.4r1 Tasking VX 3.1r2 |
| C28x | ✓ | TI 6.2.0 | ✗ | TI 6.2.0 TI 18.2.3.lts |
| 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 DiabData 5.9.7.1 (64 Bit) 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 2012.1 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 | ✓ | Tasking VX 6.2r2p3 Tasking VX 6.3r1p2 HighTec GCC 3.4.5.1 |
✓ | Tasking VX 6.2r2p3 Tasking VX 6.3r1p2 |
| 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.
