KR101370266B1 - Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL - Google Patents

Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL Download PDF

Info

Publication number
KR101370266B1
KR101370266B1 KR1020120079201A KR20120079201A KR101370266B1 KR 101370266 B1 KR101370266 B1 KR 101370266B1 KR 1020120079201 A KR1020120079201 A KR 1020120079201A KR 20120079201 A KR20120079201 A KR 20120079201A KR 101370266 B1 KR101370266 B1 KR 101370266B1
Authority
KR
South Korea
Prior art keywords
ofp
crc
integrity
cyclic redundancy
size
Prior art date
Application number
KR1020120079201A
Other languages
Korean (ko)
Other versions
KR20140013190A (en
Inventor
강정민
최두열
Original Assignee
한국항공우주산업 주식회사
(주) 픽소니어
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 한국항공우주산업 주식회사, (주) 픽소니어 filed Critical 한국항공우주산업 주식회사
Priority to KR1020120079201A priority Critical patent/KR101370266B1/en
Publication of KR20140013190A publication Critical patent/KR20140013190A/en
Application granted granted Critical
Publication of KR101370266B1 publication Critical patent/KR101370266B1/en

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
    • G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
    • G06F11/1004—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's to protect a block of data words, e.g. CRC or checksum
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing

Abstract

본 발명은 CRC TOOL을 이용한 OFP 무결성 입증 방법에 관한 것으로, 더욱 상세하게는 OFP(Operational Flight Program)의 전체 사이즈를 통해, 잉여부분(Padding)을 설정하고, OFP에 잉여부분을 추가하는 OFP 사이즈 재설정 단계(S100), 잉여부분을 추가한 OFP의 아이디를 생성하여, OFP에 아이디를 추가하는 OFP 아이디 생성 단계(S200), 순환중복검사(CRC, Cyclic Redundancy Check)를 실시하여, 생성되는 CRC 코드를 OFP에 추가하는 OFP CRC 코드 생성 단계(S300), 잉여부분과 아이디 및 CRC 코드를 추가한 OFP의 사이즈를 계산하여, OFP 사이즈 파일을 생성하고, 사이즈 파일을 OFP에 추가하는 OFP 사이즈 파일 생성 단계(S400), 사이즈 파일이 추가된 OFP를 통합비행조종컴퓨터(IFLCC, Integrated Flight Control Computer)에 탑재하는 OFP 탑재 단계(S500) 및 탑재된 OFP를 순환중복검사를 실시하여 OFP의 무결성을 검증하는 OFP 검증 단계(S600)로 이루어지는 것을 특징으로 CRC TOOL을 이용한 OFP 무결성 입증 방법에 관한 것이다.The present invention relates to a method of verifying OFP integrity using the CRC TOOL, and more particularly, resetting OFP by setting a surplus portion and adding surplus portions to the OFP through the overall size of an Operational Flight Program (OFP). In step S100, the ID of the OFP having the surplus portion added thereto is generated, the OFP ID generation step S200 of adding the ID to the OFP is performed, and a cyclic redundancy check (CRC) is performed to generate the CRC code. OFP CRC code generation step (S300) to add to the OFP, OFP size file generation step of calculating the size of the OFP added the surplus portion and ID and CRC code, and adding the size file to OFP ( S400), the OFP mounting step (S500) for mounting the OFP with the size file added to the Integrated Flight Control Computer (IFLCC) and the redundant OFP on the mounted OFP to verify the integrity of the OFP. Relates to a method using the CRC OFP integrity demonstrated TOOL characterized in that comprising the OFP verification step (S600).

Description

ＣＲＣ ＴＯＯＬ을 이용한 ＯＦＰ 무결성 입증 방법 {Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL}OPP Integrity Verification Method using CCC TCOL

본 발명은 CRC TOOL을 이용한 OFP 무결성 입증 방법에 관한 것으로, 더욱 상세하게는 무인기의 통합비행조종컴퓨터에 무인기의 비행 안전과 직결되는 비행운용프로그램(OFP, Operational Flight Program)을 탑재함에 있어서, 순환중복검사(CRC, Cyclic Redundancy Check)를 실시하여 OFP의 무결성을 입증할 수 있는 통합비행조종컴퓨터의 OFP 검증 방법에 관한 것이다.
The present invention relates to a method of verifying OFP integrity using the CRC TOOL, and more particularly, in the integrated flight control computer of the drone, in the installation of an operational flight program (OFP) directly connected to the flight safety of the drone, circulation redundancy The present invention relates to an OFP verification method for an integrated flight control computer that can verify the integrity of the OFP by performing a Cyclic Redundancy Check (CRC).

최근들어 무인기가 발전함에 따라서 비행제어시스템의 개발 요구도가 증대하고 있으며, 무인기는 비행 실패시 막대한 비용과 시간이 소모되기 때문에 지상에서 완전한 동작 상태를 검증 후 비행 시험을 수행하여야 하며, 지상에서 동작 상태를 검증하기 위해서는, 비행제어컴퓨터 및 비행운용소프트웨어가 정삭적인 동작을 수행함을 확인해야 한다. 특히 소프트웨어의 비중이 커지고 있다. 이러한 무인기에 탑재되는 소프트웨어, 즉, OFP(Operational Flight Program)의 성능에 대한 안정성 및 신뢰성 검증은 엄격히 요구된다. 또한, OFP가 비행제어컴퓨터의 메모리에 적재되고 난 후에도 OFP의 무결성이 요구된다. 비행제어컴퓨터의 메모리에서도 잘못 장착되는 경우가 있을 수도 있으며, 또한, 물리적 또는 전기적인 충격으로 손상되거나 배선 문제등으로 인해 정상 동작하지 않는 경우가 생길수도 있다. Recently, as the drone develops, the demand for the development of the flight control system is increasing, and the drone requires huge costs and time in the event of flight failure. To verify this, the flight control computer and flight management software must verify that they perform the correct operation. In particular, the portion of software is increasing. It is strictly required to verify the stability and reliability of the performance of the software installed on the drone, that is, the Operational Flight Program (OFP). In addition, the integrity of the OFP is required even after the OFP is loaded into the memory of the flight control computer. In some cases, the memory of the flight control computer may be incorrectly installed, and may also be damaged due to physical or electrical shocks or malfunctions due to wiring problems.

종래에는 단순히 메모리 칩의 물리적인 동작 여부를 검사하는 것으로 OFP의 안정성, 신뢰성 및 무결성을 입증하기에는 어려움이 있다.In the related art, it is difficult to prove the stability, reliability, and integrity of the OFP by simply checking whether the memory chip is physically operated.

이에 따라, OFP에 저장되어 있는 내용이 손상되지 않았다는 것을 입증하는 것이 바람직하며, 본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법은 CRC(Cyclic Redundancy Check) 검사를 수행하여 OFP의 안정성, 신뢰성 및 무결성을 입증할 수 있다.
Accordingly, it is desirable to prove that the contents stored in the OFP are not damaged. The OFP integrity verification method using the CRC TOOL according to an embodiment of the present invention performs a cyclic redundancy check (CRC) test to ensure stability of the OFP. It can prove its reliability and integrity.

이기훈, 허기봉, 김유경 "비행조종컴퓨터 OFP 검증 장치 개발", 한국항공우주학회 2007년도 추계학술발표회 논문집(Ⅱ), pp.779-1799, 2007년 11월.Ki-Hoon Lee, Gi-Bong Huh, Yu-Kyung Kim "Development of Flight Control Computer OFP Verification Device", Proceedings of the Korean Society for Aeronautical and Space Sciences 2007 Fall Conference, pp.779-1799, November 2007.

본 발명은 상기한 바와 같은 종래 기술의 문제점을 해결하기 위하여 안출된 것으로, 본 발명의 목적은 순환중복검사(CRC, Cyclic Redundancy Check)를 통해서 생성되는 CRC 코드를 이용하여, 무인기의 통합비행조종컴퓨터(IFLCC, Integrated Flight Control Computer)에 탑재되는 비행운용프로그램(OFP, Operational Flight Program)의 무결성을 입증하는 할 수 있는 CRC TOOL을 이용한 OFP 무결성 입증 방법을 제공하는 것이다.
The present invention has been made to solve the problems of the prior art as described above, an object of the present invention using a CRC code generated through a cyclic redundancy check (CRC), unmanned aerial vehicle integrated flight control computer It is to provide OFP integrity verification method using CRC TOOL that can verify the integrity of Operational Flight Program (OFP) installed in Integrated Flight Control Computer (IFLCC).

본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법은, OFP(Operational Flight Program)의 전체 사이즈를 통해, 잉여부분(Padding)을 설정하고, 상기 OFP에 상기 잉여부분을 추가하는 OFP 사이즈 재설정 단계(S100), 상기 잉여부분을 추가한 OFP의 아이디를 생성하여, 상기 OFP에 상기 아이디를 추가하는 OFP 아이디 생성 단계(S200), 순환중복검사(CRC, Cyclic Redundancy Check)를 실시하여, 생성되는 CRC 코드를 상기 OFP에 추가하는 OFP CRC 코드 생성 단계(S300), 상기 잉여부분과 상기 아이디를 추가한 OFP의 사이즈를 계산하여, OFP 사이즈 파일을 생성하고, 상기 사이즈 파일을 상기 OFP에 추가하는 OFP 사이즈 파일 생성 단계(S400), 상기 사이즈 파일이 추가된 상기 OFP를 통합비행조종컴퓨터(IFLCC, Integrated Flight Control Computer)에 탑재하는 OFP 탑재 단계(S500) 및 탑재된 상기 OFP를 상기 순환중복검사를 실시하여 상기 OFP의 무결성을 검증하는 OFP 검증 단계(S600)로 이루어지는 것을 특징으로 한다.In the OFP integrity verification method using the CRC TOOL according to an embodiment of the present invention, the OFP size is set through the overall size of the Operational Flight Program (OFP), and adding the excess portion to the OFP Resetting step (S100), generating the ID of the OFP to add the surplus portion, the OFP ID generation step (S200) of adding the ID to the OFP, by performing a cyclic redundancy check (CRC, Cyclic Redundancy Check) OFP CRC code generation step (S300) of adding the CRC code to the OFP, calculating the size of the OFP to which the surplus portion and the ID are added, generate an OFP size file, and add the size file to the OFP. OFP size file generation step (S400), OFP mounting step (S500) for mounting the OFP to which the size file is added to an Integrated Flight Control Computer (IFLCC) and the mounted OFP It characterized by comprising the OFP verification step (S600) which performs a cyclic redundancy check based verifying the integrity of the OFP.

바람직하게는, 상기 OFP 사이즈 재설정 단계(S100)는 설정된 상기 잉여부분을 초기화하여 상기 OFP에 추가하는 것을 특징으로 한다.Preferably, the OFP size resetting step (S100) is characterized in that to initialize the excess portion is set to add to the OFP.

바람직하게는, 상기 OFP 아이디 생성 단계(S200)는 상기 OFP가 탑재되는 소프트웨어의 기설정된 아이디(ID, Identification), 용도, 릴리즈번호 및 버전번호를 이용하여 상기 OFP의 아이디를 생성하는 것을 특징으로 한다.Preferably, the OFP ID generation step (S200) is characterized by generating the ID of the OFP using a predetermined ID (ID, Identification), use, release number and version number of the software on which the OFP is mounted. .

바람직하게는, 상기 OFP 아이디 생성 단계(S200)는 비행제어 OFP(uImage)의 아이디는 16바이트를 부여하며, 자체테스트 OFP(osBIT)의 아이디는 8바이트를 부여하는 것을 특징으로 한다.Preferably, the OFP ID generation step (S200) is characterized in that the ID of the flight control OFP (uImage) is given 16 bytes, the ID of the self-test OFP (osBIT) is given 8 bytes.

바람직하게는, 상기 OFP 탑재 단계(S500)는 상기 OFP를 상기 통합비행조종컴퓨터의 플래시 메모리(Flash Memory)에 탑재하는 것을 특징으로 한다.Preferably, the step of mounting the OFP (S500) is characterized in that the mounting of the OFP in the flash memory (Flash Memory) of the integrated flight control computer.

바람직하게는, 상기 OFP 검증 단계(S600)는 상기 통합비행조종컴퓨터에 전원이 인가될 때마다 상기 OFP에 상기 순환중복검사를 실시하는 것을 특징으로 한다.Preferably, the OFP verification step (S600) is characterized in that the cyclic redundancy check is performed to the OFP whenever power is applied to the integrated flight control computer.

바람직하게는, 상기 통합비행조종컴퓨터의 OFP 검증 방법은 상기 OFP 검증 단계(S600)를 통해서, 실시되는 상기 순환중복검사를 통해서 생성된 CRC 코드와, 상기 OFC CRC 코드 생성 단계(S300)를 통해서, 상기 OFP에 추가되어 있는 상기 CRC 코드를 비교하여 상기 OFP의 무결성을 검증하는 것을 특징으로 한다.
Preferably, the OFP verification method of the integrated flight control computer through the OFP verification step (S600), through the CRC code generated through the cyclic redundancy check, and through the OFC CRC code generation step (S300), The integrity of the OFP may be verified by comparing the CRC codes added to the OFP.

상기와 같은 구성에 의한 본 발명의CRC TOOL을 이용한 OFP 무결성 입증 방법은 무인기의 통합비행조종컴퓨터(IFLCC, Integrated Flight Control Computer)에 탑재되는 비행운용프로그램(OFP, Operational Flight Program)에 순환중복검사(CRC, Cyclic Redundancy Check)를 실시하여 CRC 코드를 추가할 수 있으며, 비행운용프로그램에 추가된 CRC 코드를 이용하여 통합비행조종컴퓨터에 전원 인가시마다 순환중복검사를 실시하여 비행운용프로그램의 무결성을 검증할 수 있는 효과가 있다.OFP integrity verification method using the CRC TOOL of the present invention by the configuration as described above cyclic redundancy test (OFP, Operational Flight Program) mounted on an integrated flight control computer (IFLCC) of the drone ( CRC, Cyclic Redundancy Check (CRC) can be added, and the CRC code added to the flight operation program can be used to verify the integrity of the flight operation program by performing a cyclic redundancy check every time the integrated flight control computer is powered on. It can be effective.

또한, 비행운용프로그램이 통합비행조종컴퓨터에 탑재된 후에도, 주기적으로 자체테스트(BIT, Built In Test)를 실시하여 비행운용프로그램의 무결성을 검증할 수 있는 효과가 있다.
In addition, even after the flight operation program is mounted on the integrated flight control computer, periodic self test (BIT, Built In Test) can be performed to verify the integrity of the flight operation program.

도 1은 본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법을 나타낸 순서도이다.
도 2는 본 발명의 일 실시예에 따른 OFP 사이즈 재설정 단계(S100)의 예시도이다.
도 3은 본 발명의 일 실시예에 따른 OFP 아이디 생성 단계(S200)의 예시도이다.
도 4는 본 발명의 일 실시예에 따른 OFP 아이디 생성 단계(S200)의 또다른 예시도이다.
도 5는 본 발명의 일 실시예에 따른 OFP CRC 코드 생성 단계(S300)의 예시도이다.
도 6은 본 발명의 일 실시예에 따른 OFP 사이즈 파일 생성 단계(S400)의 예시도이다.
도 7은 본 발명의 일 실시예에 따른 OFP 탑재 단계(S500)의 예시도이다.
도 8은 본 발명의 일 실시예에 따른 OFP 탑재 단계(S500)의 또다른 예시도이다.
도 9는 본 발명의 일 실시예에 따른 OFP 검증 단계(S600)의 예시도이다.1 is a flowchart illustrating a method of verifying OFP integrity using a CRC TOOL according to an embodiment of the present invention.
2 is an exemplary view of the OFP size reset step (S100) according to an embodiment of the present invention.
3 is an exemplary view of the OFP ID generation step (S200) according to an embodiment of the present invention.
Figure 4 is another exemplary diagram of the OFP ID generation step (S200) according to an embodiment of the present invention.
5 is an exemplary view of the OFP CRC code generation step (S300) according to an embodiment of the present invention.
6 is an exemplary view of the OFP size file generation step (S400) according to an embodiment of the present invention.
7 is an exemplary view of the OFP mounting step (S500) according to an embodiment of the present invention.
8 is another exemplary diagram of the OFP mounting step S500 according to an embodiment of the present invention.
9 is an exemplary view of the OFP verification step (S600) according to an embodiment of the present invention.

이하 첨부한 도면들을 참조하여 본 발명의 CRC TOOL을 이용한 OFP 무결성 입증 방법을 상세히 설명한다. 다음에 소개되는 도면들은 당업자에게 본 발명의 사상이 충분히 전달될 수 있도록 하기 위해 예로서 제공되는 것이다. 따라서, 본 발명은 이하 제시되는 도면들에 한정되지 않고 다른 형태로 구체화될 수도 있다. 또한, 명세서 전반에 걸쳐서 동일한 참조번호들은 동일한 구성요소들을 나타낸다.Hereinafter, the OFP integrity verification method using the CRC TOOL of the present invention will be described in detail with reference to the accompanying drawings. The following drawings are provided by way of example so that those skilled in the art can fully understand the spirit of the present invention. Therefore, the present invention is not limited to the following drawings, but may be embodied in other forms. In addition, like reference numerals designate like elements throughout the specification.

이때, 사용되는 기술 용어 및 과학 용어에 있어서 다른 정의가 없다면, 이 발명이 속하는 기술 분야에서 통상의 지식을 가진 자가 통상적으로 이해하고 있는 의미를 가지며, 하기의 설명 및 첨부 도면에서 본 발명의 요지를 불필요하게 흐릴 수 있는 공지 기능 및 구성에 대한 설명은 생략한다.
Hereinafter, the technical and scientific terms used herein will be understood by those skilled in the art without departing from the scope of the present invention. Descriptions of known functions and configurations that may be unnecessarily blurred are omitted.

도 1은 본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법에 대해 나타낸 순서도이다. 도 1을 참조로 하여 본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법에 대해서 상세히 설명한다.
1 is a flow chart illustrating an OFP integrity verification method using a CRC TOOL according to an embodiment of the present invention. Referring to Figure 1 will be described in detail the OFP integrity verification method using the CRC TOOL according to an embodiment of the present invention.

본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법은 OFP 사이즈 재설정 단계(S100), OFP 아이디 생성 단계(S200), OFP CRC 코드 생성 단계(S300), OFP 사이즈 파일 생성 단계(S400), OFP 탑재 단계(S500) 및 OFP 검증 단계(S600)를 포함하여 이루어질 수 있다.OFP integrity verification method using the CRC TOOL according to an embodiment of the present invention, OFP size reset step (S100), OFP ID generation step (S200), OFP CRC code generation step (S300), OFP size file generation step (S400) , OFP mounting step (S500) and OFP verification step (S600) can be made.

본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법은 무인기의 통합비행조종컴퓨터(IFLCC, Integrated Flight Control Computer)에 탑재되는 비행운용프로그램(OFP, Operational Flight Program)을 상기 통합비행조종컴퓨터에 탑재되기 전에 상기 비행운용프로그램에 순환중복검사(CRC, Cyclic Redundancy Check)를 실시하여 CRC 코드를 추가하며, 상기 CRC 코드가 추가된 상기 비행운용프로그램을 상기 통합비행조종컴퓨터에 탑재한 후, 다시한번 상기 순환중복검사를 실시함으로써, 기존에 추가된 상기 CRC 코드와 새로 생성된 CRC 코드를 비교하여, 상기 비행운용프로그램의 무결성을 검증한다.
OFP integrity verification method using a CRC TOOL according to an embodiment of the present invention is the integrated flight control computer (OFP, Operational Flight Program) mounted on an integrated flight control computer (IFLCC) of the drone Perform a Cyclic Redundancy Check (CRC) on the flight operation program before adding it to the CRC code, and mount the flight operation program to which the CRC code is added to the integrated flight control computer, and then again. By performing the cyclic redundancy check once, the integrity of the flight operation program is verified by comparing the newly added CRC code with the newly generated CRC code.

상기 비행운용프로그램에 상기 순환중복검사를 실시하기 위해서는, 상기 OFP 사이즈 재설정 단계(S100)를 통해서, 상기 비행운용프로그램의 전체 사이즈가 4바이트(Byte)로 나누어질 수 있도록, 전체 사이즈를 재설정할 수 있다. 다시 말하자면, 상기 순환중복검사의 알고리즘은 4바이트씩 검사가 이루어지므로, 검사를 실시하고자 하는 상기 비행운용프로그램의 전체 사이즈가 4바이트로 나누어지지 않으면, 상기 순환중복검사가 제대로 되지 않는다. 따라서, 도 2에 도시된 바와 같이, 상기 비행운용프로그램의 전체 사이즈를 4바이트로 나누어질 수 있도록, 잉여부분(Padding)을 추가할 수 있으며, 이 때, 상기 잉여부분은 0으로 초기화하여 상기 비행운용프로그램에 추가한다.
In order to perform the cyclic redundancy check on the flight operation program, through the OFP size reset step (S100), the entire size can be reset so that the total size of the flight operation program can be divided into 4 bytes. have. In other words, since the algorithm of the cyclic redundancy check is performed by 4 bytes, if the total size of the flight operation program to be tested is not divided into 4 bytes, the cyclic redundancy check is not performed properly. Accordingly, as shown in FIG. 2, a padding may be added to divide the entire size of the flight management program into 4 bytes. In this case, the surplus part may be initialized to 0 to initialize the flight. Add to the operating program.

상기 잉여부분이 추가된 상기 비행운용프로그램에 상기 순환중복검사를 실시하기 위해서는, 상기 OFP 아이디 생성 단계(S200)를 통해서, 상기 비행운용프로그램의 종류와 버전에 따라서 비행운용프로그램의 아이디를 생성하며, 생성된 아이디를 상기 비행운용프로그램에 추가할 수 있다. 즉, 상기 비행운용프로그램과 생성된 아이디를 같이 상기 순환중복검사를 실시하여 CRC 코드를 생성한다.In order to perform the cyclic redundancy check on the flight operation program to which the surplus portion is added, through the OFP ID generation step (S200), an ID of a flight operation program is generated according to the type and version of the flight operation program. The generated ID can be added to the flight operation program. That is, the CRC code is generated by performing the cyclic redundancy check together with the flight operation program and the generated ID.

상기 비행운용프로그램의 아이디는 상기 비행운용프로그램이 탑재될 소프트웨어의 기설정된 아이디(ID, Identification), 용도, 릴리즈번호 및 버전번호를 이용하여 상기 비행운용프로그램의 아이디를 생성할 수 있다. 도 4에 도시된 바와 같이, 상기 비행운용프로그램이 탑재될 소프트웨어에 따라서, 비행제어를 위한 비행운용프로그램의 아이디는 16바이트를 부여할 수 있으며, 자체테스트를 위한 비행운용프로그램의 아이디는 8바이트를 부여할 수 있다.The ID of the flight management program may generate an ID of the flight management program using a predetermined ID (ID, Identification), use, release number, and version number of the software on which the flight management program is mounted. As shown in FIG. 4, the ID of the flight operation program for flight control may be 16 bytes, and the ID of the flight operation program for self test may be 8 bytes according to the software on which the flight operation program is mounted. It can be given.

자세히 알아보자면, 도 3에 도시된 바와 같이, 비행제어를 위한 소프트웨어로는 OS(Operational System), FC(Flight Control), MC(Mission Computer) 및 CnC(Command and Control)를 포함하여 이루어질 수 있으며, 자체테스트를 위한 소프트웨어는 OS(Operational System) 및 BIT(Built In Test)를 포함하여 이루어질 수 있다. 각각의 소프트웨어는 고유의 아이디, 릴리즈번호 및 버전번호를 부여하여 식별할 수 있다. 각각의 소프트웨어마다 4바이트씩 부여되며, 일예를 들자면, 상기 FC 소프트웨어는 FD01A의 아이디로 식별할 수 있으며, 상기 FD01A의 의미는 'F' : FC소프트웨어(1바이트) + 'D' : Demo 용도(1바이트) + '01' : 릴리즈번호(1바이트) + 'A' : 버전번호(1바이트)이다. 이에 따라서, 비행제어를 위한 비행운용프로그램의 아이디는 16바이트(FC+MC+CnC+OS)가 부여되고, 자체테스트를 위한 비행운용프로그램의 아이디는 8바이트(OS+BIT)가 부여된다.
In detail, as shown in FIG. 3, the software for flight control may include an operating system (OS), a flight control (FC), a mission computer (MC), and a command and control (CnC). Software for self-test may include an operating system (OS) and a built-in test (BIT). Each software can be identified by giving it a unique ID, release number, and version number. Each software is given 4 bytes. For example, the FC software can be identified by the ID of FD01A, and the meaning of the FD01A is 'F': FC software (1 byte) + 'D': Demo purpose ( 1 byte) + '01': Release number (1 byte) + 'A': Version number (1 byte). Accordingly, the ID of the flight operation program for flight control is given 16 bytes (FC + MC + CnC + OS), and the ID of the flight operation program for self test is given 8 bytes (OS + BIT).

상기 OFP에 상기 OFP 사이즈 재설정 단계(S100)를 통해서 상기 잉여부분을 추가하며, 상기 OFP 아이디 생성 단계(S200)를 통해서 생성된 상기 비행운용프로그램의 아이디를 추가하여, 상기 OFP CRC 코드 생성 단계(S300)에서 상기 순환중복검사를 실시하여 CRC 코드를 생성할 수 있다. 상기 순환중복검사는 CRC 32방법으로 이루어지며, 이를 통해서, 128(4×32) 바이트의 CRC 코드가 생성될 수 있다. 상기 CRC 32방법을 이용한 상기 순환중복검사는 본발명의 일 실시예에 불과하다. 다시 말하자면, 도 5에 도시된 바와 같이, 상기 잉여부분 및 상기 비행운용프로그램의 아이디가 추가된 상기 비행운용프로그램으로 상기 순환중복검사를 실시하며, 상기 순환중복검사를 통해서 생성된 상기 CRC 코드를 다시 상기 비행운용프로그램에 추가할 수 있다.
The surplus portion is added to the OFP through the OFP size reset step (S100), and the OFP CRC code generation step (S300) is added by adding an ID of the flight management program generated through the OFP ID generation step (S200). CRC code can be generated by performing the cyclic redundancy check. The cyclic redundancy check is performed using the CRC 32 method, through which a CRC code of 128 (4 × 32) bytes can be generated. The cyclic redundancy test using the CRC 32 method is only an embodiment of the present invention. In other words, as illustrated in FIG. 5, the cyclic redundancy check is performed with the flight management program to which the surplus portion and the ID of the flight management program are added, and the CRC code generated through the cyclic redundancy check is again performed. It can be added to the flight operation program.

또한, 상기 비행운용프로그램이 상기 통합비행조종컴퓨터에 탑재된 후에, 다시한번 상기 순환중복검사를 실시하기 위해서는, 상기 잉여부분, 상기 비행운용프로그램의 아이디가 추가된 상기 비행운용프로그램의 사이즈가 필요하며, 이를 위해서 상기 OFP 사이즈 파일 생성 단계(S400)에서는 도 6에 도시된 바와 같이, 상기 비행운용프로그램은 상기 OFP CRC 코드 생성 단계(S300)를 통해서 상기 CRC 코드 또한 추가되어 있지만, 상기 CRC 코드를 제외한, 상기 잉여부분 및 상기 비행운용프로그램의 아이디가 추가된 상기 비행운용프로그램의 사이즈 파일을 생성한다. 생성된 상기 사이즈 파일을 상기 비행운용프로그램에 추가할 수 있으며, 이 때, 상기 비행운용프로그램의 사이즈 파일은 별개로 생성되며, 바이트 단위로 저장할 수 있다.
In addition, after the flight operation program is mounted on the integrated flight control computer, in order to perform the cyclic redundancy check again, the size of the flight operation program to which the ID of the surplus portion and the flight operation program is added is required. For this purpose, in the OFP size file generation step (S400), as shown in FIG. 6, the CRC code is added through the OFP CRC code generation step (S300), but except for the CRC code. The size of the flight management program is added to the surplus portion and the ID of the flight management program. The generated size file may be added to the flight management program. In this case, the size file of the flight management program may be separately generated and stored in a byte unit.

상기 OFP 탑재 단계(S500)는 상기 OFP 사이즈 파일 생성 단계(S400)를 통해서 상기 사이즈 파일을 추가한 상기 비행운용프로그램을 상기 통합비행조종컴퓨터에 탑재하며, 이 때, 상기 비행운용프로그램은 상기 통합비행조종컴퓨터의 플래시 메모리(Flash Memory)에 저장된다. 도 7은 본 발명의 일 실시예에 따른 상기 통합비행조종컴퓨터의 메모리 맵을 간략하게 도시한 도면이며, 도 8은 상기 메모리 맵을 상세하게 나타낸 도면이다. 상기 비행운용프로그램이 상기 통합비행조종컴퓨터에 탑재되면, 런타임모니터링(RTM, Run Time Monitoring)에서 상기 순환중복검사를 실시하며, 상기 런타임모니터링은 상기 플래시 메모리에 저장되어 있는 상기 비행운용프로그램에 추가되어 있는 상기 CRC 코드를 이용하여, 상기 비행운용프로그램의 무결성을 검증하기 위한 테스트를 수행할 수 있다. 즉, 상기 런타임모니터링은 상기 플래시 메모리에 저장되어 상기 CRC 코드와 상기 런타임모니터링에서 새롭게 실시하는 상기 순환중복검사를 통해서 생성되는 CRC 코드를 비교하여 상기 비행운용프로그램의 무결성을 검증할 수 있다.
The OFP mounting step (S500) is to mount the flight operation program to the integrated flight control computer to which the size file is added through the OFP size file generation step (S400), wherein the flight operation program is the integrated flight It is stored in the flash memory of the control computer. 7 is a view schematically showing a memory map of the integrated flight control computer according to an embodiment of the present invention, and FIG. 8 is a view showing the memory map in detail. When the flight operation program is mounted on the integrated flight control computer, the cyclic redundancy check is performed by run time monitoring (RTM), and the runtime monitoring is added to the flight operation program stored in the flash memory. The CRC code may be used to perform a test to verify the integrity of the flight operation program. That is, the runtime monitoring may verify the integrity of the flight management program by comparing the CRC code stored in the flash memory and the CRC code generated through the cyclic redundancy check newly executed by the runtime monitoring.

상기 OFP 검증 단계(S600)는 도 9에 도시된 바와 같이, 상기 런타임모니터링에서 상기 플래시 메모리에 저장되어 있는 상기 비행운용프로그램의 CRC 코드와, 상기 런타임모니터링에서 새롭게 실시하는 상기 순환중복검사를 통해서 생성되는 CRC 코드를 비교하여 상기 비행운용프로그램의 무결성을 검증한다. 이 때, 상기 OFP 검증 단계(S600)는 상기 통합비행조종컴퓨터에 전원이 새롭게 인가될 때마다 상기 런타임모니터링에서 새롭게 상기 순환중복검사를 실시하여, 상기 비행운용프로그램의 무결성을 검증할 수 있다. 자세히 알아보자면, 상기 통합비행조종컴퓨터에 전원이 새롭게 인가되면, 상기 런타임모니터링에서 상기 비행운용프로그램의 사이즈의 내용을 이용하여 상기 비행운용프로그램의 메모리 영역을 계산한다. 계산된 상기 비행운용프로그램의 메모리 영역, 즉, 상기 비행운용프로그램의 아이디가 추가된 상기 비행운용프로그램을 이용하여 상기 순환중복검사를 실시한다. 상기 순환중복검사를 실시한 결과에 따라서, 새롭게 생성된 상기 CRC 코드와, 저장되어 있던 상기 CRC 코드를 비교하여, 두 개의 상기 CRC 코드가 일치하면 상기 비행운용프로그램의 무결성이 입증되며, 상기 CRC 코드가 일치하지 않으면, 상기 비행운용프로그램에 에러가 발생한 것으로 간주한다.
The OFP verification step S600 is generated through CRC code of the flight operation program stored in the flash memory in the runtime monitoring and the cyclic redundancy check newly executed in the runtime monitoring. The CRC codes are compared to verify the integrity of the flight operation program. In this case, the OFP verification step (S600) may verify the integrity of the flight operation program by newly performing the cyclic redundancy check in the runtime monitoring whenever power is newly applied to the integrated flight control computer. In detail, when the power is newly applied to the integrated flight control computer, the memory area of the flight operation program is calculated by using the contents of the size of the flight operation program in the runtime monitoring. The cyclic redundancy test is performed using the calculated flight area of the flight operation program, that is, the flight operation program to which the ID of the flight operation program is added. According to the result of the cyclic redundancy test, the newly generated CRC code is compared with the stored CRC code. When the two CRC codes match, the integrity of the flight operation program is verified, and the CRC code is If it does not match, it is assumed that an error has occurred in the flight operation program.

즉, 다시 말하자면, 본 발명의 일 실시예에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법은 상기 비행운용프로그램을 상기 통합비행조종컴퓨터에 탑재하기 전에, 상기 순환중복검사를 위해서, 상기 잉여부분을 추가하여 사이즈를 재설정하며, 상기 비행운용프로그램이 탑재되는 소프트웨어에 따라, 상기 비행운용프로그램의 아이디를 생성한다. 상기 잉여부분과 아이디가 추가된 상기 비행운용프로그램을 이용하여 상기 순환중복검사를 실시하여, 실시 결과에 따라서 상기 CRC 코드가 생성된다. 상기 CRC 코드 또한 상기 비행운용프로그램에 추가하여, 상기 통합비행조종컴퓨터에 탑재한다. 상기 통합비행조종컴퓨터의 런타임모니터링에서 탑재된 상기 비행운용프로그램에 대해서 다시 한번 상기 순환중복검사를 실시하며, 새롭게 실시된 상기 순환중복검사에 따라서 생성되는 상기 CRC 코드와, 기존에 저장되어 있던 상기 CRC 코드를 비교하여, 상기 비행운용프로그램의 무결성을 검증한다. 즉, 상기 CRC 코드가 일치하면, 상기 비행운용프로그램에 결함이 없음을 알 수 있으며, 상기 CRC 코드가 일치하지 않으면, 상기 비행운용프로그램에 에러가 발생함을 알 수 있다.
That is, in other words, the OFP integrity verification method using the CRC TOOL according to an embodiment of the present invention, by adding the surplus portion for the cyclic redundancy inspection before the flight operation program is mounted on the integrated flight control computer The size is reset, and the ID of the flight management program is generated according to the software on which the flight management program is mounted. The cyclic redundancy test is performed using the flight operation program to which the surplus portion and the ID are added, and the CRC code is generated according to the result of the execution. The CRC code is also mounted on the integrated flight control computer in addition to the flight operation program. The cyclic redundancy check is once again performed on the flight operation program mounted in the runtime monitoring of the integrated flight control computer, and the CRC code generated according to the newly executed cyclic redundancy check and the previously stored CRC The code is compared to verify the integrity of the flight operation program. That is, if the CRC codes match, it can be seen that there is no defect in the flight operation program. If the CRC codes do not match, it can be seen that an error occurs in the flight operation program.

더불어, 본 발명에 따른 CRC TOOL을 이용한 OFP 무결성 입증 방법은 다양한 컴퓨터 수단을 통하여 수행될 수 있는 프로그램 명령 형태로 구현되어 컴퓨터 판독 가능한 매체에 기록될 수 있다. 상기 컴퓨터 판독 가능한 매체는 프로그램 명령, 데이터 파일, 데이터 구조 등을 단독으로 또는 조합하여 포함할 수 있다. 상기 매체에 기록되는 프로그램 명령은 본 발명을 위하여 특별히 설계되고 구성된 것들이거나 컴퓨터 소프트웨어 당업자에게 공지되어 사용 가능한 것일 수도 있다. 컴퓨터 판독 가능한 기록 매체의 예에는 하드 디스크, 플로피 디스크 및 자기 테이프와 같은 자기 매체(Magnetic media), CD-ROM, DVD와 같은 광기록 매체(Optical media), 플롭티컬 디스크(Floptical disk)와 같은 자기-광 매체(Magneto-optical media), 및 롬(ROM), 램(RAM), 플래시 메모리 등과 같은 프로그램 명령을 저장하고 수행하도록 특별히 구성된 하드웨어 장치가 포함된다. 상기 매체는 프로그램 명령, 데이터 구조 등을 지정하는 신호를 전송하는 반송파를 포함하는 광 또는 금속선, 도파관 등의 전송 매체일 수도 있다. 프로그램 명령의 예에는 컴파일러에 의해 만들어지는 것과 같은 기계어 코드뿐만 아니라 인터프리터 등을 사용해서 컴퓨터에 의해서 실행될 수 있는 고급 언어 코드를 포함한다. 상기된 하드웨어 장치는 본 발명의 동작을 수행하기 위해 하나 이상의 소프트웨어 모듈로서 작동하도록 구성될 수 있으며, 그 역도 마찬가지이다.In addition, the OFP integrity verification method using the CRC TOOL according to the present invention is implemented in the form of program instructions that can be executed by various computer means can be recorded on a computer readable medium. The computer-readable medium may include program instructions, data files, data structures, and the like, alone or in combination. The program instructions recorded on the medium may be those specially designed and constructed for the present invention or may be available to those skilled in the art of computer software. Examples of the computer-readable recording medium include magnetic media such as a hard disk, a floppy disk, and a magnetic tape; optical media such as CD-ROM and DVD; magnetic recording media such as a floppy disk; - Magneto-optical media, and hardware devices specifically configured to store and execute program instructions such as ROM, RAM, flash memory, and the like. The medium may be a transmission medium such as an optical or metal line, a wave guide, or the like, including a carrier wave for transmitting a signal designating a program command, a data structure, or the like. Examples of program instructions include machine language code such as those produced by a compiler, as well as high-level language code that can be executed by a computer using an interpreter or the like. The hardware devices described above may be configured to operate as one or more software modules to perform the operations of the present invention, and vice versa.

이상과 같이 본 발명에서는 구체적인 구성 소자 등과 같은 특정 사항들과 한정된 실시예 도면에 의해 설명되었으나 이는 본발명의 보다 전반적인 이해를 돕기 위해서 제공된 것 일 뿐, 본 발명은 상기의 일 실시예에 한정되는 것이 아니며, 본 발명이 속하는 분야에서 통상의 지식을 가진 자라면 이러한 기재로부터 다양한 수정 및 변형이 가능하다.While the present invention has been particularly shown and described with reference to exemplary embodiments thereof, it is to be understood that the invention is not limited to the disclosed embodiments, but, on the contrary, And various modifications and changes may be made thereto by those skilled in the art to which the present invention pertains.

따라서, 본 발명의 사상은 설명된 실시예에 국한되어 정해져서는 아니 되며, 후술하는 특허 청구 범위뿐 아니라 이 특허 청구 범위와 균등하거나 등가적 변형이 있는 모든 것들은 본 발명 사상의 범주에 속한다고 할 것이다.
Accordingly, the spirit of the present invention should not be construed as being limited to the embodiments described, and all of the equivalents or equivalents of the claims, as well as the following claims, belong to the scope of the present invention .

S100 내지 S600 : CRC TOOL을 이용한 OFP 무결성 입증 방법S100 to S600: Method of verifying OFP integrity using CRC TOOL

Claims (8)

OFP(Operational Flight Program)의 전체 사이즈를 통해, 잉여부분(Padding)을 설정하고, 상기 OFP에 상기 잉여부분을 추가하는 OFP 사이즈 재설정 단계(S100);
상기 잉여부분을 추가한 OFP의 아이디를 생성하여, 상기 OFP에 상기 아이디를 추가하는 OFP 아이디 생성 단계(S200);
순환중복검사(CRC, Cyclic Redundancy Check)를 실시하여, 생성되는 CRC 코드를 상기 OFP에 추가하는 OFP CRC 코드 생성 단계(S300);
상기 잉여부분과 상기 아이디를 추가한 OFP의 사이즈를 계산하여, OFP 사이즈 파일을 생성하고, 상기 사이즈 파일을 상기 OFP에 추가하는 OFP 사이즈 파일 생성 단계(S400);
상기 사이즈 파일이 추가된 상기 OFP를 통합비행조종컴퓨터(IFLCC, Integrated Flight Control Computer)에 탑재하는 OFP 탑재 단계(S500); 및
탑재된 상기 OFP를 상기 순환중복검사를 실시하여 상기 OFP의 무결성을 검증하는 OFP 검증 단계(S600);
로 이루어지는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
An OFP size resetting step (S100) of setting a surplus portion (Padding) and adding the surplus portion to the OFP through the entire size of an Operational Flight Program (OFP);
OFP ID generation step of generating the ID of the OFP to which the surplus portion is added, and adding the ID to the OFP (S200);
OFP CRC code generation step (S300) of performing a Cyclic Redundancy Check (CRC) to add the generated CRC code to the OFP;
An OFP size file generation step (S400) of calculating an OFP size file by adding the surplus portion and the ID, generating an OFP size file, and adding the size file to the OFP;
An OFP mounting step (S500) of mounting the OFP to which the size file is added to an integrated flight control computer (IFLCC); And
An OFP verification step (S600) of verifying the integrity of the OFP by performing the cyclic redundancy check on the mounted OFP;
OFP integrity verification method using a CRC TOOL, characterized in that consisting of.
제 1항에 있어서,
상기 OFP 사이즈 재설정 단계(S100)는
설정된 상기 잉여부분을 초기화하여 상기 OFP에 추가하는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
The method of claim 1,
The OFP size reset step (S100)
OFP integrity verification method using a CRC TOOL, characterized in that for initializing the set excess portion added to the OFP.
제 1항에 있어서,
상기 OFP 아이디 생성 단계(S200)는
상기 OFP가 탑재되는 소프트웨어의 기설정된 아이디(ID, Identification), 용도, 릴리즈번호 및 버전번호를 이용하여 상기 OFP의 아이디를 생성하는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
The method of claim 1,
The OFP ID generation step (S200)
The OFP integrity verification method using a CRC tool, characterized in that for generating the ID of the OFP using a predetermined ID (ID, Identification), use, release number and version number of the software on which the OFP is mounted.
제 1항에 있어서,
상기 OFP 아이디 생성 단계(S200)는
비행제어 OFP(uImage)의 아이디는 16바이트를 부여하며,
자체테스트 OFP(osBIT)의 아이디는 8바이트를 부여하는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
The method of claim 1,
The OFP ID generation step (S200)
ID of flight control OFP (uImage) is 16 bytes.
Self-test OFP (osBIT) ID of the OFP integrity method using the CRC TOOL, characterized in that the granting 8 bytes.
제 1항에 있어서,
상기 OFP 탑재 단계(S500)는
상기 OFP를 상기 통합비행조종컴퓨터의 플래시 메모리(Flash Memory)에 탑재하는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
The method of claim 1,
The OFP mounting step (S500)
The OFP integrity verification method using a CRC TOOL, characterized in that for mounting the OFP in the flash memory of the integrated flight control computer.
제 1항에 있어서,
상기 OFP 검증 단계(S600)는
상기 통합비행조종컴퓨터에 전원이 인가될 때마다 상기 OFP에 상기 순환중복검사를 실시하는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
The method of claim 1,
The OFP verification step (S600)
And performing the cyclic redundancy test to the OFP whenever power is applied to the integrated flight control computer.
제 1항에 있어서,
상기 통합비행조종컴퓨터의 OFP 검증 방법은
상기 OFP 검증 단계(S600)를 통해서, 실시되는 상기 순환중복검사를 통해서 생성된 CRC 코드와,
상기 OFP CRC 코드 생성 단계(S300)를 통해서, 상기 OFP에 추가되어 있는 상기 CRC 코드를 비교하여 상기 OFP의 무결성을 검증하는 것을 특징으로 하는 CRC TOOL을 이용한 OFP 무결성 입증 방법.
The method of claim 1,
OFP verification method of the integrated flight control computer
CRC code generated through the cyclic redundancy check is performed through the OFP verification step (S600),
The OFP CRC code generation step (S300), the OFP integrity verification method using a CRC TOOL, characterized in that to verify the integrity of the OFP by comparing the CRC code added to the OFP.
제1항 내지 제7항 중 어느 한 항의 방법을 실행시키기 위한 프로그램을 기록한 컴퓨터 판독 가능한 기록 매체.A computer-readable recording medium having recorded thereon a program for executing the method of any one of claims 1 to 7.
KR1020120079201A 2012-07-20 2012-07-20 Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL KR101370266B1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020120079201A KR101370266B1 (en) 2012-07-20 2012-07-20 Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020120079201A KR101370266B1 (en) 2012-07-20 2012-07-20 Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL

Publications (2)

Publication Number Publication Date
KR20140013190A KR20140013190A (en) 2014-02-05
KR101370266B1 true KR101370266B1 (en) 2014-03-06

Family

ID=50263664

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020120079201A KR101370266B1 (en) 2012-07-20 2012-07-20 Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL

Country Status (1)

Country Link
KR (1) KR101370266B1 (en)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0973407A (en) * 1995-09-05 1997-03-18 Mitsubishi Electric Corp Data management device
US20050216814A1 (en) * 2004-03-24 2005-09-29 David Thomas CRC data protection scheme for non-block-oriented data
KR20080006638A (en) * 2005-04-29 2008-01-16 콘텐트가드 홀딩즈 인코포레이티드 Systems and methods for integrity certification and verification
JP2008219746A (en) * 2007-03-07 2008-09-18 Fujitsu Ltd Information transmitting apparatus, information transmitting method, information transmission program and recording medium with the same program recorded thereon

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0973407A (en) * 1995-09-05 1997-03-18 Mitsubishi Electric Corp Data management device
US20050216814A1 (en) * 2004-03-24 2005-09-29 David Thomas CRC data protection scheme for non-block-oriented data
KR20080006638A (en) * 2005-04-29 2008-01-16 콘텐트가드 홀딩즈 인코포레이티드 Systems and methods for integrity certification and verification
JP2008219746A (en) * 2007-03-07 2008-09-18 Fujitsu Ltd Information transmitting apparatus, information transmitting method, information transmission program and recording medium with the same program recorded thereon

Also Published As

Publication number Publication date
KR20140013190A (en) 2014-02-05

Similar Documents

Publication Publication Date Title
US8683457B1 (en) Updating firmware of an electronic device by storing a version identifier in a separate header
CN108960830B (en) Intelligent contract deployment method, device, equipment and storage medium
CN102915412A (en) Software part validation using hash values
CN107315616B (en) Firmware loading method and device and electronic equipment
CN102830990A (en) Computer system starting method and computer terminal
US20120240108A1 (en) Method and device for installing/uninstalling software modules, with centralized resolution of constraints, in aircraft apparatuses
US10963334B2 (en) Method and computer system for fault tolerant data integrity verification of safety-related data
WO2013101122A1 (en) Secure error handling
CN105683910A (en) Systems and methods for updating system-level services within read-only system images
CN102968348A (en) Methods and systems for preboot data verification
Jacklin Survey of verification and validation techniques for small satellite software development
KR101420750B1 (en) Unmanned Aerial Vehicle Flight Control Software Verification Method
US20080235473A1 (en) Protection unit for a programmable data-processing system
WO2015111176A1 (en) Programmable device, error-storage system, and electronic system device
JP2009211503A (en) Source code verification device and source code verification method
US20150019852A1 (en) Verification method for system execution environment
CN103425932A (en) Signature calibration method and terminal device
KR101370266B1 (en) Method for verification Opertional Flight Program Using Cyclic Redundancy Check TOOL
Holzmann Conquering complexity
US10691805B2 (en) Resident manufacturing test software based system for mitigating risks associated with vehicle control modules
CN103617095A (en) VxWorks mapping file accuracy checking method
Dissaux et al. Combined real-time, safety and security model analysis
CN114003250A (en) Software deployment method and device
KR101375005B1 (en) Method for controlling operation of monitoring software loaded on flight control computer and computer readable recording medium to store the computer program to run the same method
US20230418591A1 (en) Firmware update method of a flash bootloader in a micro controller unit for a vehicle

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
E701 Decision to grant or registration of patent right
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20180220

Year of fee payment: 5

FPAY Annual fee payment

Payment date: 20200225

Year of fee payment: 7