Ada编译器工具链
Ada编译器工具链是迪捷软件提供的面向安全关键系统的开发套件，支持Ada编程语言的编译、优化和代码验证。该工具符合航空和国防等行业的安全标准（如DO-178C），提供静态代码分析、动态测试和形式化验证功能，以确保软件的可靠性、安全性和实时性。它支持多种目标平台集成，包括与SkyEye虚拟仿真平台的协同工作，帮助开发者在虚拟环境中测试和优化代码，减少现场故障风险。适用场景包括航天、军事和医疗设备等安全敏感领域。
SkyEye虚拟仿真平台
SkyEye虚拟仿真平台是迪捷软件的核心产品，主要面向嵌入式系统和安全关键应用领域。该平台提供高性能的硬件虚拟化仿真能力，支持多种处理器架构（如ARM、PowerPC、MIPS等）的模拟执行。它能够实时仿真复杂的嵌入式系统环境，包括硬件外设、多核处理单元和实时操作系统（如VxWorks、RTEMS）。产品用于加速软件开发、调试和测试过程，广泛应用于航空电子、汽车电子、工业控制和网络设备的研发中。其功能包括多核并发调试、故障注入、性能分析和覆盖测试，帮助企业降低硬件依赖成本，提高开发效率和产品安全性。
融资次数
1
员工数量
小于50人
专利数量
13
经营范围
一般项目：软件开发；技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件销售；信息技术咨询服务；计算机系统服务；会议及展览服务；计算机软硬件及辅助设备零售；电子产品销售；机械设备研发；工业控制计算机及系统销售(除依法须经批准的项目外，凭营业执照依法自主开展经营活动)。
主营业务
基于业务范围，公司主营业务为软件开发和技术服务，提供全面的数字化解决方案和技术支持，辅以相关产品销售。
浙江迪捷软件科技有限公司
有限责任公司(自然人投资或控股)
2019-03-08
康烁
admin@digiproto.com
浙江省绍兴市越城区平江路2号绍兴水木湾区科学园3号楼8层802