• International Journal of Contents
• /
• 제7권1호
• /
• pp.23-28
• /
• 2011

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

• 한국컴퓨터정보학회논문지
• /
• 제24권4호
• /
• pp.107-112
• /
• 2019

Failure testing is a test that verifies that the system is operating in accordance with failure response requirements. A typical failure test approaches the operating system by identifying and testing system problems caused by unexpected errors during the operational phase. In this paper, we study how to evaluate these Failure at the software development stage. Evaluate the probability of failure due to code changes through the complexity and duplication of the code, and evaluate the probability of failure due to exceptional situations with bugs and test coverage extracted from static analysis. This paper studies the possibility of failure based on the code quality of software development stage.

• 방송공학회논문지
• /
• 제20권1호
• /
• pp.171-182
• /
• 2015

HEVC는 H.264/AVC에 비해 압축 성능을 크게 개선시킬 수 있지만 부호화기와 복호화기 모두 복잡도가 크게 증가한다. 본 논문에서는 HEVC의 화면 간 예측 모드 결정 과정을 분석하고, 이 결과로부터 부호화기 및 복호화기의 복잡도를 효과적으로 감소시키기 위한 방법을 제안하였다. 제안하는 방법은 단방향 예측 모드의 결과로부터 양방향 예측 모드를 수행하지 않아도 되는 조건을 찾고, 이 조건을 만족하는 경우 미리 종료시킴으로써 부호화 복잡도를 감소시킨다. 실험 결과 압축률 하락 폭이 각각 0.6%, 1.0%, 1.5%인 경우 부호화 복잡도를 12.0%, 14.2%, 17.2% 감소시킬 수 있었으며, 이 때, 양방향 예측 모드의 비율을 각각 6.3%, 11.8%, 16.6% 감소시킴으로써 복호화기의 복잡도도 함께 감소시킬 수 있었다. 마지막으로, 제안한 방법이 HEVC 참조 소프트웨어에 기 적용되어 있는 고속화 알고리즘과 함께 사용되는 경우에도 유사한 효과를 낼 수 있음을 검증하였다.

• 한국산학기술학회논문지
• /
• 제10권12호
• /
• pp.3715-3724
• /
• 2009

최근 들어 산업계에서 컴포넌트 기반의 소프트웨어 개발이 새로운 효율적 소프트웨어 개발 패러다임으로 받아들여지고 있다. 1990년대 후반 컴포넌트 기반 소프트웨어 공학이 소개되면서 컴포넌트기반 소프트웨어 개발 (CBSD) 관련 연구는 컴포넌트 모델링, 개발 방법론, 아키텍처, 그리고 컴포넌트 플랫폼 등에 주로 집중되어왔다. 그러나 시장에서 가용한 컴포넌트들의 수가 증가함에 따라, 컴포넌트들의 다양한 특성들을 정량화하기 위한 메트릭에 대한 개발이 점차 중요해지기 시작했다. 본 논문에서 우리는 소프트웨어 컴포넌트의 복잡도, 특화성, 재사용성을 측정할 수 있는 메트릭들을 제안한다. 복잡도 메트릭은 컴포넌트의 복잡성을 평가하는데 사용가능하고, 특화성은 해당 컴포넌트가 조직의 특화된 요구사항에 맞도록 얼마나 효율적이면서 폭넓게 커스터마이즈될 수 있는지를 측정하는데 사용된다. 재사용성은 애플리케이션을 구축할 때 해당 컴포넌트의 재사용되는 정도를 측정하는 용도로 사용된다. 제안하는 이러한 메트릭들은 컴포넌트가 갖는 특징들을 정량화하는데 보다 효율적으로 사용될 수 있으리라 기대한다.

• 전자공학회논문지CI
• /
• 제40권6호
• /
• pp.118-126
• /
• 2003

본 논문은 DTV PVR에 입력되는 HD급 방송 데이터에 대하여 영상의 특성에 따라 지능적으로 검색을 할 수 있는 저 복잡도의 알고리즘과 이의 실시간 구현에 관한 결과를 제시한다. MPEG-2 비디오 데이터에 대해 이를 복호하여 샷을 검출하고 이를 통해 신과 에피소드로 클러스터링하는 효율적인 알고리즘과 각 신의 복잡도를 계산하여 이를 기준으로 비선형적으로 검색하는 알고리즘을 제안한다. 또한 모의실험을 통해 제안하는 알고리즘 성능의 적절성을 검증하였다. 그리고 이의 실시간 구현을 위해 전체 알고리즘을 구현하는 데 있어서 대부분의 연산량을 차지하는 디코더와 기본 정보를 추출하는 부를 하드웨어적으로 구현하고, 이를 이용하여 실제 검색을 위한 핵심적이고 확장이 요구되는 알고리즘을 소프트웨어로 구현하는 혼합 구조를 제시하고 실제 이를 구현하였다.

• 융합정보논문지
• /
• 제8권5호
• /
• pp.101-106
• /
• 2018

