Produits ASCET

Remarques sur le passage d’ASCET V6.4 à ASCET-DEVELOPER

La version 6.4 de la famille de produits ASCET est constituée de différents produits qui peuvent être combinés. Cette structure modulaire est modifiée comme suit dans ASCET- DEVELOPER :

Les fonctionnalités des produits ASCET-MD (Modelling and Design), ASCET-SE (Software Engineering), ASCET-DIFF (Model Difference Browser) et ASCET-MDV (Model Viewer) ont été regroupées dans le produit ASCET-DEVELOPER.

Les fonctionnalités du produit ASCET-RP (Rapid Prototyping) ont été intégrées dans INTECRIO d’ETAS.

La connexion au système de gestion de configuration intervient directement via l’environnement de développement Eclipse. ASCET-SCM (Software Configuration Management) n’est donc plus nécessaire.

Aperçu des principales caractéristiques

Modélisation multi-paradigme

Les modèles ASCET-DEVELOPER peuvent être élaborés sous forme textuelle ou graphique, ce qui permet aux développeurs de choisir la notation adaptée à leurs travaux. Avec la notation textuelle, à savoir l’Embedded Software Development Language (ESDL) d’ASCET-DEVELOPER, la modélisation s’avère pour vous aussi aisée que la programmation. Les notations graphiques d’ASCET-DEVELOPER prennent en charge à la fois des modèles pour le flux combiné de données et de contrôle pour le développement de systèmes réactifs et des machines à état pour le développement de systèmes discrets.

Sûr par nature

Les caractéristiques de conception centrales du langage ESDL d’ASCET-DEVELOPER permettent une utilisation efficace de C, même dans des environnements soumis à des exigences de sécurité très strictes :

  • Une syntaxe plus sûre, qui comble les lacunes dans le code C qui sont souvent à l’origine d’erreurs de programmation
  • Un typage plus sûr : types de données numériques liés à une plage, sélection optimale du type de mémorisation C et prise en charge native de types de virgule fixe avec n’importe quel niveau de précision, d’unités de mesure et de la conversion automatique
  • Des abstractions plus sûres : groupes de champs associatifs (indices de groupes de champs de n’importe quel type scalaire discret), machines à état pour la commande en fonction de l’état et courbes et cartes pour une commande continue
  • Une structure plus sûre : mécanismes d’espace de nommage, génération sûre d’objets statiques et traitement de variantes de lignes de produits

Analyse statique « à la volée »

Grâce à leur grande force expressive, les modèles ASCET-DEVELOPER peuvent encore être soumis en cours d’édition à un contrôle statique portant sur certaines catégories d’erreurs.

ASCET-DEVELOPER contrôle automatiquement si les arguments de méthode sont correctement utilisés, si les états peuvent être atteints dans les machines à état et si des effets secondaires sont présents lors de l’évaluation d’expression. L’analyse effectuée par ASCET-DEVELOPER permet d’éviter toute mauvaise surprise lors de la modification d’une chaîne d’outils C.

Programmation défensive automatique

Le générateur de code d’ASCET-DEVELOPER est certifié par un organisme indépendant comme apte au développement de systèmes critiques en matière de sécurité soumis aux exigences des normes IEC 61508 et ISO 26262. Il génère du code conforme à MISRA-C:2004 et à MISRA-C:2012, qui est à la fois performant et optimisé en consommation de ressources pour les microcontrôleurs embarqués.

ASCET-DEVELOPER effectue automatiquement des contrôles de code défensifs, qui permettent d’éviter que des erreurs potentielles ne soient pas détectées par les analyses statiques. ASCET-DEVELOPER met systématiquement des contrôles en place partout où ils s’avèrent nécessaires. Les contrôles superflus ayant un impact négatif sur le temps d’exécution et la mémoire sont ainsi évités. De par sa conception, le code C généré avec ASCET-DEVELOPER évite les erreurs comme la division par zéro, les surcharges, les dépassements ou encore les erreurs d’indexation en dehors des limites de tableaux.

Intégration dans Eclipse et utilisation

ASCET-DEVELOPER repose sur la plateforme Eclipse et peut être utilisé de manière autonome, ou intégré dans un environnement d’outil existant reposant sur Eclipse. ASCET-DEVELOPER peut être aisément associé à d’autres outils Eclipse tels que des systèmes de contrôle de version, la gestion des tâches ou les Eclipse C/C++ Development Tools (CDT) pour constituer un écosystème de développement complet. ASCET-DEVELOPER peut par ailleurs être étendu avec des mécanismes Eclipse standard et adapté aux processus du client.

Modèles aisément réutilisables du fait du développement

Les modèles ASCET peuvent être aisément utilisés lors de différentes phases du développement, par exemple pour

  • des simulations en boucle ouverte avec ETAS Experiment Environment
  • des simulations en boucle fermée avec FMI (Functional Mock-Up Interface) ou MATLAB®/Simulink®
  • le prototypage de fonctions avec INTECRIO d’ETAS ou EHOOKS d’ETAS.