[00063857]设计安全软件的完备演算系统及嵌入式系统设计平台
联系人： 齐晴
所在地：上海 崇明
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
技术投资分析：
国外软件工业界在程序开发过程中，其程序可靠性多数依靠于程序性质的后验证或查错上。
本项目的演算技术强调的是设计正确的开发方法和使用数学和逻辑推理技术检查所要编译程序的正确性。具体使用方法是在程序中插入一些额外的记号，例如断言等，可以极大地提高程序代码中主要部件的可信度，以此来避免由于在系统开发后期才发现错误而造成的经济损失。
技术的应用领域前景分析：
可广泛应用于包括核反应堆，飞机和各类航天器，电子商务管理、金融、通讯、电站和交通管制等重要领域的安全软件。
效益分析：
本技术市场应用范围广，利润丰厚，效益十分可观。
厂房条件建议：
无
备注：
无
