• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.567-570
• /
• 2014

The basic of a reliable service using a system and network is duplex configuration. There are a various duplex configuration for a system and network and we must have a performance indicator about how to use some redundancy. Then, we need analysis tool and method which analyze efficiently the performance about various duplex models. The tool that analyzing the performance and stability of the system and the network are a mathematical analysis method and simulation method. The mathematical analysis is a commonly used method, but high complexity system is not suitable for analysis methods and the simulation method has the problems which take a long time to understand in itself. Then, to overcome this problems, we propose the more simple method than used method for network analysis and we prove the efficiency by using the simple redundancy models.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.629-632
• /
• 2002

공공기관은 자신의 정보시스템에 대한 보안 대책을 수립하기 위하여 자체 보안·분석평가를 수행함으로써 적절한 보안 목표와 방향을 설정해야 한다. 하지만, 현재 연구되어 있는 위험분석 및 보안평가방법론등은 복잡하고 전문적인 사항이 많으므로 자체 보안분석을 수행하기에는 인력 및 비용이 많이 소요된다. 이를 위하여 본 논문에서는 정보시스템의 위험분석방법론에서 제시하는 자산, 취약점, 위협, 대응책에 보안평가방법론을 포함하여 정보시스템에 대한 모델링, 가정, 증상, 원인, 해결책등을 통한 자가진단 보안 분석·평가 방법을 제시한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.77-80
• /
• 2010

최근 건설 프로젝트의 대형화 및 다양한 신공법들의 도입으로 불확실한 위험도 요인들이 점점 증가함으로써 일련의 시스템적 절차에 따른 리스크관리 (Risk Management)체계와 프로젝트 참여자들간의 효율적인 정보전달 방안이 요구되고 있다. 이를 위해 본 연구에서는 '리스크 시각화 시뮬레이션 구축 방법론'을 제시한다. 이는 최근 각종공사 정보 시각화부분에서 주목받고 있는 4D CAD 기술과 리스크 분석을 시스템적인 절차로 구성하여 연계한 방법이다. 시스템적 리스크 분석 절차는 리스크관리기법인 AHP 및 퍼지 분석기법을 동시에 적용하여 합리적인 리스크 정량화를 수행할 수 있도록 구성하였다. 그리고 이로부터 산출된 리스크 요인별 위험정도는 WBS 코드체계 기반으로 4D CAD의 공종과 연계되어 리스크 정도 수준에 따라 설정된 색상으로 시뮬레이션이 구현되도록 구성하였다. 이러한 방법론은 IDEF0 모델링 기법으로 제시함으로써 향후 시스템 구축의 기초 자료로 활용할 수 있도록 하였다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.563-568
• /
• 1998

응용시스템 개발생산성에 대한 연구는 지금까지 프로그래머의 생산성이라는 미시적 수준에 그치는 경향을 보여왔으며 시스템개발 생명주기의 전반적 영향에 중점을 둔 거시적수준의 생산성의 개념으로 확대되지 못해왔다. 더욱이 그들의 생산성 측정은 미시적 측정단위를 사용함으로써 조직 내 응용시스템 개발요구의 백로그의 증가라는 거시적 문제 해결과는 거리가 있어왔다. 본 연구는 정보시스템 조직의 생산성 향상에 기여할 수 있는 도구 및 방법이 실무적으로 어떻게 사용되고 있고 그 효과가 어느 정도인지를 관찰하는 탐색적 연구로써 응용 시스템 개발 생산성에 기술적 방법과 관리적 방법을 거시적 생산성 향상의 관점에서 분석하고자 한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.11a
• /
• pp.403-411
• /
• 2007

