Développement logiciel

Les outils ASCET combinent des abstractions orientées objets ainsi qu’une prise en charge d’un système d’exploitation OSEK. Ils prennent en charge de façon explicite les éléments logiciels des calculateurs automobiles, qu’il s’agisse de variables, paramètres, constantes, structures mémoire ou représentations de données. ASCET aide à définir, grâce à l’utilisation de messages, les interactions entre processus de tâches temps réel, assurant ainsi la cohérence des données durant la phase d’exécution. Les modèles ASCET séparent de façon claire la logique fonctionnelle, la planification temps réel, les valeurs des paramètres et l’implémentation spécifique sur microcontrôleur cible. Ce dernier élément permet de définir les résolutions en bits, les limites, formules de conversion, emplacements de mémoire et les conventions de nom des éléments de données. Cette séparation claire constitue une étape importante servant à maintenir à un niveau réduit le nombre de variantes de modèles nécessaires pendant le cycle de vie complet d’une fonction logicielle.

La génération automatique de code cible depuis le modèle ASCET est utilisée pour créer le code de production en C – basé sur les résultats obtenus durant les étapes précédentes – de nouvelles fonctions pour le calculateur. A cette fin, tous les avantages apportés par la technique « model-based » de développement de logiciels sont pleinement mis à contribution, en termes de rendement, de qualité et de capacité de réutilisation. La génération de code automatique d’ASCET pour calculateurs de production est réutilisable et optimisé pour le microcontrôleur cible.

ASCET est capable d’intégrer des programmes en code C provenant d’autres sources, afin de bâtir toute la partie logicielle d’un calculateur et également de fournir du code à des environnements existants programmés en code C. Afin de s’intégrer de façon harmonieuse à d’autres outils automobiles de mesure et de calibration, ASCET prend en charge des méthodes de calibration automobile spécifiques et des fichiers de description de calculateurs conformes à la norme ASAM MCD 2MC. Sur la base des caractéristiques techniques du modèle, ASCET fournit une documentation complète concernant les logiciels des calculateurs. Cette documentation est toujours adaptée au code généré et aux autres fichiers de description.

MISRA-C définit un ensemble de règles pour l’utilisation du langage C dans le codage manuel des systèmes critiques. Bien que toutes les règles ne soient pas applicables à la génération déterministe et automatisée de code, ASCET est en conformité avec pratiquement toutes les règles MISRA-C. Chaque fois qu’une nouvelle version d’ASCET est mise sur le marché, sa conformité avec MISRA-C est validée par ETAS. Du fait de sa « MISRA-conformité » documentée, le code de production ASCET est conforme aux critères officiels concernant la vérification des révisions manuelles de code.

Sur simple demande, la certification du générateur de code ASCET-SE du client peut être effectuée, en conformité avec la norme de sécurité IEC 61508, pour toute cible prise en charge.