• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권8호
• /
• pp.607-615
• /
• 2009

최근 IT 산업은 국방, 항공, 자동차, 의료와 같은 전통 산업분야와 서로 융합하는 추세이다. 그러므로 시스템의 하드웨어를 주로 담당하는 임베디드 소프트웨어는 높은 신뢰성, 가용성, 유지보수성이 보장되어야 한다. 이를 위해 최근 COTS (Commercial Off The Shelf) 하드웨어 컴포넌트 기반 임베디드 소프트웨어를 개발하는 추세이다. 그러나 이러한 개발방법에는 일반적 소프트웨어 결함 외에 하드웨어와의 상호작용에 기인하는 결함이 추가적으로 발생할 수 있다. 이를 연동결함(Linkage Fault)라고 정의한다. 이는 발생 빈도가 낮음에도 불구하고 전체 시스템의 중단을 야기할 정도로 위험하다. 본 논문에서는 COTS 하드웨어 컴포넌트 기반 임베디드 소프트웨어 개발 시 이러한 연동결함의 발생을 고려한 신뢰성 모델을 제안한다. 또한 제안된 모델의 타당성을 분석하기 위해 베이지안 분석과 마코프 체인 몬테카를로 방법으로 계산한 베이즈 요인을 이용한다. 끝으로 IT 융합 분야의 실제 데이터를 활용하여 제안된 모델의 이론적 결과를 뒷받침한다.

• 대한임베디드공학회논문지
• /
• 제3권1호
• /
• pp.19-24
• /
• 2008

To reduce time-to-market, more and more embedded system developers and system-on-chip designers rely on microprocessor-based design methodology. ARM processor has been a major player in this industry over the last 10 years. However, there are many restrictions on developing embedded software using ARM processor in the early design stage. For those who are not familiar with embedded software development environment or who cannot afford to have an expensive embedded hardware equipment, testing their software on a real ARM hardware platform is a challenging job. To overcome such a problem, we have designed VMA (Virtual ARM Machine), which offers easier testing and debugging environment to ARM based embedded system developers. Major benefits that can be achieved by utilizing a virtual ARM platform are (1) reducing development cost, (2) lowering the entrance barrier for embedded system novices, and (3) making it easier to test and debug embedded software designs. Unlike many other purely software-oriented ARM simulators which are independent of real hardware platforms, VMA is specifically targeted on SYS-Lab 5000 ARM hardware platform, (designed by Libertron, Inc.), which means that VMA imitates behaviors of embedded software as if the software is running on the target embedded hardware as closely as possible. This paper will describe how VMA is designed and how VMA can be used to reduce design time and cost.

• Nuclear Engineering and Technology
• /
• 제29권6호
• /
• pp.433-443
• /
• 1997

In this work, an analytic approach to the dependability of software in the operational phase is suggested with special attention to the hardware fault effects on the software behavior : The hardware faults considered are memory faults and the dependability measure in question is the reliability. The model is based on the simple reliability theory and the graph theory which represents the software with graph composed of nodes and arcs. Through proper transformation, the graph can be reduced to a simple two-node graph and the software reliability is derived from this graph. Using this model, we predict the reliability of an application software in the digital system (ILS) in the nuclear power plant and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in the normal operation phase. We also found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase, especially for the software which is executed frequently. This modeling method is particularly attractive for the medium size programs such as the microprocessor-based nuclear safety logic program.

• 전자공학회논문지B
• /
• 제33B권2호
• /
• pp.37-46
• /
• 1996

This paper proposes a cost-effective solution to the synonym problem of virtual caches. In the proposed solution, a minimal hardware addition guarantees the correctness whereas the software counterpart helps improve the performance. The key to this proposed solution is an addition of a small physically-indexed cache called U-cache. The U-cache maintains the reverse translation information of the cache blocks that belong to unaligned virtual pages only, where aligned measns that the lower bits of the virtual page number match those of the corresponding physical page number. The page alignment is a simple software optimization to improve the performance of the U-cche hardware. With the combination of both hardware and software, the proposed solution reduces the hardware costs and minimizes software modification and performance degradation. Performance evaluation base on ATUM traces shows that a U-cache, with only a few entries, performs almost as well as fully-configured hardware-based solution when more than 95% of the pages are aligned.

• 한국통신학회논문지
• /
• 제25권9A호
• /
• pp.1368-1376
• /
• 2000

