• The KIPS Transactions:PartC
• /
• v.15C no.1
• /
• pp.9-18
• /
• 2008

Prevention of attacks being made through program modification in sensor nodes is one of the important security issues. The software-based attestation technology that verifies the running code by checking whether it is modified or not in sensor nodes is being used to solve the attack problem. However, the current software-based attestation techniques are not appropriate in sensor networks because not only they are targeting static networks that member nodes does not move, but also they lacks consideration on the environment that the trusted verifier may not exist. This paper proposes a mutual attestation protocol that is suitable for sensor networks by using SWATT(Software-based ATTestation) technique. In the proposed protocol, sensor nodes periodically notify its membership to neighbor nodes and carry out mutual attestation procedure with neighbor nodes by using SWATT technique. With the proposed protocol, verification device detects the sensor nodes compromised by malicious attacks in the sensor network environments without trusted verifier and the sensor networks can be composed of only the verified nodes.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.342-345
• /
• 2019

드론의 동작 검증을 위한 테스트는 최종적으로 드론이 운용될 환경에서 이루어진다. 그러나 테스트 비용이 크고 테스트 비행 중 파손의 위험이 있기 때문에 시뮬레이션을 통한 사전 검증을 수행하는 것이 중요하다. 시뮬레이션은 SIL 방식이나 HIL 방식으로 이루어지는데 추가적인 외부 센서를 활용하는 경우 검증하기가 어렵다. SIL에서는 검증을 위해 가상의 외부 센서 구현이 필요하다. HIL 에서는 실제 센서를 사용하므로 가상의 외부 센서 구현은 필요 없다. 그러나 테스트 환경이기 때문에 실제 환경과 비슷한 데이터나 동작 검증에 적합한 데이터를 얻기 어렵다. 이러한 HIL에서의 문제를 해결하기 위해 외부 센서를 실제 환경에서 사용한 로그나 테스트 환경에서 센서 검증에 사용한 로그를 이용할 수 있다. 본 논문에서 제안하는 외부 센서의 로그를 활용한 HIL 시뮬레이션 기법 확장 내용은 외부 센서 데이터 입력기가 로그로부터 얻은 센서 데이터를 비행 컨트롤러로 보내 검증을 수행하기 때문에 데이터를 재사용할 수 있고 테스트 비용을 줄일 수 있다. 또 외부 센서 데이터 입력기는 로그 파서, 뷰어, 슬라이서, 데이터 전송기로 구성되어 로그로부터 검증에 적합한 데이터를 쉽게 얻어 활용할 수 있다.

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.32-39
• /
• 2021

Existing environmental measuring devices mainly focus on electromagnetic wave and eco-friendly product certification and durability test, and sensor reliability verification and verification of measurement data are conducted mainly through sensor performance evaluation through type approval and registration, acceptance test, initial calibration, and periodic test. This platform has established an ICT-based environmental monitoring sensor reliability verification system that supports not only performance evaluation for each target sensor, but also a verification system for sensor data reliability. A sensor board to collect sensor data for environmental information was produced, and a sensor and data reliability evaluation and verification service system was standardized. In addition, to evaluate and verify the reliability of sensor data based on ICT, a sensor data platform monitoring prototype using LoRa communication was produced, and the test was conducted in smart cities. To analyze the data received through the system, an optimization algorithm was developed using machine learning. Through this, a sensor big data analysis system is established for reliability verification, and the foundation for an integrated evaluation and verification system is provide.

• Journal of Korea Society of Industrial Information Systems
• /
• v.17 no.1
• /
• pp.63-71
• /
• 2012

Most of sensor networks are difficult to be debugged, verified, and upgraded once they are deployed in the fields, for they are usually deployed in real world and large scale. Therefore, before deploying the sensor networks, we should test and verify them sufficiently in realistic testbeds. However, since we need to control physical environments which interact with sensor networks, it takes much of time and cost to test and verify sensor networks at the level of resource-constrained sensor nodes in such environments. This paper proposes an efficient software framework for evaluating and verifying sensor networks in the view points of network and application operations (i.e., accuracy of sensing algorithms). Applying the proposed software framework to the development of a simulator for a smart parking application based on wireless sensor network, this paper verifies the feasibility of the proposed framework.

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.23-31
• /
• 2021

In recent years, in the domestic industry, personal damage has occurred due to sensor malfunction and the emission of harmful gases. But there is a limit to the reliability verification of sensor data because the evaluation of environmental sensors is focused on durability and risk tests. This platform designed a sensor board that measures 10 major substances and a performance verification system for each sensor. In addition, the data collected by the sensor board was transferred to the server for data reliability evaluation and verification using LoRa communication, and a prototype of the sensor data platform was produced to monitor the transferred data. And the collected data is analyzed and predicted by using machine learning techniques.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.20 no.6
• /
• pp.331-345
• /
• 2021

