Développer un code C de haute qualité, sûr et efficace

• Maîtrisez la complexité de vos logiciels en utilisant les classes comme concept structurant.
• Apportez à votre projet embarqué des avantages éprouvés, une encapsulation basée sur des objets et une réutilisation systématique.

• Maximisez votre productivité en exploitant la capacité d'ASCET à réutiliser de manière transparente les propriétés des logiciels.
• ASCET transforme la complexité en clarté, en vous permettant de représenter visuellement les propriétés des logiciels pour en faciliter la compréhension.
• Générer automatiquement un code de haute qualité et gagner du temps sur les efforts de codage manuel.

• ASCET vous permet de définir sans effort les unités et les relations au sein de vos modèles.
• Enrichissez vos modèles avec des unités de manière naturelle, car ASCET les comprend et les intègre intuitivement sans qu'il soit nécessaire de les convertir manuellement.
• ASCET se charge des tâches lourdes en détectant automatiquement les unités et en les convertissant de manière transparente dans le code généré, rationalisant ainsi votre processus de modélisation.

• Détecter plus tôt les problèmes cachés.
• L'analyse statique en direct intégrée vérifie la compatibilité des types, les unités incompatibles, les effets de bord, les lectures ou écritures manquantes, le code inaccessible, et bien d'autres choses encore.

L'écriture manuelle du code nécessite des efforts supplémentaires pour éviter les erreurs d'exécution et le rendre conforme aux normes et aux directives de codage. Avec ASCET, vous n'avez qu'à vous concentrer sur la résolution du problème, le reste étant pris en charge par le générateur de code. Il se distingue par les caractéristiques suivantes :

• High-quality production of MISRA-compliant C code
• Great code readability for users
• Traceability to your ASCET model
• Automatic insertion of defensive code; examples include protected division by zero, saturated limits based on type properties, and index overflow protection for array types
• Fixed-point code generation
• AUTOSAR code generation by mapping ASCET model to AUTOSAR structure
• Quick reuse of existing ASCET models and generation of code for different targets via customization options:
  • Custom callbacks to device-specific arithmetic, interpolation, or service libraries
  • Memory directive for compiler
  • Conditional code and data structures which can be resolved at compile or generation time
  • Numerous optimization strategies for resources and runtime performance

• Test systématique des unités logicielles à l'aide du cadre de test unitaire ESDL.
• Classes de test ESDL pour tester des unités logicielles indépendantes et visualiser les résultats après exécution.

• Validation précoce de la conception à l'aide d'une simulation sur PC avec mesure et étalonnage des données en temps réel.
• Environnement d'expérimentation sophistiqué avec générateur de signaux, enregistreurs de données et widgets.

• Couverture de test interactive à partir d'une simulation PC ou de l'exécution d'un test unitaire.
• La vue de la couverture résume la couverture des tests pour toutes les unités logicielles en cours d'exécution.
• Visualisation de la couverture dans des éditeurs de texte ou de graphiques pour voir quelles parties du modèle ont été testées.

• Idéal pour modéliser et visualiser les flux de données et de contrôle.
• Ordre d'exécution entièrement déterministe grâce au séquençage explicite des calculs.

• Programmation et visualisation de la logique décisionnelle basée sur des notations de machines à états finis.
• Les actions et les conditions peuvent être écrites directement en ESDL ou encapsulées dans une méthode distincte programmée dans l'éditeur de schéma fonctionnel.

• Langage de description logiciel intégré pour capturer la sémantique du modèle ASCET ; peut être programmé à l'aide des éditeurs graphiques mentionnés précédemment ou directement en texte.
• Idéal pour les codes qui conviennent mieux à une mise en œuvre textuelle (comme les boucles).

• Définition du modèle avec l'interface ESDL familière.
• Spécification du comportement des modèles en utilisant toutes les capacités du langage C.
• Réutilisation aisée du modèle de code C dans différents modèles, ce qui favorise la cohérence et permet de gagner un temps précieux en matière de développement.