aiT effectue une analyse statique pour déterminer des limites supérieures pour le temps d’exécution au pire cas des tâches de systèmes réels embarqués. aiT directement lit des fichiers exécutables et tient compte du comportement cache et pipeline intrinsèque. aiT vérifie donc que les programmes à sûreté critique réagissent toujours en temps voulu.
Le défi
Dans les systèmes embarqués à sûreté critique, de nombreuses tâches ont des exigences temps-réel strictes. Violer les délais impartis peut causer des dommages importants. Il est donc essentiel de déterminer le temps d’exécution au pire cas afin de s’assurer que toutes les exigences sont satisfaites.
Toutefois, calculer le temps d’exécution au pire case constitue un défi :
- Exécuter des tests en mesurant répétitivement le temps d’exécution d’une tâche est pénible mais généralement peu sûr. Souvent il est impossible de prouver que toutes les conditions nécessaires pour atteindre le temps d’exécution maximal étaient prises en compte.
- Les caches, les pipelines et d’autres componsants de microprocesseurs modernes rendent le calcul du temps d’exécution maximal particulièrement complexe parce que le temps d’exécution de chaque instruction depends de l’historique de l’exécution.
- Des méthodes d’analyse qui ne tiennent pas compte du comportement cache et pipeline généralement surestiment le temps d’exécution par plusieurs ordres de grandeur ce qui entraîne un gaspillage substantiel de ressources.
«Tester, en général, ne peut pas prouver l’absence d’erreurs.»
La solution
L’outil aiT d’AbsInt offre une solution pour tous ces problèmes : ils tient compte du comportement intrinsèque cache et pipeline d’une tâche sur la base de modèles formals des caches et pipelines. Cela permet de calculer en toute sécurité des bornes supérieures du temps d’exécution au pire cas qui sont à la fois reliables et précises.
aiT est basé sur la théorie de l’interprétation abstraite, une méthode formelle recommandée par tous les normes de sécurité fonctionelle, par exemple le DO-178C. Un interface graphique permets de visualiser le chemin critique du programme et d’examiner interactivement tous les états possibles de la pipeline et du cache à tous les points de programme.
Vos bénéfices
— méthode d’analyse traditionelle employée par Volvo
— résultats aiT
— mesures
- Les bornes du temps d’exécution calculées par aiT sont extrèmement précises donc reflétant la performance effective du système. Prouver que les limites temporelles ne seront jamais dépassées ne doit pas être fait aux dépens des ressources matérielles du processeur.
- Les bornes calculées par aiT sont valides pout toutes les entrées et chaque possible exécution d’une tâche. Les efforts substantiels pour tester dynamiquement la réponse temporelle sont du passé.
- aiT lit des fichiers binaires exécutables. L’outil est largement indépendant du compilateur et du langage de programmation utilisé. En conséquence aucune modification de votre toolchain ni du comportement opérationnel et temporel du système n’est nécessaire.
Références clients
aiT est utilisé par Airbus France pour valider la réponse temporelle de logiciels aéronautique à sûreté critique, ci-inclus le système de gestion de vol de l’Airbus A380, le plus grand avion civil du monde.
Daimler utilise aiT pour de nombreux logiciels automobiles, notamment le système de contrôle du groupe motopropulseur du nouveau camion Actros.
En 2010, aiT était utilisé par NASA pour démonstrer l’absence d’erreurs de timing au cours de l’enquête US sur d’accélérations incontrôlées de voitures Toyota.
MTU Friedrichshafen utilise aiT pour démontrer la justesse du logiciel de contrôle pour les générateurs de secours dans les centrales électriques. Les outils combinés avec leurs kits de qualification (QSK et QSLCD) font partie du processus de certification selon l’IEC60880.
aiT a été utilisés avec succès par Honda dans le développement logiciel FADEC d’une turbosoufflante d’avion.
OHB utilise aiT dans le développement de logiciel embarqué essentiel pour le succès des missions de la plateforme satellite SmallGEO pour les satellites de communication géostationnaire et la plateforme GALILEO FOC pour la localisation par satellite.
Processeurs supportés
aiT est disponible pour un nombre croissant de processeurs cibles et compilateurs.
Couplage facile
aiT est intégré avec bien des outils de développement sophistiqués :
aiT peut être combiné avec d’autres outils AbsInt (par exemple, StackAnalyzer pour l’analyse statique de la pile mémoire) dans une seule interface utilisateur intuitive.
Qualification de l’outil
Nous offrons des kits de qualification speciales pour aiT, qui ont déjà été utilisés à succès par de nombreuses entreprises dans leur processus de certification DO-178B ou ISO 26262, surtout dans l’industrie aéronautique.
aiT est aussi un composant intégral de l’environnement de développement SCADE Suite qui est qualifié conformément à DO-178B level A, à IEC 61508 SIL 3, et à EN-50128 SIL4.
Evaluation gratuite
Commandez votre version d’évaluation gratuite aujourd’hui ou bien contactez nos distributeurs officiels :
- en France : Antycip, Groupe Nexeya, Massy, jerome.dalderete@nexeya.com, +33 (0)6 08 95 79 64
- au Canada : Joral Technologies, Ottawa, robert.campbell@joraltechnologies.com, 1-877-380-3366
