• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.637-638
• /
• 2009

디지털 ID는 온라인 환경에서 사용자를 식별하기 위한 수단으로 사용되고 있다. 하지만 온라인상에 저장된 개인정보 노출뿐만 아니라 신원도용에 따른 사용자의 프라이버시 침해 및 금전적 피해 등으로 이어질 수 있어 이에 대한 관심과 중요성이 높아지고 있다. 따라서 본 논문에서는 전자적인 수단을 통해 정보 시스템에 제시되는 사용자 신원을 확인하는 전자 인증 과정과 신원 인증에 대한 보증 레별별 요구사항을 마련하고 있는 NIST SP 800-63을 분석하고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.511-512
• /
• 2023

자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.9 no.4
• /
• pp.71-80
• /
• 2006

The land area, which is on the inner side of the water line, is controlled to a certain degree due to the purposes of space utilities controllers' respective roles, but the sea area is not so much controlled as the land area. However, as interest in the security and utility of the marine space, as well as that in the consistent development of the land space, has increased, there has been increase of the requirement for information about marine data and environment. The object of this study, Busan, plays various roles such as a harbor and bay, a tourist resort, and a port unlike coastal seas of other areas, and thus needs systematic control because it has numerous environmental factors. However, there are limitations in the number of data about Busan coastal sea constantly provided while the acquisition of data from main points and many areas is important for the analysis of marine contamination in Busan coastal sea area. Thus, using nautical charts with numerical values in preparing increase of the demand of them according to the degree of information requirement for the analysis of the changes in coastal areas, this study constructs property data and space data by combining vertex data about Busan's 17 coastal sea areas provided by NFRDI, and tries to present the analytical techniques for grasping the environmental conditions and continuity of the coastal areas and methods of their utilities, using GIS Geostatistical Analysis Technique.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.6B
• /
• pp.674-682
• /
• 2011

The multi-function console system in ships has currently exposed operational difficulties due to its complex interfaces although it supports a variety of functionalities. In this paper the concept of a human computer interaction (HCI) based multi-function console system is proposed, which can support intuitive operation environments by the analysis of users' needs to shipboard systems. Expert interviews and surveys are carried out in order to obtain users' requirements. Through the survey results, the HCI based multi-function console system is conceptually designed, which is optimized to the input of multi-touch screen. It is expected that the HCI based multi-function console system can provide ship operators with easy interfaces to the console system as well as safe operation in a rough ocean environment.

• Journal of Information Technology Services
• /
• v.13 no.2
• /
• pp.55-69
• /
• 2014

As Korea's global IT sourcing is sluggish and supply of qualified IT personnel does not meet the demand, IT developers currently do not worry about their job security. The sluggish global sourcing is attributed to the lack of system design and analysis skills as well as lack of communication skills of IT personnel. Most of big Korean IT service firms operate in captive market. This is also attributed to the cause of the sluggish global sourcing. Some IT managers, especially in global IT service firms, concerned about the negative long term effect of the sluggish global sourcing on competitiveness and human infra capability of Korea's IT service industry. Managers in IT service firms expect skill requirement changes in the future when global sourcing becomes active. The skills and knowledge that they wish to retain in-house is business knowledge, system analysis and design knowledge, customer relation management skills, project management skills and industry knowledge. The jobs with the above knowledge usually involve customers.

• Genomics & Informatics
• /
• v.3 no.1
• /
• pp.39-42
• /
• 2005

DNA microarray is a high-throughput biomedical technology that monitors gene expression for thousands of genes in parallel. The abundance and complexity of the gene expression data have given rise to a requirement for their systematic management and analysis to support many laboratories performing microarray research. On these demands, we developed Xperanto for integrated data management and analysis using user-friendly web-based interface. Xperanto provides an integrated environment for management and analysis by linking the computational tools and rich sources of biological annotation. With the growing needs of data sharing, it is designed to be compliant to MGED (Microarray Gene Expression Data) standards for microarray data annotation and exchange. Xperanto enables a fast and efficient management of vast amounts of data, and serves as a communication channel among multiple researchers within an emerging interdisciplinary field.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.28 no.2
• /
• pp.91-103
• /
• 2003

Use case modeling on UML (Unified Modeling Language) is getting widely used in OOAD and CBD and it is considered a useful technique in dealing with the complexity of the requirements analysis. However, some of the problems with use case modeling are that it is not structured, difficult to handle non-functional requirements, and to analyze impacts among use cases. To alleviate these problems, we propose a scenario-based goal-oriented approach for use case modeling. The proposed approach is to apply a goal-oriented analysis method to use case modeling. Since goal-oriented analysis method is not systematic and many heuristics are involved, we have adopted scenarios as the basis for goal extraction. The proposed method is applied to CBIS (City Bus Information Subsystem) in ITS (Intelligent Transportation System) domain. The proposed approach helps software engineers to analyze the impact among use cases and represent non-functional requirements.

• International Journal of CAD/CAM
• /
• v.2 no.1
• /
• pp.1-12
• /
• 2002

Computer-Aided Reliable and Optimal Design (CAROD) system is an efficient tool defining the best compromise between cost and safety. Using the concurrent engineering concept, it can supply the designer with all numerical information in the design process. This system integrates several fields such as multidisciplinary optimization, reliability analysis, finite element analysis, geometrical modeling, sensitivity analysis and concurrent engineering. When integrating these disciplines, many difficulties are found such as model coupling and computational time. In this paper, we propose a new concurrent methodology satisfying the reliability requirement, allowing the coupling of different models and reducing the computational time. Two applications (rotating disk and hook structures) demonstrate that CAROD system can be a practical concurrent engineering application for designers.

• Journal of Communications and Networks
• /
• v.18 no.1
• /
• pp.105-111
• /
• 2016

Trust models in the literature of MANETs commonly assume that packets have different security requirements. Before a node forwards a packet, if the recipient's trust level does not meet the packet's requirement level, then the recipient must perform certain security association procedures, such as re-authentication. We present in this paper an analysis of the epidemic broadcast delay in such context. The network, mobility and trust models presented in this paper are quite generic and allow us to obtain the delay component induced only by the security associations along a path. Numerical results obtained by simulations also confirm the accuracy of the analysis. In particular, we can observe from both simulation's and analysis results that, for large and sparsely connected networks, the delay caused by security associations is very small compared to the total delay of a packet. This also means that parameters like network density and nodes' velocity, rather than any trust model parameter, have more impact on the overall delay.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.11
• /
• pp.2703-2709
• /
• 2015

IT convergence with agriculture is expected to bring more efficiency and quality improvement in producing, distributing, consuming of agricultural products with the aid of information processing and autonomous control technologies of the IT area. Smart Farming based on network is a service which is capable of coping with environmental and technical problems with the actualized IT convergence case for agriculture. In this paper, it is required to consider the actualized IT convergence case for agriculture, namely Smart Farming as a solution to cope the presented problems. In addition, propose and suggest to standard model and standardization items requirement for the Smart Farming based on network.