vous êtes : accueil > > Outils > Nous connaître> Historique > Validation numérique

Nous connaître |

Imprimer l'articleEnvoyer à un ami

NOUS CONNAÎTRE - HISTORIQUE

VALIDATION NUMÉRIQUE

Entre les années 1998 et 2002, Numeral Advance s’est concentrée sur le thème de la validation numérique de logiciels scientifiques et de logiciels embarqués destinés aux industriels du spatial, de l’aéronautique et de l’automobile.

L'activité de Validation Numérique aborde une des propriétés du logiciel métier d’un Système d’Information (SI). Ce logiciel métier est soit un logiciel de simulation numérique, soit un logiciel embarqué.

Cette activité a été menée en partenariat avec le Lip6, laboratoire informatique de l’Université de Paris 6 (UPMC : Université Pierre et Marie Curie). Elle a conduit à la création d’un corpus méthodologique rigoureux (VALIMODE) dans la démarche d’analyse et de diagnostic pour la qualité logiciel, réalisant notamment une distinction entre les éléments scientifiques et les éléments technologiques de la démarche à mettre en oeuvre.

Voir le site du Lip6 .

Voir la page Cadna .

Ce corpus méthodologique a fait l'objet de présentations dans le cadre de différentes conférences :

Le thème présenté à la journée AFNOR sur la qualité logiciel en Juin 2000 :

  • "Validation du calcul fondée sur l'ISO 9126 dans les Rendez-vous d'AFNOR en Juin 2000.

Les thèmes présentés à DASIA 2000 et 2001 :

  • "Numerical and Calculation Validation - A Software Quality Model Framework" in the Conference DASIA 2000, Montréal May 2000,
  • "Global Climate change models, Accuracy and Numerical Validation" in the Conference DASIA 2001, Nice May 2001.

Le thème présenté à la journée IRISA sur le thème de la qualité numérique en Oct 1999 :

  • "La Qualité des logiciels en calcul numérique", 9ième rencontre IrisaTech de Février 1999.

Dans le cadre de la journée "La modélisation numérique en propulson spatiale", Forum CPS organisé par le CNES en Septmbre 2001 :

  • "Etude numérique du logiciel CPS par l'outil Cadna "

Références :

CNES, Airbus, EADS ST, Alcatel Space, Thales Optronique, Renault, ONERA...

A retenir :

L’expertise développée par Numeral Advance et ses différents consultants lors de cette période s’est portée sur la validation des modèles de simulation (edp, edo, modèle stochastique…), l’analyse quantitative de la qualité d’un résultat (précision, reproductibilité, incertitudes…), la modélisation du système d’information avec ses composants matériels et logiciels (progiciel,modèle mathématique, modèle numérique, codage informatique, implémentation processeur…) ainsi que les méthodes de conception de logiciels fiables et de validation numérique.

Par ailleurs, signalons que la conduite de projet pour une mission de validation a développé un corpus méthodologique sur la traçabilité des exigences et la traçabilité d’un résultat d’analyse

Voir nos prestations de validation numérique .
© Numeral advanceMentions légalesNous contacter GlossairePlan du site