|
AdaCore est le leader dans le domaine des solutions commerciales pour l'Ada83, 95 et 2005. Leur principal produit, GNAT Pro, est disponible en version native, croisée et critique. Cette dernière version est disponible avec un kit de certification DO-178B de niveau A, et supporte le processeur PowerPC.
|
|
Aonix est une société concentrée dans la création de solutions logicielles utilisées dans le développement de logiciels critiques. Leur gamme de produits comprend ObjectAda, ActivAda, AdaWorld, Tornado, Raven/Intel, et d'autres. Pour de plus amples renseignements concernant l'intégration entre VectorCAST et les produits Aonix, suivez ce lien.
|
|
DDC-I est un fournisseur international de compilateurs Ada, C et JOVIAL qui sont utilisés dans des applications critiques embarquées et en temps réel. Leurs outils comprennent la gamme de produits SCORE (Safety Critical Object-oriented Real-Time Embedded), qui est disponible en version Ada et C.
|
|
Green Hills Software est l'auteur de compilateurs haute-performance, d'outils de développement logiciel, et de systèmes d'exploitation en temps réel (RTOS) pour systèmes embarqués. Parmi leurs produits, on peut retrouver INTEGRITY®, velOSity, AdaMULTI®, et l'environnement intégré de développement MULTI®.
|
|
XGC Software propose des systèmes de compilation standards et sur mesure qui optimisent la performance dans le domaine de l'avionique. |