유비쿼터스 서비스 개념의 확장으로 서비스 제공 공간인 유비쿼터스 지능 공간(USS: Ubiquitous Smart Space)에 대한 관심이 높아지고 있다. 또한 이와 같은 USS 개발은 전 세계적으로 다양한 분야에서 이루어지고 있다. 이러한 USS를 개발하기 위한 방법론 중에서 먼저 시나리오를 제작 분석하고 이에 따라 요구분석과 설계를 하기도 하며 역으로 개발에 고려하고 있는 유비쿼터스 기술로 먼저 설계나 요구분석을 실시하고 이후에 시나리오를 통하여 실현 가능성을 보이기도 한다. 그러나 시나리오 제작과 요구분석이 상호 유사한 내용을 공유하고 있음에도 불구하고 별도로 제작하는 과정에서 불일치와 많은 노력이 소모된다. 따라서 본 연구의 목적은 시나리오 제작과 요구분석에 이르는 과정을 구조적으로 통합하는 방법론을 제시하여 USS개발 초기과정에서의 효율성을 증대하도록 하는 것이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.775-780
• /
• 2001

정보통신 기술 발전과 함께 새로운 교육 패러다임에 대한 요구는 e-learning 이라는 학습 시스템을 출현케 하였다. 이는 사용자의 요구 및 학습 내용에 따라 매우 다양한 형태로 설계가능하나 사용자 사용성 평가를 늪이기 위해서는 웹기반 시스템 사용성 평가와 교육시스템 평가 항목을 조정하여 새로운 평가분석 항목의 도출이 요구되어진다. 본 연구에서는 웹 기반 e-learning 시스템분석 모형을 위해 기존의 교육 시스템 분석 항목들을 조정하여 학습자 분석, 기술분석, 학습 수행 분석, 응용 분석 학습자로 분석 등을 요소로 하는 새로운 분석 모형 제시하였다. 또한 이를 적응하여 사용자 사용성 평가를 할 수 있는 관계를 설정하여 활용하는 방법을 제시하였다. 이와 같은 방법은 효율적인 e-learning 시스템 분석이 가능하도록 한다. 이때 설정되어지는 관계는 절대적 포함관계 상대적 포함 관계, 단일주제를 가진 상대적 포함관계 등이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.694-696
• /
• 2002

이 논문에서는 시스템 수준의 전력 소모를 분석하는 방법론을 설명한다. 응용의 시스템 수준 전력 모델을 구하기 위해서, 시스템을 이루는 각 부분들을 선형적으로 모델링하고, 이를 모두 더한다. 선형적으로 모델링된 식의 파라메터들을 구하기 위해서, 회귀분석에 기반한 분석을 한다. 이를 위해서 다양한 벤치마크들을 준비하고, 응용에 대해서 측정을 한 것과 수정된 시뮬레이터에서 필요한 정보를 얻어야 한다. 이렇게 분석한 전력 모델의 예측치는 5% 내의 정확도를 가짐을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.290-293
• /
• 2009

바이오 칩 분석 시스템은 유전자와 실험의 두 축으로 이루어진 바이오 칩에서 자료를 추출하고 필요한 정보를 얻기 위해 데이터를 분석하는 시스템이다. 유전자 데이터를 효율적으로 분석할 수 있는 방법으로 바이오 칩 분석 시스템이 각광받으면서 데이터의 양과 종류가 방대해지고 메모리의 효율적인 사용과 이에 따른 속도 개선을 위해 임베디드 시스템이 필요해지고 있다. 이에 따라 본 연구에서는 임베디드 시스템을 위한 PSO 기반의 군집화 알고리즘을 구현하였다. 방대한 양의 유전자 데이터를 분석하기 위해 생태계 모방 알고리즘인 Particle Swarm Optimization 알고리즘과 비슷한 유전자의 분류를 위한 기법으로 군집화를 사용하여 유전자 데이터의 통합 분석 시스템을 구현, 사용자에게 더욱 효율적으로 정보를 제공한다. 본 논문에서는 방대한 양의 데이터의 최적화에 효율적인 생태계 모방 알고리즘 Particle Swarm Optimization 을 이용하여 데이터들을 군집화하는 알고리즘을 임베디드 시스템을 위해 구현한 방법을 기술하고 있다.