Utilisez les éditeurs de votre choix
ASCET-DEVELOPER vous permet de combiner facilement des textes et des graphiques en fonction de vos besoins de programmation. Vous disposez de différentes possibilités pour modéliser votre logique, ce qui vous permet de travailler aussi efficacement que vous le souhaitez. Vous avez le choix entre quatre spécifications.
Éditeur de diagrammes de blocs
Éditeur de diagrammes de blocs
- Idéal pour la modélisation et la visualisation des 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
Éditeur de machine d'état
Éditeur de machine d'état
- Pour programmer et visualiser la logique décisionnelle basée sur des notations de machines d'é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 blocs fonctionnels
Éditeur ESDL
Éditeur ESDL
- ESDL signifie Embedded Software Description Language (langage de description des logiciels embarqués) et capture la sémantique du modèle ASCET. Il peut être programmé à l'aide des éditeurs graphiques mentionnés précédemment ou directement dans le texte.
- Cet éditeur est idéal pour le code qui convient mieux à une implémentation textuelle (comme les boucles).
Éditeur de code C
Éditeur de code C
- Pour utiliser l'interface familière ESDL afin de définir votre modèle
- Spécifiez le comportement des modèles en utilisant toutes les capacités du langage C
- Votre modèle de code C peut être commodément réutilisé à travers différents modèles, ce qui favorise la cohérence et permet de gagner un temps précieux pour le développement
Raisons de la réduction des bogues : un langage de modélisation sûr
ASCET est conçu pour une programmation embarquée sûre et sans effort. Cet outil intègre des fonctionnalités telles que la programmation orientée objet, le traitement des arguments basé sur l'intention, les boucles sûres, les unités sémantiques, la machine d'état, les tables de consultation, l'analyse statique et divers autres outils. Ces éléments se conjuguent pour simplifier et améliorer l'expérience globale de programmation dans les systèmes embarqués.
Classes
Classes
- Maîtrisez la complexité de vos logiciels en utilisant les classes comme concept structurant.
- Apportez à votre projet embarqué les avantages éprouvés de l'encapsulation basée sur l'objet et de la réutilisation systématique.
Type de système
Type de système
- Maximisez la 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érez automatiquement un code de haute qualité et gagnez du temps en termes d'efforts de codage manuel
Unités sémantiques
Unités sémantiques
- ASCET vous permet de définir les unités et les relations au sein de vos modèles sans effort
- Améliorez vos modèles avec des unités de manière naturelle, car ASCET comprend et intègre intuitivement les unités sans nécessiter d'efforts de conversion manuelle
- ASCET se charge des tâches les plus lourdes en détectant automatiquement les unités et en les convertissant de manière transparente dans le code généré, ce qui rationalise votre processus de modélisation
Validation en direct
Validation en direct
- Détectez les problèmes latents en amont
- L'analyse statique intégrée en direct vérifie les éléments suivants : compatibilité des types, unités incompatibles, effets de bord, lecture ou écriture manquante, code inaccessible et bien plus encore...
Tests
ASCET-DEVELOPER fournit plusieurs possibilités pour tester vos modèles de manière efficace et complète, en fonction des différentes étapes du cycle de développement :
- La séparation des propriétés de représentation et du modèle permet de faciliter les tests en se concentrant d'abord sur le comportement physique puis en testant ultérieurement des contraintes plus spécifiques à l'objectif
- Cadre de tests unitaires intégré
- Simulation de PC en boucle ouverte à l'aide de l'environnement d'expérimentation ETAS
- Analyse et couverture du modèle à partir de l'exécution des tests avec des mesures telles que la couverture des instructions, des branches, des états, des transitions et des conditions modifiées de décision (MC/DC)
- Les modèles ASCET-DEVELOPER peuvent être simulés en même temps que des modèles dans des outils externes prenant en charge la norme FMI. La connexion se fait via FMU Export ou dans MATLAB/Simulink via le transfert de s-fonctions
- Le prototypage de fonctions sur du matériel en temps réel à l'aide de la solution de prototypage ETAS permet une validation précoce et réaliste sur le banc d'essai ou dans le véhicule
- Les modèles ASCET-DEVELOPER peuvent être testés systématiquement à l'aide de l'outil tiers TPT avec leur support natif de la plate-forme ASCET
Test unitaire
- Test systématique des unités logicielles à l'aide du cadre de test unitaire ESDL
- Utilisez les classes de test ESDL pour tester des unités logicielles indépendantes et visualiser les résultats après exécution
Simulation sur PC
- Validation précoce de la conception à l'aide d'une simulation sur PC avec mesure en direct et étalonnage des données
- Environnement d'expérimentation sophistiqué avec générateur de signaux, enregistreurs de données et widgets
Couverture
- Couverture des tests interactifs à partir d'une simulation PC en cours ou de l'exécution d'un test unitaire
- La vue Couverture résume la couverture des tests pour toutes les unités logicielles en cours d'exécution
- Visualisez la couverture dans des éditeurs de texte ou de graphiques pour voir quelles parties du modèle ont été testées
Génération automatique de code
L'écriture manuelle de code nécessite un effort supplémentaire pour éviter les erreurs d'exécution et le rendre conforme aux normes et aux directives de codage. Avec ASCET-DEVELOPER, vous vous concentrez uniquement sur la résolution du problème, le reste est fait par le générateur de code. Il se caractérise par les éléments suivants :
- Production de haute qualité Code C conforme à MISRA
- Grande lisibilité du code pour les utilisateurs
- Traçabilité à votre modèle ASCET-DEVELOPER
- Insertion automatique de code défensif. Les exemples incluent la division par zéro protégée, les limites saturées basées sur les propriétés du type et la protection contre le dépassement d'index pour les types de tableaux.
- Génération de code en virgule fixe
- Génération de code AUTOSAR par la mise en correspondance du modèle ASCET-DEVELOPER avec la structure AUTOSAR
- Réutilisation rapide des modèles ASCET-DEVELOPER existants et génération de code pour différentes cibles grâce à des options de personnalisation
- Rappels personnalisés vers des bibliothèques arithmétiques, d'interpolation ou de services spécifiques à l'appareil
- Directive sur la mémoire pour le compilateur
- Code conditionnel et structures de données pouvant être résolus au moment de la compilation ou de la génération
- Nombreuses stratégies d'optimisation des ressources et des performances d'exécution
Docs-as-code
Modifiez et joignez une documentation à n'importe quel modèle de manière transparente.
- Rédigez la documentation dans le format de votre choix (doc, md, tex, adoc, etc.).
- Personnalisez les modèles avec des configurations définies par l'utilisateur.
- Tirez parti de l'outil EHANDBOOK Container-Build pour générer une documentation interactive sur les logiciels.
Conçu sur eclipse
Conçu sur la plateforme Eclipse, notre système facilite l'intégration transparente avec une multitude de plugins existants qui améliorent les capacités d'IDE Eclipse®. Tirez parti des extensions de contrôle de source bien connues, telles que Git, Subversion ou d'autres fournisseurs commerciaux, afin d'améliorer le contrôle de version.
Débloquez des fonctionnalités professionnelles qui optimisent vos flux de travail, notamment une navigation simplifiée, une refonte efficace, l'autocomplétion, de puissantes capacités de recherche et des outils de gestion des tâches. Notre plateforme comprend également des éditeurs intégrés pour une plage complète de formats de fichiers, ce qui garantit une flexibilité et une facilité d'utilisation pour tous vos projets.
Comparaison des modèles
Découvrez la fonction de comparaison de modèles dans ASCET, qui offre une analyse complète de vos modèles avec les avantages et les fonctionnalités suivants :
- Comparez sans effort les éditeurs graphiques et les éditeurs de propriétés pour identifier les changements dans vos modèles. L'arbre des différences fournit une ventilation claire, expliquant chaque modification en détail.
- Personnalisez votre comparaison grâce à la possibilité d'appliquer des filtres, afin de minimiser le bruit dû aux changements cosmétiques. Qu'il s'agisse d'un fichier individuel, d'un dossier ou de projets entiers, ASCET vous permet de comparer avec précision.
Certifié pour les développements critiques en matière de sécurité
Convient au développement de logiciels critiques pour la sécurité
ASCET-DEVELOPER vous permet de développer des logiciels qui respectent toutes les normes de sécurité importantes.
- ISO26262 Génération de codes ASIL-D et CEI 61508-SIL3 certifiés par le TÜV
- Conformité MISRA-C:2012
- Élimination des problèmes numériques par l'insertion automatique d'un code défensif