简要技术说明及主要技术性能指标.PDFVIP

简要技术说明及主要技术性能指标 由石家庄铁道大学研发的《国产操作系统应用软件形式化设计方法》是河北省 高等学校高层次人才科学研究项目成果，课题组经过2 年的科技攻关、应用开发并 推广使用，业已全部完成并出色地完成了国产操作系统应用软件形式化设计工作， 达到了预期的目标，鉴定资料准备齐全，已具备鉴定条件，特申请鉴定。 为了满足国家在信息产业领域中的核心战略需求和顺利地发展河北省自主可控 和安全可信的操作系统及局域应用软件，推广和使用国产操作系统已经迫在眉睫。 本课题旨在探讨如何推广和普及使用国产操作系统的技术问题，主要围绕以下三个 方面开展工作：一是探讨国产操作系统应用软件的形式化设计方法。立足于软件工 程环节的形式化描述方法，采用软件工程中的Z-理论和规范对软件产品设计和生产、 过程管理、测试等问题进行抽象和规范描述，力求为安全可信的软件设计提供技术 保障；二是促进国产操作系统在河北省的推广与普及。主要针对提升国产局域应用 软件产品的全球化竞争能力，包括支撑i18n、l10n、g11n 、m17n 的技术规范和局域 应用软件的开发平台及配套的软件工程开发工具，缩小各种局域应用软件产业链在 区域、文化、语言、制度、习俗等方面的功能差异；三是助推国产操作系统的进化 与完善，在现有基础上加强河北省软件工程技术的基础建设，形成具有自主知识产 权的软件生产过程中的工程规范和技术体系，为加强河北省软件工程学科的基础建 设提供技术支持。 推广应用前景与措施 本课题对科技进步的作用体现在以下两方面：一是针对提升国产应用软件产品 的全球化竞争能力；二是缩小各种电子政务应用软件产业链在区域、文化、语言、 制度、习俗等方面的功能差异。本课题对实际工作的作用体现在以下两个方面：一 是形成具有自主知识产权的应用软件使用规范和技术体系；二是为加强我省信息产 业中信息保护和系统安全提供技术支持。 本课题预计可产生的社会、经济效益体现在以下两个方面：一是促进国产操作 系统在河北省的推广和普及使用；二是使国产操作系统成为信息产业的主要支持平 台。 课题成果“探月工程遥操作操控三维可视化平台”参照 GJB5000a 军用软件能 力成熟度模型框架，并采用形式化的方式描述其规格及需求，集状态显示、测控指 挥、数据转换与存储功能于一体，为参与探月任务各配置项的技术人员提供信息显 示和业务操作界面。任务期间，各配置项技术人员通过该平台完成嫦娥三号和玉兔 月球车的指挥和控制工作。 该课题成果先后参与了探月工程二期嫦娥三号任务的联调联试、嫦娥三号探测 器发射及落月、玉兔月球车探月任务。2013 年 12 月该成果在北京航天飞行控制中 心圆满完成探月工程二期嫦娥三号既定任务计划，受到首长、工程总师及各大媒体 的高度关注与评价。该平台的研制过程与成功工程应用，满足了我国探月工程的任 务需要，具有很好的应用价值和推广前景。 主要技术文件目录及来源 1、鉴定大纲 河北省教育厅 2、工作报告 石家庄铁道大学 3、研究报告 石家庄铁道大学 4、科技查新报告 河北省科学技术情报研究院 5、社会效益分析报告 石家庄铁道大学 6、用户使用报告 北京航天飞行控制中心 7、论文、论著或知识产权证明 石家庄铁道大学 8、项目合同书 河北省教育厅 9、其他材料 石家庄铁道大学 科 技 成 果 登 记 表 国 产 操 作 系 统 应 用