• Title/Summary/Keyword: system verification

검색결과 4,690건 처리시간 0.04초

임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술 (Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices)

  • 정병호;김용혁;배성일;임을규
    • 스마트미디어저널
    • /
    • 제7권1호
    • /
    • pp.37-44
    • /
    • 2018
  • 임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

관측위치오차와 시간지연오차를 보정하는 소나방위정확도 측정 장비 구현 (Implementation of Sonar Bearing Accuracy Measurement Equipment with Parallax Error and Time Delay Error Correction)

  • 김성덕;김도영;박규태;신기철
    • 융합신호처리학회논문지
    • /
    • 제20권4호
    • /
    • pp.245-251
    • /
    • 2019
  • 소나방위정확도는 소나에서 예측한 표적방위와 실 표적방위와의 일치성을 나타내며 측정을 통해 구해진다. 하지만 소나방위정확도 측정 시에는 복잡하고 다양한 환경 요인이 작용하는 해상에서 이루어지는 관계로 여러 오차가 결과에 포함된다. 특히 GPS 수신장치와 소나센서 위치 차이로 발생하는 관측위치오차와 수중 음파 속도와 공기 중 전자파 속도 사이에서 발생되는 시간지연오차는 정확도에 큰 영향을 미치는 요소이다. 이런 관측위치오차와 시간지연오차를 자동화도구 없이 보정하는 것은 많은 노력이 들어가는 작업이다. 이에 본 연구에서는 관측위치오차와 시간지연오차를 보정하는 소나방위정확도 측정 장비를 제안하였다. 실험은 모의데이터와 실 해상데이터를 통해 이루어졌으며, 실험 결과 관측위치오차와 시간지연오차가 시스템적으로 보정되어 모의데이터인 경우 51.7%, 실 해상데이터인 경우 18.5% 이상 보정됨을 확인하였다. 제안한 방법을 통해 향후 소나시스템 탐지성능 검증의 효율성 및 정확성 향상을 기대한다.

인공신경망과 시계열 분석을 이용한 해상교통량 예측 (A Prediction of Marine Traffic Volume using Artificial Neural Network and Time Series Analysis)

  • 유상록;김종수;정중식;정재용
    • 해양환경안전학회지
    • /
    • 제20권1호
    • /
    • pp.33-41
    • /
    • 2014
  • 본 연구는 기존의 회귀분석과는 달리 시계열 분석과 인공신경망 모형을 이용하여 장래 해상교통량을 예측하였다. 특히, 시계열 분석을 통한 예측값을 인공신경망 모형에 추가 입력변수로 적용하여 장래 해상교통량 예측을 제고하고자 하였다. 본 연구는 인천항의 1996년부터 2013년까지 월별 관측값을 대상으로 하였다. 모형의 예측력 검증을 위해 1996년부터 2012년까지 관측값을 대상으로 구축한 모형으로부터 2013년을 예측하여 실제 관측값과의 비교로 적합한 모형을 판별하였다. 인천항의 2015년 장래 해상교통량은 매월 평균 교통량보다 5월과 11월에 각 5.9 %, 4.5 % 많았으며, 1월과 8월은 매월 평균 교통량보다 각 8.6 %, 4.7 % 적은 것으로 예측되었다. 따라서 인천항은 계절에 따른 월별 교통량의 차이를 확인할 수 있다. 본 연구는 해상교통 현장관측 조사시 계절에 따른 교통량의 특성을 반영할 수 있는 기초 자료로 활용될 수 있다.

설문조사를 이용한 국내 소방 구급자동차의 안전성과 효율성 측면에서의 비교 분석에 관한 연구 (A Study on the Comparative Analysis of Fire-Fighting Ambulances about the Aspects of Safety and Efficiency using the Question Investigation)

  • 신동민;김승용;한용택
    • 한국화재소방학회논문지
    • /
    • 제29권2호
    • /
    • pp.44-53
    • /
    • 2015
  • 본 연구는 119구급차 유형별 구조와 기능상의 문제점을 파악하여 구급차 내부 디자인을 보다 안전하고 효율적으로 개선하기 위한 조사연구이다. 4개 시 도의 구급대원 755명을 대상으로 2007년 영국 National Patients Safety Agency (NPSA)에서 개발한 환자 안전을 위한 미래 구급차에 관한 보고서와 이와 관련된 문헌고찰을 통해 수정 보완한 도구를 이용하였다. 설문지는 일반적 특성, 소방 구급차 내 안전성과 효율성 증진을 위한 디자인 개선을 위한 항목으로 구성되었다. 자료는 설문지를 전자우편 또는 직접 배포하여 수집하였으며, 수집된 자료는 SPSS 20.0 프로그램을 사용하여 통계처리하였다. 또한, 일반적 특성은 빈도분석, 백분율로, 구급차 내부 디자인 개선관련 항목은 카이제곱검증을 이용하여 분석하였다. 연구결과, 승합차 개조 소방구급차에서는 내부공간이 좁은 문제와 화물차 개조 구급차에서는 승차감의 개선이 이루어져야 함을 도출하였다. 또한, 구급요원의 안전벨트와 구급요원의 처치 위치의 개선이 필요함을 알 수 있었다. 향후, 이와같은 결과를 토대로 소방 구급자동차의 많은 개선이 필요함을 제시한다.

