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

소프트웨어 개발 시, 프로세스 개선에 저해 요인이 되는 소프트웨어, 하드웨어, 인적 오류의 문제가 다수 존재한다. 시스템의 저해 요인을 제거하고 동시에 체계적으로 이를 관리하기 위하여 본 논문에서는 오류의 정량적인 분석방안을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.208-211
• /
• 2011

하드웨어와 결합도가 높은 임베디드 소프트웨어는 플랫폼의 다양하여 기존의 자동화동 테스팅 도구나 기법을 그대로 적용하기에 어려움이 있다. 특히 단위 테스팅의 경우 디버깅으로 대체 대는 경우가 많아 이후의 단계에서 오류가 탐지 되더라도 오류의 위치를 추정하기에는 어려움이 많다. 본 논문에서는 임베디드 소프트웨어의 테스팅 난점 중 하드웨어와의 결합력과 관련한 어려움을 극복하는 것에 중점을 두고 임베디드 테스팅을 위한 기법을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.232-237
• /
• 2007

컴퓨터 시스템의 설계는 알고리즘 수준의 모델링에서부터 시제품 수준까지 시스템을 구체화해 나가는 일련의 과정이다. 시스템 구현의 구체화 과정에는 단순하고 반복적인 구현이 많이 포함되며, 이 과정에서 많은 오류가 발생한다. 이러한 오류는 개발자가 알고리즘 수준에서는 드러나지 않는 복잡하고 아키텍처 의존적인 하드웨어-소프트웨어 동기화 메커니즘의 개발과 같은 시스템 구현의 구체화 과정을 모두 떠안고 있기 때문에 발생하는 것이다. 이 논문에서는, 이러한 문제를 극복하기 위하여, 알고리즘을 데이터 플로우로 모델링하면 이로부터 합성 가능한 하드웨어 플랫폼과 동기화 로직, 그리고 동기화를 위한 드라이버 소프트웨어 일제를 자동 생성하는 설계 과정을 제시하고자 한다. 제시된 설계 과정은 자체 개발한 통합 설계 도구 상에 구현되었으며, 이를 통해서 개발된 H.263 디코더 예제를 상용의 RTL 통합 시뮬레이션 도구인 Seamless CVE와, SoC 프로토타이핑 환경인 Altera Excalibur 시스템 상에서 테스트하여 그 완성도를 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.790-792
• /
• 2005

배포된 센서 네트워크에서 응용프로그램의 오류가 발생할 경우 시스템이 불안정하게 동작하거나 수행 불능 상태에 빠질 수 있다. 기존의 센서 네트워크 운영체제가 응용의 오류로부터 시스템을 보호하지 못함에 따라 본 논문에서는 신뢰성을 제공하는 센서 네트워크 운영체제 기법을 제안한다. 제안하는 기법은 소프트웨어 단계로 동작하여 특권모드와 페이징, 세그먼테이션 기능이 없는 하드웨어에서 사용 가능하며, 응용의 커널 및 다른 응용의 데이터 영역 훼손과 코드 실행, 하드웨어 직접 제어를 방지한다. 본 기법이 응용 오류로부터 시스템을 보호 가능함을 실제 구현과 평가를 통해 밝힌다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.15-18
• /
• 1998

본 논문에서는 광대역 CDMA용으로 제안되고 있는 유한체 GF(28) 상의 3중 오류정정 (47, 41) Reed-Solomon 복호기를 설계하였다. 복호법으로는 오류정정 능력이 비교적 작은 경우 매우 효율적인 직접복호법을 이용하였다. 설계된 복호기는 복호지연이 매우 짧으며 기존의 복호기보다 훨씬 간단한 하드웨어로 구현할 수 있는 장점을 가지고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.334-336
• /
• 2004

Statechart는 매우 널리 쓰이고 있는 명세 언어이다. 현재는 UML에 포함되어 않은 사랑들이 구현하고자 하는 시스템의 명세에 Statechart를 이용하고 있다. Statechart 명세는 구현될 시스템의 설계도 역할을 하기 때문에 오류가 있을 경우 매우 치명적일 수 있으며, 반대로 시스템의 오류를 명세 단계인 Statechart 영세에서 찾아내게 되면 수정에 필요로 하는 비용과 시간의 손실을 최소화 할 수 있다. 본 논문에서는 하드웨어 검증 분야에서 사용되고 있는 Assertion Based Verification (ABV) 방법론을 Statechart 명세에 적용하여 시뮬레이션 등으로는 찾아내기 힘든 오류를 찾아낼 수 있음을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1441-1444
• /
• 2005

