欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
研究实时系统的程序理论和量化规律，实时软件的测试理论和关键技术，实时软件的验证理论和关键技术，建立与现代主流软件工程标准，兼容的测试和验证方法学，完成具有一定规模的示范演示系统。这些研究将推动实时系统计算理论和可信软件工程技术的发展，对提高安全攸关应用中实时纱统的安全性和可靠性有重要意义。
结论摘要：
本项目在研究过程中，主要面向实时系统的数学模型和程序理论、实时系统的软件测试理论和关键技术、实时系统的软件验证理论和关键技术、实时系统的软件测试和验证工具等方面开展了研究工作。在具体研究内容上，针对实时系统具有的时间、混成、并发、组合等特征，一方面从理论模型、设计模型、实现模型等不同层次研究复杂系统的特征与规律，另一方面基于国际标准（如统一建模语言UML、程序设计语言JAVA、标准C语言等）研究测试与验证的关键技术。项目取得了一系列成果，在国内外高水平期刊和国际学术会议上发表论文（含已录用）90余篇，申请国家专利6项（已获授权1项），获软件著作权3项，获军队科技进步二等奖1项，论文多次被国内外相关领域专家他引。根据本项目研究成果，建立了一组实时系统的测试与验证工具集，并在航空航天、国防等领域中进行了试验性应用，取得了良好的效果。
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
王戟的项目
