上证报中国证券网讯 日前,由科大国创(300520)牵头建设的安徽中科国创高可信软件有限公司成功入选首批合肥高新区以企业为主体协同创新平台项目,并签署了“合肥高新区以企业为主体的协同创新平台――高可信软件云平台”合作共建协议,标志着科大国创持续投入研发的高可信软件开始崭露头角。
高可信软件是指可靠、可信和安全性标准极高的软件,为国家安全攸关行业提供高安全性、高可靠性、高可信性保障,是国家信息和网络安全的关键性技术和基础工具的护城河,具有重要的战略意义。
科大国创依托中国科学技术大学软件安全实验室和中国科大――国创高可信软件工程中心的教授、博士团队,经过10多年的相关理论研究,在嵌入式操作系统验证、关键算法的形式化验证、安全C程序验证工具和C/C++程序内存安全与缺陷分析等方面完成了诸多理论突破。在此基础上,公司控股子公司中科国创高可信秉承“打造自主智能软件,为软件质量与安全而奋斗”的理念,以自主的智能算法研发了业内领先的程序分析和程序验证工具等原创软件产品,为人工智能、机器人、无人驾驶、军工、航天、核电等安全攸关的关键领域的软件安全可靠提供保障。
目前,在程序分析工具方面,科大国创已推出“USTCHCS 分析工具集”,实现了对C和C++程序的静态分析,可运行于多种操作系统和开发平台,支持多种国际、国家和行业标准;在程序验证工具方面,科大国创推出了“科创验证器学习平台”,在国创云平台上线公开。
此次,由合肥高新区与科大国创共同签约打造的“高可信软件云平台”是国内高可信软件领域产学研用紧密结合的新型创新平台。汇聚和连接研究、学习、应用与开发者,构建高可信软件的生态体系,旨在推动高可信软件在国家安全和社会稳定密切相关的关键基础设施建设中发挥关键作用,形成具有世界领先水平的高可信软件开发工具产品及技术,打造以程序分析和程序验证为核心的高可信软件集成开发平台。这也标志着科大国创领先的高可信软件技术已走出开发间,技术成果已崭露头角,为进一步的规模市场化应用奠定坚实基础。(胡心宇)
● 短期趋势:股价的强势特征已经确立,短线可能回调。
● 中期趋势:有加速上涨趋势。
● 长期趋势:迄今为止,共19家主力机构,持仓量总计9077.20万股,占流通A股45.99%
综合诊断:近期的平均成本为26.66元,股价在成本上方运行。多头行情中,并且有加速上涨趋势。该股资金方面受到市场关注,多方势头较强。该公司运营状况良好,多数机构认为该股长期投资价值一般。贵州茅台3万吨酱酒技改部分车间投用。讯(记者赵述评王傲)9月25日,记者从习水县融媒体中心了解到,贵州茅台(600519)3万吨酱香系列酒技改工程及配套设施项目(以下简称“项目”)新寨片区生产性设施基...
艾德生物:截止2022年6月30日,公司货币资金中有3711万美元。艾德生物(300685)09月23日在投资者关系平台上答复了投资者关心的问题。投资者:为何公司现金里,包含了大量的美元,但公司的海外...
华润微:推动功率半导体封测基地项目建设 12吋产线预计年底前贡献产能。9月26日,华润微(688396.SH)在业绩说明会上表示,公司目前拥有6英寸晶圆制造产能约为23万片/月,8英寸晶圆制造产能约为...
公司前线|庞大集团控股股东天津深商北方有限公司质押37500万股。据快查APP了解到,9月29日公告显示,庞大集团(601258)(601258)控股股东天津深商北方有限公司质押37500万股,本次质...
众业达:投资者朋友公司目前暂无与换电站合作。众业达(002441)09月26日在投资者关系平台上答复了投资者关心的问题。投资者:两桶油下场建设换电站,贵公司除了充电桩之外有换电站合作吗?贵公司有相关技...
本文“科大国创与合肥高新区共建高可信软件云平台 护航数字经济创新发展”由壹米财经整理发布,欢迎转载收藏,转载请带上本文链接。
免责声明:【壹米财经】发布的所有信息,并不代表本站赞同其观点和对其真实性负责,投资者据此操作,风险请自担。部分内容文章及图片来自互联网或自媒体,版权归属于原作者,不保证该信息(包括但不限 于文字、图片、图表及数据)的准确性、真实性、完整性、有效性、及时性、原创性等,如有问题,请联系我们!