자산을 등록 관리하기 위한 다양한 소프트웨어가 연구되고 있으며 이와 같은 소프트웨어 시스템을 평가하기 위한 방법은 주관적인 평가기준을 대상으로 이루어져왔다. 본 연구에서는 선행된 자산관리 시스템의 복잡도 측정으로부터 얻어진 복합자산을 평가하기 위한 평가모델을 제안하고자 한다. 아키텍처 자산의 복잡성을 측정하기 위해 논리적 복잡도를 측정하여 제공하는 척도를 이용하였으며, 아키텍처 자산의 속성 값을 표현하고 있는지를 평가하기 위한 방법을 사용 하였다. 소프트웨어 평가 표준인 SQuaRE Series의 ISO/IEC 25010 품질 모델 특성을 기반으로 자산데이터의 사용성을 평가하기 위한 부특성의 평가모델 기준을 구축하였다. 자산은 복합자산으로 구성되어 설계되었을 때 각 자산의 특성에 따라 가중치를 부여한 부특성의 선택적 평가를 적용하여 평가모델의 유연성을 확보하도록 하였다.

• 산업융합연구
• /
• 제20권5호
• /
• pp.77-82
• /
• 2022

소프트웨어 자산을 평가하기 위해 정형화되지 않은 평가 방법으로 자산의 평가가 이루어져왔다. 본 연구에서는 기존의 소프트웨어 자산에 대한 복잡도의 측정으로부터 확보된 최적화된 자산의 사용성을 평가하고자 한다. 자산의 내부정보에 대한 논리적 복잡도를 측정하여 아키텍처의 복잡성에 대한 척도를 이용하였으며, 재사용성에 관여된 지표를 측정하여 소프트웨어 자산의 사용성과 어떠한 관계를 갖는지 평가하였다. 따라서 HVs는 두 가지 유형의 자산에 대하여 다양한 자산의 구성 방식에 따라 일정한 비율을 유지하며 적용되는 특성을 갖고 있는 것을 알 수 있다. 그러므로 자산의 사용성면에서 최적화된 자산은 가능한 다양성을 확보한 상태에서 아키텍처 설계과정에 정형성을 갖고 적용할 수 있을 것이다.

• 항공우주시스템공학회지
• /
• 제8권2호
• /
• pp.21-26
• /
• 2014

The aircraft manufacturers are constantly driving to reduce manufacturing lead times and cost at the same time as the product complexity increases and technology continues to change. Integrated Modular Avionics (IMA) is a solution that allows the aviation industry to manage their avionics complexity. IMA defines an integrated system architecture that preserves the fault containment and 'separation of concerns' properties of the federated architectures. In software side, the air transport industry has developed ARINC 653 specification as a standardized Real Time Operating System (RTOS) interface definition for IMA. It allows hosting multiple applications of different software levels on the same hardware in the context of IMA architecture. This paper describes a study that provided the avionics software design for separation of fault and backup of core function to reduce workload of pilot with cost efficiency.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권9호
• /
• pp.535-541
• /
• 2017

소프트웨어 시장 규모가 확대되면서 다양한 요구사항을 만족시키는 대규모 소프트웨어가 개발되고 있다. 이로 인해 소프트웨어 복잡도가 증가하게 되고 품질 관리는 어려워졌다. 특히, 레거시 시스템의 개선 및 새로운 시스템 개발 환경에서 재사용은 중요하다. 이 논문에서는 품질을 인증 받은 모듈을 재사용하는 방법을 제안한다. 재사용 적용 레벨은 코드 영역(메소드, 클래스, 컴포넌트), 프로젝트 도메인, 비즈니스로 나누어진다. 이 논문에서는 소프트웨어 복잡성을 측정하는 결합도와 응집도 기반의 재사용 메트릭과 메소드와 클래스 레벨에 따라 "재사용에 적합한 모듈 덩어리"를 시각화하는 재사용 적합 모듈 추출 메카니즘을 제안한다. 레거시 프로젝트에 역공학 기법을 적용하여 어떤 모듈/객체/덩어리가 재사용할 수 있는 지를 식별하고 확장 시스템을 개발하거나 유사한 새로운 시스템을 개발하기 위해 재사용한다면 소프트웨어의 신뢰성을 보장하고 소프트웨어 개발 단계에서 필요한 시간과 비용을 절감시킬 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.763-771
• /
• 2007

오늘날 소프트웨어가 다양한 환경에서 광범위하게 사용됨에 따라 적응형 소프트웨어에 대한 요구가 증가하고 있다. 적응형 소프트웨어는 환경의 변화에 반응하여 스스로의 행동을 변화시키는 견고하고 유연한 소프트웨어이다. 그러나 환경으로부터 상황 정보를 획득하는 데 있어서의 시간 제약이나 계산복잡도가 높은 등의 어려움으로 인해, 실제 구현 시 보다 획득이 쉬운 데이타로 환경을 한정하는 경우가 많다. 따라서 본 연구에서는 충분한 복잡도를 지니면서 획득이 쉬운 평면 영상을 환경으로 가정, 상황 정보를 획득하고 행동 규칙 정보를 바탕으로 추론하여 행동하는 적응형 소프트웨어의 프레임워크를 제안한다. 이를 바탕으로 간단한 게임을 자동으로 조작하는 소프트웨어를 구현하였다.