국내문헌(國內文獻)(35)에 나타난 항노화(抗老化) 및 항산화(抗酸化)의 실험적(實驗的) 연구(硏究)에 대(對)한 검색(檢索) (Search of Experimental Studies(35) on Anti aging and Anti oxidant in Korea)

  • 안상원;이철완
    • 대한한의학회지
    • /
    • 제19권2호
    • /
    • pp.373-390
    • /
    • 1998
  • 35 theses conducted in Korea on the topic of senescence or anti-oxidant were classified on the basis of research methods, animals used for the experiments, and research items. Evaluating these research works with respect to the Free Radical Theory, the following conclusions were reached. 1. Of the 17 theses written in the Oriental medicine aspect, three theses used a single herb, nine theses used a complex prescription, four theses concentrated on the usage of the medicinal acupuncture, and one research paper focused on using scientific components. Common objection of these papers were on the verification of the efficacy of herbs. 2. Of the 18 these written in the Western medicine aspect, five theses used a single drug, seven theses conducted a research on the changes due to senescence, and 6 papers were on variety of topics. The main focus of these works were on the mechanism and pathology related to the senescence rather than on the suppression of senescence. 3. Among the theses written in the Oriental medicine perspective, a total of 48 herbs were utilized. 26 of these herbs has a tonification function on the Kidney. Six out of nine complex prescription mentioned above has a function of tonifying the Kidney. 4. With respect to the research subjects used on the experiments, 8 theses have used Senescence-Accelerated mice, 13 theses have used Sprague-Dawley mice, and remaining 7 papers have used human or other animals. 5. These are the categorization of the research items used: the weight (11) and weight changes of the visceral organs (9), the measurement of the content of peroxide-disease (9), the measurement of enzyme vitality (21), the blood and urine test (10), the experiment concerning immune system (3), the influence on the hepatic capability of metabolizing foreign substance (3), the effect on hepatic cell protection (3), the measurement of both the suppression of Free Radical and ability to create Free Radical (2), the measurement of effect of suppresing MDA(malondialdehyde) (4), the effect of eliminating DPPH Radical (2), and experiements about the functions (2). 6. The rate of vitalization of well known anti-oxidants such as Superoxide dismutase (SOD), Protein-bound SH, Nonprotein-bound SH, Glutathione(GSH), Catalase, and etc. were tested in 17 theses. Considering the conclusions mentioned above, the theses related to the senescence published in Korea elected different animals used for experiments, research items and the methods of research, the end result seems to be a lack of objectivity. Thus, I would argue that research methods to overcome such a deficiency need to be developed systematically.

  • PDF

임분(林分) 공간구조(空間構造) 분석(分析)을 위한 컴퓨터 프로그램의 개발(開發) (Development of a Computer Program for Stand Spatial Structure Analysis)

  • 신만용;오정수
    • 한국산림과학회지
    • /
    • 제88권3호
    • /
    • pp.389-399
    • /
    • 1999
  • 본 연구는 개체목의 위치를 포함하는 정밀 임분조사 자료를 이용하여 임분의 3차원 공간구조 분석이 가능한 컴퓨터 프로그램의 개발을 목적으로 수행되었다. 이 프로그램은 임분의 ha당 통계량 계산 등 양적 정보뿐만 아니라 직경, 수고, 재적분포, 그리고 3차원 임분 공간구조와 수관투영도 등의 시각적 정보를 제공하는 기능을 가지고 있다. 또한 컴퓨터 상에서 가상 시업 시뮬레이션을 통해 시업후의 임분구조를 시각적으로 확인할 수 있는 기능을 포함한다. 본 연구에서 개발된 프로그램의 통계분석 부분은 SAS의 분석결과와 비교하였고, 그래픽 정보의 표현 능력은 유사한 3차원 수관도 프로그램인 TreeDraw와 비교하였다. 그 결과 본 연구에서 개발된 프로그램은 자료분석 시간이나 결과의 요약 등 실용성 측면에서 우수한 것으로 나타났다. 본 프로그램을 이용할 경우 해당 임분에 대한 적합한 조림조치와 합리적인 경영에 필요한 다양한 임분 공간정보를 얻을 수 있어 사용자의 의사결정에 도움이 될 것으로 판단된다.

  • PDF

