Lernen Sie anhand von ANSYS SCADE Student wie sicherheitskritische Software im formalen Entwicklungsprozess realisiert wird.
Details
Motiviert durch die Herausforderung eines formalen Entwicklungsprozesses wird die Reduzierung von Risiken für Mensch und Umwelt durch die Umsetzung sicherheitskritischer Software in ANSYS SCADE Student aufgezeigt.
Des Weiteren wird die formale Sprache von SCADE sowie die grundlegende Umsetzung von Softwareanforderungen in SCADE Suite Schritt für Schritt erklärt, um später eigene Modelle entwickeln zu können.
Ein fortgeschrittenes Beispiel unter Verwendung von Zustandsmaschinen und Datenflussmodellen rundet den ersten Einblick in ANSYS SCADE Student ab und ermöglicht den Teilnehmern das Modell selbständig weiterzuentwickeln.
Hierbei empfehlen wir schon vorab die Software kostenfrei auf https://www.ansys.com/academic/free-student-products herunterzuladen.
Agenda
- Sichere Software: Begriffsdefinition, Notwendigkeit und Anwendungsszenario
- Vorstellung ANSYS SCADE Student anhand eines einfachen Beispiels
- Fortgeschrittenes Beispiel
Zielgruppe
Einsteiger ANSYS SCADE, Studenten, private Nutzer
Ihr Nutzen
- Einblick und Nutzen des formalen Entwicklungsprozesses
- Einführung in ANSYS SCADE Student
- Simulation des Verhaltens eines fortgeschrittenen Modells