Développement de
logiciels embarqués


Développement de logiciels embarqués

Notre offre
CS Canada offre notamment des services de développement de progiciels complets embarqués critiques et non critiques. Le développement s’effectue à l’aide de la méthodologie Agile, qui permet de produire un logiciel de qualité de façon rapide et économique.
Les phases de développement du cycle en V des progiciels sont les suivantes :
- Documentation du processus de planification et configuration des outils de développement
- Spécification logicielle de haut niveau à partir de la spécification du système du client
- Conception de l’architecture logicielle et de bas niveau
- Code source
- Génération et débogage de programmes exécutables
CS Canada possède un environnement de développement de logiciels complet dans ses locaux, et les activités de vérification sont confiées à des équipes de vérification et de validation indépendantes chargées des produits intégrés.
Méthodes
- Saisie des exigences : DOORS, Reqtify, LDRA
- Spécifications : UML, LUSTRE/Scade
- Conception : SCADE, Matlab Simulink
- Méthodologies : Cycle en V, Agile
Langages de programmation
- ADA (83, 95, 2005), C, C++, Java, C#, assembleur
Normes
- DO-178B/C
- ISO26262
Outils
- Outils de conception : SCADE, Matlab Simulink, LabVIEW
- Gestion de configuration : Subversion, ClearCase, Mantis, Git, JIRA, Tuleap
- Suite LDRA : TBrun, Testbed et MISRA-C Checker
- Génération de code : SCADE KCG, Simulink RT-EC
- Assembleur pour la plupart des microprocesseurs : MPC 555, MPC5554, MPC5566, ARM, DSP
- Compilateurs Windriver Diab et GCC
- Greenhills MULTI IDE
- Greenhills INTEGRITY RTOS
- Bus : ARINC 429, ARINC 629, MIL-STD-1553, CANBUS, Ethernet
- Bancs d’essai : OPAL-RT, National Instrument PXI
Avantages
CS Canada fournit une vaste expertise dans le développement, la vérification, la validation et la certification de logiciels de systèmes embarqués critiques sur le plan de la mission et de la sécurité. Ce service complet garantit une grande cohésion entre chacun des aspects critiques, du développement à la certification, et permet à CS Canada de gérer des programmes complets.
Pourquoi faire affaire avec CS Canada?
Depuis plus de 15 ans, nous fournissons avec succès des solutions pour les systèmes les plus exigeants et les plus critiques de l’industrie aérospatiale, c’est-à-dire les contrôles de moteurs à réaction certifiés DO-178C de niveau A et produits par les plus grands fabricants en Amérique du Nord, et pour beaucoup d’autres systèmes critiques dans les secteurs aéronautique, spatial, automobile, ferroviaire et industriel.
Vous pouvez maintenant profiter de cette expertise!