• Annual Conference of KIPS
• /
• 2003.05b
• /
• pp.1197-1200
• /
• 2003

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며, 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게된다. 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 2004년 발사를 목표로 하고있는 다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 소프트웨어의 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 이루어졌다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.479-481
• /
• 2016

원전에서 개발되는 계측제어 계통의 소프트웨어에 대한 평가를 위해서 발전소 상태를 모사하는 시뮬레이터를 활용하는 방법이 있다. 기존의 정적인 데이터만을 이용해서 수행하는 시험은 시스템의 성능을 정확하게 검증하는 데 한계가 있었지만 시뮬레이터에서 생성하는 입력 데이터를 계측제어 계통에 입력하여 시험을 수행하면 동적으로 변하는 상태를 구현할 수 있고, 계측제어 계통의 동작이 정확하게 수행되는 지 확인할 수 있다. 본 연구에서는 이러한 시뮬레이터를 기반으로 계측제어 계통의 시험검증 적합성 평가를 수행할 수 있는 환경을 구축하였고, 필요한 프로그램을 개발하였다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.19 no.4
• /
• pp.105-111
• /
• 2019

In this paper, a performance analysis of waveguide broad-wall slot array antenna for millimeter-wave seeker in Ka-band was performed as using near-field measurement. The measurement of slot array antenna was conducted in both far-field and near-field. And the validation of near-field test in millimeter band was confirmed. It was confirmed that the beam pattern characteristics including beam width and side lobe level of the slot array antenna that performed the verification were the same. Differenced in the side lobe level of azimuth and elevation beam pattern were verified to be less than 1dB. Additionally, the new antenna aperture distribution was extracted as using back-projection method modifying the near-field data and then introduced the method conducting performance analysis of array antenna.

• Annual Conference of KIPS
• /
• 2023.11a
• /
• pp.212-213
• /
• 2023

최근 네트워크 환경에서 통신되는 데이터의 신뢰성을 제공하기 위해 서명기술이 필요하다. 다양한 서명기술들 중 속성기반서명은 사용자들이 가지고 있는 속성을 기반으로 서명을 수행하기 때문에, 각 서명자들의 익명성을 보장할 수 있는 서명기술이다. 하지만 속성기반서명을 수행시 익명성을 악용하는 사용자들이 존재하는데, 이들은 잡히는 위험이 없이 일부 목적(금전, 이익)을 위해 의도적으로 자신의 서명비밀키와 속성을 공개할 수 있다. 서명권한이 없는 제 3자는 이를 이용해 서명을 수행할 수 있다. 본 논문에서는 적절한 수준의 익명성과 추적성이 제공되는 속성기반서명 기법을 제안한다. 본 제안방식은 검증자가 서명 검증시 문제가 생긴 서명에 관해 AA에게 서명을 보낸 서명자의 신원을 요청하여 확인할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.472-474
• /
• 1998

병렬 객체를 이용한 소프트웨어의 개발시, 병렬성에서 기인한 경쟁 조건의 만족 여부나 교착 상태, 기아 상태 등의 오류를 모델의 검증을 통하여 개발의 초기 단계에 발겨하고 수정하는 것은 개발의 효율성을 높일 수 있다. 이러한 병력 객체모델의 검증을 위해서는 객체간의 상호 메시지 교환과 동적 행위를 기술할 수 있는 모델링 언어가 필요하며, 검증하고자 하는 속성을 기술하기 위한 방법이 요구된다. 본 연구에서는 시스템의 모델링을 위해 SPIN에서 사용되는 PROMELA를 쓰레드 기반의 객체 모델링 언어인 SPIN++로 확장하고, 속성의 기술을 위해 확장된 선형 시제 논리를 제안하였으며, 유한 상태에서는 모델 검사(model checking) 도구인 SPIN을 이용하여 검증하는 방법을 제시하고자 한다. 이러한 연구를 통하여 병렬 객체 모델의 정형적인 검증을 수행할 수 있으며, 시스템 개발의 효율성을 높이는 데 도움을 줄 수 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1435-1442
• /
• 2006

