La formation Systerel Smart Solver permettra aux participants d’acquérir les notions fondamentales de Model Checking et de maîtriser la construction d’un modèle formel pour vérifier un système.
Systerel propose une gamme de solutions éprouvées industriellement pour l’analyse statique ou la preuve formelle de systèmes ou logiciels à l’aide de technologies à base de Model Checking et de HLL.
Systerel Smart Solver est un moteur d’analyse basé sur les technologies SAT. Ce moteur est notamment utilisé dans le cadre des vérifications de sécurité pour de nombreux systèmes, notamment dans les domaines ferroviaire ou aéronautique.
Objectifs
- Acquérir des notions de model-checking
- Savoir bâtir un modèle formel du système à vérifier
- Apprendre à mettre en œuvre Systerel Smart Solver pour vérifier le comportement d’un système
- Comprendre comment s’inscrit Systerel Smart Solver dans un processus certifiable
Pré-requis
- Première expérience d’un langage de programmation
- Connaissance des principes de modélisation
- Connaissance de base en informatique et en mathématiques
Programme : formation Systerel Smart Solver
Programme sur 2 jours
- Introduction au Model Checking
- Principe du langage HLL
- Principes de modélisation avec HLL
- Les outils de Systerel Smart Solver et leurs utilisations
- Présentation d’un processus certifiable avec Systerel Smart Solver
Évaluation
Des questionnaires seront établis en début et en fin de formation afin d’évaluer les acquis.–
Formation Systerel Smart Solver
Vérification formelle basée sur le Model Checking
Cette formation permettra aux participants d’acquérir les notions fondamentales de Model Checking et de maîtriser la construction d’un modèle formel pour vérifier un système.
Ils apprendront aussi à utiliser le Systerel Smart Solver pour analyser le comportement de ces systèmes et comprendront comment cet outil s’intègre dans un processus certifiable.
Des formations adaptées à vos besoins
Les formations peuvent être dispensées en présentiel ou à distance.
Nous pouvons également proposer une formation en interne, spécialement conçue pour répondre aux exigences de votre entreprise.
N’hésitez pas à nous contacter pour plus d’informations : formation@systerel.fr
Taux de satisfaction 2023 : 92 %*
* Taux moyen sur la base des enquêtes de satisfaction réalisées lors des formations.
La certification qualité a été délivrée au titre de la catégorie « actions de formation ».
En savoir plus sur nos formations
Modalités et contactCatalogue des formations
Activité enregistrée sous le numéro 93 13 12834 13 auprès du préfet de région Provence-Alpes-Côte d’Azur.