X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
帮助中心  |  关于青海技术市场
欢迎来到青海技术市场,请  登录 |  注册
尊敬的 , 欢迎光临!  [会员中心]   [退出登录]
当前位置: 首页 >  科技成果  > 详细页

[00063857]设计安全软件的完备演算系统及嵌入式系统设计平台

交易价格: 面议

所属行业: 软件

类型: 非专利

技术成熟度: 正在研发

交易方式: 完全转让

联系人: 齐晴

所在地:上海 崇明

服务承诺
产权明晰
资料保密
对所交付的所有资料进行保密
如实描述

技术详细介绍

技术投资分析:   国外软件工业界在程序开发过程中,其程序可靠性多数依靠于程序性质的后验证或查错上。   本项目的演算技术强调的是设计正确的开发方法和使用数学和逻辑推理技术检查所要编译程序的正确性。具体使用方法是在程序中插入一些额外的记号,例如断言等,可以极大地提高程序代码中主要部件的可信度,以此来避免由于在系统开发后期才发现错误而造成的经济损失。 技术的应用领域前景分析:   可广泛应用于包括核反应堆,飞机和各类航天器,电子商务管理、金融、通讯、电站和交通管制等重要领域的安全软件。 效益分析: 本技术市场应用范围广,利润丰厚,效益十分可观。 厂房条件建议: 无 备注: 无

推荐服务:

微信 电话 顶部 工作人员:0971-7612617

关注我们

微信公众号

平台服务热线:

0971-6121697

工作日(8:30-18:00)

Copyright ©  2019        青海技术市场        青ICP备18001110号-4