본 논문은 IS-95를 기반으로 하는 CDMA(Code Division Multiple Access) 탐색자의 통합설계방법에 대해 기술 하였다. 통합설계 방법은 하드웨어와 소프트웨어를 동시에 설계하는 방법으로 설계시간의 단축과 설계비용의 감소라는 장점을 가지고 있다. 시스템을 하드웨어부분과 소프트웨어부분으로 분할할 때 동작 시간이 길고 전력 소모가 많은 부분은 하드웨어로 일반적인 기능을 담당하는 부분을 소프트웨어로 설계하는데 제안된 방법에서는 탐색자의 동기 누적단을 하드웨어로 설계하였고, 그 이외의 부분을 소프트웨어로 설계하였다. 하드웨어부분은 VHDL을 이용하여 설계되었고, 소프트웨어부분은 GC(Generic C)로 설계하였다. SYNOPSYSTM의 COSSAP을 이용하여 시뮬레이션을 수행하여 그 기능을 검증하였다. 실험 결과 소프트웨어만의 설계방법과 비교하여 최대 48.5% 동작시간 감소 효과를 얻었다.

• 한국컴퓨터정보학회논문지
• /
• 제28권1호
• /
• pp.71-78
• /
• 2023

본 논문에서는 함정 전투관리체계 소프트웨어 중 하나인 TV비디오 소프트웨어의 구조를 분석하고, 함정 하드웨어 단종대체로 인한 소프트웨어 수정을 최소화하는 표준 아키텍처를 제안한다. 하드웨어 변경에 따른 TV비디오 소프트웨어의 가변요소와 공통요소를 휘처 기반 재사용 방법(FORM:Feature-Oriented Reuse Method)을 통해 함정 전투관리체계와 통신하고 TV화면을 전시하는 공통 부분과 운용자와 TV카메라 사이의 통신을 하는 가변부분을 분리하여 함정 하드웨어 단종대체 시 수정되는 클래스가 최소화 되도록 클래스 구조를 새롭게 설계하였다. 또한, Strategy 디자인 패턴을 적용하여 하드웨어 단종대체 시 하드웨어 종속 API를 직접 사용하는 클래스를 효율적으로 추가 및 수정하고, 단종품과 대체품 모두 사용가능한 소프트웨어가 되도록 설계하였다. 마지막으로 기존 TV비디오 소프트웨어와 제안하는 TV비디오 소프트웨어의 신뢰성시험 수행 시간 및 기능시험 수행 시간을 측정하여 비교하였고, 최종적으로 하드웨어 단종대체 비용이 감소된 것을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1149-1157
• /
• 2003

하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히, 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다.

• 천문학논총
• /
• 제23권2호
• /
• pp.73-90
• /
• 2008

A software simulator is developed for verifying the VLBI Correlation Subsystem (VCS) trial product hardware. This software simulator includes the delay tracking, fringe rotation, bit-jump, FFT analysis, re-quantization, and auto/cross-correlation functions so as to confirm the function of the VCS trial product hardware. To verify the effectiveness of the developed software simulator, we carried out experiments using the simulation data which is a mixed signal with white noise and tone signal generated by software. We confirmed that the performance of this software simulator is similar as that of the hardware system. In case of spectral analysis and re-quantization experiment, a serious problem of the VCS hardware, which is not enough for expressing the data stream of FFT results specified in VCS hardware specification, was found by this software simulator. Through the experiments, the performance of software simulator was verified to be efficient. In future, we will improve and modify the function of software simulator to be used as a software correlator of Korea-Japan Joint VLBI Correlator (KJJVC).

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제1회 산학협동 단기강좌 교재 시스템 시뮬레이션 이론 및 실제
• /
• pp.161-167
• /
• 1992

The spcaker will briefly summarized the current state of the art in commericial simulation tools as limited by soft ware and hardware technology. He will then discuss how recent and near-future advances in software and hardware tenilogy can be applied to the benefit of simulationists. Specifically, the following topics will be ciscussed : Simulation Languages vs Simulations ; Computer hardware platforms ; Performance liminting factors ; Performance assisting techniques ; Software architectures ; Human factors and model interaction.

• 전자통신동향분석
• /
• 제36권6호
• /
• pp.67-77
• /
• 2021

Since Richard Feynman presented the concept of quantum computers, quantum computing have been identified today overcoming the limits of supercomputing in various applications. Quantum hardware has steadily developed into 50 to hundreds of qubits of various quantum hardware technologies based on superconductors, semiconductors, and trapped ions over 40 years. However, it is possible to use a NISQ (Noisy Intermediate Scale Quantum) level quantum device that currently has hardware constraints. In addition, the software environment in which quantum algorithms for problem solving in various applications can be executed is pursuing research with quantum computing software such as programming language, compiler, control, testing and verification. The development of quantum software is essential amid intensifying technological competition for the commercialization of quantum computers. Therefore, this paper introduces the trends of the latest technology, focusing on quantum computing software platforms, and examines important software component technologies.