全军武器装备采购信息网-计算机、通信和其他电子设备制造业

北京迪捷数原科技有限公司

发布时间:2016-08-19 12:05:01 点击数:189
基本信息
单位名称 北京迪捷数原科技有限公司 企业网址 www.digiproto.com
法人代表姓名 康烁 主营业务关键词 嵌入式;全数字;实时性
行业类别 计算机、通信和其他电子设备制造业
专业领域 计算机与软件、体系建模仿真与评估 、电子信息、卫星应用、可靠性/测试性/维修性
企业简介
北京迪捷数原科技有限公司是专注于关键领域的嵌入式软件工具提供商,公司注册资金人民币500万元,位于北京市海淀区上地国际创业园。我们致力于提供从前期设计到后期验证测试的全生命周期的嵌入式软件工具,产品主要应用于航空、航天、国防、高铁、核电等关键领域的嵌入式软件开发。
主营业务简介
北京迪捷数原科技有限公司的所有产品均为自主研发,其研发团队来自清华大学信研院的操作系统中心,在嵌入式系统软件研制工具、可信软件研发平台等方面已有数十年的积累,并且在动态二进制翻译、符号执行和形式化证明等科研领域也处于国内领先水平。
产品技术
免责声明:本内容由政府机构、行业协会和企业自行提供,上述单位应依法对其提供的任何信息承担全部责任。