Méthodes :
• Capture des requis : Doors, Reqtify
• Spécifications : UML, SAxT, LDS/ObjectGeode/RTDS, ASN.1, SAO, LUSTRE/Scade
• Conception : SCADE.  

Standards :
• Développement : DO178.


Outils:
• Outils de conception : LabVIEW, Simulink, SCADE.
• Gestion de la configuration : Subversion, Clearcase
• Qualité  control: LDRA
• Tests : RTRT Suite, LDRA
• Code automatique : génération automatique basée sur SCADE
• Bus numériques : Arinc (429, 629, etc.), 1553, CAN.
• Assembler ou microprocesseurs courants : PPC, ARM, DSP, …  

Langages :
ADA (83, 95, 2005), C, C++, etc.


CS Canada travaille avec des spécialistes applicatifs et matériels afin de vous apporter la solution la plus adaptée à votre besoin :