• 융합신호처리학회논문지
• /
• 제10권4호
• /
• pp.274-279
• /
• 2009

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 HW/SW 분할, HW/SW 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 본 논문에서는 SystemVerilog와 SystemC를 기반으로 하여 신속한 기능검증이 가능한 native-code 통합검증환경과 클럭수준 검증까지 가능한 계층화 통합검증환경을 각각 구현하였다. Native-code 통합검증환경은 시스템수준 설계언어인 SystemC를 이용하여 HW/SW 분할단계를 수행한 후, SoC 설계의 HW부분과 SW부분을 각각 SystemVerilog와 SystemC로 모델링하여 상호작용을 하나의 시뮬레이션 프로세스로 검증한다. 계층화된 SystemVerilog 테스트벤치는 임의의 테스트벡터를 생성하여 DUT의 모서리 시험을 포함하는 검증환경으로 본 논문에서는 SystemC를 도입하여 다중 상속을 가지는 통합검증환경의 구성요소를 먼저 설계한 후, SystemVerilog DPI와 ModelSim 매크로를 이용하여 SystemVerilog 테스트벤치와 결합된 통합검증환경을 설계한다. 다중 상속은 여러 기초클래스를 결합한 새로운 클래스를 정의하여 코드의 재사용성을 높이는 장점을 가지므로, 본 논문의 SystemC를 도입한 통합검증환경 설계는 검증된 기존의 코드를 재사용할 수 있는 이점을 가진다.

• 정보보호학회논문지
• /
• 제31권5호
• /
• pp.1001-1010
• /
• 2021

스마트공장은 운영 기술에 최신 정보 기술이 융합된 복합 체계이다. 스마트공장은 복합 기술의 융합으로 기존 공장에 비해 제조 능력 향상, 맞춤형 생산, 자원 절감 등을 목표로 두고 있다. 이처럼 스마트공장은 개방된 환경으로 공장의 효율성을 증가시킬 수 있음에도, 기존 정보 기술의 취약점이 그대로 전이되어 공장의 보안 수준은 낮다. 게다가 스마트공장의 보안 전문가의 부재로 피해 발생 시 업무연속성계획의 대응 및 복구가 미흡한 실정이다. 상기 문제에 대응하기 위해, 우리는 실제와 유사한 디지털트윈 기반의 스마트공장에서 랜섬웨어 공격을 발생 시켜 피해를 분석하는 정보보안 실습 콘텐츠를 제안한다. 우리의 정보보안 콘텐츠에서는 디지털트윈의 실습 환경 구축을 위해 물리적 기기들을 가상 머신 또는 시뮬레이션 모델로 전환하는 기술을 소개한다. 이 콘텐츠는 구현된 디지털트윈에서 정해진 시나리오에 따라 두 가지 유형의 랜섬웨어 공격을 발생한다. 이 발생된 공격이 성공적으로 완료될 경우 23대의 가상 요소 중 최소 8대와 5대에서 각각 피해를 본다. 그리하여 우리의 제안 콘텐츠는 가상세계의 스마트공장에서 두 가지 유형의 랜섬웨어를 발생시켜 이의 피해를 직접 확인한다.

• 한국지반환경공학회 논문집
• /
• 제25권4호
• /
• pp.13-20
• /
• 2024

본 논문에서는 유동체를 해석할 수 있는 수치해석기법 중 하나인 SPH(Smoothed Particle Hydrodynamics)의 병렬해석 알고리즘이 소개된다. 무요소법(meshless method)의 SPH는 연속체 거동을 입자기반으로 표현하기 때문에 컴퓨팅하는데 높은 자원을 요구한다. 그래서 병렬해석 알고리즘은 SPH 시뮬레이션에서 필수적으로 고려되어야 한다. 계산영역을 일정한 간격으로 분할시켜 독립적으로 해석하는 영역분할 알고리즘은 병렬해석 알고리즘 중에 가장 대표적인 방법이다. 그리고 그 중 Cartesian 좌표계의 영역분할 방법은 입자들의 좌표를 빠르고 편리하게 검색할 수 있는 장점이 있어, DEM(Discrete Element Method)이나 MD(Molecular Dynamics)에서 대중적으로 사용되고 있다. 그러나 SPH의 경우 입자들이 smoothing 길이 이내의 주위 입자 정보가 필요하기 때문에 분할 영역 간의 입자정보 공유가 중요하다. 그리고 이에 따른 CPU의 로드밸런스가 중요하다. 본 연구에서는 직교 영역분할의 크기를 동적으로 미소화 시켜 잉여 CPU가 발생하지 않도록 하는 높은 병렬효율성의 알고리즘이 제안되었다. 그리고 수치해석 모델을 통하여 효율성을 검증하였다. 유동체 모델에 대해 총 30 CPU까지 제안된 방법의 병렬효율성을 검토하였고, 28개의 물리적 코어 수까지 90%의 병렬효율성을 얻을 수 있었다.

