VectorCAST/Timing
La validation fonctionnelle ne représente qu’une partie du processus de validation d’un système embarqué critique. Dans le cadre du développement d’un tel système il faut également faire une validation temporelle, les programmes doivent s’exécuter dans des délais définis, quelles que soient les conditions rencontrées. VectorCAST/Timing permet aux ingénieurs de calculer, de visualiser et d’évaluer les temps d’exécution des programmes, dans toutes les situations possibles en y attachant des probabilités d’apparition aux conjonctures affectant les temps d’exécution, ce qui facilite le processus de certification du nouveau système conçu par les ingénieurs.
Des temps d’exécutions susceptibles à apparaitre sont estimés à partir de mesures réelles du temps à l’aide des modèles statistiques. Il n’y a ni modèle matériel ni hypothèses analytiques concernant la microarchitecture qui sont pris en comptes dans l’estimation mais l’outil VectorCAST/Timing permet de faire le lien avec les éléments d’architecture pour valider les choix des modèles. L’outil modélise les données mesurées afin d’identifier les cas extrêmes pertinents à prendre en compte dans le volet « validation temporelle » du dossier de sûreté de fonctionnement ; les résultats qu’il produit sont adaptés à un audit de certification sans justification supplémentaire.
À qui s’adresse VectorCAST/Timing ?
VectorCAST/Timing est conçu pour les ingénieurs en systèmes embarqués, des experts en sûreté de fonctionnement, les équipes de vérification et d’assurance qualité, ainsi que les architectes système travaillant sur des plateformes monocœur et multicœurs. Il s’adresse aux programmes régis par les normes ISO 26262, DO-178C, EN 50716, CEI 61508, CEI 62304 et CEI 60880. Une licence VectorCAST valide est requise.
Avantages
VectorCAST/Timing comble les lacunes laissées par les approches basées sur le temps d'exécution statique dans le pire des cas (WCET) et sur la mesure pure, grâce à une méthode à la fois utilisable dans la pratique et formellement défendable.
Produisez des preuves de timing sur lesquelles votre dossier de Sûreté de Fonctionnement peut s'appuyer
Les méthodes statistiques formelles appliquées aux données d'exécution mesurées produisent des résultats adaptés aux audits de certification selon les normes ISO 26262, DO-178C, EN 50716, CEI 61508, CEI 62304 et CEI 60880.
Allez au-delà de l'analyse statique du temps d'exécution le plus défavorable (WCET)
L’analyse statique du timing dans le pire des cas (WCET) produit souvent des résultats trop prudents, ce qui entraîne un surdimensionnement inutile du matériel et des contraintes en cascade dans l’architecture de votre système. VectorCAST/Timing s’appuie sur des données mesurées, et non sur des hypothèses analytiques.
Fondez votre analyse de timing sur des données d’exécution réelles
Il n’y a ni modèle matériel ni hypothèses de microarchitecture. Les résultats de timing proviennent de ce que votre logiciel fait réellement sur le matériel sur lequel il s’exécute effectivement.
Détectez rapidement les comportements de timing anormaux
Les comportements de timing statistiquement anormaux sont identifiés rapidement à toutes les étapes du développement, et non découverts tardivement lors de l’intégration du système ou de la revue de certification.
Tirez pleinement parti de votre investissement VectorCAST existant
VectorCAST/Timing est conçu pour l’écosystème VectorCAST, avec une feuille de route visant une intégration complète avec les tests, la couverture et la traçabilité des exigences.
Le problème que résout VectorCAST/Timing
Pour la plupart des équipes, l'analyse de timing constitue l'élément le moins abouti de la chaîne de vérification. Les deux approches couramment utilisées présentent chacune des inconvénients majeurs.
Estimation statique du WCET
L'analyse statique du timing dans le pire des cas est extrêmement complexe à mettre en œuvre correctement. Elle aboutit souvent à des résultats trop prudents, ce qui entraîne un surdimensionnement inutile du matériel et impose des contraintes de conception qui affectent l'architecture globale du système.
Approches fondées exclusivement sur la mesure
Les approches fondées sur des mesures ne bénéficient d'aucune garantie formelle. En l'absence d'une méthode mathématiquement prouvée étayant ces résultats, les auditeurs ne disposent d'aucun fondement leur permettant de considérer ces données comme des éléments probants suffisants en matière de timing dans le cadre d'un audit de certification.
VectorCAST/Timing répond à ces deux exigences : il s'appuie sur des données d'exécution mesurées et applique à ces données des méthodes statistiques formelles ; les résultats reposent donc sur ce qui s'est réellement produit et s'appuient sur une méthode pouvant être examinée et validée.
Fonctionnalités clés
VectorCAST/Timing est certifié et prêt à être utilisé dans le cadre de projets de validation et de certification formelles. Il génère des rapports permettant d'apporter la preuve statistique de la conformité temporelle.
Programme de participation
L'accès anticipé à VectorCAST/Timing est désormais disponible pour les équipes prêtes à adopter une analyse temporelle mathématiquement rigoureuse avant la sortie officielle de la plateforme. Cet outil est certifiable et génère des rapports permettant d'apporter la preuve statistique de la conformité temporelle dans le cadre de projets de validation et de certification formels.
La feuille de route du produit s’élabore directement en fonction des retours d’expérience des clients et des priorités du programme. Les premiers utilisateurs ont la meilleure opportunité d’influencer l’orientation du produit final, notamment en ce qui concerne la conception de l’intégration, les formats de rapports et la présentation des éléments de certification.