基于模型的航空系统安全与信息安全分析

主题介绍

航空领域的安全问题一直是业内关注的重点,ARP4761等标准对于民航领域的安全评估提出了具体的方法和流程指南,近年来,对于网络信息安全,业内也提出了新的标准和要求。这对整个行业的民航产品研制和认证提出了一系列更高的要求和挑战。本议题将讨论如何应用基于模型的安全分析方法,结合最新的系统安全标准ARP4761A 和网络安全标准DO-326A、DO-356A,满足民航系统安全和网络安全的认证要求。

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

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

演讲人简介

杨瑾婧 

杨瑾婧,Ansys 系统事业部亚太区安全咨询,多年来从事安全关键领域系统和软件开发与认证技术咨询工作,参与航空、汽车、轨道等领域多个重点项目的认证、工具鉴定等。

ansys-medini-for-aerospace-data-sheet
medini analyze模块介绍 2020 R1
ARP4754 Handbook - SCADE System - July 2013
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
基于模型的系统与软件开发解决方案
系统与软件产品彩页
报名或签到