-
-
公开(公告)号:KR101568092B1
公开(公告)日:2015-11-13
申请号:KR1020140114192
申请日:2014-08-29
Applicant: 한국항공우주연구원
Inventor: 신현규
Abstract: 본발명은비행소프트웨어검증시스템및 이를이용한비행소프트웨어검증방법에관한것이다. 본발명에따른비행소프트웨어검증시스템은검증장치와, 상기검증장치로부터의명령신호(command)를수신하여처리하고, 원격측정신호(telemetry)를생성하여상기검증장치로전송하는시뮬레이터를포함하며, 상기검증장치는상기시뮬레이터와네트워크연결되어상기시뮬레이터로제1 명령신호를송신하고상기시뮬레이터로부터제1 원격측정신호를수신하며, 적어도하나의제1 슬레이브검증장치로부터제2 명령신호를수신하여상기시뮬레이터로송신하며, 상기시뮬레이터로부터제2 원격측정신호를수신하여상기제1 원격측정신호및 상기제2 원격측정신호를적어도하나의상기제1 슬레이브검증장치로전송하는마스터검증장치와; 상기마스터검증장치와네트워크연결되어상기마스터검증장치로상기제2 명령신호를송신하고, 상기마스터검증장치로부터상기제1 원격측정신호및 상기제2 원격측정신호를수신하는적어도하나의상기제1 슬레이브검증장치를포함하는것을특징으로한다.
Abstract translation: 本发明涉及飞行软件验证系统和使用该飞行软件验证系统的飞行软件验证方法。 根据本发明的飞行软件验证系统包括:验证装置; 以及模拟器,其从验证装置接收命令信号,处理命令信号,生成遥测信号,并将遥测信号发送到验证装置。 验证装置包括:主验证装置,其通过网络连接到模拟器,向模拟器发送第一命令信号,从模拟器接收第一遥测信号,从至少一个第一从属验证装置接收第二命令信号 将所述第二命令信号发送到所述模拟器,从所述模拟器接收第二遥测信号,并将所述第一遥测信号和所述第二遥测信号发送到所述第一从属验证装置; 以及通过网络连接到主验证装置的至少一个第一从属验证装置,将第二命令信号发送到主验证装置,并从主验证装置接收第一遥测信号和第二遥测信号。
-
公开(公告)号:KR101526468B1
公开(公告)日:2015-06-09
申请号:KR1020130157011
申请日:2013-12-17
Applicant: 한국항공우주연구원
Inventor: 신현규
Abstract: 본발명은해결하고자하는기술적과제는, 이전에수행된위성개발과정을통해그 유효성이확인된검증환경의핵심기능을그대로유지하면서, 새로운위성의커맨드및 텔레메트리구조를지원할수 있으며, 위성개발의초기단계에서보다빠른검증이가능하고, 커맨드및 텔레메트리의설계변경에도효과적인위성비행소프트웨어검증시스템및 운영방법을개시(introduce)한다. 상기위성비행소프트웨어검증시스템은, 기존의검증환경, 커맨드처리부, 탑재컴퓨터및 텔레메트리처리부를포함한다. 상기위성비행소프트웨어검증시스템의운영방법은데이터베이스매핑단계, CLTU의변환단계및 텔레메트리변환단계를포함한다.
Abstract translation: 公开了一种用于验证卫星飞行软件的系统及其操作方法,其中该系统能够支持新卫星的命令和遥测结构,并且在卫星开发的初始步骤中快速验证卫星飞行软件, 并有效地改变命令和遥测的设计,同时通过先前执行的卫星开发过程来保持确认有效性的验证环境的核心功能。 用于验证卫星飞行软件的系统包括:常规验证环境; 命令处理单元; 一台电脑; 和遥测处理单元。 另外,用于验证卫星飞行软件的系统的操作方法包括:数据库映射步骤; CLTU转换步骤; 和遥测转换步骤。
-
公开(公告)号:KR101084339B1
公开(公告)日:2011-11-16
申请号:KR1020090131967
申请日:2009-12-28
Applicant: 한국항공우주연구원
Abstract: 본 발명은 공유 파일 관리 시스템 및 방법에 관한 것으로, 이 시스템은 사용자 인터페이스를 제공하는 위키 엔진, 위키 엔진과 연동되며 공유 파일에 대한 사용자 권한 및 제약 조건을 파일 속성 명세서에 설정하는 공유 파일 관리 관리부, 그리고 파일 속성 명세서를 참조하여 사용자의 데이터 입력에 따라 사용자 권한을 검증하고 제약 조건을 검증하는 데이터 관리부를 포함한다. 본 발명에 의하면, 복수의 사용자가 공유 문서를 효율적으로 관리할 수 있다.
공유 파일 관리, 위키 엔진, 파일 속성 명세서, 유효성 검증-
-
公开(公告)号:KR101735166B1
公开(公告)日:2017-05-24
申请号:KR1020140184579
申请日:2014-12-19
Applicant: 한국항공우주연구원
Abstract: 본발명은트레이스버퍼의기능을 On-orbit에서활용하여시스템의문제발생시 해당정보를별도로저장하고이후의분석에활용하기위한것으로서, 탑재소프트웨어를동작시키는프로세서, 상기탑재소프트웨어에의한동작기록을트레이스버퍼에기록하는디버그서포트부, 및위성의상태변화가요구되는경우상기트레이스버퍼에기록된상기동작기록을별도의메모리영역에저장하는기록부를포함한다.
Abstract translation: 本发明涉及一种用于将跟踪缓冲器存储在在轨系统中并且在系统中存在问题的情况下分别存储信息的系统和方法, 并且当需要卫星的状态改变时,用于将记录在跟踪缓冲器中的操作记录存储在单独的存储区中的记录器。
-
公开(公告)号:KR101733455B1
公开(公告)日:2017-05-08
申请号:KR1020150174979
申请日:2015-12-09
Applicant: 한국항공우주연구원
Inventor: 신현규
IPC: G06F9/44
Abstract: 본발명은소프트웨어실행제어방법및 장치에관한것으로, 본발명에따른방법은복수의동작모드를순차적으로수행하도록작성된일련의수행코드를포함하는소프트웨어를실행하는단계, 그리고복수의동작모드중에서유효하지않은동작모드가실행되지않도록소프트웨어에포함된수행코드를변경하는단계를포함한다. 본발명에의하면, 불필요한동작모드를수행하는데소요되는시간을단축할수 있고, 잘못된신호에의한위험동작을사전에예방할수 있다.
Abstract translation: 本发明并不在于有效的,根据本发明的方法包括执行软件包括一系列执行写入进行多个顺序操作模式代码的步骤,以及用于软件执行控制方法和装置的多个操作模式 并且更改软件中包含的执行代码,以便不执行操作模式。 根据本发明,可以缩短执行不必要的操作模式所需的时间,并且可以预先防止由假信号引起的危险操作。
-
公开(公告)号:KR101484547B1
公开(公告)日:2015-01-20
申请号:KR1020130133564
申请日:2013-11-05
Applicant: 한국항공우주연구원
Inventor: 신현규
IPC: H04B7/185
CPC classification number: H04B7/18532 , H04B7/18519
Abstract: 본 발명의 한 실시예에 따른 지상국의 위성 운용 방법은 오퍼랜드(operand) 및 운용 코드(Operation Code, Op Code)를 포함하는 바이트 코드를 생성하는 단계, 상기 바이트 코드를 위성으로 전송하는 단계를 포함한다.
Abstract translation: 本发明涉及在地面站中操作卫星的卫星和方法。 在地面站中操作卫星的方法包括以下步骤:产生包括操作数和操作码(Op码)的字节码; 并将该字节码发送到卫星。
-
公开(公告)号:KR101257041B1
公开(公告)日:2013-04-22
申请号:KR1020110100509
申请日:2011-10-04
Applicant: 한국항공우주연구원
IPC: G06F11/36
Abstract: 본 발명은 AHB-UART를 이용한 테스트 디버깅 방법 및 그 시스템에 관한 것으로, 본 발명에 따른 방법은 사용자 명령 및 테스트 스크립트 중 적어도 하나를 입력받는 단계, 입력된 사용자 명령 및 테스트 스크립트 중 적어도 하나의 유효성을 판단하는 단계, 유효한 것으로 판단된 사용자 명령 및 테스트 스크립트 중 적어도 하나에 대응하는 통신 명령을 생성하는 단계, 그리고 생성된 통신 명령을 타겟 시스템에 송신하는 단계를 포함한다. 본 발명에 따르면, 테스트 절차 수행에 있어 별도의 컴파일러 없이 자체적인 스크립트 해석기를 이용함으로써 테스트 및 디버깅에 소요되는 시간과 노력을 줄일 수 있다.
또한 타겟 시스템에서 응용 프로그램이 동작하고 있는 상황에서도 AMBA AHB 버스에 접근하여 특정 주소(address) 값을 읽거나 쓸 수 있어, 시스템 및 응용 프로그램을 테스트 디버깅하기 위하여 응용 프로그램을 수정하지 않아도 되는 이점이 있다.-
公开(公告)号:KR1020150077683A
公开(公告)日:2015-07-08
申请号:KR1020130166420
申请日:2013-12-30
Applicant: 한국항공우주연구원
Inventor: 신현규
IPC: G06F11/36
CPC classification number: G06F11/36
Abstract: 본발명은소프트웨어의검증시스템및 방법에관한것으로, 본발명에따른시스템은검증대상소프트웨어의검증을수행하기위한메모리참조요청구문에포함된변수를테스트스크립트로부터추출하는테스트엔진부, 그리고추출된변수에대응하는검증대상소프트웨어의메모리값을포함하는데이터를검증대상소프트웨어가탑재된탑재컴퓨터또는시뮬레이터로부터제공받고, 메모리값을테스트엔진부에전달하는메모리참조엔진부를포함한다. 본발명에의하면, 테스트스크립트의메모리참조요청구문을이용하여검증대상소프트웨어의검증을자동화함으로써보다효과적으로검증대상소프트웨어를검증할수 있다.
Abstract translation: 本发明涉及一种用于验证软件的系统和方法。 根据本发明,该系统包括:测试引擎部分,用于从测试脚本中提取包括在用于验证要验证的软件的存储器参考请求阶段中的变量; 以及存储器参考引擎部分,用于从被加载的软件被加载的安装的计算机或模拟器接收包括与所提取的变量相对应的要被验证的软件的存储器值的数据,并将所述存储器值传送到所述测试 发动机部分。 根据本发明,系统和方法能够通过使用测试脚本的存储器参考请求阶段自动化要验证的软件的验证来更有效地验证要验证的软件。
-
-
-
-
-
-
-
-
-