• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권1호
• /
• pp.1-8
• /
• 2015

고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다.

• 정보와 통신
• /
• 제25권10호
• /
• pp.58-65
• /
• 2008

본고에서 최근 초고속 광전송 시스템의 연구/개발 동향을 소개한다. 폭발적으로 증가하고 있는 통신 트래픽을 경제적으로 수용하기 위하여 초고속 광전송 시스템은 오류 정정 코드, 라만 광증폭기, 새로운 변조 방식, 전송 링크 분산 제어, 등화기, 편광 다중화 방식등의 새로운 기술들을 도입하여 용량 및 전송 거리를 증가시키고 있다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 제14회 신호처리 합동 학술대회 논문집
• /
• pp.289-292
• /
• 2001

종래에 사용되어 왔던 1차원 바코드가 정보를 포함하고 있는 데이터베이스에 접근하는 데이터 키 역할을 주로 해온 것에 비해, 2차원 바코드는 다량의 데이터를 포함할 수 있고 고밀도의 데이터 표현이 가능하여, 호스트 컴퓨터의 데이터 베이스에 온라인 연결할 필요없이 확인하고자 하는 사람이나 대상물에 대한 정보를 얻을 수 있다. 본 논문에서는 가장 널리 사용되는 2차원 바코드 체계인 PDF417 을 중심으로 디지털 카메라를 통하여 입력한 영상을 이진화하여 시작 심볼 또는 정지 심볼을 검색함으로써 2차원 바코드 영역을 추출한 다음, 추출된 영역으로부터 바코드의 행과 열의 수, 오류수정 정도 등의 헤더정보를 검출하고 이를 바탕으로 코드워드를 추출하는 알고리즘을 제안한다. 얻어진 코드워드는 데이터를 효율적으로 저장하기위해 정보가 숫자인지, ASCII코드인지 혹은 바이트 정보인지에 따라 다른 방식으로 인코딩 되어 있는데, 그에 따른 디코딩 알고리즘을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.629-632
• /
• 2017

국내 대기업들은 충분한 SW테스팅으로 SW의 품질과 안정성을 점검하고 있다. 반면, 중소기업들은 부족한 인력과 비싼 상용 테스팅 도구 등으로 테스팅 환경이 어려운 실정이다. 이로 인한 테스트 부족 속에서 SW제품을 출시한다. 이 논문에서는 이런 문제의 해결방안 중 하나로 개발자가 코드 내부의 복잡도를 측정하여 잠재적인 오류를 줄이는데 초점을 둔다. 이를 위해 공개 소스프트웨어 기반의 도구 개선 제안 및 가시화 구현을 하였다. 즉, 벤처/중소 기업의 개발자들에게 각각 품질 요소들의 가시화 서비스가 가능하다. 이는 코드 내부의 결합력/응집력/복잡도/재사용 등의 가시적 모듈화로 SW품질 개선이 가능하다.

• 한국반도체및디스플레이장비학회:학술대회논문집
• /
• 한국반도체및디스플레이장비학회 2006년도 추계학술대회 발표 논문집
• /
• pp.39-42
• /
• 2006

본 논문에서는 블록터보로드를 사용하는 OFDM 시스템에서 오류정정 능력을 향상시키기 위하여 블록터보코드를 디코딩하는데 있어 채널상태정보(CSI)를 이용하는 새로운 알고리듬을 제안한다. 새로운 디코딩 알고리듬은 레일레이 페이딩 환경에서 채널정보를 사용하지 않는 기존의 디코딩 알고리듬과 비교를 하였으며 실험결과 새롭게 제안된 시스템의 경우 1 회 반복 복호에서 CSI 값을 적용하지 않은 기존의 복호 시스템의 4 회 반복 복호한 경우보다도 $3.SdB\;{\sim}\;5dB$의 성능 향상을 보임으로써 반복 복호의 시간을 70% 이상 감소시킬 수 있었다. 따라서 블록터보코드를 반복 복호하는 경우에 CSI 값을 적용한 시스템이 뛰어난 성능 향상과 더불어 반복 복호 시간을 줄임을 알 수 있었다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2002년도 춘계종합학술대회
• /
• pp.594-597
• /
• 2002

본 논문에서는 고정길이 코드화된 웨이블릿 계수에서 전송시 잡음 영향에 관한 연구이다. 비트평면 정보를 포함하고 있는 MAP(maximum a posteriori) 검출기를 이용하여, 전송된 코드워드 중에서 잘못 수신된 코드워드를 찾아내고 그 중에서 가장 오류가 심한 것을 결정한다. 그리고 한번 검출된 에러들로부터 복원시키는 방법을 제안하고 이진 대칭 채널을 통해 전송되는 스칼라 양자화 웨이블릿 계수를 이용해서 복원시키는 방법을 제안한다.

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3138-3150
• /
• 1998

