Pôle Système Embarqué

CONSEIL

KEREVAL vous apporte un avis objectif du niveau de la maturité de votre activité de tests et vous recommande des axes pratiques d’amélioration tout au long du cycle de développement de vos systèmes embarqués : formalisation des exigences, vérification et validation des modèles et des architectures, règles de codage, stratégie de tests unitaires, stratégie d’intégration et de validation.

Dans la recherche d’une qualité globale, KEREVAL vous préconise un plan de progrès et la mise en place d’un processus de test issus des méthodologies et standards actuels.

A chaque étape du cycle en V, KEREVAL vous guide dans le choix des outils les plus adaptés à vos besoins techniques.

KEREVAL peut vous fournir enfin des conseils et bonnes pratiques concernant tous les processus qui sont en lien avec le processus de tests (gestion de projet, développement, gestion de configuration, gestion des anomalies, gestion des livraisons...)

INDUSTRIALISATION DES TESTS

KEREVAL vous accompagne dans la mise en place, l’amélioration et l’outillage de votre activité de tests le plus en amont possible du cycle en V : validation des modèles spécifiants, analyse de code, tests unitaires, tests d’intégration, tests de non régression et validation système.

KEREVAL s’appuie sur son expérience pragmatique de l’automatisation pour apporter de la valeur à l’exécution de vos tests.

Fort d’un riche retour d’expériences de bonnes pratiques au niveau des méthodes, des procédures et des outils, KEREVAL vous aide à industrialiser pas à pas votre processus de tests.

La participation active de KEREVAL au sein de projets collaboratifs relative aux normes de sureté de fonctionnement des produits embarqués favorise d’autant plus la réussite d’un plan de migration vers un produit plus sûr.

EXECUTION

KEREVAL met à disposition une plateforme outillée afin de réaliser différents types de tests sur des composants embarqués : exécution de la validation et de la vérification des modèles, analyse statique, couverture de code MC/DC, tests de performance et fonctionnels sur logiciel applicatif, driver et OS, tests Hardware In the Loop.

Ce dispositif d’exécution de suites de tests est configurable et évolutif selon votre environnement technique. Il permet de réaliser des tests de conformité, de robustesse, de performance et d’intégration sur une plateforme soit matérielle ou simulée.

CENTRE DE VALIDATION

KEREVAL prend en charge votre activité de validation des composants logiciels embarqués. Au travers de moyens maîtrisés et d’experts certifiés, nous vous proposons d’externaliser toute ou partie de votre activité de test : centre de validation « Model Based Design » avec notamment des tests MIL, SIL, HIL sur calculateur de prototypage et centre de validation « Low Level Test » avec en particulier des analyses statiques et des tests unitaires.

Par une génération automatisée de nos rapports, nous vous livrons des résultats exploitables et réguliers de ces tests. Nous vous apportons ainsi une vision transparente de nos activités sous forme d’indicateurs.

ATTESTATION

En déployant des critères d’évaluation objectifs, stables et cohérents, KEREVAL vous permet de labelliser vos produits logiciels pour obtenir la reconnaissance de leur qualité et maturité.

Depuis janvier 2010, KEREVAL est accrédité organisme de formation CFTL ISTQB.

En septembre 2011, selon la norme NF EN ISO/CEI 17025 version 2005, KEREVAL, obtient pour ses activités de tests l’accréditation ISO/CEI 17025 sous le numéro 1-2347.

http://www.cofrac.fr/fr/organismes/fiche.php?entite_id=120002589

Cette accréditation valable quatre ans à compter du 1^er Septembre 2011, porte sur le domaine de l’évaluation de la conformité au standard AUTOSAR de composants logiciels embarqués automobile.

La Consortium AUTOSAR

KEREVAL intervient dans le consortium AUTOSAR en tant que « Development Member ». KEREVAL apporte ainsi toute son expertise dans la problématique de la conformité du standard.

Ce statut privilégié permet à KEREVAL de jouer un rôle sur les aspects conformité.

Dans le cadre de la mise en place progressive du système de certification AUTOSAR supporté pour les CTA, KEREVAL est positionné comme CTA pilote. L’objectif de cette phase pilote est d'expérimenter la mise en oeuvre des agences de certification AUTOSAR.

FORMATION

KEREVAL propose des sessions de formation avec un contenu et une durée personnalisés à vos besoins techniques. Ces formations, dispensées par nos propres experts, peuvent être réalisées dans votre établissement ou dans nos locaux directement sur notre plateforme de tests.

Les formations couvrent les domaines relatifs aux outils de tests du domaine embarqué. Elles abordent aussi les aspects de méthodologie de tests.