• 정보처리학회논문지D
• /
• 제8D권1호
• /
• pp.62-70
• /
• 2001

소프트웨어 컴포넌트의 기능에 대한 정확한 서술은 컴포넌트의 활용을 위한 필수 조건이며 특히, 실시간 시스템과 같은 엄밀성을 요하는 분야에는 더욱 중요한 요소로 작용한다. 본 논문에서는 컴포넌트의 이해를 높이는 수단으로 패턴에 기반한 정형적 표현 및 검증에 관한 내용을 소개한다. 특히 본 논문은 컴포넌트 기능 서술 시 VDM++를 이용하는 명세 방법, 주어진 명세에 대한 정제와 정합성 검증에 관한 정형기법의 활용방법을 제시한다.

• 음성과학
• /
• 제10권2호
• /
• pp.65-75
• /
• 2003

This paper describes the issues associated with the real-time implementation of G.723.1A dual-rate speech coder on a TMS320VC5402 DSP. Firstly, the main features of the G.723.1A speech coder and the procedure involved in the implementation using assembly and C languages are discussed. Various real-time implementation issues such as memory/MIPS tradeoffs are also presented. For fixed-point implementation, we converted the ITU-T fixed-point ANSI C code into TMS320VC5402 code in the bit-exact way through verification using the test vectors. Finally, as the result of implementation, we present the MIPS and memory requirement for the real-time operation.

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

제품에 대한 다양한 사용자의 요구 사항을 지원하기 위해 제품 개발 프로세스는 초기 단계인 분석 및 설계 단계에서부터 다양성을 지원할 수 있도록 개발 주기가 이뤄지고 있고 이러한 추세는 차별화된 서비스의 소프트웨어를 내장한 시스템(이하 임베디드 시스템)의 경우 보다 활발히 이뤄지는 경향이다. 요구 사항에서 공통점은 시스템 개발에 있어 재사용성을 높일 수 있는 중요한 부분이므로 요구 사항에 대한 다양성을 분석하고 표현하여 다양한 제품이 개발이 개발 초기 단계에서부터 이뤄 질 수 있도록 하는 것이 본 논문의 목적이다. 따라서 분석의 기반이 되는 기능 표현 방법은 중요하며 설계와 개발 단계로 연결되기 위해 분석된 기능에 대한 검증이 이뤄져야 한다.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• pp.25-30
• /
• 2004

This study analyzes a change and an effect that brand image gets in product choose. Purpose of this study present the suggestion under the influence of degree that brand image gets in product purchase to cosmetic customer. Consumers investigate the product or trademark when purchase goods. They purchase goods through the comparison and analysis and evaluate the satisfaction and dissatisfaction with the contentment. Consumers complicate while compare the products and the consumer's choose the products. The purpose of this study is find various requirement of consumers and present efficient marketing activity through theoretical verification and actual proof analysis.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.900-903
• /
• 2014

Fly-wheel, Gimbal antenna, CMG, Spaceborne cyrocooler generate micro-vibration during their on-orbit operation as well as implementing their own function. To comply with the mission requirement of high resolution observation satellite, additional technical efforts have been required to isolate the micro-vibration derived from such payloads by applying the vibration isolator. In this study, we proposed a passive isolator using SMA mesh washer, which guarantees the structural safety of both micro-vibration disturbance source and itself under harsh launch vibration loads without an additional holding mechanism and the micro-vibration isolation performance on orbit environment. To verify the micro-vibration isolation performance of the proposed vibration isolator, we performed the micro-vibration isolation measurement test using the dedicated micro-vibration measurement device proposed in this study.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.45-47
• /
• 2000

본 연구는 심볼릭 모델 체커 중의 하나인 SMV(Symbolic Model Verifier)를 이용하여 한국전자통신연구원(ETRI)에서 개발한 CCA(Cache Coherent Agent) 보드를 위한 I-Link Bus(Inside Bus)의 몇 가지 특성(property)들을 검증하여 I-Link Bus의 요구사항(requirement)이 만족됨을 보인다. 이 검증에서는 I-Link Bus의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 시제 논리(temporal logic)를 이용하여 나타낸다. 검증을 통해서 I-Link Bus와 PIF(Processor Interface), DC(Directory Controller), RC(Remote access cache Controller)모듈들이 중재기 우선 순위, send 우선 순위, 중재 요청 신호의 관리, liveness등의 특성들을 만족한다라는 것을 검증하였다.

• Nuclear Engineering and Technology
• /
• 제36권4호
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• 항공우주시스템공학회지
• /
• 제2권2호
• /
• pp.42-45
• /
• 2008

Under the non-operating exposure condition in the hot area, the T-50 cockpit temperature is expected over the requirement according to T-50 environmental criteria. So it is necessary to protect the cockpit from the high temperature condition during the non-operating exposure because the high temperature of the cockpit may result in the cockpit equipment malfunction. In this study, the transparency coating is selected as the method for protecting the cockpit from the high temperature exposure and analyzed the effect on the cockpit heat load attenuation. Some kinds of cockpit coating were reviewed and selected and the analysis was performed about the effect before and after coating application under 1% hot day condition based on the T-50 FSD hot soaking test data. The result of analysis show transparency coating is so effective to attenuate the heat load of T-50 cockpit.

• 한국군사과학기술학회지
• /
• 제13권6호
• /
• pp.1080-1090
• /
• 2010

A study for improvement of credibility on test & evaluation result of interoperability in battle management information system which focused in C4I systems is very essential in rapid change of battle field environment. Realization of effective operation process with integration of developed IT also core factor for reducing of operational response time such as information gathering from sensor to shooter, time for commander's decision making. Therefore, by required to meet of high technical T&E, meet of complex software's user requirement, long-term system development period, system integration ability's request by various linkage of systems, it is high a M&S dependency to optimal performance, interpoerability's guarantee. Especially credibility on test & evaluation using M&S is very important. This paper will propse a VV&A applied methods using other VV&A case to improve credibility of M&S on test & evaluation.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 추계종합학술대회
• /
• pp.312-321
• /
• 1999

인터넷의 급속한 보급과 더불어, 인터넷의 응용분야가 다양화됨에 따라 정보통신관련 S/W 들의 규모와 성능면에서 복잡하고 고도화된 시스템 및 소프트웨어를 요구하고 있다. 따라서 사용자의 요구사항을 충족하는 신뢰성 있는 통신 프로토콜 소프트웨어를 개발하는 방법에 대한 중요성이 커지고 있다. 본 고에서는 이용자의 요구사항에 대한 설계단계의 검증을 위하여, SDL을 위한 정형기법 지원도구 중 명세 상에서 행위 부분에 대한 동적 특성을 검증하는 검증기 개발과 SDL Editor 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 통합환경 구현을 기술한다.