-
公开(公告)号：CN106873953B
公开(公告)日：2020-06-09
申请号：CN201510933807.5
申请日：2015-12-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F8/20
摘要： 本发明属于电传飞控计算技术，涉及一种电传飞控系统软件数据流构架，以及此构架的搭建方法，它包括：为系统定义输入分区(1)、计算分区(2)、输出分区(3)和系统数据字典(4)，为每个分区构造输入数据对应的消费者函数和输出数据对应的生产者函数，建立输入数据和输出数据与全局数据字典的映射关系，按照构件化原则定义序列调用组件、输入输出组件和计算组件。本发明的构架能够对基于分区的电传飞控系统软件中全系统的数据流进行有效管理，降低模块耦合和验证成本。
-
公开(公告)号：CN106873565A
公开(公告)日：2017-06-20
申请号：CN201510932625.6
申请日：2015-12-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G05B19/425 , G05B19/042
CPC分类号： G05B19/042 , G05B19/425
摘要： 本发明属于飞行控制系统BIT(机内自检测)软件技术，涉及一种多余度飞行控制系统在飞行控制计算机换件后进行故障信息同步的方法。该方法采用模型化设计方法，当产生故障同步信号时，使用逻辑“或”综合非易失存储器中已经锁存的故障和本通道产生的故障，并将综合的故障信息发送至其他通道；使用逻辑“或”将综合的故障信息与其他有效通道的故障信息进行综合，将综合后的结果锁存到非易失存储器中。本发明能够在飞控计算机换件时对锁存的故障信息进行同步，实现复杂性低，可靠性高，大大提高了系统的可靠性和可测试性。
-
公开(公告)号：CN106855835B
公开(公告)日：2020-04-07
申请号：CN201510894318.3
申请日：2015-12-08
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F11/22
摘要： 本发明涉及一种飞控系统上电启动自检测方法，特别涉及一种基于XML技术的飞控系统上电启动自检测方法。所述的方法主要将飞控系统PUBIT所需的检测项代码集成标准文库，通过XML技术管理、调取所需的PUBIT检测项，并将调取的PUBIT检测项生成目标代码XML控制文件，基于该文件生成匹配飞控系统的目标代码。新机型的上电启动自检测功能设计时，相对于以前的手动编码方式，本方法通过XML技术对代码模块进行管理调用，提升了软件复用度，节省了软件开发时间与验证时间，提高开发效率。
-
公开(公告)号：CN106873953A
公开(公告)日：2017-06-20
申请号：CN201510933807.5
申请日：2015-12-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F9/44
摘要： 本发明属于电传飞控计算技术，涉及一种电传飞控系统软件数据流构架，以及此构架的搭建方法，它包括：为系统定义输入分区(1)、计算分区(2)、输出分区(3)和系统数据字典(4)，为每个分区构造输入数据对应的消费者函数和输出数据对应的生产者函数，建立输入数据和输出数据与全局数据字典的映射关系，按照构件化原则定义序列调用组件、输入输出组件和计算组件。本发明的构架能够对基于分区的电传飞控系统软件中全系统的数据流进行有效管理，降低模块耦合和验证成本。
-
公开(公告)号：CN106855835A
公开(公告)日：2017-06-16
申请号：CN201510894318.3
申请日：2015-12-08
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F11/22
摘要： 本发明涉及一种飞控系统上电启动自检测方法，特别涉及一种基于XML技术的飞控系统上电启动自检测方法。所述的方法主要将飞控系统PUBIT所需的检测项代码集成标准文库，通过XML技术管理、调取所需的PUBIT检测项，并将调取的PUBIT检测项生成目标代码XML控制文件，基于该文件生成匹配飞控系统的目标代码。新机型的上电启动自检测功能设计时，相对于以前的手动编码方式，本方法通过XML技术对代码模块进行管理调用，提升了软件复用度，节省了软件开发时间与验证时间，提高开发效率。
-
公开(公告)号：CN106547274A
公开(公告)日：2017-03-29
申请号：CN201510589517.3
申请日：2015-09-16
申请人： 中国航空工业第六一八研究所
IPC分类号： G05D1/08
摘要： 本发明提供了一种基于场景矩阵的状态机测试方法，采用的测试系统包括需求单元、关键输入捕捉单元、预期输出生成单元、状态分析单元、执行规则生成单元、场景生成器单元和测试执行单元，测试方法包括用户需求输入、获取迁移条件、产生输出变量、产生场景矩阵、产生模型通过准则、完成场景矩阵的搭建和自动执行测试。本发明能够将复杂的状态机架构映射为清晰的二维场景矩阵，为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。能够显著提高复杂状态机验证与测试工作效率。
-
公开(公告)号：CN106528558A
公开(公告)日：2017-03-22
申请号：CN201510574868.7
申请日：2015-09-10
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F17/30
CPC分类号： G06F16/162 , G06F16/16
摘要： 本发明属于网络通讯领域，具体涉及一种文档编号的自动生成方法。解决了文档的编号自动生成以及管理的问题。具体包括：定义唯一标识；发送唯一标识发送给服务器端计算机；服务器端计算机生成顺序编号并记录；客户端计算机删除收到的反馈编号时，客户端计算机会将所述的删除的编号信息发送给服务器端的计算机，服务器端计算机也删除相同编号。
-
公开(公告)号：CN106528453A
公开(公告)日：2017-03-22
申请号：CN201510573746.6
申请日：2015-09-10
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F12/0882
摘要： 本发明涉及一种使用多尺度复合页表，进行分区空间页表映射管理的优化方法。面向安全关键的操作系统在实现空间分区时，需要使用处理器的页表式存储管理机制来完成各分区的逻辑地址和物理地址的映射。本发明的基于可变页表大小的页表管理方法，将一个分区的逻辑空间，以优化的方式，转化成多个不同大小页的组合。分区的页表，首先尽可能使用大尺度的页进行空间映射，剩下的空间，才使用4K页进行管理。使用本发明，在不会造成空间碎片的情况下，不仅能够减少页表占用的空间，同时减少了缺页发生的次数，最终节省操作系统空间保护功能消耗的时间与空间资源。
-
公开(公告)号：CN106484386A
公开(公告)日：2017-03-08
申请号：CN201510556002.3
申请日：2015-09-02
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F9/44
摘要： 本发明属于计算机控制技术领域，具体涉及一种共享内存的嵌入式软件接口设计方法。大部分的嵌入式软件都过分依赖硬件，从而导致软件的可移植性比较差。而对于嵌入式软件来说，有一大部分的工作都是和硬件在进行数据交互，那么采取何种行之有效的方法，可以对嵌入式软件的接口数据进行统一的管理，也就成了亟待解决的问题。该方法可以将嵌入式应用层软件和硬件或总线进行解耦合，能解耦应用层软件和硬件或外部总线之间的关系，同时提高软件接口数据管理和交互的效率。
-
公开(公告)号：CN106874177A
公开(公告)日：2017-06-20
申请号：CN201510932696.6
申请日：2015-12-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F11/36
CPC分类号： G06F11/3676 , G06F11/3604
摘要： 本发明属于飞行控制系统软件测试技术，涉及一种对飞行控制系统软件中的锁存器测试方法。该方法采用模型化的测试方法，使用场景的概念设计测试用例，根据锁存器的概念，将输入信号及执行的拍数映射成为矩阵，每一个矩阵对应一个场景，以时间节拍为序依次向被测程序输入矩阵中的各列向量，从而进行连续多拍的验证，并使用PASS/FAIL(通过/失败)准则的方式判定测试结果，通过脚本给出测试结果应该满足的条件，并获取测试覆盖率相关信息。该方法极大增强了测试的灵活性，提高了测试效率。
-
-
-
-
-
-
-
-
-
搜索结果
31 条记录 (耗时 0.032 秒)