한국형 Reach File을 이용한 1차원 수질모델 모식도 자동생성 알고리듬 개발 (Developing Algorithm of Automated Generating Schematic Diagram for One-dimensional Water Quality Model using Korean Reach File)

  • 박용길;김계현;이철용;이성주
    • Spatial Information Research
    • /
    • 제21권6호
    • /
    • pp.91-98
    • /
    • 2013
  • 우리나라는 2004년부터 오염총량관리가 가능한 수질오염총량관리제를 도입하였으며 지방자치단체는 수질모델을 이용하여 소유역별 기준배출부하량을 산정하고 있다. 그러나 수질모델의 입력자료 중 하천 모식도 작성은 대부분 수작업으로 이루어지고 있어 많은 시간과 비용이 투자된다. 따라서 본 연구에서는 하천 네트워크 분석이 가능한 한국형 Reach File을 이용하여 수질모델의 모식도 작성을 자동화하는 알고리듬을 개발하고자 하였다. 또한 GIS를 활용하여 직선형태의 기존 모식도 대신 하천형태를 가지고 있는 모식도를 작성하였다. 이것은 오염원, 취수원 등 다양한 공간정보와 중첩하여 분석이 가능하다. 본 연구에서는 우선적으로 한국형 Reach File의 선형 도형자료를 이용하여 동일한 거리를 가진 요소를 분할할 수 있는 요소 자동 분할 알고리듬을 개발하였다. 이후 한국형 Reach File의 점형 도형자료를 이용하여 수질모델 모식도의 순서와 유형을 자동으로 입력할 수 있는 요소 속성 자동입력 알고리듬을 개발하였다. 알고리듬을 검증하기 위해 개발된 알고리듬을 경안천 유역에 적용하고 그 결과를 확인하였다. 본 연구 결과 모식도 작성의 자동화가 가능하였으며 이는 수질모델링의 비용과 시간을 절약할 수 있을 것으로 기대된다. 향후 모식도를 이용한 수질모델 입력자료 자동작성 시스템 개발이 이루어진다면 빠르고 편리한 수질모델링이 가능할 것으로 판단된다.

스마트교통시대의 종단 및 횡단 복합도로선형 구간에서의 가감속 시나리오별 최적주행 방법론 (Driving Methology for Smart Transportation under Longitudinal and Curved Section of Freeway)

  • 윤진수;배상훈
    • 한국ITS학회 논문지
    • /
    • 제16권3호
    • /
    • pp.73-82
    • /
    • 2017
  • 2016년 12월 기준 우리나라 자동차 총 등록대수는 2100만대를 넘어섰으며, 이러한 영향으로 교통부문 온실가스 배출량도 매해 증가하였다. 연비와 온실가스 배출량에 영향을 미치는 주요 요인으로 알려진 주행 행태와 도로 조건을 고려한 주행전략을 개발하여 주행을 할 때, 높은 연비 개선 효과를 누릴 수 있을 것으로 판단하였다. 이에 본 연구는 오르막 구간과 곡선구간이 있는 복합 도로선형 구간에서의 연료 효율적인 주행전략 개발 및 연료소모량 절감 효과 분석을 목적으로 하였다. 도로의 시설 기준에 관한 규칙에 따른 도로지형을 설계하고, 다양한 시나리오를 선정하여 속도프로파일을 생성한 후, Comprehensive Modal Emission Model에 적용하여 연료소모량을 도출하였다. 연료소모량이 최소인 시나리오를 선택하였으며, 검증을 위해 일반 운전자의 주행과 최적주행전략의 연료소모량을 비교 분석하였다. 분석 결과, 최적 주행전략이 일반 운전자의 주행보다 연료소모량을 평균 21.2% 절감하는 것으로 나타났다.