• 인터넷정보학회논문지
• /
• 제15권3호
• /
• pp.63-69
• /
• 2014

IEEE 802.11p 차량 네트워크 환경 (WAVE)에서는 차량 운전자의 안전을 위해서 주기적으로 안전 메시지를 전송하도록 되어 있다. 차량 안전 메시지의 전송을 통해 도로상의 안전과 주행 효율을 제공하기 위해서 WAVE 표준에서는 멀티 채널 멀티 라디오 환경을 제안하고 있다. 그러나 WAVE 표준안은 안전메세지를 하나의 물리 디바이스에 하나의 채널을 이용하여 제어하고 전송하는 것으로 정의되어 있어서 다중 라디오 환경과 안전 메시지 전송 효율성을 고려하지 않았다. 또한 네트워크 무선상에서 서로 충돌이 일어나지 않는 채널을 할당하는 채널 할당은 네트워크 망구성방식을 잘 알고 있거나 모든 노드들이 같은 전송률을 가지는 무선 대역에 있어도 NP-hard한 문제로 잘 알려져 있다. 본 논문에서는 최신 802.11p와 1609.4 802.11p 표준을 이용해서 다중 채널 다중 라디오 WAVE 환경을 무선 메쉬 네트워크로 가정하여 Nash 협상 게임을 통해서 서로 간섭이 없는 채널을 할당하는 방법을 제안하고자 한다. 본 제안된 알고리즘은 시뮬레이션을 통해서 검증하였고 해당 알고리즘이 8채널 3 라디오 환경에서 랜덤 채널 할당 방법이나 Tabu 알고리즘 보다 효율성이 좋다는 것을 입증하였다.

• 정보처리학회논문지C
• /
• 제12C권5호
• /
• pp.623-632
• /
• 2005

애드혹 네트워크는 기존의 유무선 네트워크의 고정된 기반시설(infrastructure) 없이 이동 호스트들만으로 구성된 무선 환경의 네트워크이다. 애드혹 네트워크의 기본 특성, 즉, 링크의 불안정성, 각 노드의 물리적 보호의 한계, 노드간 연결의 산재성, 토폴로지의 동적인 변화 뿐 아니라 악의적인 노드의 활동으로 인해 라우팅 보안에 대한 위험성은 매우 높다 따라서 본 논문에서는 애드혹 네트워크에서 경로 탐색이나 설정 과정중 악의적인 노드가 라우팅 메시지를 변조, 위조하거나 다른 노드를 가장하여 잘못된 라우팅 정보를 네트워크에 주입시키는 공격을 방지하기 위하여 일방향 해쉬 함수를 기초로 한 one-time 전자 서명을 이용한 라우팅 보안 메커니즘을 제안한다. 제안하는 메커니즘에서 노드들은 라우팅 메시지를 서명하기 위하여 공개키 요소의 첫 세트를 반복적으로 해쉬 함수에 적용함으로써 해쉬 체인을 생성하고, 생성된 해쉬 체인으로부터 공개키 요소들을 여러 세트 유도하여 해쉬 테이블을 생성한다. 해쉬 테이블 생성 후, 노드들은 자신의 공개키 요소를 다른 노드들에게 공표하고 라우팅 메시지를 전송할 경우 one-time 전자 서명을 포함한다. 이러한 one-time 전자 서명은 라우팅 메시지를 인증하고 메시지에 무결성을 제공한다. 제안하는 라우팅 보안 메커니즘은 이동성이 높은 네트워크 환경에서는 보안을 고려하지 않은 라우팅 메커니즘에 비해 라우팅 오버헤드가 좀더 높아지지만, 경로를 탐색하고 설정하는 과정에서 악의적인 노드의 공격에 대하여 훨씬 높은 안전성을 제공함을 시뮬레이션을 통해서 확인할 수 있다.

