Ansys可信人工智能嵌入式系统软件解决方案

主题介绍

随着人工智能技术应用的不断深入,高昂的研发成本限制企业的持续进步,安全和道德问题逐渐引发人们的深刻思考。如何构建可信人工智能系统成为当前科研人员和企业关注的重点。Ansys整合世界领先的可信软件工程解决方案助力可信人工智能嵌入式系统软件开发:Ansys与卡内基梅隆大学联合开发的智能感知算法验证套件SCADE Vision,基于云端部署的后台搜索引擎和网络前端人机界面的综合分析,有效降低AI智能感知算法的验证效率并快速定位AI智能感知算法的潜在缺陷;Ansys SCADE提供一套完整的基于模型的软件工程解决方案,支持“构建即正确”的算法逻辑和“所见即所得”的人机界面开发与验证,工具模块通过各类国际安全标准的工具鉴定并提供各类安全鉴定支持,有效保障软件安全质量并显著提升软件开发效率。

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

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

演讲人简介

王文全

Ansys 系统事业部高级应用工程师,有多年的安全关键系统软件从业经验,有丰富的软件研发、项目实施、外场联试、系统工程和项目管理经验。曾就职于某军工研究所,主要方向为机载嵌入式软件,目前工作为基于SCADE的模型驱动系统和软件工程的推广和实践。已经为航空、国防、轨道交通等领域的多个客户提供SCADE在项目中的实施咨询服务,包括研制流程的定义和定制、设计标准定制、基础库设计、研制平台建设等。在多年的实际项目工作过程中积累了丰富的基于SCADE模型驱动的软件工程实践经验。熟悉民用航空适航标准和军用软件研制标准体系,在若干项目中结合SCADE进行符合这些标准的项目实施。

ANSYS SCADE Vision助力基于人工智能的感知软件测试与安全提升
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
基于模型的系统与软件开发解决方案
系统与软件产品彩页
Battery Management System - Demo Video (2018)
报名或签到