Virtual testing is considered a major requirement for the safety verification of autonomous driving functions. For virtual testing, both the autonomous vehicle and the driving environment should be modeled appropriately. In particular, a realistic modeling of the perception sensor system such as the one having a camera and radar is important. However, research on modeling to consistently generate realistic perception results is lacking. Therefore, this paper presents a sensor modeling method to provide realistic object detection results in a MILS (Model in the Loop Simulation) environment. First, the key parameters for modeling are defined, and the object detection characteristics of actual cameras and radar sensors are analyzed. Then, the detection characteristics of a sensor modeled in a simulation environment, based on the analysis results, are validated through a correlation coefficient analysis that considers an actual sensor.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.99-102
• /
• 2012

지표면 온도는 토지피복의 상태, 식생의 분포 상태, 토양수분, 증발산 등의 영향으로 많은 차이를 가지게 되며, 지면-대기의 상호순환의 중요한 인자로써 기후모델 및 농업 등의 기본적인 데이터로 사용되고 있다. 이러한 지표면의 온도를 정확하게 파악하는 것은 수문학적 관점 및 기상적인 관점에서 매우 중요하다. 기존에 LST (Land Surface Temperature, 지표면온도), ET (EvapoTranspiration, 증발산), NDVI (Normalized Difference Vegetation Index, 정규식생지수) 등의 검증이 많이 이루어진 MODIS위성의 Terra/Aqua센서는 한반도를 스캔하고 지나갈 때의 순간적인 데이터를 산출된다. 공간적인 면에서는 많은 이점이 있으나 시간적인 면에서는 시간에 따른 인자들의 변동성을 파악 하는데는 많은 문제가 있다. 그렇기 때문에 시 공간적으로 변화양상을 측정 할 수 있는 정지궤도위성의 중요성이 대두되고 있다. 본 연구에서는 국내에서 2010년 6월 27일 발사된 정지궤도위성인 천리안의 데이터를 활용하였다. 천리안 위성은 기상 센서와 해양관측 센서 그리고 통신센서를 가진 위성이다. 천리안 위성의 기상 센서는 MTSAT-1 위성과 같은 적외선 센서를 탑재하고 있으며, 평시에는 15분 단위의 데이터를 산출하게 된다. 천리안에서 제공되는 많은 Product(강우강도, 해수면온도, 가강수량, 지구방출복사 등)는 수자원 및 기상에 관련된 데이터가 제공된다. 하지만 아직 검증이 많이 이루어지지 못하였다. 그래서 천리안 위성 데이터인 지표면 온도자료를 이용하여 천리안 위성의 효율성에 대해서 알아보고자 하며, 기존의 검증이 많이 이루어진 MODIS의 데이터와의 상관성을 분석하고 지상과의 관계를 검증 및 비교하여 천리안 위성의 활용성에 대해서 알아보려고 한다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2022.10a
• /
• pp.352-354
• /
• 2022

2020년 기준 금정터널 유지관리 계측센서의 정상 작동 실효성 검증 조사결과 정상작동 유효율은 14-2공구 6개 단면의 계측센서 41개중 7.3%, 14-3공구 10개 단면의 계측센서 83개중 24.1%로 편차가 큰 것으로 나타났으며, 전체 16개 단면의 계측센서 124개중 18.5%로 나타났다.

• The KIPS Transactions:PartD
• /
• v.13D no.3 s.106
• /
• pp.391-398
• /
• 2006

This paper verifies deployment algorithms in wireless sensor networks using SPIN, a widely used model checking tool. In this paper, two deployment algorithms, DSSA(Distributed Self Spreading Algorithm) and TBDA(Tree Based Deployment Algorithm), are verified to check their stability against oscillation as well as energy consumption that is an important factor in wireless sensor networks.

• Aerospace Engineering and Technology
• /
• v.10 no.2
• /
• pp.49-55
• /
• 2011

A Direction Cosine Matrix (DCM) of each satellites sensor/actuator which contains an directional information of sensor/actuator is implemented in the on-board flight software. In order to verify the polarity of direction cosine matrix, it is mostly used that an actual sensor/actuator output is compared with the expected output value which responses to the pre-defined external stimulus to the sensor/actuator. For the gyro sensors, the Earth rotational rate can be used as an external input for the polarity verification of DCM, without using an artificial stimulus. In this study, the polarity of gyro DCM is checked and verified using the several test data which have been acquired during the different system level test phases. Finally the polarity of DCM was successfully verified using the Earth rotational rate.