Logiciels Enfouis/Solutions Certification

Solutions Certification Logiciel

La certification  permet de garantir une assurance  qualité minimale pour un logiciel destiné à des applications critique ou liées à la sécurité.  Différents standards existent selon le domaine d'application:
IEC61508 ( applications machines industrielles)
IEC62304 ( applications médicales)
EN50128 ( applications ferroviaires)
DO-178B/C (applications aerospatiales)
ISO 26262 (applications automobiles)

Obtenir la certification d'un produit est un processus long, et NeoMore apporte son soutient à travers  des produits pré-certifiés, et des kits de certification permettant de simplifier le processus de certification

Chaînes de Compilation

NeoMore propose des chaînes de compilation certifiées:

Compilateur ARM

Le compilateur ARM 5.04 est certifié par TÜV SÜD, confirmant qu'il repond aux contraintes pour les outils de développement classifiés T3 selon IEC 61508-3.
Ceci permet d'utiliser le compilateur ARM Compiler 5.04 pour le développement avec niveau sécurité jusqu'à  SIL3 (IEC 61508) ou ASILD (ISO 26262) sans activité de qualification plus poussées lorsque l'on suit  les recommandations et conditions documentées dans le kit de Qualification.

Le ARM Compiler Qualification Kit cible le développeur de  logiciel lié à la sécurité et fournit l'information vitale sur le fonctionnement de la chaîne, les recommandations d'utilisation, et les possibilités de diagnostic.

[- plus d'infos...]

La chaîne de développement ARM-DS5-Ultimate supporte les processeurs 64 bit à architecture ARMv8 et intégre le compilateur ARM certifié TÜV en plus du compilateur ARM Compiler 6.

Le Compilateur ARM Compiler 6 va prochainement être disponible en package Safety avalisé par TÜV SÜD.

Plateforme de Développement HighTec

Le compilateur HighTec  pour PowerPC et TriCore. Le controle NQA et la certification résultant de l'outil offre à l''organisation qui développe  la preuve requise pour demontrer la conformité avec le standard ISO26262.
Le kit de qualification fournit une documentation, des certificats et des canevas qui vous aideront dans vos projets impliquant les standards ISO 26262:

[ + d'infos...]

Noyau Temps-Réel avec kit de certification

Embedded Office

Embedded Office propose des „Cert-Kit μC/OS-MPU for IEC62304“ et "Cert-Kit μC/OS-MPU for IEC61508“. Ces kit de certification sont des composant logiciels pré-certifiés supportant les développement d'applications critiques selon IEC62304 et IEC61508, ouvrant la route de la certification selon ces standards.
Ils permettent l'utilisation d'un noyau temps-réel pré-certifié, µC/MPU pour un processeur donné utilisant un environnement de développement donné. Le kit contient un "Safety Manual" contenant les règles à respecter pour maintenir le niveau de sécurité et la certification valide. Le kit contient un "Validation test software"  verifiant automatiquement nombre de règles et l'intégrité du logiciel.

[ + d'infos...]

Nucleus SafetyCert

La solution Nucleus SafetyCert de Mentor Graphics est un ensemble Noyau temps-réel certifié avec middelware ciblant les applications hautes performances de nouvelle génération.
Nucleus SafetyCert est une offre complete , avec documentation spécifique pour l'industrie visée et artecfacts ayant reçu une certification de tierces parties.

[ + d'infos...]

Outils de test Unitaire Tessy

TESSY Automatise le cycle complet de test unitaire en incluant le test de régression pour votre logiciel enfoui en C/C++ sur differentes cibles. Facile à installer, d'utilisation intuitive, l'outil de test vous guide à travers le cheminement du test unitaire à partir du projet en passant par la conception du test et l'éxécution jusqu'à l'analyse des résultats et le rapport.  TESSY prend en compte l'organisation du test complet ainsi que la gestion du test, incluant la mesure de couverture et la traçabilité. [ + d'infos...]