专利名称：飞行控制软件可靠性设计方法、装置及计算机存储
介质
专利类型：发明专利
发明人：胡骁,李浩,张亚琳,潘彦鹏,张雪婷,陈旭东,吕瑞,涂海
峰,严大卫,陈喆,葛云鹏,梁卓,宋志国,张东,蔡亚楠,王凯旋,李迎博,薛晨琛,李烨,谭黎立,杨立杰,丁禹,赵楠,陈铁凝,郝仁杰,丘岳诗,孟文霞,姜春旺,杜肖,谭清科
申请号：CN202010955404.1申请日：20200911公开号：CN112148257A公开日：20201229
摘要：飞行控制软件可靠性设计方法、装置及计算机存储介质，包括：获取飞行剖面；根据所述飞行剖面确定关键时序动作及其依赖关系；根据所述关键时序动作及其依赖关系，识别待判断动作的最小前序时序集；对所述最小前序时序集进行判断。本申请中的方案，提出了最小化前序逻辑保障机制，一方面，约束了逻辑转换的顺序和条件，另一方面，最小化前置保障需求，防止“无关”信息的异常导致的标志判断错误，有效提升了飞行控制软件的可靠性。
申请人：中国运载火箭技术研究院
地址：100076 北京市丰台区南大红门路1号
国籍：CN
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容