"Kummler+Matter est une société suisse développant des concepts de trafic pour l'installation électrique de systèmes de contrôle du trafic, de guidage de stationnement et de systèmes de signalisation. Pour interconnecter les systèmes de contrôle du trafic, nous utilisons des protocoles de communication comme OCIT, standard dans les systèmes de circulation routière. Afin de réaliser le développement logiciel de ces systèmes complexes, nous utilisons Imagix 4D, pour analyser, concevoir et implémenter des logiciels principalement écrits en langages C et C++. Le logiciel a été très utile pour aider nos développeurs à comprendre les processus en temps réel et à analyser la complexité de plus de 60.000 lignes de code. Les développeurs ont largement utilisé les différents points de vue de l'outil, qui donnaient un aperçu clair des logiciels qu'ils développaient et qui les ont aidés à passer par les étapes de rétro-ingénierie. Les systèmes cibles fonctionnent sous Linux et pour faciliter l'utilisation, une partie de l'analyse a été effectuée sur la plateforme Windows. Il était vraiment utile de pouvoir utiliser le logiciel Imagix 4D sur les deux plateformes. En conclusion, Imagix 4D a beaucoup aidé Kummler+Matter dans les processus de développement et a facilité le travail des équipes."
Minh Tuan Nguyen, Directeur du développement (Réglementation du trafic routier)
Kummler+Matter SA, Suisse

Verifysoft a exposé au salon Embedded World 2017: regardez la vidéo maintenant!

(Nuremberg/Allemagne, 16 mars 2017)

Plus de 30.000 visiteurs en provenance de 73 pays sont venus cette année au salon Embedded World à Nuremberg en Allemagne. Comme chaque année depuis 2005, Verifysoft Technology a présenté les meilleurs outils de test de logiciels de sa catégorie.
Les solutions de test logiciel de Verifysoft répondent aux exigences de normes telles que la DO-178C, l’EN 50128, la CEI 61508, la 62304 ou l’ISO 26262 et sont utilisées dans les projets critiques pour la sécurité et la sûreté.
Nous fournissons des outils de test pour l'analyse statique, l'analyse dynamique et la couverture de code.
En savoir plus et regarder notre vidéo maintenant