Nous suivre Industrie Techno

Outils de détection d’erreurs

Industrie et Technologies

Sujets relatifs :

,
PolySpace 3.2 de PolySpace Technologies

PolySpace Technologies annonce la disponibilité de la version 3.2 de ses outils de détection automatique d’erreurs d’exécution dans les logiciels embarqués.
Cette nouvelle version introduit notamment le support natif de nouveaux processeurs cibles (HC8, HC12, MPC55…) et une nouvelle interface de lancement des analyses, conçue par des ergonomes. Elle est accompagnée de deux modules add-ons : PolySpace Misra-Checker et PolySpace Data Range Specification.

PolySpace Misra-Checker permet la vérification automatique de la conformité d’un logiciel avec les nouvelles règles de codage publiées par le comité Misra en 2004. Chaque règle peut être activée individuellement ou non et les choix de règles à vérifier peuvent être sauvegardés et partagés à l’échelle d’un projet ou de l’équipe de développement.

PolySpace Data Range Specification permet de restreindre ou d’étendre le domaine de variation de certaines variables lors de l’analyse du code par les outils PolySpace.
Une restriction du domaine de variation permet notamment de simuler des limites physiques et donc de représenter le plus finement possible l’environnement d’exécution réel de l’application.
Une extension du domaine de variation est particulièrement utile pour les logiciels dont certaines variables sont calibrables, permettant ainsi de valider le bon fonctionnement du logiciel pour plusieurs jeux de calibration en une seule analyse.
PolySpace propose également une offre de consulting permettant de prendre en compte automatiquement un éventuel dictionnaire de données préexistant pour générer les restrictions/extensions de domaine de variation.

Jean-François Prevéraud

Pour en savoir plus : http://www.polyspace.com

Bienvenue !

Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies

Nous vous recommandons

Dossier composites : comment ils vont surpasser les métaux

Dossiers

Dossier composites : comment ils vont surpasser les métaux

Les composites ne cessent d'innover pour rester compétitifs face aux autres matériaux. L'innovation porte sur les matériaux eux-mêmes, mais aussi sur[…]

Les colloques à venir - Au 12 juin 2009

Agenda

Les colloques à venir - Au 12 juin 2009

Les Nanotechnologies, vous connaissez ?

Les Nanotechnologies, vous connaissez ?

IT 911 mai 2009

IT 911 mai 2009

Plus d'articles