• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권7호
• /
• pp.500-504
• /
• 2009

전통적인 소프트웨어 공학 관점에서 소프트웨어의 비 기능적 요구사항 중 하나인 신뢰성은, 소프트웨어 개발 프로세스에서 마지막 단계인 통합 테스트 이후에 검증이 가능하다. 그러나 이것은 소프트웨어 개발에 있어서 많은 위험성과 개발 비용을 발생시킨다. 따라서 본 논문에서는 소프트웨어 개발 초기 단계에서 수학적인 분석 모델을 통해 신뢰성을 분석할 수 있는 방법을 제안한다. 소프트웨어의 신뢰성분석을 위하여 본 논문에서는 다음 두 가지를 제안한다. 첫째로, 계층형 큐잉 패트리넷을 이용하여 신뢰성 분석을 위한 소프트웨어 모델링 방법론을 제안한다. 둘째로, 완성된 계층형 큐잉 패트리넷 모델로부터 신뢰성 분석을 위한 마코프 리워드 모델(Markov Reward Model)을 유도해내는 방법에 관하여 제안한다. 본 논문의 유효성을 검증하기 위하여, 화상회의 시스템 개발사례에 적용하였다. 본 연구 결과를 통해 소프트웨어 신뢰성의 정량적인 분석이 가능하다.

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

지상파 DMB등에서 많이 사용하고 있는 기술은 H.264이다. 이 H.264는 적은 비트율에 비하여 고해상도의 영상을 만들어 낸다. 이런 손실압축을 하기 위해서 인트라와 인터등과 같은 전처리 과정과 DCT(Discrete Cosine Transform), 양자화 등등이 존재하지만 H.264에서 실제로 압축이 되는 부분은 엔트로피코딩이다. H.264에서는 Exp-Golomb과 CAVLC(Context-Adaptive Variable Length Coding), CABAC(Context-Adaptive Binary Arithmetic Coding) 세 가지를 지원하고 있다. 이중 CAVLC는 테이블을 기반으로한 압축기법을 사용한다. 테이블을 이용할 때는 코드워드의 길이와 값을 비교하는 방식을 사용하게 된다. 이는 수 많은 메모리 접속으로 인한 전력소모와 연산지연을 가져온다. 본 논문에서는 전송된 비트스트림에서 데이터를 찾을 때 코드워드의 길이와 값을 테이블에 비교해서 찾지 않고 테이블에 존재하는 규칙을 수식화 하여 찾을 수 있도록 하였다. 이는 최초 '1'이 나올때까지의 '0'의 개수와 그 이후 존재하는 코드의 값을 이용하여서 각 단계에 필요한 데이터를 추출해 낸다. 위와 같은 알고리즘을 이용하여 VHDL언어로 설계하였다.