ANSYS基于模型的系统工程和安全性分析

ANSYS基于模型的系统工程和安全性分析目录ANSYS基于模型的系统工程ANSYSmedini安全性分析目录ANSYS基于模型的系统工程AGeSys和SAVI项目ANSYSMBSE/MBSwE体系ANSYSmedini安全性分析/\NSYSSystemsEngineeringWorkshopSystemArchitectureVirtualIntegration工业应用案例航空Airbus：座舱控制显示报警系统(CCDWS)Sagem：备用航电飞行指令(SFCC)Snecma：航空发动机调整系统(FADEC)Thales：自动驾驶(AFCS)轨道Alstom：关键功能模型化Thales：地铁速度控制(CBTC)汽车(Renault,PSA,Conti,Valéo)电子和机电一体化系统 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 车辆热舒适摩托推进组座舱控制，显示和告警系统（CDS）的子集。从高级操作需求到系统功能及其动态面貌。目标：通过提供从操作需求到系统需求，具有可追溯性和模拟能力的端到端基于模型的 方法 快递客服问题件处理详细方法山木方法pdf计算方法pdf华与华方法下载八字理论方法下载 ，改进系统设计过程。使用SysML搭建系统功能架构将SysML模型耦合到行为模型，以便将架构连接到系统需求。通过模型表示需求，并连接到需求文档。AGeSys–Airbus案例座舱控制显示报警系统1/顶层需求分析文本需求分析2/操作分析操作场景建模3/功能分析功能架构建模4/行为分析软件和人机界面建模建模流程从操作场景中提取模型通过对预期的产品使用方法进行描述，来确定所需要的系统功能UML活动图1/关注某个阶段2/起飞任务定义（多系统）操作功能3/确定起飞过程中和CDS相关的部分4/向系统级精化功能分解定义功能架构：确定功能和接口SysMLBDD/IBD图持续精化直到功能可以分配到设备软件设计软件建模：功能行为定义接口相同可能的架构变更Simulation仿真验证行为：是否操作场景符合预期?SCADESuite和SCADERapidPrototyper/SCADEDisplay联合仿真/\NSYSPredictiveValidatedAIRBUS谷立妇匹O芦dologlesO空立＿<EMBRAER豆。HoneywellRoe.勺芬sn＠考沁血...丘心归叩I吐ltute4'叩........SAVIPartnersTheSAVIP「oeramisworkirewithseve'apanne飞toleveraeeexistineande'T1ere1nglBdngse,;s,;ngp,o,enpmmses;ntoamode,n'°"""'勹otln(°'°''=江古芯比霖如tedSAVIVirtualIntegrationProcessHigherLevelVerificationChecks HigherLevelModels,耜盟IU一.,一,'"""一"techroloe1es入俎ventium·＿书uroste1r•.•Co11lin11011slutegralio11系统开发的需求AGESYSSafran,Sagem,Thales,Airbus,…1)全局方法，混合模型和文本需求2)系统架构设计的工具需求3)从架构到软件、安全分析、系统仿真的工具工作流程支持美国国防部门Boeing,NorthtropGrumman,UTAS,GE,Honeywell,..4)和FACE兼容5)支持AADL，连接SysMLANSYSMBSE/MBSwE体系三维物理场仿真基于模型的系统工程 多物理场和系统仿真基于模型的软件工程降阶模型系统/软件架构ANSYSSimplorer系统架构系统安全验证ANSYSmedini安全分析MBSE系统工程用户需求操作需求分析系统需求功能分配系统功能系统架构系统设计SCADEArchitect安全分析Medini软件设计Su系ite统&设计Display系统仿真Simplorer行为图系统需求行为分析结构图功能分解架构设计功能分配数据传播功能分解和架构设计SCADEArchitect数据管理导入/导出数据字典自动生成ICD<Ctrl>c双向拷贝<Ctrl>vSCADEArchitect专业领域定制SCADEArchitectConfiguratorSCADEArchitectModeler配置插件生成部署专家用户定制行业领域专用对象定制的建模对象可直接使用SCADEArchitectConfigurator经过配置的模板和属性定制SCADEArchitect，用于特定用户或者领域，如IMA、AUTOSAR等等。隐藏SysML语言的复杂性加速MBSE部署SCADESystemConfigurator嵌入式系统安全分析航空ARP4754汽车ISO26262Medinianalyze– 基于模型的集成方法基于系统架构和设计模型，集成质量、可靠性和安全分析方法系统模型功能,架构,设计,硬件,软件安全分析相关属性扩展基于模型的方法保证了无与伦比的一致性、可追溯性和高效率PHA/HARAFMEAFTAMetricsSafetyRequirementsHAZOP系统需求安全分析转换合并Architect与Medini同步追溯性系统设计SCADEArchitectMedinianalyseArchitect与Simplorer同步0-+BatterympEngineTorqueEngineSpeedThrottletransEnginebattpulleyAlternatorOnSpeedrottleCmdCruiseSpeedThCruiseStateCarSpeedCruiseSpeedCruiseStateThrottleCmdAcceleratorAccelBrakeBrakeOnQuickAccelQuickAccelelQuickDecelQuickDecOff OffResumeResumeSet SetSysML到Simplorer自动生成在Simplorer中进行系统需求验证SIMPLORERSimplorer系统仿真（包括嵌入式控制和显示控制）0-+Batterym pEngineTorqueEngineSpeedThrottletransEnginebattpulleyAlternatorTransmissiondrivetrainFlangevehicleSpeedvehDrivetrainvehrho=1.259s=1.7cd=0.45AeroDragOnOffResumeSpeedrottleCmdCruiseSpeedThCruiseStateCarSpeedCruiseSpeedCruiseStateThrottleCmdAcceleratorAccelBrake BrakeOnSet SetQuickAccelQuickAccelelResumeQuickDecelQuickDecOff控制器（由SCADESuite建模）引擎模型车辆气动阻力模型交互式显示控制（由SCADEDisplay建模）电子子系统电池，电机，负载传动系统基于高精度仿真系统模型，验证控制算法和嵌入式软件采用模型在环、软件在环技术架构-设计-代码软件架构软件设计AutoAdaC软件代码AutoAuto软件系统ANSYSMBSE/MBSwE体系三维物理场仿真基于模型的系统工程 多物理场和系统仿真基于模型的软件工程降阶模型系统/软件架构ANSYSSimplorer系统架构系统安全验证ANSYSmedini安全分析目录ANSYS基于模型的系统工程ANSYSmedini安全性分析应用背景Medini工具功能介绍优势应用背景目的不存在不可接受的由E/E系统失效所导致的的风险安全危险不可接受的风险低风险高风险ASIL严重度暴露率可控度QMASILBASILCASILDASILA应用背景解决的问 题 快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题 系统失效（systematicfailure）随机硬件失效(RandomHardwarefailure)应对的措施过程：研发，生产，管理技术：监控措施，控制措施ANSYSmedini全流程支撑工具安全生命周期&支撑方法概念阶段开发相关项定义概念阶段开发危害分析和风险评估系统/硬件/软件阶段开发系统/硬件/软件阶段开发需求开发和管理跟踪性，一致性，正确性系统/硬件/软件阶段开发安全架构设计（SysML）系统/硬件/软件阶段开发流程安全架构设计（SysML）1.结构化、分层设计； 2. 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 化、模块化、可复用系统/硬件/软件阶段开发流程架构验证（FMEA/FMEDA）系统/硬件/软件阶段开发架构验证（FMEA/FMEDA）1.分层,结构化； 2.关联性 3.模块化、复用性系统/硬件/软件阶段开发架构验证（FTA）PMHFCutSet系统/硬件/软件阶段开发架构验证传统方法：单点工具支持独立任务1.一致性很难保证；2.数据的共享很难实现，导致时间和精力的浪费ANSYSmedini开发流程基于模型的集成开发1.一致性；2.可追溯性；3、高效性；4、资源共享工具集成解决 方案 气瓶 现场处置方案 .pdf气瓶 现场处置方案 .doc见习基地管理方案.doc关于群访事件的化解方案建筑工地扬尘治理专项方案下载 丰富的其他工具接口咨询服务搭建满足ISO26262的管理体系；ISO26262在具体产品中的实施；符合ISO-26262总线及ECU时间分析；嵌入式软件实现、测试咨询软件静态、动态测试咨询电控单元自动代码生成技术高级培训嵌入式软件高级（黑盒/白盒）测试定制培训ANSYSmedini安全性分析我们的用户感谢聆听