• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.675-688
• /
• 2007

잘못된 메모리 접근으로부터 발생되는 오류는 C언어로 작성된 프로그램에서 가장 빈번하게 발생하는 오류이다. 이러한 오류를 자동으로 검출하기 위한 기존의 상용화 도구 및 연구결과는 수행시간에 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 본 논문에서는 기존연구의 한계점을 개선한 새로운 메모리 접근오류 검출기법을 제안하고 실험을 통해 기존연구와의 비교분석을 수행하였다. 본 논문은 C언어 기반 프로그램의 소스코드 분석기법에 기반하고 있으며, 테스트 대상 프로그램에 할당된 동적 메모리 블록의 주소 범위에 대해 컬러링 기법을 적용한다. 본 논문에서 제안하는 오류검출기법은 기존의 바이너리 코드 분석기법에 비해 다양한 형태의 메모리 접근오류를 검출할 수 있으며, 테스트 대상 프로그램의 수행시간에 요구되는 메타데이터의 유지 및 갱신연산에 따른 공간 및 성능오버헤드가 기존의 소스코드 분석기법에 비해 개선되었다. 또한 본 논문에서 제안하는 기법은 테스트 대상 프로그램과 공유 라이브러리간의 호환성 문제를 일으키지 않으며, 메모리 할당함수의 내부 메커니즘을 변경하지 않는 특징을 갖고 있다.

• 정보과학회 논문지
• /
• 제44권2호
• /
• pp.213-222
• /
• 2017

최근 IoT 기술의 확산으로 인해 산업 무선 센서 네트워크 분야에서도 IoT 기술이 적용되고 있다. 특히 스마트 팩토리는 유연한 공정 변화 및 맞춤형 제조를 위해 제조 설비에 무선 통신 및 네트워크 기술을 적용하는 것으로 무선 노드의 이동과 빈번한 네트워크 변동에도 적응적으로 네트워킹을 지원하는 것이 중요하다. 대표적인 산업 무선 센서 네트워크 기술인 IEEE 802.15.4e는 TSCH와 DSME의 2가지 MAC 모드를 사용하고 있으며, 그 중 DSME는 네트워크 변동에 강한 저 지연 실시간 전송을 위한 기능을 제공하고 있다. 본 논문에서는 DSME에 기반한 분산 스케줄링 기법을 제안한 것으로 이동성이 높은 산업 무선 센서 네트워크에서 트래픽에 적응적으로 통신 슬롯을 할당하여 산업 무선 센서 네트워크의 시의성과 전송 신뢰성을 확보하고 있다. 제안 알고리즘은 Coordinator 노드의 Local queue의 길이와 Global queue의 길이를 비교하며, Slot stealing 기법에 기반한 Traffic-aware 분산 스케줄링을 수행한다. Slot stealing 기법을 통해 개별 통신 노드의 전송 기회를 효율적으로 보장하면서, Slot stealing을 통해 야기되는 충돌로 인한 성능 저하 및 재전송 문제를 극복하기 위해 GroupACK 기법 적용 및 CAP 구간에 재전송 예약 슬롯을 할당하였다. 이 논문에서는 제안 알고리즘을 TSCH, DSME, legacy IEEE 802.15.4 slotted CSMA/CA와 비교하였고, 다양한 이동성 실험에서 성능 우위를 확인하였다. 실험을 통해 30개 이상의 노드로 구성된 토폴로지에서는 전송 대역폭이 15% 이상 개선됨을 확인하였다. 또한, slotted CSMA/CA에 비해서는 약 40%, TSCH 및 DSME 표준기법에 비해서는 제안 알고리즘을 탑재한 DSME가 15%의 전력 소모 절감이 나타나는 것을 실험적으로 확인하였다.