用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 博客 | 论坛| 在线研讨会
恒润科技
  • 面向适航标准的基于模型的嵌入式软件开发方法  
  • 发布时间:2019/1/7 10:25:11   修改时间:2019/1/8 10:00:55 浏览次数:441
  • 面向适航标准的基于模型的嵌入式软件开发方法
  • 概述

            随着对航空航天系统的安全性、可靠性、实时性及可操作性等方面的要求越来越高,需要快速开发出安全可靠的嵌入式软件,但传统手工开发代码的方法已很难满足这些需求。润科通用提供基于模型的嵌入式软件设计开发方法可以解决这些问题。


    基本问题

            针对基于模型的嵌入式开发流程,特别是在面向适航DO178C/DO331等高可靠行业规范的嵌入式软件生命周期中,经常遇到如下问题:

    模型/代码如何开发?
            需要考虑模型和需求的追溯,如何协同开发,模型的重复使用,模型维护以及集成等问题,考虑模型的评审,考虑模型模块的使用限制,模型代码生成的安全性限制问题;以及从模型转换为嵌入式代码,需要考虑如何保证模型及生成代码的一致性、高效性、可追溯性及可靠性等问题

    模型/代码如何验证?
            从需求到模型以及代码,测试完备性难度加大,系统功能是否满足需求所定义的期望值,系统功能是否违反需求;测试用例是否充分,模型转换成代码,功能是否等效

    模型如何快速部署目标平台?
            如何降低算法工程师对目标硬件平台的学习成本,算法模型如何高效可靠的快速部署到包括DSP、ARM、PowerPC、FPGA、GPU等嵌入式平台的方法


    解决方案

            如何针对适航标准DO-178C/DO-331等,探索基于模型的开发与验证方法,依托于多年的工程服务经验,润科通用主要考虑了如下基于模型的嵌入式软件开发技术:


    基于模型开发的DO331目标考虑(部分)

            MBDS平台包当前可支持包括多核DSP、PowerPC、FPGA、GPU等同构或异构的嵌入式平台



    咨询服务

    MBD 流程定制:针对客户现有开发流程,定制化适合客户实际情况的 MBD 过程、方法及工具
    MBD 自动化工具开发:自动化规范检查定制、自动化测试流程定制、代码测试工具集成定制、报告生成模板定制、代码生成模板定制等,通过自动化流程定制,尽可能减少设计人员的额外工作量
    MBD 相关培训:图形化建模培训、模型自动生成代码培训、模型测试和验证培训
    MBDS—嵌入式快速部署平台:针对DSP、PowerPC、FPGA、GPU等同构或异构的嵌入式平台,提供开发硬件支持包,可实现模型一键生成代码、编译、链接、下载到嵌入式硬件板卡



  • 企业介绍
恒润科技(HiRain Technologies)是一家持续快速发展的高新技术企业,专业从事汽车、航空航天、车联网、轨道交通等领域的电子产品研发生产、解决方案咨询服务、研发工具代理以及专业培训等,总部位于北京,设有上海、成都、美国底特律、德国慕尼黑分公…  更多>>
  • 联系方式

恒润科技

联系人:秦女士

地址: 北京市海淀区知春路7号致真大厦D座5-10层

邮编:100101

电话:010-64840808-6103

传真:

公司网址:http://www.hirain.com

  • 该空间手机版

扫描此二维码即可访问该空间手机版

  • 在线反馈
1.我有以下需求:



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 张宇翔 在2019/3/25 10:37:00留言
  • 留言类型:我想得到贵公司产品的价格信息,
  • 详细留言:DC-DC 24V转12V 120W~150W输出 车载电源模块
  • 黄雄 在2019/3/25 10:06:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,我让贵公司技术支持人员联系我,
  • 详细留言:公司做燃气表(物联网)行业。 想在嵌入式测试变为和
  • 吴欢欢 在2019/3/19 14:31:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,我让贵公司技术支持人员联系我,
  • 详细留言:我司希望尽快拿到Sigfit-光机热耦合分析工具 的介绍资料和详细报价
  • 贾雨 在2019/3/17 19:27:00留言
  • 留言类型:得到贵公司产品详细资料,得到贵公司产品的价格信息,贵公司产品销售人员联系我,
  • 详细留言:希望能够提供各产品组成主要功能及详细报价清单,另外,如果是面向MBSE的应用,需要购买哪些产品模块,望尽快回复,谢谢。
  • 王可可 在2019/3/15 10:50:00留言
  • 留言类型:贵公司技术支持人员联系我,
  • 详细留言:我这边可以提供各种型号进口和国产连接器
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