资源描述：
《基于模型的嵌入式软件开发》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、基于模型的高安全性系统和软件开发环境SCADE介绍电话:+862163351885-231邮件:rdong@esterel.com.cn网页:www.esterel-technologies.com1©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary议程•EsterelTechnologies简介•基于模型的系统和软件工程•SCADE产品概览•SCADE详
2、细介绍•总结2©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&ProprietaryEsterelTechnologies简介3©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&ProprietaryEsterelTechnologies公
3、司是专注于为高安全性系统与软件开发提供基于模型的解决方案，并降低成本、风险与认证时间EsterelTechnologies是ANSYS的系统事业部4©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&ProprietaryEsterelTechnologies一览主要业务全球分布安全关键领域，基于模型的解决方案供8个国家设有直接代表处,客户遍及29应商的领导者个国家主要客户:25
4、0+终端市场航空航天与国防,轨道交通，核能、汽车、重工等认证DO-178B/C,EN50128,ISO26262与IEC61508(及其派生标准)–软件安全认证财务ISO9001:2008–嵌入式软件工具与服务的销售与设计认证12年稳健增长复合年增长率>20%5©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary基于模型的系统和软件工程解决方案6©2013A
5、NSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary为什么要基于模型7©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary传统的开发流程人工,基于文档,容易产生错误,不容易变更需求分析设计实现集成高开发和维护成本高
6、系统集成风险www.aadl.info8©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary传统的开发流程系统设计阶段系统开发阶段项目管理软件需求过早开始编码手写代码缺陷管理代码调试编写规格说明文档管理设计结果割裂分析测试任务管理项目组织不能很好实施设计协作管理系统集成反复迭代组件管理原型9©2013ANSYS,Inc.January21,2015©Este
7、relTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary基于模型开发流程无二义性的描述，早期及整个生命周期可预测分析验证架构建模和分析系统集成需求分析快速集成可预测的操作可升级降低成本依据架构进行开发10©2013ANSYS,Inc.January21,2015www.aadl.info©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprie
8、tary有没有完整的解决方案11©2013ANSYS,Inc.January21,2015©EsterelTechnologies-AnISO9001:2008CertifiedCompany-Confidential&Proprietary基于模型系统和软件工程解决方案多学科仿真平台:SimplorerDOORS系统需求系统级行为仿真多学科联合仿真系统验证子系统验证SC