• 한국콘텐츠학회논문지
• /
• 제9권7호
• /
• pp.76-85
• /
• 2009

높은 해상도를 갖는 UWB 신호는 무선 개인영역망에서 거리추정 및 위치추정에 사용된다. 이들 노드는 국부클럭으로 동작하고, 노드간의 클럭 주파수 차이는 이동노드의 위치를 추정하는 거리추정 알고리즘에 심각한 영향을 미친다. IEEE802.15.4a의 저속 UWB에서는 추가적인 망동기의 도움 없이 수행하는 TWR 및 SDS-TWR의 비동기 양방향 거리추정 방식을 기술하고 있으나 클럭 주파수차이의 영향을 없애지는 못하고 있다. 그러므로 UWB 물리기능에 두 노드의 수정발진기 주파수 차이를 추정하는 방식이 필요하다. 고속 UWB에서는 추적회로를 사용한 수정발진기 편이 추정이 표준에 별도로 요구되지 않고 있다. 그러나 잡음이 없는 환경에서는 노드간의 수정발진기 편이 추정이 가능하다. 본 논문에서는 상대주파수 편이를 사용하여 TWR 기반의 거리추정 수식을 유도하였으며, 이상적인 수식에서의 잔여 오차를 분석하였다. 또한 시뮬레이션으로 상대주파수 편이 알고리즘의 성능을 평가하고, TWR 횟수에 따른 거리추정오차를 분석하였다. 결과적으로 클럭 해상도가 낮더라도 다수의 TWR을 사용한 상대주파수 편이 보상 방식에 의하여 거리추정오차의 성능이 개선됨을 알 수 있다.

• Spatial Information Research
• /
• 제20권1호
• /
• pp.9-18
• /
• 2012

최근 우리나라는 여름에 집중호우로 인한 산사태로 그 피해가 계속되고 있다. 이러한 산사태는 매년 반복적으로 발생하고 있으며 급격한 기후의 변화로 인해 앞으로 그 발생빈도가 높아질 것으로 예측된다. 우리나라는 인구의 81.5%가 도시지역에 거주하고 있으며 서울에만 약 1,055만 명이 거주하고 있다. 2011년 18명의 사망자가 발생한 서초동 산사태와 동일한 조건에 인접한 대지는 서울시에서 약 9%에 달한다. 도시에서 발생하는 산사태는 그 규모는 작으나 인구가 집중하는 도시의 특성으로 인해 큰 재난을 야기할 가능성이 있다. 현재까지는 산사태의 취약성과 발생 원인을 규명하기 위한 노력이 지속되어 왔으나 산사태 발생 시 재난지역의 범위에 관한 예측 연구가 새롭게 요구되고 있다. 이에 본 연구에서는 산사태의 물리적 확산형태를 분석하기 위하여 셀룰러 오토마타(Cellular Automata, CA) 기반의 산사태 재난지역 확산모델을 구축하였다. 이동규칙, 지형에 의한 장애물을 변수로 하는 SCIDDICA(SmartComputational Innovative methoDs for Debris flow simulation with Cellular Automata)모델과 침전 및 침식에 따른 변화를 적용한 CAESAR(the Cellular Automaton Evolutionary Slope And River model)모델을 적용하여 2011년 7월 서초동 산사태를 대상으로 정확도를 비교하였다.

• 정보처리학회논문지C
• /
• 제17C권1호
• /
• pp.1-14
• /
• 2010

IEEE 802.15.4 표준기술[1]은 센서 네트워크에서 저전력을 위한 기술로 LR-WPANs(Low Rate-Wireless Personal Area Networks)의 물리 계층과 MAC계층을 규정한다. 이 표준은 무선 센서, 가상 선(Virtual Wire)과 같은 제한된 출력과 성능으로 간단한 단거리 무선 통신을 필요로 하는 폭넓은 응용에 활용되고 있지만 보안 측면의 연구는 현재 미비한 상태로 다양한 공격에 대한 취약점을 내포하고 있다. 본 논문에서는 802.15.4 MAC계층의 슬립거부(Denial of Sleep) 공격에 대한 취약성을 분석하고 이를 탐지하는 메커니즘을 제안한다. 분석 결과, 슈퍼프레임 구간 변경, CW(Contention Window)값 변경, 채널스캔 및 PAN 연합과정 등에서 슬립거부 공격의 가능성을 분석할 수 있었고, 이 과정 중 일부에서는 표준에서 정의한 인증과 암호화 기능이 적용되어도 공격 가능함을 알 수 있었다. 또한 본 논문에서는 분석된 취약점 중에 채널스캔 및 PAN 연합과정에서 Beacon/Association Request 메시지 위조를 통한 슬립거부 공격의 탐지 메커니즘을 제안한다. 제안된 메커니즘은 메시지 요청 간격, 요청 노드 ID, 신호 세기 등을 모니터링하여 공격을 식별하여 탐지한다. QualNet 시뮬레이션 툴을 사용하여 공격의 영향 및 제안된 탐지 메커니즘의 탐지 가능성과 성능의 우수성을 입증할 수 있었다.

