Embedded Systems
REQUIREMENTS ENGINEERING
SOFTWARE DESIGN AND QUALITY ASSURANCE
VERIFICATION AND VALIDATION
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
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
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