Outil de validation et vérification des conceptions Autosar

Le simulateur Asim qu'anonce Geensys vient s'ajouter à la suite d’outils Autosar Builder de cet éditeur d'outils de développement logiciels. ASIM est une solution complète sur PC qui permet de valider et de contrôler les systèmes AUTOSAR le plus tôt possible au cours du cycle de développement. 
● Objectif : valider le comportement fonctionnel des applications au plus tôt, dans un contexte d’abstraction en trois couches : définition de l’interface, définition du comportement et définition de l’implémentation
- au niveau de la couche de définition de l’interface, la validation et la vérification portent sur les ports et les interfaces d’un composant logiciel communiquant avec d’autres composants de même type et d’autres services de base sous-jacents
- au niveau de la couche comportementale, ce sont les « exécutables » en termes de propriétés temps réel et de sémantique d’exécution (sources d’ordonnancement et d’activation) qui font l’objet d’une validation et d’une vérification
- au niveau de la couche d’implémentation, la validation et la vérification portent sur la consommation des ressources
● Conçu pour les niveaux Virtual Functional Bus (VFB) et ECU (la simulation de niveau réseau sera introduite ultérieurement)
● Grâce à la fonction de simulation de niveau VFB, la validation et la vérification des composants logiciels d’AUTOSAR sont facilitées, indépendamment de toute contrainte matérielle, voire d’allocation sur une topologie réseau donnée
● La fonction de simulation de niveau ECU d’ASIM facilite la validation et la vérification de l’implémentation des composants logiciels sur un ECU spécifique, dans une topologie réseau donnée. Ainsi, lorsqu’un composant logiciel utilise les services de base sous-jacents standard d’AUTOSAR, comme le gestionnaire d’état ECU, le gestionnaire NVRAM ou le gestionnaire de communication, pour effectuer des tâches spécifiques, son comportement fonctionnel peut être considérablement affecté et des défaillances non fonctionnelles générées par l’implémentation elle-même. La simulation de niveau ECU permet d’évaluer ces impacts
● La simulation de niveau réseau d’ASIM, en cours de développement, simplifiera la validation et la vérification de plusieurs composants logiciels et de plusieurs ECU au sein d’une topologie système complète intégrant les données réseau