• 【视频】基于SkyEye的飞腾芯片仿真运行国产操作系统

    在芯片国产化的大潮中,飞腾绝对可以占据一席之地。迪捷软件作为国内基础软件提供商,自然少不了对国产化的支持。SkyEye全数字实时仿真软件不仅可以支持一些主流的嵌入式处理器,还能够支持飞腾、龙芯等国产处理器的仿真。 本视频展示了基于SkyEye的FT2000A芯片仿真运行,除了仿真运行风河的VxWorks操作系统外,还可以运行国产天脉操作系统。天脉操作系统是我国自研的操作系统,按照DO-178B的最高安全等级“A”级要求进行技术开发,符合国际ARINC653标准,实时性强,支持中断嵌套,响应迅速,已经在各类航空发动机上得到应用。

    2021-11-26 digiproto

  • 基于SkyEye的覆盖率测试

    覆盖率测试是一种白盒测试手段,通常会在软件测试的早期阶段进行,也就是单元测试过程中。覆盖率测试这种测试方式需要对测试代码本身进行访问同时对代码进行插桩处理,再根据程序的内部结构完成测试工作。覆盖率测试的过程中需要做到有效覆盖程序的语句以及分支结构,尽量在测试过程中发现隐藏的软件缺陷从而保证软件的质量。

    2021-10-28 digiproto

  • 【视频】SPARC架构TSC695F仿真

    星务中心计算机是微小卫星电子系统的核心部件之一,常用双TSC695F处理器加外围功能模块实现,它的主要作用是诊断 状态、安排整星任务的运行和调度,使卫星能正常运行。宇航计算机芯片是微小卫星整星电子系统一体化设计的一个重要组成部分,由于进入太空,空间计算机系统就具有不可修复性 ,这要求系统有很强的容错能力,即使在故障条件下,还能正常工作。

    2021-10-22 digiproto

  • 神舟十三号载人飞船发射!

    据中国载人航天工程办公室消息,经空间站阶段飞行任务总指挥部研究决定,瞄准北京时间10月16日0时23分发射神舟十三号载人飞船,这天也是我国首颗原子弹爆炸成功纪念日,从上甘岭到空间站,坚守是最好的纪念!在实施载人航天工程20年的过程中,“载人航天,人命关天,成败系于毫发,质量高于一切”,安全永远放在第一位!

    2021-10-18 digiproto

  • 科技创新,助力尖端——省人大常委会党组副书记、副主任李卫宁走访迪捷软件

    走访期间李卫宁书记一行观看了公司介绍短片,随后参观了迪捷软件的展厅与办公区,并与迪捷软件副总田娜进行了充分、有效的沟通和交流。

    2021-09-27

  • 迪捷软件受邀出席中车软件质量提升交流会

    随着信息技术的飞速发展,软件产品已应用到社会各个领域,软件质量就是软件产品的灵魂,软件质量的保障也因此变得尤为重要。10月22日,以“形式化验证”为主题...

    2021-06-03 迪捷软件

  • 迪捷软件启航杯MBSE建模大赛见闻

    2020年10月27日,由中国航天科技集团有限公司八院八〇五研究所(上海宇航系统工程研究所)与中国商用飞机有限责任公司北京民用飞机技术研究中心(以下简称中国商飞北研中心)共同主办的“启航杯”...

    2021-06-03 迪捷软件

  • 第15届CLK(中国Linux内核开发者)大会圆满落幕 - 附直播回放

    2020年10月24日,由清华大学、迪捷软件、英特尔、阿里巴巴、富士通南大、腾讯、今日头条、华为等组织的第15届CLK大会在湖南长沙马栏山文创园成功举办。

    2021-06-03 迪捷软件

首页
产品
新闻
联系