This introduction video shows the basics of formal product development, functional safety and Ansys SCADE.
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.
21:16
minAnsys SCADE Student - Formal Product Development
The use of the service requires consent to the activation of marketing cookies. If consent is given, personal data will be transferred to third parties in third countries that do not offer an adequate level of protection. Consent can be revoked at any time with effect for the future by deactivating the marketing cookies in the cookie settings .