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
- Intégration des composants et mechanismes safety
- 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, Jama, Jira, Codebeamer
- Spécifications : UML, LUSTRE/Scade, Enterprise Architect
- Conception : SCADE, Matlab Simulink
- Méthodologies : Cycle en V, Agile
Langages de programmation
- C, C++
- Java
- ADA (83, 95, 2005), Assembler
Normes
- DO-178B/C
- ISO 26262
- AUTOSAR
Outils
- AUTOSAR: Vector DaVinci Developer and Configurator
- Outils de design: SCADE, Matlab, Simulink, LabVIEW
- Générateur de code: SCADE KCG, Simulink RT-EC
- Analyse de code statique: LDRA, VectorCast, Parasoft, Coverity
- SoC and microprocesseurs: MPC, ARM, DSP, AURIX, TI
- RTOS: Free/SafeRTOS, QNX, Windriver, Greenhills
- Compilateur: Tasking, GCC, Diab
- Bus: ARINC 429, ARINC 629, MIL-STD-1553, CANBUS, Ethernet, UDS, J1939
- Banc de tests: dSpace, National Instrument, TestStand
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 automobile et aérospatiale certifiés ISO 26262 ASIL D ou 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!