aicas présente Veriflux – un outil d'analyse de flux de données complet pour Java

<next>  <prev>  <back>

11-Feb-10

aicas présente Veriflux – un outil d'analyse de flux de données complet pour Java

aicas GmbH présentera son outil d'analyse entièrement nouveau dédié à la révision formelle de programmes Java lors du salon Embedded World en Mars. VeriFlux est un outil d'analyse de code statique utilisable tant pour un programme complet que pour des parties spécifiques de programme. Il ne nécessite aucune adaptation du programme pour fonctionner. Les sources d'erreurs telles que les erreurs de Run-time ou liées à des Threads sont mises en évidence dans le code source. “VeriFlux a été développé à l'origine pour des applications dites de sécurité critique, cependant les applications Java „normales“ peuvent en bénéficier aussi”, explique Dr James J. Hunt, CEO de aicas GmbH, “Un débogage amont permet de réduire le nombre d'erreurs et de tests, résultant en des réductions substantielles des coûts de développement”. Pour vérifier par vous même les performances de VeriFlux, aicas offre une version d'évaluation gratuite aux parties intéressées. Télécharger á http://www.aicas.com/downloads.html.

Concernant aicas (www.aicas.com)

aicas est un fournisseur majeur de Machine Virtuelle Java, JamaicaVM, pour l'électronique embarquée nécessitant du Temps-Réel Dur. Notre société fournit aussi des outils d'analyse et d'optimisation qui aident les développeurs dans leur travail d'amélioration de la qualité de leurs applications. Des services de personnalisation complémentent JamaicaVM pour prendre en compte les besoins spécifiques des utilisateurs, tout particulièrement pour s'adapter aux différentes plateformes cibles. JamaicaVM est unique dans son implémentation en Java d'un ramasse-miette (Garbage Collector) à fonctionnement déterministe dans des environnements de Temps-Réel Dur. aicas est présent dans les segments de marché aérospacial, automates industriels, instrumentation et automobile. Ses clients incluent de grands noms comme Boeing, EADS Astrium, EADS Military Air Systems, Honeywell et Siemens. Son siège social est basé à Karlsruhe, Allemagne, avec des filiales aux USA, au Japon et en France. Un réseau de distributeurs hautement qualifiés complète sa présence en Europe et en Asie.

Plus d'informations

Informations en ligne:

Communiqués de presse: http://www.aicas.com/press.html
Images de presse: http://www.aicas.com/images.html