- Produkte
- Qualifizierung
- Flyer
- Distributoren
aiT und StackAnalyzer 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 Report-Paket und einem Test-Paket.
Sie können die QSKs problemlos um Ihre eigenen Tests erweitern.
Zurzeit sind 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.