The ideal method of safety evaluation is to verify results of execution against all possible operations within operating system, but it is impossible. However, the formal method can theoretically prove the safety on actual logic of operating system. Therefore we explain the contents of the art of the safety verification of security kernel, and make a comparative study of various standardized formal verification tools. And then we assigned PVS(Prototype Verification system) of SRI(Stanford Research Institute) to verify the safety of a modified BLP(Bell & LaPadula) model, the core access control model of multi-lavel based security kernel. Finally, we describe formal specification of the revised BLP model using the PVS, and evaluate the safety of the model by inspecting the specification of the PVS.

• Journal of Advanced Navigation Technology
• /
• v.23 no.5
• /
• pp.361-366
• /
• 2019

In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2014.06a
• /
• pp.67-70
• /
• 2014

본 논문은 TTA 에서 제정된 "HTML5 기반 스마트 TV 플랫폼" 표준(TTAK.KO-07.0111/R1)에 따라 개발된 스마트 TV 수신기가 표준의 기술 요구사항을 준수하여 적합하게 구현되었는지를 검증하기 위한 표준 적합성 시험환경을 소개한다. 적합성 시험을 위한 시험 기준과 수행절차, 판정 기준 등을 정의하고 있는 "HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험" 표준(TTAK.KO-07.0119)에 따라 200 여개의 테스트 케이스가 개발되었으며 이들은 스마트 TV 수신기에서 직접 동작하면서 수신기의 기능을 검증하고 결과를 판단하게 된다. 테스트 케이스를 실제 방송환경과 유사한 조건에서 실행하기 위하여 지상파, 케이블, IPTV, 위성 등 다양한 방송 헤드앤드를 활용한 방송 송출 서버를 구현하였으며, 시험에 관련된 정보를 처리하고 실제 시험의 수행 및 그 결과를 관리하는 적합성 시험 관리 시스템을 개발하였다. 그리고 테스트 케이스 앱을 호스팅하는 웹서버, VOD 콘텐츠를 위한 스트리밍 서버 등의 장비를 운용하여 적합성 시험을 위한 전반적인 환경을 구축하였다. 또한 본 논문에서는 구축된 시험 환경에서 표준 기반으로 개발된 참조 수신기를 대상으로 적합성 시험을 수행한 사례를 통해 시험환경의 유효성을 확인하고 향후 적합성 시험환경의 추진 방향을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.520-522
• /
• 2002

SoC 설계의 검증 비용이 전체 설계 비용의 70%를 차지한다. 이런 검증을 위한 노력과 시간을 줄이기 위해서는 SoC 설계 검증 수준을 시그널 수준 또는 사이클 수준에서 트랜잭션 수준으로 높여야 할 필요성이 있으며, 또한 그렇게 하는 것이 바람직하다. 이 논문은 IP의 인터페이스를 통해 수행되는 트랜잭션을 사이란 수준에서 기술하는 트랜잭션 중심의 인터페이스 기술 언어로부터 트랜잭션 모니터 모듈을 생성하는 방법을 제시한다. 트랜잭션 모니터모듈은 시뮬레이션을 통한 검증에 파형을 통한 결과의 관찰대신, 트랜잭션 단위의 결과의 관찰을 가능하게 함으로써 검증시간을 줄이는데 공헌할 것으로 기대된다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05b
• /
• pp.851-856
• /
• 1998

국내에서 상업운전중인 월성 원자로는 캐나다에서 개발한 CANDU형 원자로로 핵연료를 지지하는 핵연료 압력관이 사용되며, 핵연료 압력관은 원자로의 1차기기로 건전성확보가 매우 중요하다. 가동중 검사시 압력관에서 결함이 검출되면, 지속적인 사용을 위해서 결함의 건전성을 확보하여야하나, 그 평가절차가 매우 복잡하다. 본 연구에서는 핵연료 압력관 평가를 보다 신속하고 효율적으로 수행하기 위한 건전성 평가시스템을 개발하였다. 개발된 평가시스템은 예리한 결함 및 둔한 함에 대한 평가를 수행할 수 있으며, 피로균열평가, 지체수소균열평가, 불안정파괴평가, 파단전누설평가, 소성붕괴평가모듈을 수록하고 있다. 또한 개발된 시스템을 검증하기 위하여 캐나다 ECL에서 제시한 평가결과와 비교함으로서 본 시스템의 효용성을 검증하였다.