• 한국정보통신학회논문지
• /
• 제8권6호
• /
• pp.1107-1114
• /
• 2004

시스템 패킷 인터페이스 4레벨 2단계(System Packet Interface Leve14 Phase 2)는 10Gbps 이더넷응용 뿐만 아니라, OC-192 대역폭의 ATM 및 POS를 통한 패킷 또는 셀 전송을 위한 물리계층과 링크계층 소자간의 인터페이스이다. SPI-4.2 코어는 전송 인터페이스 블록과 수신 인터페이스 블록으로 구성되어 있으며, 전이중 통신을 지원한다. 전송부는 사용자 인터페이스로부터 64비트의 데이터와 14비트의 헤더 정보를 비동기 FIFO에 쓰고, PL4 인터페이스를 통해 DDR 데이터를 전송한다. 그리고 수신부의 동작은 전송부와 역으로 동작한다. 전송부와 수신부는 캘런더 메모리를 컨피규레이션함으로서 최대 256개의 채널 지원이 가능하고, 대역폭 할당을 제어할 수 있도록 설계하였다 DIP-4 및 DIP-2 패리티 생성 및 체크를 자동적으로 수행하도록 구현하였다. 설계된 코어는 자일링스 ISE 5.li 툴을 이용하여 VHDL언어를 사용하여 기술하였으며, Model_SIM 5.6a를 이용하여 시뮬레이션 하였다. 설계된 코어는 라인당 720Mbps의 데이터 율로 동작하였다. 따라서 총 11.52Gbps의 대역폭을 지원할 수 있다. SPI-4.2 인터페이스 코어는 기가비트/테라비트 라우터, 광학 크로스바 스위치 및 SONET/SDH 기반의 전송 시스템에서 라인카드로 사용할 경우 적합할 것으로 사료된다.

• 한국측량학회지
• /
• 제32권4_1호
• /
• pp.363-371
• /
• 2014

다수의광학위성센서들이선형 배열 형태에 기반을두고설계되었다. 널리 알려진 광학위성센서의 종류는 다음과 같이 경로 평행 방향 1열스캐너(along-track line scanner), 경로 직각 방향 1열 스캐너(across-track linescanner), 3열 스캐너(three- line scanner)로 구분할 수 있다. 이들 센서들을 이용하여 위성 및 항공기에서 지상지물의 정확한 위치정보를 획득하려고 할 때 센서의 외부 표정요소와 내부 표정요소는 매우 중요한 요소들이다. 이들 센서들의 영상생성기하구조는 태양에 의한열영향, 진동, 바람등의 다양한 물리적 현상들에 의하여 시시각각 변동될 가능성이 있기에 내부표정요소의 편의가 지상에 미치는 영향을 분석하는 것은 매우 중요하다. 실제적인 비행경로와 자세정보를 바탕으로 생성된 시뮬레이션 자료를 이용하여 본 연구에서는 각 센서의 초점거리에 편의량을 점진적으로 추가하면서 실험과 분석을 수행하였으며, 또한 비행고도를 고고도와 저고도의 두가지 경우로 비교하였다.실험결과, 경로평행방향 1열 스캐너의 경우에 초점거리편의량의 증가가 지상스캔라인방향(Y 방향)의 오차를 유발하였으며, 경로 직각 방향 1열 스캐너의 경우 스캔라인방향과 수직방향으로 오차가 증가하였고, 3열 스캐너의 경우에는 수직방향으로만 오차가 증가하였다. 이들 실험결과는 향후 새로운 센서개발과 센서캘리브레이션 정확도에 가이드라인을 제공할 수 있다고 본다.