• Electronics and Telecommunications Trends
• /
• v.12 no.6 s.48
• /
• pp.82-95
• /
• 1997

비디오/오디오와 같은 멀티미디어 데이터 서비스 분야는 사용자들이 요구한 연속 미디어의 실시간 조건을 만족시킬 수 있는지 판단하기 위해 여러 인증제어기법들을 사용하여 왔다. 본 고에서는 인증제어기법의 기본 개념과 기법에 영향을 미치는 요인들을 분류하고, 지금까지 연구되어 온 인증제어기법 알고리즘들을 분석한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.462-465
• /
• 2008

요구사항에 대한 우선순위는 요구공학에서 핵심적 활동으로 매우 중요하다. 추출된 요구사항을 소프트웨어 제품 개발의 목표와 조직에 적절하도록 우선순위 방법과 관점 등을 선택할 수 있는 연구가 미흡하고, 요구 분석 단계에서 우선순위 프로세스가 내재화되지 못하고 있다. 요구사항 우선순위는 프로세스 모델, 제품 종류, 우선순위 프로세스에 대한 경험을 바탕으로 주어진 요구사항에 대해 이해관계자들이 우선순위화하기 위한 방법과 관점 등을 선택하는 활동으로 시작된다. 따라서 본 논문에서는 개발 제품의 목표와 조직에 적합하도록 우선순위 방법과 관점 등을 선택할 수 있는 적응적 우선수위 기법을 제안하고, 핸드폰 소프트웨어 개발에 적용하여 그 효과성을 보이도록 한다. 본 논문에서 제안하는 우선순위 기법의 유연성과 다양성을 통하여 요구 분석단계에서 우선순위 프로세스의 정착에 기여할 수 있다.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.4
• /
• pp.205-214
• /
• 2011

With the success of Kindle, an electronic book reader developed by Amazon.com, there has been a growing interest in both electronic books and readers in Korea. In this paper, we analyze electronic book user needs through fuzzy analytic hierarchy process (AHP) and conjoint analysis. First, we select the important factors which can affect the intention to purchase electronic book readers by applying the fuzzy AHP with the help of electronic book experts. Next, we perform conjoint analysis to reveal the detailed needs of electronic book users for each of the selected factors. Some useful implications and research limitations are also presented with future research directions.

• Journal of Korean Society of Transportation
• /
• v.23 no.8 s.86
• /
• pp.147-152
• /
• 2005

This study firstly developed a tool for evaluating performance requirements of automatic vehicle identification (AVI) techniques. A microscopic traffic simulator, Paramics, was employed to investigate the effects of AVI performances on the accuracy of estimating section travel times. Mote Carlo simulation approach was incorporated into Paramics to conduct systematic evaluations of identifying required AVI performances. The proposed method in this study can serve as a logical and necessary precursor to field implementation of a variety of AVI techniques toward achieving more reliable traffic information.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.4
• /
• pp.148-159
• /
• 2005

We propose a technique for finding the worst case response time (WCRT) of a DMA request that is needed in the schedulability analysis of a whole real-time system. The technique consists of three steps. In the first step, we find the worst case bus usage pattern of each CPU task. Then in the second step, we combine the worst case bus usage pattern of CPU tasks to construct the worst case bus usage pattern of the CPU. This second step considers not only the bus requests made by CPU tasks individually but also those due to preemptions among the CPU tasks. finally, in the third step, we use the worst case bus usage pattern of the CPU to derive the WCRT of DMA requests assuming the fixed-priority bus arbitration protocol. Experimental results show that overestimation of the DMA response time by the proposed technique is within $20\%$ for most DMA request sizes and that the percentage overestimation decreases as the DMA request size increases.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.469-471
• /
• 2004

소프트웨어 생명주기 동안 변화하는 요구사항을 관리하기 위하여 다양한 기법들이 등장하고 있다. XP(eXtreme Programming) 기법에서 사용되는 유저 스토리는 고객이 시스템 관련 표현들에 대한 부담을 가지지 않고 자신의 요구사항을 표현할 수 있다는 장점을 가지고 있지만 그런 반면 체계를 가진 정형화된 문서가 아니고 일상적인 용어로 기술된다는 점 때문에 XP 기법에 대한 이해가 없는 타부서나 개발 관계자들과의 요구사항에 관한 문서 교환 시 문제가 발생한다. 본 고에서는 이 문제를 해결하기 위한 방안으로 유저 스토리로부터 유즈케이스를 모델링 하는 방법을 제안하였으며, 제안된 방법을 검증하기 위하여 XP 기법을 사용하여 진행된 DVD 타이틀 대여 웹사이트 개발 프로젝트에 적용한 사례를 분석하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.453-457
• /
• 2006

프로그램 구현 방법에 편중되어온 기존의 AOSD 방법론이 최근에는 전체 개발 라이프사이클에서 초기 요구사항의 중요성이 강조되면서 요구사항 모델링, 분석, 설계분야에서 많은 연구가 진행되고 있다. 하지만, 요구사항 분석에서 추출된 관심사를 설계하여 구현 단계로 변환하는 과정에서 아직까지 상세화된 프로세스가 부족하다. 본 논문에서는 횡단 관심사 구현 명세 기법을 제시한다. 이 기법은 추출된 관심사를 구현 코드로 변환하기 위한 4단계의 프로세스로 구성되어 있다. 상세화된 명세 기법과 가이드라인은 AOSD에서 해결하기 어려운 설계에서 구현간의 갭을 줄여줌으로써 이해 및 유지보수성을 높여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.41-44
• /
• 2011

논문은 위치기반 서비스에서 사용자의 위치 정보를 보호하기 위해 필요한 요구사항들을 정리하고, 기존에 연구되었던 기법들을 비교 분석하여 앞에서의 요구사항을 얼마나 충족하는지에 대하여 살펴본다. 또한 기존의 기법들이 충족하지 못하는 부문을 해결하기 위하여 시간대별로 통계화된 밀도 정보를 기반으로 Cloaking 영역을 생성하는 기법을 제안하여 사용자들이 위치기반 서비스를 사용함에 있어서 기존의 기법보다 더 효율적으로 사용자의 위치정보를 보호할 수 있음을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.322-324
• /
• 2004

PLE 방법론은 단일 제품이 아니라 유사한 제품들간의 공통성(Commonality)과 가변성(Variability)을 개발하고 관리하며 소프트웨어 개발 전체 생명주기에 걸쳐 부품을 조립하는 형태로 만들어진다. 또한 PLE 방법론은 재사용 단위가 가장 큰 방법론이기 때문에 최근에는 소프트웨어 업계에서 주목을 많이 받고 있다. 따라서 소프트웨어 재사용 분야가 점점 다양화되면서 어플리케이션의 특성에 적합한 프로세스에 대한 요구가 늘어나고 있다. 어플리케이션 과정은 요구사항 정의에 따라서 설계가 되어야 하고 이렇게 설계가 된 요구사항 정의와 핵심자산의 Gap 분석을 통해 정제된 설계를 얻을 수 있다. 하지만, 현재는 체계적인 절차와 기법에 대한 연구가 많이 미흡한 상태이다. 이렇게 체계적인 절차와 기법이 있다면 어플리케이션을 개발하는데 있어 보다 효율적이고, 보다 완성도 높은 어플리케이션이 개발 될 것이라고 기대한다. 따라서 본 논문에서는 제품계열공학의 핵심자산과 어플리케이션간의 Gap 분석 절차를 제안하고자 한다.