KR101762290B1 - 항공용 소프트웨어의 설정 정보를 변경하는 방법 - Google Patents

항공용 소프트웨어의 설정 정보를 변경하는 방법 Download PDF

Info

Publication number
KR101762290B1
KR101762290B1 KR1020120029152A KR20120029152A KR101762290B1 KR 101762290 B1 KR101762290 B1 KR 101762290B1 KR 1020120029152 A KR1020120029152 A KR 1020120029152A KR 20120029152 A KR20120029152 A KR 20120029152A KR 101762290 B1 KR101762290 B1 KR 101762290B1
Authority
KR
South Korea
Prior art keywords
kernel
setting information
source file
markup language
partition
Prior art date
Application number
KR1020120029152A
Other languages
English (en)
Other versions
KR20130107412A (ko
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 KR1020120029152A priority Critical patent/KR101762290B1/ko
Publication of KR20130107412A publication Critical patent/KR20130107412A/ko
Application granted granted Critical
Publication of KR101762290B1 publication Critical patent/KR101762290B1/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G06F8/65—Updates
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating

Abstract

항공용 소프트웨어의 설정 정보를 변경하는 방법이 개시된다. 본 발명은 마크업 언어 형식으로 미리 생성된 설정 정보를 판독하는 단계, 상기 마크업 언어 형식으로 미리 생성된 설정 정보를 판독한 결과를 기반으로 메인 커널 및 파티션 커널 중 적어도 하나의 커널을 설정하는 단계 및 상기 마크업 언어 형식으로 미리 생성된 설정 정보를 판독한 결과를 기반으로 상기 항공용 시스템의 초기화를 수행하는 단계를 포함한다. 본 발명에 의하면, 설정 정보를 소스코드로 변경하지 않고 직접 해석하거나 단순화된 형식으로 변경하여 해석할 수 있다.

Description

항공용 소프트웨어의 설정 정보를 변경하는 방법{METHOD FOR CHANGING CONFIGURATION INFORMATION OF AERONAUTICAL SOFTWARE}
본 발명은 항공용 소프트웨어에 관한 것으로, 더욱 상세하게는 ARINC(Aeronautical Radio, Incorporated)-653 규격에 따라 개발된 항공용 소프트웨어의 설정 정보를 변경하는 방법에 관한 것이다.
항공용 소프트웨어는 신뢰성과 안정성이 중요시되는 소프트웨어이며, 항공용 소프트웨어를 상용 항공기에 사용하기 위하여 DO-178B 표준에 따른 인증을 획득하여야 한다. DO-178B 는 항공기 시스템과 장비 인증에 관한 소프트웨어 개발 표준으로, 미국 RTCA(Radio Technical Commission for Aeronautics)와 유럽민간항공장비기구(EUROCAE)에 의해 개발되었고, 이를 미국 연방 항공청(Federal Aviation Administration, FAA)이 항공기 소프트웨어 인증을 위한 용도로 사용할 것을 인정하여 현재 상용 항공기의 소프트웨어 인증을 위한 일반적인 표준으로 사용되고 있다.
DO-178B 표준에 따른 인증을 받기 위하여, 항공용 소프트웨어는 요구사항 정의, 설계, 구현, 시험 등의 개발 단계를 엄격하게 수행하여야 하며, 이러한 개발 단계의 수행을 위해 필요로 하는 산출물을 작성하고 이를 기초로 하여 각 단계를 수행하는 데 많은 비용과 시간이 소모된다. 따라서, DO-178B 표준에 따른 인증을 획득하기 위해 소모되는 비용과 시간을 절약하기 위하여, 항공용 소프트웨어 분야에서 소프트웨어의 재사용은 중요한 문제이다.
이에 따라, 항공용 소프트웨어 분야에서 소프트웨어의 재사용성을 높이기 위하여, ARINC(Aeronautical Radio, Incorporated)는 항공용 어플리케이션 소프트웨어를 개발하기 위한 규격인 ARINC-653 을 정의하였다. ARINC-653은 항공전자기기의 운영체제와 응용프로그램 간의 인터페이스(APplication/EXecutive, APEX)를 정의한 규격으로, ARINC-653 규격에 따른 항공용 소프트웨어는 파티션 관리(Partition Management), 프로세스 관리(Process Management), 시간 관리(Time Management), 메모리 관리(Memory Management), 파티션 간의 통신(Inter Partition Communication) 및 파티션 내의 통신(Intra Partition Communication) 특징을 만족하여야 한다. ARINC-653의 특징 중에서 핵심은 파티션 관리이며, 파티션 관리는 하나의 시스템 내에서 응용프로그램이 실행되는 공간과 시간을 분리시켜 하나의 응용프로그램에서 발생한 오류가 다른 응용프로그램에 영향을 미치는 것을 방지하는 역할을 한다.
그러나 ARINC-653 규격에 따라 항공용 소프트웨어를 개발한 경우에 소스코드 자체는 재사용이 가능하지만, 항공용 소프트웨어의 설정 정보(여기서, 설정 정보는 파티션 정보, 포트(Port) 정보, 상태 모니터링(Health Monitoring) 정보, 메모리 주소 등을 포함함)를 변경하는 경우에 설정 정보의 변경에 따른 시험을 수행하고 소스코드-목적코드가 일치하는지 확인하여야 한다. 즉, 항공용 소프트웨어의 설정 정보를 변경하는 경우에 DO-178B 표준에 따라 재인증을 받아야 하고, 이러한 재인증을 위하여 많은 비용과 시간이 소모되는 문제점이 있었다.
상기와 같은 문제점을 해결하기 위한 본 발명의 목적은, DO-178B 표준에 따른 재인증 없이도 설정 정보가 변경된 항공용 소프트웨어를 사용하기 위한 항공용 소프트웨어의 설정 정보를 변경하는 방법을 제공하는 데 있다.
상기 목적을 달성하기 위한 본 발명의 일 실시예에 따른 항공용 소프트웨어의 설정 정보를 변경하는 방법은, 항공용 시스템의 메인 커널에 대한 소스 파일, 파티션 커널에 대한 소스 파일 및 어플리케이션에 대한 소스 파일을 기초로 생성한 목적 파일을 상기 항공용 시스템에서 실행하는 단계, 상기 목적 파일을 실행한 후 마크업 언어 형식으로 미리 생성된 설정 정보를 판독하는 단계, 상기 마크업 언어 형식으로 미리 생성된 설정 정보를 판독한 결과를 기반으로 상기 메인 커널 및 상기 파티션 커널 중 적어도 하나의 커널을 설정하는 단계 및 상기 마크업 언어 형식으로 미리 생성된 설정 정보를 판독한 결과를 기반으로 상기 항공용 시스템의 초기화를 수행하는 단계를 포함한다.
본 발명에 의하면, 항공용 소프트웨어의 설정 정보를 변경하는 경우, 설정 정보를 소스코드로 변경하지 않고 직접 해석하거나 단순화된 형식으로 변경하여 해석할 수 있으며, 이에 따라 소스코드가 변경되지 않으므로 소스코드-목적코드의 일치성을 확인하기 위한 절차를 생략할 수 있다.
즉, 소스코드-목적코드의 일치성을 확인할 필요가 없으므로, DO-178B 표준에 따른 재인증 절차를 수행할 필요가 없는 장점이 있으며, 따라서 재인증 절차를 수행함에 따라 비용과 시간이 낭비되는 것을 방지할 수 있다.
도 1은 본 발명의 실시예에 따른 항공용 시스템을 도시한 블록도이다.
도 2는 항공용 소프트웨어의 설정 정보를 변경하는 방법을 도시한 흐름도이다.
도 3은 본 발명의 실시예에 따른 항공용 소프트웨어의 설정 정보를 변경하는 방법을 도시한 흐름도이다.
본 발명은 다양한 변경을 가할 수 있고 여러 가지 실시예를 가질 수 있는 바, 특정 실시예들을 도면에 예시하고 상세하게 설명하고자 한다.
그러나, 이는 본 발명을 특정한 실시 형태에 대해 한정하려는 것이 아니며, 본 발명의 사상 및 기술 범위에 포함되는 모든 변경, 균등물 내지 대체물을 포함하는 것으로 이해되어야 한다.
제1, 제2 등의 용어는 다양한 구성요소들을 설명하는데 사용될 수 있지만, 상기 구성요소들은 상기 용어들에 의해 한정되어서는 안 된다. 상기 용어들은 하나의 구성요소를 다른 구성요소로부터 구별하는 목적으로만 사용된다. 예를 들어, 본 발명의 권리 범위를 벗어나지 않으면서 제1 구성요소는 제2 구성요소로 명명될 수 있고, 유사하게 제2 구성요소도 제1 구성요소로 명명될 수 있다. 및/또는 이라는 용어는 복수의 관련된 기재된 항목들의 조합 또는 복수의 관련된 기재된 항목들 중의 어느 항목을 포함한다.
어떤 구성요소가 다른 구성요소에 "연결되어" 있다거나 "접속되어" 있다고 언급된 때에는, 그 다른 구성요소에 직접적으로 연결되어 있거나 또는 접속되어 있을 수도 있지만, 중간에 다른 구성요소가 존재할 수도 있다고 이해되어야 할 것이다. 반면에, 어떤 구성요소가 다른 구성요소에 "직접 연결되어" 있다거나 "직접 접속되어" 있다고 언급된 때에는, 중간에 다른 구성요소가 존재하지 않는 것으로 이해되어야 할 것이다.
본 출원에서 사용한 용어는 단지 특정한 실시예를 설명하기 위해 사용된 것으로, 본 발명을 한정하려는 의도가 아니다. 단수의 표현은 문맥상 명백하게 다르게 뜻하지 않는 한, 복수의 표현을 포함한다. 본 출원에서, "포함하다" 또는 "가지다" 등의 용어는 명세서상에 기재된 특징, 숫자, 단계, 동작, 구성요소, 부품 또는 이들을 조합한 것이 존재함을 지정하려는 것이지, 하나 또는 그 이상의 다른 특징들이나 숫자, 단계, 동작, 구성요소, 부품 또는 이들을 조합한 것들의 존재 또는 부가 가능성을 미리 배제하지 않는 것으로 이해되어야 한다.
다르게 정의되지 않는 한, 기술적이거나 과학적인 용어를 포함해서 여기서 사용되는 모든 용어들은 본 발명이 속하는 기술 분야에서 통상의 지식을 가진 자에 의해 일반적으로 이해되는 것과 동일한 의미를 가지고 있다. 일반적으로 사용되는 사전에 정의되어 있는 것과 같은 용어들은 관련 기술의 문맥 상 가지는 의미와 일치하는 의미를 가진 것으로 해석되어야 하며, 본 출원에서 명백하게 정의하지 않는 한, 이상적이거나 과도하게 형식적인 의미로 해석되지 않는다.
이하, 첨부한 도면들을 참조하여, 본 발명의 바람직한 실시예를 보다 상세하게 설명하고자 한다. 본 발명을 설명함에 있어 전체적인 이해를 용이하게 하기 위하여 도면상의 동일한 구성요소에 대해서는 동일한 참조부호를 사용하고 동일한 구성요소에 대해서 중복된 설명은 생략한다.
명세서 전체에서 '항공용 시스템'은 하드웨어, 하드웨어를 제어하는 운영체체(Operating System, OS) 및 운영체제 위에서 실행되는 어플리케이션(Application)을 포함하는 의미이다. 여기서, '하드웨어'는 프로세서, 메모리, 항공기 동작을 위한 디바이스(예를 들어, 항공기 날개의 제어를 위한 전압 센서, 기울기 센서, 가속도 센서, 유압 장치, 모터 등) 등을 포함할 수 있다.
또한, 명세서 전체에서 'DO-178B'는 항공기 시스템과 장비 인증에 관한 소프트웨어 개발 표준을 의미하고, 'ARINC(Aeronautical Radio, Incorporated)-653'는 항공용 어플리케이션 소프트웨어를 개발하기 위한 규격을 의미한다.
도 1은 본 발명에 따른 항공용 시스템을 도시한 블록도이다.
도 1을 참조하면, 본 발명에 따른 항공용 시스템은 하드웨어(10), 운영체제(20) 및 적어도 하나의 어플리케이션(30)을 포함할 수 있다. 운영체제(20)는 하나의 메인 커널(21)과 적어도 하나의 파티션(Partition) 커널(22)을 포함할 수 있으며, 메인 커널(21)은 문맥 교환(Context Switching), 스케쥴링(Scheduling), 메모리 관리(Memory Management), 인터럽트 관리(ISR Management) 등을 수행할 수 있고, 각각의 파티션 커널(22)은 자신이 담당하는 어플리케이션(30)을 실행할 수 있다.
이때, 임의의 파티션 커널(22)은 다른 파티션 커널(22)과 시간 및 공간(여기서, 공간은 프로세서, 메모리 등을 의미할 수 있음)을 달리하여 자신이 담당하는 어플리케이션(30)을 실행할 수 있다. 예를 들어, 제1 파티션 커널이 제1 어플리케이션을 담당하고 제2 파티션 커널이 제2 어플리케이션을 담당하고 제3 파티션 커널이 제3 어플리케이션을 담당하는 경우, 제1 파티션 커널은 제2 어플리케이션과 제3 어플리케이션이 실행되지 않은 시간 및 공간(여기서, 공간은 프로세서, 메모리 등을 의미할 수 있음)에서 제1 어플리케이션을 실행할 수 있다.
어플리케이션(30)의 종류에는 비행 제어 어플리케이션, 임무 제어 어플리케이션, 날개 제어 어플리케이션 등이 있으며, 복수의 어플리케이션(30)은 운영체제(20) 위에서 실행될 수 있다. 하나의 어플리케이션(30)은 복수의 프로세스를 포함할 수 있다. 예를 들어, 날개 제어 어플리케이션의 경우에 전압 센서를 제어하는 프로세스, 기울기 센서를 제어하는 프로세스, 가속도 센서를 제어하는 프로세스, 유압을 제어하는 프로세스, 모터를 제어하는 프로세스 등을 포함할 수 있다. 이때, 파티션 커널(22)은 자신이 담당하는 어플리케이션(30)에 포함된 복수의 프로세스를 시간과 공간(여기서, 공간은 프로세서, 메모리 등을 의미할 수 있음)을 서로 달리하여 실행할 수 있다.
여기서, 항공용 시스템은 DO-178B 표준 인증을 받은 시스템이고, 운영체제(20)와 어플리케이션(30) 간의 인터페이스는 ARINC-653 규격에 따라 수행된다. 즉, 메인 커널(21)과 파티션 커널(22)은 ARINC-653 을 지원하는 커널이다.
본 발명에서 메인 커널(21)과 파티션 커널(22)은 서로 독립된 부분으로 개시되지만, 메인 커널(21)과 파티션 커널(22)은 하나의 단일한 구성으로 구현될 수 있다. 이뿐만 아니라, 메인 커널(21)과 파티션 커널(22)은 각각 하나의 구성이 아닌 복수의 구성으로 구현될 수 있다.
도 2는 항공용 소프트웨어의 설정 정보를 변경하는 방법을 도시한 흐름도이다.
도 2를 참조하면, 항공용 소프트웨어의 설정 정보를 변경하는 방법은 마크업 언어(Markup language) 형식의 설정 정보를 판독하는 단계(S200), 마크업 언어 형식의 설정 정보가 메인 커널의 설정 정보를 포함하는지 판단하는 단계(S210), 메인 커널의 설정 정보를 포함하는 경우에 메인 커널에 대한 설정 정보의 소스 파일을 생성하는 단계(S220), 마크업 언어 형식의 설정 정보가 파티션 커널의 설정 정보를 포함하는지 판단하는 단계(S230), 파티션 커널의 설정 정보를 포함하는 경우에 파티션 커널에 대한 설정 정보의 소스 파일을 생성하는 단계(S240), 마크업 언어 형식의 설정 정보가 다른 파티션 커널의 설정 정보를 포함하는지 판단하는 단계(S250), 다른 파티션 커널의 설정 정보를 포함하지 않는 경우에 소스 파일을 컴파일하여 목적 파일을 생성하는 단계(S260) 및 생성한 목적 파일을 하드웨어에 탑재하여 실행하는 단계(S270)를 포함할 수 있다.
여기서, 설정 정보는 하드웨어 메모리 주소 및 ARINC-653에 기술된 설정 정보를 포함할 수 있으며, ARINC-653에 기술된 설정 정보는 메모리 파티션, 상태 모니터링(예를 들어, 에러 검출 및 보고), 포트를 통한 통신(Communication via Port) 등의 설정에 관한 정보를 포함할 수 있다.
단계 S200에서, 항공용 시스템은 마크업 언어 형식의 설정 정보를 판독할 수 있다. 즉, 마크업 언어 형식의 설정 정보가 어떠한 종류의 정보를 포함하고 있는지 판독할 수 있다. 여기서, 마크업 언어는 SGML(Standard Generalized Markup Language) 계열의 HTML(HyperText Markup Language), XML(Extensible Markup Language), XHTML(Extensible Hypertext Markup Language), MathML(Mathematical Markup Language)과 TeX 계열의 LaTeX, pTeX 를 포함할 수 있다.
단계 S210에서, 항공용 시스템은 단계 S200에서 판독한 결과에 따라 마크업 언어 형식의 설정 정보에 메인 커널의 설정 정보가 포함되어 있는지 판단할 수 있다. 여기서, 마크업 언어 형식의 설정 정보에 메인 커널의 설정 정보가 포함되어 있는 경우에 항공용 시스템은 다음 단계로 단계 S220을 수행할 수 있고, 마크업 언어 형식의 설정 정보에 메인 커널의 설정 정보가 포함되어 있지 않은 경우에 항공용 시스템은 다음 단계로 단계 S230을 수행할 수 있다.
단계 S220에서, 항공용 시스템은 마크업 언어 형식의 설정 정보에 포함된 메인 커널의 설정 정보에 대한 소스 파일을 생성할 수 있다. 이때, 항공용 시스템은 C, Java 등의 프로그래밍 언어를 사용하여 메인 커널의 설정 정보에 대한 소스 파일을 생성할 수 있다.
단계 S230에서, 항공용 시스템은 단계 S200에서 판독한 결과에 따라 마크업 언어 형식의 설정 정보에 파티션 커널의 설정 정보가 포함되어 있는지 판단할 수 있다. 여기서, 마크업 언어 형식의 설정 정보에 파티션 커널의 설정 정보가 포함되어 있는 경우에 항공용 시스템은 다음 단계로 단계 S240을 수행할 수 있고, 마크업 언어 형식의 설정 정보에 파티션 커널의 설정 정보가 포함되어 있지 않은 경우에 항공용 시스템은 다음 단계로 단계 S260을 수행할 수 있다.
단계 S240에서, 항공용 시스템은 마크업 언어 형식의 설정 정보에 포함된 파티션 커널의 설정 정보에 대한 소스 파일을 생성할 수 있다. 이때, 항공용 시스템은 C, Java 등의 프로그래밍 언어를 사용하여 파티션 커널의 설정 정보에 대한 소스 파일을 생성할 수 있다.
단계 S250에서, 항공용 시스템은 단계 S240에서 소스 파일로 생성한 파티션 커널의 설정 정보 이외 다른 파티션 커널의 설정 정보가 마크업 언어 형식의 설정 정보에 포함되어 있는지 판단할 수 있다. 여기서, 마크업 언어 형식의 설정 정보에 다른 파티션 커널의 설정 정보가 포함되어 있는 경우에 항공용 시스템은 다음 단계로 단계 S240을 다시 수행할 수 있고, 마크업 언어 형식의 설정 정보에 다른 파티션 커널의 설정 정보가 포함되어 있지 않은 경우에 항공용 시스템은 다음 단계로 단계 S260을 수행할 수 있다. 즉, 운영체제 내에 복수의 파티션 커널이 존재하는 경우에 복수의 파티션 커널은 서로 다른 설정 정보를 가질 수 있으므로, 항공용 시스템은 각각의 파티션 커널의 설정 정보에 대한 소스 파일을 생성하는 과정을 반복하여 수행할 수 있다.
단계 S260에서, 항공용 시스템은 소스 파일을 컴파일하여 목적 파일을 생성할 수 있다. 여기서, 항공용 시스템은 메인 커널에 대한 소스 파일, 메인 커널의 설정 정보에 대한 소스 파일, 적어도 하나의 파티션 커널에 대한 소스 파일, 적어도 하나의 파티션 커널의 설정 정보에 대한 소스 파일, 어플리케이션에 대한 소스 파일 등을 컴파일하여 목적 파일을 생성할 수 있다. 이때, 소스 파일이 C 언어를 기반으로 생성된 경우에 C 컴파일러(Compiler)를 사용하여 컴파일할 수 있으며, 소스 파일을 컴파일하는 데 사용되는 C 컴파일러로 DO-178B 에 따른 표준 인증을 받은 컴파일러를 사용할 수 있다.
또한, 항공용 시스템은 컴파일뿐만 아니라 컴파일 과정을 거친 목적 파일을 링크(Link)하여 실행 파일을 생성할 수 있다. 이때, 단계 S270에서, 항공용 시스템은 목적 파일을 링크하여 실행 파일을 생성하지 않고 단계 S260을 통해 생성된 실행 파일을 하드웨어에 탑재하여 실행할 수 있다.
단계 S270에서, 항공용 시스템은 단계 S260을 통해 생성된 목적 파일을 하드웨어에 탑재하여 실행할 수 있다. 즉, 항공용 시스템은 링커(Linker)를 사용하여 목적 파일을 링크시켜 실행 파일을 생성할 수 있고, 생성한 실행 파일을 하드웨어에 탑재하여 실행할 수 있다. 이때, 목적 파일을 링크하는 데 사용되는 링커로 DO-178B 에 따른 표준 인증을 받은 링커를 사용할 수 있다.
상술한 단계 S200, 단계 S210, 단계 S220, 단계 S230, 단계 S240, 단계 S250, 단계 S260 및 단계 S270에서 수행하는 과정은 도 1에 도시된 항공용 시스템에서 수행될 수 있다.
도 3은 본 발명에 따른 항공용 소프트웨어의 설정 정보를 변경하는 방법을 도시한 흐름도이다.
도 3을 참조하면, 본 발명에 따른 항공용 소프트웨어의 설정 정보를 변경하는 방법은 소스 파일을 컴파일하여 목적 파일을 생성하는 단계(S300), 생성한 목적 파일을 하드웨어에 탑재하여 실행하는 단계(S310), 목적 파일을 하드웨어에 탑재하여 실행한 후, 마크업 언어 형식의 설정 정보를 판독하는 단계(S320), 마크업 언어 형식의 설정 정보가 메인 커널의 설정 정보를 포함하는지 판단하는 단계(S330), 메인 커널의 설정 정보를 포함하는 경우에 메인 커널의 설정 정보를 해석하여 메인 커널을 설정하는 단계(S340), 마크업 언어 형식의 설정 정보가 파티션 커널의 설정 정보를 포함하는지 판단하는 단계(S350), 파티션 커널의 설정 정보를 포함하는 경우에 파티션 커널의 설정 정보를 해석하여 파티션 커널을 설정하는 단계(S360), 마크업 언어 형식의 설정 정보가 다른 파티션 커널의 설정 정보를 포함하는지 판단하는 단계(S370), 다른 파티션 커널의 설정 정보를 포함하지 않는 경우에 메인 커널의 설정 정보와 적어도 하나의 파티션 커널의 설정 정보를 기반으로 항공용 시스템을 초기화하는 단계(S380) 및 설정 정보를 기반으로 초기화한 항공용 시스템에서 어플리케이션을 실행하는 단계(S390)를 포함할 수 있다.
여기서, 설정 정보는 하드웨어 메모리 주소 및 ARINC-653 에 기술된 설정 정보를 포함할 수 있으며, ARINC-653 에 기술된 설정 정보는 메모리 파티션, 상태 모니터링(예를 들어, 에러 검출 및 보고), 포트를 통한 통신 등의 설정에 관한 정보를 포함할 수 있다.
단계 S300에서, 항공용 시스템은 소스 파일을 컴파일하여 목적 파일을 생성할 수 있다. 여기서, 항공용 시스템은 메인 커널에 대한 소스 파일, 적어도 하나의 파티션 커널에 대한 소스 파일, 어플리케이션에 대한 소스 파일 등을 컴파일하여 목적 파일을 생성할 수 있다. 이때, 소스 파일이 C 언어를 기반으로 생성된 경우에 C 컴파일러를 사용하여 컴파일할 수 있으며, 소스 파일을 컴파일하는 데 사용되는 C 컴파일러로 DO-178B 에 따른 표준 인증을 받은 컴파일러를 사용할 수 있다.
또한, 항공용 시스템은 컴파일뿐만 아니라 컴파일 과정을 거친 목적 파일을 링크하여 실행 파일을 생성할 수 있다. 이때, 단계 S310에서, 항공용 시스템은 목적 파일을 링크하여 실행 파일을 생성하지 않고 단계 S300에서 생성된 실행 파일을 하드웨어에 탑재하여 실행할 수 있다.
단계 S310에서, 항공용 시스템은 단계 S300에서 생성된 목적 파일을 하드웨어에 탑재하여 실행할 수 있다. 즉, 항공용 시스템은 링커를 사용하여 목적 파일을 링크시켜 실행 파일을 생성할 수 있고, 생성한 실행 파일을 하드웨어에 탑재하여 실행할 수 있다. 이때, 목적 파일을 링크하는 데 사용되는 링커로 DO-178B 에 따른 표준 인증을 받은 링커를 사용할 수 있다.
단계 S320에서, 항공용 시스템은 마크업 언어 형식의 설정 정보를 판독할 수 있다. 즉, 항공용 시스템은 마크업 언어 형식의 설정 정보가 어떠한 종류의 정보를 포함하고 있는지 판독할 수 있다. 여기서, 마크업 언어는 SGML 계열의 HTML, XML, XHTML, MathML 과 TeX 계열의 LaTeX, pTeX 를 포함할 수 있다. 또한, 마크업 언어 형식의 설정 정보는 마크업 언어 형식으로 미리 생성된 정보이며, 상기 항공용 시스템의 설정을 변경하기 위한 정보를 포함할 수 있다.
예를 들어, XML 형식의 설정 정보인 경우, 항공용 시스템은 XML 형식의 설정 정보를 직접 해석하여 설정 정보가 어떠한 종류의 정보를 포함하고 있는지 판독할 수 있고, XML 형식의 설정 정보를 단순화된 형식으로 변환하고 단순화된 형식을 해석하여 설정 정보가 어떠한 종류의 정보를 포함하고 있는지 판독할 수 있다. 여기서, 단순화된 형식은 XML 형식의 설정 정보에서 필드명을 생략하여 각 정보만을 나열한 형식을 의미할 수 있다.
이하 표 1, 표 2를 참조하여 단계 S320에서 항공용 시스템이 마크업 언어 형식의 설정 정보를 판독하는 방법에 대하여 설명한다.
Figure 112012023097389-pat00001
표 1은 XML 형식의 설정 정보에 대한 하나의 예를 나타낸 것으로, 항공용 시스템은 XML 형식의 설정 정보의 필드명과 필드명에 해당하는 정보를 해석하여 설정 정보가 어떠한 종류의 정보를 포함하고 있는지 판독하는 과정을 수행할 수 있다.
Figure 112012023097389-pat00002
표 2는 표 1의 XML 설정 정보를 단순화한 형식을 나타낸 것으로, 항공용 시스템은 표 1과 같은 XML 형식의 설정 정보를 표 2와 같은 단순화된 설정 정보로 변환하는 과정을 수행할 수 있고, 단순화된 설정 정보를 해석하여 설정 정보가 어떠한 종류의 정보를 포함하고 있는지 판독하는 과정을 수행할 수 있다. 이때, 설정 정보의 필드명을 제거하여 표 1과 같은 XML 형식의 설정 정보를 표 2와 같은 단순화된 설정 정보로 변환하는 데 사용하는 시스템으로 DO-178B 에 따른 표준 인증을 받은 시스템을 사용할 수 있다.
단계 S330에서, 항공용 시스템은 단계 S320에서 판독한 결과에 따라 마크업 언어 형식의 설정 정보에 메인 커널의 설정 정보가 포함되어 있는지 판단할 수 있다. 여기서, 마크업 언어 형식의 설정 정보에 메인 커널의 설정 정보가 포함되어 있는 경우에 항공용 시스템은 다음 단계로 단계 S340을 수행할 수 있고, 마크업 언어 형식의 설정 정보에 메인 커널의 설정 정보가 포함되어 있지 않은 경우에 항공용 시스템은 다음 단계로 단계 S350을 수행할 수 있다.
단계 S340에서, 항공용 시스템은 메인 커널의 설정 정보를 해석하여 해당 메인 커널을 설정할 수 있다. 메인 커널에 대한 설정 정보의 형식이 표 1과 같은 XML 형식의 설정 정보인 경우, 항공용 시스템은 메인 커널에 대한 설정 정보의 필드명 및 필드명에 해당하는 정보를 해석하여 그 의미를 파악하고, 파악한 설정 정보의 의미에 따라 해당 메인 커널을 설정할 수 있다.
메인 커널에 대한 설정 정보의 형식이 표 2와 같은 단순화된 설정 정보인 경우, 항공용 시스템은 단순화된 설정 정보를 해석하여 그 의미를 파악하고, 파악한 설정 정보의 의미에 따라 해당 메인 커널을 설정할 수 있다. 즉, 설정 정보에는 메모리 파티션, 상태 모니터링(예를 들어, 에러 검출 및 보고), 포트를 통한 통신 등의 설정에 관한 정보가 포함되므로, 메인 커널에 대한 설정 정보에 따라 메모리 파티션, 상태 모니터링, 포트 등의 설정을 변경할 수 있다.
단계 S350에서, 항공용 시스템은 단계 S320에서 판독한 결과에 따라 마크업 언어 형식의 설정 정보에 파티션 커널의 설정 정보가 포함되어 있는지 판단할 수 있다. 여기서, 마크업 언어 형식의 설정 정보에 파티션 커널의 설정 정보가 포함되어 있는 경우에 항공용 시스템은 다음 단계로 단계 S360을 수행할 수 있고, 마크업 언어 형식의 설정 정보에 파티션 커널의 설정 정보가 포함되어 있지 않은 경우에 항공용 시스템은 다음 단계로 단계 S380을 수행할 수 있다.
단계 S360에서, 항공용 시스템은 파티션 커널의 설정 정보를 해석하여 해당 파티션 커널을 설정할 수 있다. 파티션 커널에 대한 설정 정보의 형식이 표 1과 같은 XML 형식의 설정 정보인 경우, 항공용 시스템은 파티션 커널에 대한 설정 정보의 필드명 및 필드명에 해당하는 정보를 해석하여 그 의미를 파악하고, 파악한 설정 정보의 의미에 따라 해당 파티션 커널을 설정할 수 있다. 파티션 커널에 대한 설정 정보의 형식이 표 2와 같은 단순화된 설정 정보인 경우, 항공용 시스템은 단순화된 설정 정보를 해석하여 그 의미를 파악하고, 파악한 설정 정보의 의미에 따라 해당 파티션 커널을 설정할 수 있다. 즉, 설정 정보에는 메모리 파티션, 상태 모니터링(예를 들어, 에러 검출 및 보고), 포트를 통한 통신 등의 설정에 관한 정보가 포함되므로, 파티션 커널에 대한 설정 정보에 따라 메모리 파티션, 상태 모니터링, 포트 등의 설정을 변경할 수 있다.
단계 S370에서, 항공용 시스템은 단계 S360에서 해석한 파티션 커널의 설정 정보 이외 다른 파티션 커널의 설정 정보가 마크업 언어 형식의 설정 정보에 포함되어 있는지 판단할 수 있다.
여기서, 마크업 언어 형식의 설정 정보에 다른 파티션 커널의 설정 정보가 포함되어 있는 경우에 항공용 시스템은 다음 단계로 단계 S360을 수행할 수 있고, 마크업 언어 형식의 설정 정보에 다른 파티션 커널의 설정 정보가 포함되어 있지 않은 경우에 항공용 시스템은 다음 단계로 단계 S380을 수행할 수 있다. 즉, 운영체제 내에 복수의 파티션 커널이 존재하는 경우에 복수의 파티션 커널은 서로 다른 설정 정보를 가질 수 있으므로, 항공용 시스템은 각각의 파티션 커널의 설정 정보를 해석하여 그 결과에 따라 해당 파티션 커널을 설정하는 과정을 수행할 수 있다.
단계 S380에서, 항공용 시스템은 메인 커널의 설정 정보와 파티션 커널의 설정 정보를 기반으로 항공용 시스템을 설정하여 초기화할 수 있다. 즉, 항공용 시스템은 단계 S340에서 수행한 메인 커널 설정과 단계 S360에서 수행한 파티션 커널 설정에 부합하도록 항공용 시스템의 다른 부분을 설정하여 초기화를 수행할 수 있다.
단계 S390에서, 항공용 시스템은 초기화한 항공용 시스템에서 어플리케이션을 실행할 수 있다.
상술한 단계 S300, 단계 S310, 단계 S320, 단계 S330, 단계 S340, 단계 S350, 단계 S360, 단계 S370, 단계 S380 및 단계 S390에서 수행하는 과정은 도 1에 도시된 항공용 시스템에서 수행될 수 있다.
상술한 바와 같이, 항공용 소프트웨어의 설정 정보를 변경하는 경우, 설정 정보를 소스코드로 변경하지 않고 직접 해석하거나 단순화된 형식으로 변경하여 해석할 수 있으며, 이에 따라 소스코드가 변경되지 않으므로 소스코드-목적코드의 일치성을 확인하기 위한 절차를 거치지 않고 어플리케이션을 바로 실행할 수 있다.
이상 실시예를 참조하여 설명하였지만, 해당 기술 분야의 숙련된 당업자는 하기의 특허 청구의 범위에 기재된 본 발명의 사상 및 영역으로부터 벗어나지 않는 범위 내에서 본 발명을 다양하게 수정 및 변경시킬 수 있음을 이해할 수 있을 것이다.
10 : 하드웨어
20 : 운영체제
21 : 메인 커널
22 : 파티션 커널
30 : 어플리케이션

Claims (13)

  1. 적어도 하나의 프로세서, 메모리 및 적어도 하나의 디바이스를 포함한 하드웨어, 상기 하드웨어를 제어하는 운영체제 및 적어도 하나의 어플리케이션을 포함한 항공용 시스템에서 수행되는 설정 정보를 변경하는 방법에 있어서,
    상기 적어도 하나의 프로세서가 마크업 언어 형식의 설정 정보를 기반으로 상기 운영체제의 메인 커널에 대한 소스 파일, 상기 메인 커널의 설정 정보에 대한 소스파일, 상기 운영체제의 파티션(Partition) 커널에 대한 소스 파일, 상기 파티션 커널의 설정 정보에 대한 소스 파일, 상기 적어도 하나의 어플리케이션에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션의 설정 정보에 대한 소스 파일 중 적어도 하나를 생성하는 단계;
    상기 적어도 하나의 프로세서에서, 상기 메인 커널에 대한 소스 파일, 상기 파티션(Partition) 커널에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션에 대한 소스 파일을 기초로 생성한 목적 파일을 실행하는 단계;
    상기 적어도 하나의 프로세서에서, 상기 목적 파일을 실행한 후, 상기 마크업 언어 형식의 설정 정보를 판독하는 단계;
    상기 적어도 하나의 프로세서에서, 상기 마크업 언어 형식의 설정 정보를 판독한 결과를 기반으로 상기 메인 커널 및 상기 파티션 커널 중 적어도 하나의 커널을 설정하는 단계; 및
    상기 적어도 하나의 프로세서에서, 상기 마크업 언어 형식의 설정 정보를 판독한 결과를 기반으로 상기 항공용 시스템의 초기화를 수행하는 단계를 포함하고,
    상기 소스 파일 중 적어도 하나를 생성하는 단계는,
    상기 마크업 언어 형식의 설정정보에 상기 메인 커널의 설정 정보가 미포함되거나, 상기 메인 커널의 설정 정보에 대한 소스 파일이 생성되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 상기 파티션 커널의 설정 정보에 대한 포함 여부를 판단하는 단계;
    상기 마크업 언어 형식의 설정정보에 상기 파티션 커널의 설정 정보가 포함되면, 상기 적어도 하나의 프로세서가 상기 파티션 커널의 설정 정보에 대한 소스 파일을 생성하는 단계;
    상기 파티션 커널의 설정 정보에 대한 소스 파일이 생성되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 다른 파티션 커널의 설정 정보에 대한 포함 여부를 판단하는 단계; 및
    상기 마크업 언어 형식의 설정정보에 상기 다른 파티션 커널의 설정 정보가 포함되면, 상기 적어도 하나의 프로세서가 상기 다른 파티션 커널의 설정 정보에 대한 소스 파일을 생성하는 단계를 더 포함하는,
    항공용 소프트웨어의 설정 정보를 변경하는 방법.
  2. 삭제
  3. 청구항 1에 있어서,
    상기 마크업 언어는,
    SGML(Standard Generalized Markup Language) 계열의 HTML(HyperText Markup Language), XML(Extensible Markup Language), XHTML(Extensible Hypertext Markup Language), MathML(Mathematical Markup Language) 및 TeX 계열의 LaTeX, pTeX 을 포함하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  4. 청구항 1에 있어서,
    상기 소스 파일 중 적어도 하나를 생성하는 단계는,
    상기 적어도 하나의 프로세서에서, 상기 마크업 언어 형식의 설정 정보에 상기 메인 커널의 설정 정보에 대한 포함 여부를 판단하는 단계; 및
    상기 마크업 언어 형식의 설정 정보에 상기 메인 커널의 설정 정보가 포함되면, 상기 적어도 하나의 프로세서에서 상기 메인 커널의 설정 정보에 대한 소스 파일을 생성하는 단계;를 포함하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  5. 삭제
  6. 청구항 1에 있어서,
    상기 목적 파일을 실행하는 단계는,
    상기 마크업 언어 형식의 설정 정보에 상기 파티션 커널의 설정 정보와 상기 메인 커널의 설정 정보가 미포함되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 포함된 상기 메인 커널에 대한 소스 파일, 상기 파티션 커널에 대한 소스 파일 및 상기 어플리케이션에 대한 소스 파일 중 적어도 하나를 컴파일하여 상기 목적 파일을 생성하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  7. 청구항 1에 있어서,
    상기 목적 파일을 실행하는 단계는,
    상기 마크업 언어 형식의 설정 정보에 상기 파티션 커널의 설정 정보가 미 포함되고 상기 메인 커널의 설정 정보에 대한 소스 파일이 생성되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 포함된 상기 메인 커널에 대한 소스 파일, 상기 파티션 커널에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션에 대한 소스 파일 중 적어도 하나와, 상기 메인 커널의 설정 정보에 대한 소스 파일을 컴파일하여 상기 목적 파일을 생성하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  8. 청구항 1에 있어서,
    상기 목적 파일을 실행하는 단계는,
    상기 파티션 커널의 설정 정보에 대한 소스 파일이 생성되고, 상기 마크업 언어 형식의 설정 정보에 상기 다른 파티션 커널의 설정 정보가 미 포함되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 포함된 상기 메인 커널에 대한 소스 파일, 상기 파티션 커널에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션에 대한 소스 파일 중 적어도 하나와, 상기 파티션 커널의 설정 정보에 대한 소스 파일을 컴파일하여 상기 목적 파일을 생성하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  9. 청구항 1에 있어서,
    상기 목적 파일을 실행하는 단계는,
    상기 파티션 커널의 설정 정보에 대한 소스 파일이 생성되고, 상기 마크업 언어 형식의 설정 정보에 상기 다른 파티션 커널의 설정 정보가 미 포함되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 포함된 상기 메인 커널에 대한 소스 파일, 상기 파티션 커널에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션에 대한 소스 파일 중 적어도 하나와, 상기 메인 커널의 설정 정보에 대한 소스파일 및 상기 파티션 커널의 설정 정보에 대한 소스 파일을 컴파일하여 상기 목적 파일을 생성하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  10. 청구항 1에 있어서,
    상기 목적 파일을 실행하는 단계는,
    상기 다른 파티션 커널의 설정 정보에 대한 소스 파일이 생성되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 포함된 상기 메인 커널에 대한 소스 파일, 상기 파티션 커널에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션에 대한 소스 파일 중 적어도 하나와, 상기 메인 커널의 설정 정보에 대한 소스 파일 및 상기 파티션 커널의 설정 정보에 대한 소스 파일 중 적어도 하나와, 상기 다른 파티션 커널의 설정 정보에 대한 소스 파일을 컴파일하여 상기 목적 파일을 생성하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  11. 청구항 1에 있어서,
    상기 메인 커널 및 상기 파티션 커널 중 적어도 하나의 커널을 설정하는 단계는,
    상기 적어도 하나의 프로세서에서, 상기 마크업 언어 형식의 설정 정보에 상기 메인 커널의 설정 정보에 대한 포함 여부를 판단하는 단계; 및
    상기 마크업 언어 형식의 설정 정보에 상기 메인 커널의 설정 정보가 포함되면, 상기 적어도 하나의 프로세서가 상기 메인 커널의 설정 정보를 해석하여 상기 메인 커널을 설정하는 단계;를 포함하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  12. 청구항 1에 있어서,
    상기 메인 커널 및 상기 파티션 커널 중 적어도 하나의 커널을 설정하는 단계는,
    상기 마크업 언어 형식의 설정 정보에 상기 메인 커널의 설정 정보에 대한 포함 여부를 판단 결과 상기 메인 커널의 설정 정보가 미 포함되거나, 또는 상기 메인 커널이 설정되면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 상기 파티션 커널의 설정 정보에 대한 포함 여부를 판단하는 단계;
    상기 마크업 언어 형식의 설정 정보에 상기 파티션 커널의 설정 정보가 포함되면, 상기 적어도 하나의 프로세서가 상기 파티션 커널의 설정 정보를 해석하여 상기 파티션 커널을 설정하는 단계;
    상기 파티션 커널이 설정되면, 상기 적어도 하나의 프로세서에서 상기 마크업 언어 형식의 설정 정보에 상기 다른 파티션 커널의 설정 정보에 대한 포함 여부를 판단하는 단계; 및
    상기 마크업 언어 형식의 설정 정보에 상기 다른 파티션 커널의 설정 정보가 포함되면, 상기 적어도 하나의 프로세서가 상기 다른 파티션 커널의 설정 정보를 해석하여 상기 다른 파티션 커널을 설정하는 단계;를 포함하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
  13. 청구항 11에 있어서,
    상기 항공용 시스템의 초기화를 수행하는 단계는,
    상기 마크업 언어 형식의 설정 정보에 상기 파티션 커널의 설정 정보가 포함되지 않으면, 상기 적어도 하나의 프로세서가 상기 마크업 언어 형식의 설정 정보에 포함된 상기 메인 커널에 대한 소스 파일, 상기 파티션(Partition) 커널에 대한 소스 파일 및 상기 적어도 하나의 어플리케이션에 대한 소스 파일 중 적어도 하나를 기반으로 초기화를 수행하는 항공용 소프트웨어의 설정 정보를 변경하는 방법.
KR1020120029152A 2012-03-22 2012-03-22 항공용 소프트웨어의 설정 정보를 변경하는 방법 KR101762290B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020120029152A KR101762290B1 (ko) 2012-03-22 2012-03-22 항공용 소프트웨어의 설정 정보를 변경하는 방법

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020120029152A KR101762290B1 (ko) 2012-03-22 2012-03-22 항공용 소프트웨어의 설정 정보를 변경하는 방법

Publications (2)

Publication Number Publication Date
KR20130107412A KR20130107412A (ko) 2013-10-02
KR101762290B1 true KR101762290B1 (ko) 2017-07-28

Family

ID=49630718

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020120029152A KR101762290B1 (ko) 2012-03-22 2012-03-22 항공용 소프트웨어의 설정 정보를 변경하는 방법

Country Status (1)

Country Link
KR (1) KR101762290B1 (ko)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102053849B1 (ko) 2014-03-04 2020-01-09 한국전자통신연구원 항공기 시스템 및 그것의 제어 방법

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080155513A1 (en) * 2006-12-26 2008-06-26 Calvin Ling Method for testing connectivity of software applications hosted on networked computers
US20110296151A1 (en) * 2010-05-27 2011-12-01 Airbus Operations (S.A.S.) Method and device for incremental configuration of ima type modules

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080155513A1 (en) * 2006-12-26 2008-06-26 Calvin Ling Method for testing connectivity of software applications hosted on networked computers
US20110296151A1 (en) * 2010-05-27 2011-12-01 Airbus Operations (S.A.S.) Method and device for incremental configuration of ima type modules

Also Published As

Publication number Publication date
KR20130107412A (ko) 2013-10-02

Similar Documents

Publication Publication Date Title
US8589521B2 (en) Method for testing connectivity of software applications hosted on networked computers
US8659447B2 (en) System for scheduling tasks to control the execution of warning procedures on an aircraft
EP3382536B1 (en) Emulation of hardware components
CN107704393B (zh) 数据测试方法、装置及电子设备
US11900076B2 (en) Method and apparatus for real-time control loop application execution from a high-level description
KR20200125159A (ko) 전자 장치 및 이의 제어 방법
Schoofs et al. An integrated modular avionics development environment
KR101762290B1 (ko) 항공용 소프트웨어의 설정 정보를 변경하는 방법
EP3890273A1 (en) Micro-service generation method and apparatus, device and storage medium
US11958511B2 (en) Train signal system and linkage method therefor
Dannemann et al. Embedded logging framework for spacecrafts
KR102600294B1 (ko) 차량용 플랫폼을 위한 arinc 기반 운영체제 헬스 모니터링 설정 코드 자동 생성 장치 및 방법
Liu et al. A real-time UEFI functional validation tool with behavior Colored Petri Net model
Honda et al. Range analyzer: An automatic tool for arithmetic overflow detection in model-based development
Bateman et al. Hardware-in-the-loop demonstration of a virtual redundancy approach for safety assurance in the presence of sensor failures
KR20240009757A (ko) 오토사 스택 가상화를 통한 윈도우 기반의 차량용 소프트웨어 시뮬레이션 장치 및 방법
KR20240009783A (ko) 차량용 소프트웨어 플랫폼의 시뮬레이션을 위한 코드 파싱 장치 및 방법
US10949536B1 (en) Field-loadable input/output tables for avionics hardware units
CN115639779A (zh) 用于分发和执行工业控制器中的软件扩展的系统和方法
US10164878B2 (en) Techniques of sensor readings virtualization and BMC functionality validation
KR20240009773A (ko) 차량용 소프트웨어 플랫폼의 시뮬레이션을 위한 포트 가상화 장치 및 방법
KR20240009786A (ko) 차량용 소프트웨어 플랫폼의 시뮬레이션을 위한 os 가상화 장치 및 방법
Lukic et al. Automated Configuration of ARINC 653-Compliant Avionics Architectures
CN114168150A (zh) 应用程序编译方法、装置、电子设备及存储介质
Vial et al. Evaluation of safety rules in a safety kernel-based architecture

Legal Events

Date Code Title Description
E902 Notification of reason for refusal
E701 Decision to grant or registration of patent right
GRNT Written decision to grant