Apprenez avec ANSYS SCADE Student comment les logiciels critiques pour la sécurité sont réalisés dans le processus de développement formel.
Détails
Motivée par le défi d'un processus de développement formel, la réduction des risques pour l'homme et l'environnement par la mise en œuvre de logiciels critiques pour la sécurité dans ANSYS SCADE Student est démontrée.
En outre, le langage formel de SCADE ainsi que la mise en œuvre de base des exigences logicielles dans SCADE Suite seront expliqués étape par étape, afin que les étudiants puissent plus tard développer leurs propres modèles.
Un exemple avancé utilisant des machines d'état et des modèles de flux de données complète le premier aperçu d'ANSYS SCADE Student et permet aux participants de développer le modèle de manière indépendante.
Nous vous recommandons de télécharger le logiciel gratuitement à partir de https://www.ansys.com/academic/free-student-products.
Agenda
- Logiciels sécurisés : définition des termes, nécessité et scénario d'application
- Présentation d'ANSYS SCADE Student avec un exemple simple
- Exemple avancé
Public cible
Débutants ANSYS SCADE, étudiants, utilisateurs privés
Votre Bénéfice
- Aperçu et avantages du processus de développement formel
- Introduction à ANSYS SCADE Étudiant
- Simulation du comportement d'un modèle avancé