aiT, StackAnalyzer und Astrée können nach DO-178B (bis zu Level A) und ISO 26262 qualifiziert werden. Wir bieten Qualification-Support-Kits an, die den Qualifizierungsprozeß drastisch vereinfachen. Darüberhinaus gewähren unsere Qualification-Software-Life-Cycle-Data-Reports Einblick in unsere eigenen Entwicklungsprozesse.
Wir bieten Qualification-Support-Kits (QSKs) an, die den Qualifizierungsprozeß wesentlich vereinfachen. Vor allem unsere Kunden in der Luftfahrtindustrie setzen die QSKs in ihrem DO-178B-Qualifizierungsprozeß immer wieder erfolgreich ein.
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. Das Bericht führt alle funktionallen 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 ermöglichen somit problemlose Integration in Ihre Zertifizierungsdokumente. 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 Zertifikationsunterlagen ausgedruckt.
Sie können die QSKs problemlos um Ihre eigenen Tests erweitern.
Neben einem QSK für Astrée sind zurzeit die folgenden QSKs erhältlich:
| Prozessor/Compiler | WCET-Analyse | Stackverbrauchsanalyse |
|---|---|---|
| C16x/Tasking | + | + |
| H8/GCC | − | + |
| HC11/Cosmic | + | − |
| i386/CAD-UL | + | − |
| LEON3/GCC | + | − |
| M68020/GCC | + | + |
| MPC5xx/Diab | + | − |
| MPC55xx/GCC | + | + |
| MPC603e/Diab | + | − |
| MPC755/Diab | + | + |
| PPC/Diab | − | + |
| PPC/GCC | − | + |
| IBM PPC750 | + | − |
| IBM PPC750s | + | − |
| TriCore/HighTec GCC | + | − |
Weitere QSKs sind in der Entwicklung. Bei Fragen kontaktieren Sie uns.
Zusätzlich zu den QSKs stellen wir Ihnen QSLCD-Reports 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-qualifizierte C-Codegenerierung bis Level A sowie eine Zertifizierung der C-Codegenerierung nach IEC 61508 bis SIL 3 und nach EN 50128 bis SIL 3/4 bietet.