Learn with ANSYS SCADE Student how safety critical software is realized in the formal development process.
Details
Motivated by the challenge of a formal development process, the reduction of risks for humans and the environment by implementing safety critical software in ANSYS SCADE Student is demonstrated.
Furthermore, the formal language of SCADE as well as the basic implementation of software requirements in SCADE Suite will be explained step by step, so that students can later develop their own models.
An advanced example using state machines and data flow models completes the first insight into ANSYS SCADE Student and enables the participants to further develop the model independently.
We recommend to download the software free of charge from https://www.ansys.com/academic/free-student-products.
Agenda
- Secure software: definition of terms, necessity and application scenario
- Presentation of ANSYS SCADE Student with a simple example
- Advanced example
Target Group
Beginners ANSYS SCADE, students, private users
Benefits
- Insight and benefits of the formal development process
- Introduction to ANSYS SCADE Student
- Simulation of the behaviour of an advanced model
Lecturers
CADFEM expert
Do you have questions concerning the webinar?
Germany
Austria
Switzerland / Liechtenstein
Additional offers
The right training, hardware and software add-ons are key to achieving a successful and swift introduction to simulation