Applications pour les tâches de commande et de contrôle dans l’industrie, l’automobile, les transports et l’aérospatiale. Cette formation est proposée sous la forme d'un cours de 3 jour(s).
Durée
3 jours
Prérequis
Aucun
Logiciel utilisé
Ansys SCADE Suite, Ansys SCADE Test
- Considérer des exigences de régulation et de contrôle dans la conception
- Utiliser SCADE dans le processus de développement de logiciel/modèle V classique
- Comprendre l’avantage de la génération automatique de code
- Développer et tester le contrôle des exigences jusqu’à l’objectif
Description
Ansys SCADE Suite offre une plateforme pour le développement basée sur des modèles, non seulement pour les applications les plus exigeantes en matière de sécurité fonctionnelle, mais aussi un workflow d’une efficacité inégalée pour d’autres applications dans tous les domaines logiciels embarqués. Le passage des langages de programmation ou des outils de modélisation classiques à SCADE nécessite une nouvelle perspective. L’interaction de l’architecture, du design et de la méthodologie appropriée permet à SCADE de déployer tout son potentiel. Ansys SCADE Suite est l’outil standard, que ce soit dans les programmes aéronautiques comme les Airbus A350 et A380, dans l’ingénierie ferroviaire, mais aussi dans de nombreuses applications industrielles des entreprises de taille moyenne ou dans le secteur automobile, dès lors que l’exactitude vérifiable de l’application logicielle est soumise à des exigences accrues. Différents outils SCADE tels que SCADE Test, SCADE Rapid Prototyper et SCADE KCG permettent la génération automatique de code.
Dans cette formation d’introduction, vous apprendrez les bases théoriques, mais l’accent sera mis sur le transfert pratique des connaissances, des compétences et des bonnes pratiques comme base solide pour le démarrage direct de votre projet. Cette formation s’adresse à tous les développeurs de logiciel et informaticiens qui cherchent à s’initier au développement de logiciel embarqué basé sur des modèles numériques de façon pragmatique. Nous nous adressons toutefois aussi délibérément à des techniciens et à des ingénieurs qui cherchent une solution à leurs problèmes de contrôle et de régulation du point de vue applicatif.
Agenda détaillé de cette formation de 3 jours
Jour 1
01 Développement formel de produits avec les outils SCADE
- Introduction au processus formel de développement
- Comment les outils SCADE d'Ansys soutiennent le processus
- Exigences pour le développement de logiciels embarqués
- Développement critique pour la sécurité avec le langage formel Scade
- Scade textuel et graphique
- Atelier : Mise en place d'un opérateur logique simple
02 Introduction à la suite SCADE
- Où puis-je trouver quoi ? Éléments de l'interface de SCADE Suite
- Personnalisation de l'interface graphique : perspectives, barres d'outils et fenêtres d'accueil
- Opérateurs de base
- Les bonnes pratiques : ordre, structure et organisation des projets
- Atelier : Mise en œuvre d'un opérateur sur la base d’un cahier des charges.
03 Structuration et documentation des modèles
- Comment documenter les modèles et les opérateurs ?
- Exigences en matière de documentation pour les modèles pouvant être certifiés
- Mise en œuvre des exigences en matière de traçabilité
- Réutiliser les opérateurs et afficher les dépendances
- Travail d'équipe : lisibilité et ordre dans les modèles graphiques
- Atelier : Mise en œuvre d'un modèle complexe de flux de données
04 Modèles de données et constantes propres
- Définition des types et des structures de données
- Rendre les modèles dynamiquement adaptables avec des constantes
- Le travail d'équipe : Utilisation des bibliothèques
- Cartographie des modes de fonctionnement avec les machines d'État
- Contrôle des modèles : déterminer les paramètres, fixer et vérifier les règles
- Atelier : Mise en œuvre d'une simple machine d’états dans le modèle de flux de données
Jour 2
05 Développement et validation de la conception itérative
- Contrôles syntaxiques et sémantiques
- Validation de la fonction de conception avec le simulateur SCADE
- Débogage avec Watch and Graph
- Tests interactifs et scénarios de simulation reproductibles
- Spécifier les données d'entrée de la simulation à l'aide d'un script
- Atelier : Tous les ateliers ont-ils été correctement mis en œuvre hier ?
06 Contrôler le flux avec les machines d'État
- Qu'est-ce qu'une machine d'État et à quoi sert-elle ?
- Comprendre les transitions et les changements d'état
- Aides pratiques : utilisation des signaux comme transition d'état
- Parallèles et imbriqués : cartographie des cascades d'états complexes
- Mélanger le flux de données et le flux de contrôle
- Atelier : Contrôler le flux avec les machines d'état
07 Vérification du fonctionnement du logiciel
- SCADE Rapid Prototyper comme "banc d'essai de logiciels" virtuel
- Scénario d'application du Prototypeur rapide
- Utiliser des widgets de saisie et d'affichage prêts à l'emploi
- Associer des widgets aux modèles Scade
- Panneau de commande de l'atelier : Réalisation d'un test fonctionnel
08 Vérification et validation
- Tests basés sur des modèles dans le cycle de développement
- Travailler avec le test SCADE
- Créer des scénarios pour les tests automatiques
- Examen d'un test de l'interface graphique et rapport
- Tests de modèle et de couverture de code
- Atelier : réalisation d'un projet test
Jour 3
09 Opérateurs horaires et autres opérateurs spéciaux
- Exécution conditionnelle des opérateurs
- Travailler avec les structures de contrôle : if-bloc, when-bloc
- Utilisation de l'historique des entrées et des sorties
- Travailler avec des variables et des sondes locales
- Atelier : Approfondissement du contenu du module par des exemples pratiques simplifiés
10 Types génériques et tableaux
- À quoi servent les définitions de type génériques ?
- Mise en œuvre d'opérateurs utilisant des types génériques
- Des tableaux pour de grands ensembles de données complexes
- Les bonnes pratiques : Des tableaux à taille variable
- Accéder, écrire et modifier des éléments de tableau
- Atelier : Approfondissement du contenu du module au moyen d'exemples pratiques simplifiés
11 Traiter des données complexes avec des itérateurs
- Il n'y a pas de boucle ici ?
- Itération de données complexes
- Traitement des données avec map, fold et mapfold
- Atelier : Application des itérateurs
12 Génération de code et intégration du matériel
- Code source : Générer du code C à partir des projets Scade
- Modifier les propriétés de génération de code
- Utilisation du code C existant dans Scade
- Intégration hardware du code source
- Démonstration : Intégration hardware à l'aide d'un exemple simple
Formateurs
Données sur les participants
Informations complémentaires
Commentaire sur l'article
Qu'il s'agisse d’eLearning, de formation sur site, de cours en ligne ou de formation individuelle, décidons ensemble de la meilleure solution pour vous.
En réservant par l'intermédiaire de votre université, vous bénéficiez d'une réduction de 50 % sur le tarif indiqué pour les cours et les cours eLearning. Pour plus d'informations sur la validité et le fonctionnement de la réservation avec le code ACADEMIC50, veuillez consulter notre page sur les formations pour les utilisateurs académiques.
Immédiatement après votre inscription, vous recevrez un accusé de réception automatique envoyé aux adresses e-mail fournies. Une fois la vérification des données fournies effectuée, vous recevrez votre confirmation d’inscription personnalisée par e-mail dans un délai de 2-3 jours ouvrables avec des informations supplémentaires concernant les frais de la formation, l’adresse de facturation, etc.
Dès que le nombre minimum de participants sera atteint, vous recevrez une confirmation finale de la formation. Nous vous recommandons de ne faire la réservation finale du voyage qu’après cette date.
Si le nombre minimum de participants n’est pas atteint, nous nous réservons le droit d’annuler la formation au plus tard 7 jours avant son début. Nous nous ferons un plaisir de vous aider à trouver une autre date. Veuillez noter que nous déclinons toute responsabilité en cas de réservations d’hôtel ou de voyage déjà effectuées par les participants.
En général, les formations commencent à 9h00 et se terminent à 17h00 (heure locale). Les heures effectives des cours seront indiquées dans la confirmation de réservation. Veuillez noter que, selon l'organisateur de la formation, il peut y avoir un décalage entre votre heure locale et celle du prestataire. C'est pourquoi toutes les heures locales sont fournies avec le décalage à la référence GMT.
La formation prévoit des exercices intermédiaires et finaux pour la mise en pratique des éléments objets de la formation. Le formateur présentera la résolution de ces exercices et s’assurera de la bonne compréhension de chaque module du cours à l’aide de QCM. Une attestation de formation attestera de la validation de l’évaluation des connaissances pour chaque module et pour la formation globale.