정보통신용 소프트웨어 개발은 대용량, 고신뢰도, 고복잡도, 이질성 및 분산 환경이라는 특징을 가지고 있다. 이러한 시스템을 개발함에 있어서 개발 품질 및 적정 비용을 유지하기 위해서는 향상된 정형명세 기법과 이러한 기법을 지원하는 도구가 필수적이다. ISO 표준 정형 명세 언어인 LOTOS는 사용자의 요구사항이나 시스템 모형을 추상적이고 정형적으로 작성할수 있도록 한다. 반면, 명세로부터 구현을 직접 도출하기는 쉽지 않다. 본 연구는 LOTOS 명세 언어로 작성된 명세로부터 C++ 코드를 자동 생성하여, 이를 PC 플랫폼상에서 실행하는 동작 모형을 통하여 시스템의 기능적 요구사항의 오류를 초기에 검출할 수 있는 프로토타이핑을 지원하는 LOTOS/C++ 코드 생성기(code generator)를 개발하는 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.335-338
• /
• 2001

디자인패턴은 디자인 경험을 표현하기 위한 새로운 메커니즘으로 미래의 유사 상황에서 다시 적용될 수 있는 과거에 잘 정의된 설계에 대한 정보를 기록하는 것이며 소프트웨어 개발 설계에서 재사용성을 증가시킨다. 그러나 광범위한 관심과 활용에도 불구하고, 패턴명세와 활용은 주로 개발자의 수작업을 통해 이루어지기 때문에 일관된 형태의 분석과 활용이 어렵다. 이로 인해 오류 발생 빈도를 높일 뿐 아니라 프로그램 개발이 어렵고 많은 시간을 필요로 한다. 따라서 본 논문에서는 디자인패턴을 구조화된 전자문서로 표현하기 위한 XML 표기방법과 디자인패턴 활용시스템 구조를 제시한다. 또한 이러한 표기법과 활용구조를 통해 소스코드 자동생성 지원 시스템을 제시하고, 적용 예를 보이고자한다. XML을 이용한 구조화된 문서활용은 소스코드 생성시 사용자들에게 더 작은 코드를 작성하게 만들고, 더 안정된 시스템을 구축한 수 있게 한다. 또한 XML의 다양한 기술에 접목함으로써 패턴 활용을 극대화할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.582-585
• /
• 2008

제어 흐름 그래프(CFG : Control Flow Graph)는 제어 흐름상의 오류나 문제점을 찾아내고 흐름에 대해 한눈에 파악할 수 있기 때문에 소프트웨어공학 분야에서 많이 사용되고 있다. 현재 여러 테스팅 분야에서 다양한 제어 흐름 분석 기법들이 연구, 소개되고 있는데 본 논문에서는 XML 문서를 이용하여 CFG를 나타내고자 한다. XML은 트리구조를 가진 문서 모델로 C 언어 소스 코드를 구조적으로 나타냄으로써 좀 더 쉽게 코드를 분석하고, 제어 흐름 요소를 추출하여 제어 흐름 그래프를 나타내는 데에 유용하다. 따라서 중간 분석 파일로 XML을 이용하여 보다 빠르고 쉽게 CFG를 나타내는 기법을 제안한다.

• 한국정보통신학회논문지
• /
• 제8권5호
• /
• pp.961-969
• /
• 2004

본 논문은 리눅스 커널 네트워크 모듈에서 커널 개발자의 실수나 의도하지 않은 오류 등으로 인하여 발생되는 시스템 정지 현상 또는 시스템 패닉 현상을 줄이기 위한 커널 하드닝 설계 내용을 제안한다. 본 논문에서 제안하는 네트워크 모듈 내의 커널 하드닝 기능은 문제가 발생한 리눅스 네트워크 모듈을 수행 중인 프로세스에 있어서 문제가 발생한 코드의 주소 형태와 값 형태에 따라 복구를 하도록 하는 것이다. 값과 주소에 대한 잘못된 수행으로 시스템이 정지되는 현상을 줄임으로써 안정적인 네트워크 기능 동작을 보장한다. 오류가 발생한 커널 코드에 대해서 복구 가능한 경우에는 ASERT() 함수에서 복구가 가능하도록 설계되었다.