Embedded Systems

REQUIREMENTS ENGINEERING

Nous prenons en charge la gestion des exigences de vos systèmes embarqués :

  • Analyse et clarification des besoins
  • Raffinement des exigences
  • Définition des exigences du système et du logiciel
  • Examen de REQ avec le propriétaire de la fonction
  • Création et mise à jour de REQ
  • Définition des critères de vérification
  • Rapports et suivis des constatations
SOFTWARE DESIGN AND QUALITY ASSURANCE

Nous prenons en charge l’architecture et le développement de vos logiciels en nous assurant de leur conformité et de leur qualité :

  • Conception de logiciels pour les logiciels embarqués d’application
  • Analyse et examen de SW REQ
  • Conception basée sur un modèle
  • Création d’une spécification de conception logicielle
  • Définition des critères de vérification
  • Implémentation du code
  • Génération de code
  • Mise en œuvre de SWC/module
  • Débogage avec les outils de journalisation et de suivi appropriés
  • Assurance qualité SW
  • Révision du code source basée sur des règles et une liste de contrôle
  • Révision et correction des modèles Simulink
  • Assurance qualité du code source livré
  • Assurance qualité par analyse de code statique/dynamique
VERIFICATION AND VALIDATION

Nous nous assurons de la conformité de vos logiciels par la réalisation et la validation des tests :

  • Réalisation des examens de la configuration logicielle/système requise
  • Création d’un plan de test
  • Création de spécifications de test
  • Développement des cas de test
  • Automatisation des cas de test
  • Tests de régression
  • Rapports sur les résultats des tests
  • Matrice de traçabilité des exigences
  • Suivi des défauts