基于SCADE的形式化方法的行业应用

主题介绍

本场报告重点介绍以下内容:
形式化方法的发展与现状
基于SCADE形式化方法操作步骤
基于SCADE形式化方法的在航空、航天、轨道交通、核电和汽车电子的案例

如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动

https://v.ansys.com.cn/live/a3059007

演讲人简介

沈轶烨

Ansys公司系统事业部高级应用工程师,主要负责航空航天、轨道交通、核能重工、汽车电子等安全关键行业SCADE产品推广介绍与技术支持。

ARP4754 Handbook - SCADE System - July 2013
Battery Management System - Demo Video (2018)
Efficient Development of Safe Application Software with EN 50128 Objectives using SCADE Suite Handbook - Book
Efficient Development of Safe Applications with IEC 61508 Objectives using SCADE Suite Handbook - Book
Efficient Development of Safe Avionics Software with DO-178C Objectives Using SCADE Suite Handbook - Book
基于模型的系统与软件开发解决方案
系统与软件产品彩页
报名或签到