Développement de logiciels embarqués

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!