Ansys SCADE Student - Formal Product Development (English)

Details under https://students.cadfem.net/en/ansys-software-for-students.html#wallpaper-card-122446 In this video, the formal product development process is shown using the V-model, which enables agile product development. Alongside this, the definition and the goal of functional safety is presented. Then the Ansys SCADE tools for the development of safety-critical embedded software and human-machine interfaces are presented. Finally, the Scade language, which was developed specifically for the implementation of reactive embedded software, and its properties are discussed.