현재 오픈소스인 리눅스를 기초로 많은 프로젝트들이 진행되고 있다. 그러나 하드웨어의 지식과 밀접한 관계를 가지고 있는 리눅스 디바이스 드라이버 개발 분야는 접근이 어려워 개발자들 역시 주의하고 있는 실정이다. 본 논문은 리눅스 디바이스 드라이버의 오류 유형을 토대로 오류 없이 정상적으로 동작하는 리눅스 디바이스 드라이버 개발을 위한 테스트 모듈 개발에 목적을 둔다.

• 대한방사선기술학회지:방사선기술과학
• /
• 제38권4호
• /
• pp.375-381
• /
• 2015

디지털 방사선 시스템은 영상의학에서 큰 비중을 차지하고 있다. 잘못된 영상이 제공 된다면 이는 환자의 건강에 나쁜 영향을 줄 수 있기에, 올바른 디지털 방사선 영상이 제공되어야만 한다. 또한, artifact는 오진으로 이어질 수 있다. 디지털 방사선 시스템에서 발생하는 artifact를 종류별로 분석하여 그 결과 분석하였다. 본 연구에서 사용된 artifact는 서울의 종합병원 급 의료기관에서 2007년부터 2014년까지 수집된 자료들이다. 수집된 자료는 발생 원인별로 구별하여 그 원인을 분석하였다. artifact는 하드웨어적 artifact, 소프트웨어적 artifact, 사용자 오류, 시스템 artifact 및 기타로 구분하였다. 하드웨어적 artifact는 Ghost가 가장 빈번하게 관찰되었으며, 이는 신호의 잔류에 의한 것이다. 다음은 RF 잡음에 의한 오류, 장비 내 이물질에 의한 오류 순이다. 소프트웨어 artifact는 많은 원인이 있다. 부정확한 영상 교정에 의한 artifact가 가장 많았으며, EDR 인식오류, 접합면 처리 오류 등이 있으며, 소프트웨어 artifact는 매우 다양한 경향을 나타낸다. 사용자 오류는 디지털 의료 영상 시스템을 바르게 이해하지 못해 발생시킨 것들이 많았다. 아울러, 시스템 artifact는 DICOM 헤더 정보 오류, 압축 오류가 있다. 분명하게 나타나는 artifact는 재촬영의 원인이 되어 환자의 피폭을 증가시키고, 불분명하게 나타나는 artifact는 오진을 유발 시킬 수 있다. 따라서 방사선사에게서 이러한 artifact를 바로 구별 할 수 있는 능력이 요구 된다. 그러므로 artifact가 발생되는 원인과 그 특성을 분명하게 이해함으로 지속적인 교육과 안정적인 시스템 운영에 힘써야 할 것으로 사료된다.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3848-3854
• /
• 2000

제어 시스템에서 요구되는 특성과 제공되는 하드웨어들의 기능을 유지하는 것은 만족할만한 제어기를 설계하는데 있어서 중요하다. 제어시스템의 하드웨어들 중에서 센서는 내·외부 외란에 가장 취약하지만, 정확하고 신뢰성있는 센서값을 유지하는 것은 좋은 제어기 성능을 위해 꼭 필요하다. 센서에 오류가 발생했을 경우, 센서 출려과 제어기 출력 같은 값을 사용하여 이를 검출하고, 오류 증상을 분석하여 오류 요인을 판단한다. 오류 요인에 따라 원래 센서값 대신 Self-Validating 센서값을 사용한다. 본 논문에서는 유연 링크 시스템에서 광센서 모듈의 오류 문제들에 Self-Validating 센서를 응용하여 이의 유효성을 보이고, 센서 오류가 발생하였을 때 만족할만한 성능을 제공할 수 있는 디지털 제어기를 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
• /
• pp.113-116
• /
• 2003

다단계 상호연결망(MIN)은 대규모 병렬처리 능력을 가지는 대표적 연결망 구조이다. 그러나 MIN은 입출력 사이의 단일경로와 블록킹 네트워크를 가지는 특성으로 인해 시스템 성능저하를 가져올 수 있다. 이러한 문제를 개선하기 위해 버퍼를 이용하거나 적은 하드웨어 추가와 스위치 대역폭 확장이 가능한 링크를 N배만큼 확장시키는 방법을 사용한다. 본 논문에서는 기존에 오류를 허용하기 위해 제안된 구조들보다 좀더 많은 오류를 허용하기 위한 방법으로 입력버퍼와 확장경로를 사용하여 HOL 블록킹을 방지하고 오류허용 기능을 향상시키는데 그 목적이 있다. 이에 따라 네트워크에 다중 오류가 발생하더라도 부하분산을 통해 이를 허용할 수 있는 구조를 제안하고 시뮬레이션을 통해 그 성능을 평가한다.