• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.61-65
• /
• 2009

본 논문에서는 정보시스템에서 시스템이 연동될 때 일어나는 잔여 취약점을 분석하고, 그 검증방법에 대해 연구하였다. 광범위하고 정밀한 정보 침해 공격은 정보시스템으로 하여금 시스템끼리 연동하게하였고, 미리 취약점 검증을 받은 시스템이라 할지라도 서로 다른 시스템이 연동되게 되면 잔여 취약점이 발생할 수 있다. 따라서 안전한 정보자산의 사용을 위해서는 정보보호제품과 연동된 정보시스템에 대한 보안성을 평가할 필요할 필요가 있다. 이와 같은 보안성을 평가하기 위해, 시스템 연동 시 어떠한 일이 발생하는지 분석하고 예상되는 잔여 취약점을 추출한다. 그리고 그것을 검증하는 방법에 대해 알아보기로 한다.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.93-96
• /
• 1999

ATM을 근간으로한 초고속 정보 통신망은 융통성 및 효율성, 고속의 정보 전송 능력으로 인해 미래의 통신망으로 자리잡을 것으로 예상되며, 이와 같은 초고속 정보 통신망은 완전히 구축되기 전까지는 프레임릴레이 등과 같은 기존의 망들과 혼용해서 사용될 것이기 때문에 망 발전의 중간 단계에서 경제성이나 기술의 효용성 문제로 기본망과의 연동 연구는 매우 중요하다고 할 수 있다. 이에 따라 본 논문에서는 교환 가상 채널(Switched Virtual Channel SVC) 기반의 제어평면 연동을 고려하여 프레임 릴레이와 ATM간의 신호 연동을 중심으로 망간 연동 프로토콜을 설계하고 검증하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2022.06a
• /
• pp.574-576
• /
• 2022

메타버스는 다수 사용자의 협업이 가능한 3 차원 가상현실 환경을 제공한다. 메타버스 공간에서의 현실과 연결된 혹은 현실이 모사된 실시간/비실시간 시뮬레이션은 비용-효율적인 이점을 가진다. 연동-시뮬레이션은 서브시스템들의 통합 시뮬레이션으로, 메타버스 공간에서의 연동-시뮬레이션을 위해 데이터-레벨, 시스템-레벨, 서비스레벨에서 기술 성능 검증 및 메타버스 윤리 검증이 필요하다. 개별 서브시스템이 윤리적으로 동작하는지 뿐만 아니라 연동된 시스템의 활용도 윤리적인가를 살펴보아야 한다. 알고리즘 및 시스템 정책이 반영되어 검증된 모델은 메타버스의 더 적은 위험성을 가지고 자동화된 디지털 사회 체계나 현실세계의 시스템에 적용되어 활용될 수 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.1
• /
• pp.103-109
• /
• 2006

In this paper, VDS(Vehicle Dynamics Simulator) and ACS(Attitude Control Simulator) are developed and are verified using PILS(Process In-the Loop Simulation) between VDS and ACS. VDS is including the AOCS(Attitude & Orbit Control Subsystem) hardware modeling of geosynchronous satellite and consists of modulation concept. ACS performs the attitude determination using sensor data and generates the attitude control commands. In order to transfer the data between VDS and PCDU(Power Control & Distribution Unit), data acquisition boards were mounted. VDS performance is verified using HILS(Hardware In-the Loop Simulation) between VDS and PCDU.

• 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.

• Journal of Aerospace System Engineering
• /
• v.13 no.3
• /
• pp.40-47
• /
• 2019

This paper proposes the environment construction and test method of system integration laboratory (SIL) and system integration test (SIT) for verification of interface between onboard equipment and ground control equipment of unmanned aerial systems (UAS). This research also describes the interface environment between subsystems built in SIL and verification methods for the systems' operation logic through simulated flights. Similarly, the paper handles the ground integration test process of UAS in the real testing environments.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.381-384
• /
• 2002

현재 인증서의 상태 검증을 실시간으로 제공하기 위해 각 CA(Certificate Authority)들은 고전적 방법인 CRL(Certificate Revocation List) 배포보다는 OCSP(Online Certificate Status Protocol)을 통하여 인증서의 상태에 대한 정보를 실시간으로 제공한다. 그러나, 경로검증 및 인증서 정책 맵핑 및 정책검증과 인증서 상태검증을 제공하는 SCVP(Simple Certificate Validation Protocol)는 CRL을 사용하는 한계로 인하여 실시간 검증을 제공하지 못하고 있다. 또한 OCSP는 인증서의 실시간 상태검증만을 제공할 뿐, 인증서의 경로검증과 인증서 정책 맵핑 및 정책검증에 대한 서비스는 제공하지 못하고 있다. 따라서, 이러한 두 프로토콜의 단점을 보안하고, 인증서 검증서버가 제공해야 하는 모든 서비스를 제공하기 위해 OCSP와 SCVP의 연동방안에 대한 연구를 통하여 SCVP에서의 실시간 검증을 제공할 수 있도록 한다.

• The Journal of Korean Association of Computer Education
• /
• v.12 no.4
• /
• pp.23-34
• /
• 2009

The main purpose of this study was to develop a mobile platform that supported college students to become self-regulated learners, and to examine its effects on students' academic achievement and self-regulated learning abilities. For this purpose, a mobile platform was designed and developed through the steps of systems approach. All the sub-steps were monitored and pilot-tested. The mobile platform incorporated a number of features designed specifically for the self-regulation components, with the intention of enhancing students' academic achievement and self-regulated learning abilities. Finally, research results suggested that students were taking advantage of the mobile platform that supported students' self-regulated learning. There were statically significant differences in academic achievement according to the type of mobile platform, F(1,133)=1767.202, P<.001

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.406-408
• /
• 2001

DiffServ와 MPLS 기술은 기존의 인터넷이 지니고 있는 많은 제약사항을 해결할 수 있는 차세대 인터넷 핵심기술로서 미래 통신망의 핵심으로 자리잡을 것으로 예상된다. 인터넷망 발전단계에서 경제성과 기술의 효용성 문제로 인해 망간의 연동 연구는 매우 중요한 연구과제이다. 따라서 인터넷 서비스의 QoS보장이나 고속의 서비스를 경계적으로 제공하기 위해 DiffServ망과 MPLS망 연동에 대한 연구는 필수적으로 이루어져야 한다. 이를 위해 본 논문에서는 DiffServ망과 MPLS망에서 QoS 제공을 위한 요소들을 분석하고, 이를 바탕으로 DiffServ와 MPLS망간 연동 프로토콜을 설계하고 검증하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.9
• /
• pp.105-114
• /
• 2021

ESICD(Electrical Signal Interface Control Document) refers to a document that describes protocols and data for communication between components consist of a system. Each component developer gathers at a specific place to conduct an integrated test for ESICD verification. In this case, it often happens that the integration test is delayed due to a simple mistake of software developers. There are two reasons for this situation: First, software developers do not perform sufficient verification because it is difficult to configure the system environment in a Lab, and second, they do not immediately find the cause of errors occurred during integration tests. Therefore, in this paper, we propose a strategy to effectively perform ESICD verification, which takes a lot of time between the production and implementation stage of the weapon system development stage and the system integration test stage.