공공·행정기관 모바일전자고지서비스의 기술적인 안전성 확보 방안에 대한 연구 (A Study on the Securing Technological Safety of Mobile Electronic Notification Service in Public and Administrative Agencies)

  • 김종배
    • 한국인터넷방송통신학회논문지
    • /
    • 제20권4호
    • /
    • pp.7-16
    • /
    • 2020
  • 최근 비대면 서비스의 급속한 확대로 인해 다양한 분야에서 모바일 기기를 활용한 모바일전자고지서비스가 등장하고 있다. 모바일전자고지서비스는 지류 기반의 우편고지서비스가 가진 여러 문제점(개인정보노출, 오배송, 환경 오염, 비용 증가 등)들을 해결하기 위해서 휴대전화 문자나 앱 기반의 메시지 푸시(push) 기능으로 고지문을 전달하고 송달 여부에 대해 전자문서중계사업자가 유통을 증명해 주는 서비스이다. 공공·행정기관들이 모바일전자고지서비스 제공을 위해서는 이용자가 보유하고 있는 휴대폰 번호나 가입된 앱의 사용자 식별정보(카카오 계정 등)가 필요하다. 그러나 이러한 정보는 개인정보에 해당하여 수집 시 이용자 동의가 필요하고 동의 받은 사용자들에게만 고지가 가능한 한계가 있다. 이러한 한계를 극복하기 위해 ICT규제 샌드박스 제도를 활용하여 공공·행정기관이 보유한 이용자의 주민등록번호를 연계정보(Connecting Information: CI)로 일괄변환을 허용하고, CI를 전자문서중계사업자에게 전달하여 해당 CI 이용자가 보유한 모바일 기기로 공공·행정기관이 전송을 요구한 전자고지문을 발송하도록 임시로 허용하였다. 따라서 본 논문에서는 모바일전자고지서비스에 있어 이용자 CI에 대한 안전한 관리, 전자고지문 열람자의 본인확인, 그리고 전자고지문의 위·변조 방지까지의 기술적인 방안을 제안한다. 제안한 방안에서는 모바일전자고지문 이용자를 식별하기 위해 주민등록번호와 CI를 사용하여 공공·행정기관과 모바일전자문서중계사업자 간의 새로운 식별정보를 생성하고, 모바일 전자고지문 열람자 확인 및 위·변조 방지를 수행하기 위한 절차를 제시한다. 제안한 방안을 통해 이용자의 편리성과 더불어 CI에 대한 기술적인 안전성을 확보함으로써 모바일전자고지서비스의 역기능을 최소화하여 서비스가 활성화 될 수 있음을 확인한다.

시간 해상도 변화에 따른 IMERG 정확도 평가 (Evaluation of the Accuracy of IMERG at Multiple Temporal Scales)

  • 김주훈;최윤석;김경탁
    • 한국지리정보학회지
    • /
    • 제20권4호
    • /
    • pp.102-114
    • /
    • 2017
  • 본 연구는 위성으로부터 유도된 강우자료 중 GPM IMERG의 정확도를 평가함으로써 미계측 혹은 비접근 지역에 대한 적용성을 판단하는 것을 목적으로 하였다. 연구대상 유역은 한반도 전역에 대하여 6개 권역으로 구분하여 분석을 수행하였다. 연구 유역에 대한 강우자료는 기상청에서 생산하고 있는 ASOS의 강우량 자료와 IMERG 위성강우자료를 이용하였다. 1시간의 시간해상도에서 평균 0.46의 상관계수를 가지며 24시간 해상도의 상관분석에서는 0.69로 높은 상관관계를 보이는 것으로 분석되었다. IMERG 강우량은 지상계측 강우량 보다 과소추정되는 것으로 분석되었으나, 시간 해상도가 낮아질수록 편이가 감소하는 것으로 분석되었다. 한편, 강우가 큰 기간의 사상 2개를 선정하여 분석한 결과 1시간 해상도의 상관계수는 0.68 및 0.69 값을 나타내었다. 또한 강우의 공간분포도 ASOS 및 IMERG 모두 유사한 분포를 보이는 것으로 분석되었다. 그러므로 IMERG 자료는 계측자료가 부족하거나 접근이 어려운 지역에서의 수문 기상 특성을 파악하는데 매우 유용할 것으로 판단된다. 향후 연구에서는 분석기간의 확장과 다양한 통계 분석 방법을 적용하여 위성강우의 정확도를 검증하는 연구를 수행할 계획이다.