http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
GARDIAN: 실시간 내장형 소프트웨어 개발 방법론에서의 룰 기반의 모델링 평가 및 지원도구
김순태(Suntae Kim),김진태(Jintae Kim),박수용(Sooyong Park) 한국정보과학회 2007 정보과학회논문지 : 소프트웨어 및 응용 Vol.34 No.8
UML(Unified Modeling Language)은 대부분의 소프트웨어 개발 방법론에서 목표로 하는 소프트웨어를 분석 · 설계하기 위하여 널리 사용되며, UML로 작성된 산출물을 기반으로 목표 소프트웨어를 구축한다. 그러나 방법론에서 모델링에 대한 가이드라인이 보통 자연어로 기술되어 있기 때문에 목표 소프트웨어를 위한 모델이 이를 적절히 준수하고 있는가의 검증이 어렵다는 문제점을 가지고 있다. 본 논문에서는 실시간 내장형 시스템(Real-time Embedded System)을 위한 방법론인 COMET방법론을 대상으로 모델링의 가이드라인을 표현하고, 표현된 가이드라인을 기반으로 모델을 평가할 수 있는 룰 기반 COMET 방법론 가이드라인 평가 프레임워크인 GARDIAN을 제안한다. 제안된 프레임워크의 유용성을 검증하기 위하여 비전문가가 UML을 사용하여 분석 · 설계한 지능형 로봇의 주행 시스템에 프레임워크를 적용하여 보았다. UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.
아키텍처 전술 지식 저장소를 사용한 소프트웨어 아키텍처 구축 및 검증 기법
김순태(Suntae Kim),정란(Rhan Jung) 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol.40 No.1
본 논문에서는 아키텍처 전술 지식 저장소(Architectural Tactic Knowledge Base)를 사용하여 소프트웨어 아키텍처를 구축하기 위한 기법을 제안한다. 아키텍처 전술(Architectural Tactic)은 SW 품질을 향상하기 위한 각 품질 별 아키텍처 설계 방법을 의미하며, 아키텍처 전술 지식 저장소는 아키텍처 전술의 구조 및 행위 명세, 이들 간의 상호 관계와 소요 비용 등을 포함하는 지식 저장소를 의미한다. 본 논문에서는 아키텍처 전술 지식 저장소를 사용하여 아키텍처 전술의 선택과 선택된 아키텍처 전술의 통합, 그리고 소프트웨어 아키텍처를 생성하는 과정을 소개한다. 생성된 아키텍처의 타당성은 최종 아키텍처로의 테일러링 분석을 통하여 검토하였다. 본 논문에서는 지원 도구인 ArchInst를 적용하여 Servlet Container 소프트웨어 아키텍처의 구축 사례를 보인다. This paper presents an approach to building software architecture using architectural tactic knowledge base. An architectural tactic is an architectural design building block pertaining to a specific software quality. The tactic knowledge base is a tactic knowledge repository that contains structural and behavioral architectural tactic semantics, inter-relationship among the tactics, composition rules as well as costs to archive it. This paper presents comprehensive steps to build complete software architecture including architectural tactic selection, composition, and architecture generation using architectural tactic knowledge base. The generated architecture has been validated by measuring amount of tailoring to reach the final architecture. This paper presents the Servlet Container case study by applying ArchInst, which is tool-support for architectural tactic knowledge base.
자이로센서 데이터 및 이미지 데이터를 이용한 Aruco 마커기반 AR 안전 교육 시스템
김규호(Gyuho Kim),김준기(Jungi Kim),김채원(Chaewon Kim),정혜선(Hyesun Jung),최태운(Taewoon Choi),유철중(Cheoljung Yoo),김순태(Suntae Kim) 한국정보기술학회 2024 Proceedings of KIIT Conference Vol.2024 No.5
연구실에서는 안전 사고를 미연에 방지하기 위해 안전 교육이 시행된다. 하지만 현행 안전 교육은 이론 수준의 강의나 일률적인 매뉴얼 숙지에 의존한다. 이러한 점은 연구실 별로 특수화된 안전 교육을 불가하게 한다. 이러한 점을 개선하기 위해 LSA 시스템을 제안한다. LSA는 사용자가 직접 매뉴얼을 작성할 수 있는 AR기반의 안전 교육 시스템이다. 이를 통해 실제 연구실 환경에서 사용자 맞춤형 교육을 수행할 수 있어 교육효과 상승을 기대할 수 있다. Safety training is practiced in labs to prevent safety incidents. However, current safety training relies on theoretical lectures and one-size-fits-all manuals. This makes it impossible to provide specialized safety training for each lab. To improve this, we propose the LSA system. LSA is an AR-based safety training system that allows users to create their own manuals. This enables customized training in the actual laboratory environment, which is expected to improve training effectiveness.
의류 관리를 위한 디지털 옷장 및 패션 데이터 기반 의류 자동 분류 시스템
김건우(Geonwoo Kim),김소정(Sojeong Kim),김윤아(Yuna Kim),이다현(Dahyun Lee),최선오(Suno Choi),김순태(Suntae Kim) 한국정보기술학회 2024 Proceedings of KIIT Conference Vol.2024 No.5
본 논문에서는 현대 사회에서 의류 관리가 점점 더 중요한 문제가 되고 있음을 다룬다. 특히 성인 여성은 평생 동안 옷을 고르는 데에 6개월이라는 상당한 시간을 소비하며, 이는 의류 선택 과정에서의 시간 소모와 정신적 에너지의 낭비를 의미한다. 이 같은 문제를 해결하기 위해 본 논문은 디지털 옷장 시스템을 제안한다. 이 시스템은 모바일 애플리케이션을 기반으로 사용자의 접근성을 높이고, K-Fashion 데이터셋과 Mask R-CNN모델을 통해 의류 등록 과정을 자동화하여 사용자가 효과적으로 의류를 관리하고 코디를 선택할 수 있도록 지원한다. In this paper, we will discuss how clothing management is becoming an increasingly important issue in the modern world. In particular, adult women spend a significant amount of time - six months - choosing clothes over the course of their lives, which represents a significant waste of time and mental energy in the clothing selection process. To address these issues, this paper proposes a digital wardrobe system, which automates the process of clothing registration through the K-Fashion dataset and Mask R-CNN model to help users effectively manage their clothing and select outfits.
이더리움 스마트 컨트랙트 상태 모니터링 시스템의 설계 및 구현
홍준기(Joongi Hong),김순태(Suntae Kim),류덕산(Duksan Ryu) 한국정보과학회 소프트웨어공학 소사이어티 2019 소프트웨어공학회지 Vol.28 No.2
블록체인 생태계에는 다양한 이해관계자들이 존재한다. 이더리움이 등장한 이후 스마트 컨트랙트를 활용한 거래가 많이 이루어지게 되었고 개발자뿐만 아니라 투자자, 은행, 기업, 일반 사용자 등등 더욱 폭넓은 이해관계자들이 참여하고 활동하고 있다. 하지만 다양한 이해관계자가 스마트 컨트랙트의 상태를 확인하기 위해서는 어렵고 복잡한 과정을 거쳐야 한다는 문제점을 가지고 있다. 상태 확인이 어렵게 된다면 스마트 컨트랙트에 대한 신뢰도가 낮아지게 되어 활용도가 낮아질 것이다. 개발자에게 있어서도 상태 확인이 어렵고 복잡하다면 자신이 개발한 스마트 컨트랙트의 테스팅과 디버깅을 하는데 어려움을 겪어 높은 품질을 제공하기 힘들 것이다. 본 연구에서는 다양한 이해관계자와 개발자들이 스마트 컨트랙트의 상태를 쉽고 지속적으로 확인할 수 있으며 히스토리 데이터를 활용하여 분석할 수 있도록하는 이더리움 스마트 컨트랙트 상태 모니터링 시스템의 설계 및 구현 방법을 제안한다. There are various stakeholders in the blockchain ecosystem. Since the emergence of Ethereum, many transactions have been made using smart contracts, and a wider range of stakeholders are participating, including not only developers, but also investors, banks, companies, and general users. However, various stakeholders have a problem in that it is difficult and complicated to check the state of smart contracts. If it becomes difficult to check the state, the reliability of the smart contract will be lowered and the utilization will be lowered. Also, if the state check is difficult and complicated for the developer, it will be difficult to provide high quality due to the difficulty of testing and debugging the smart contract developed by the developer. In this research, we propose a design and implementation method of the Ethereum Smart Contract State Monitoring System that enables various stakeholders and developers to easily and continuously check the state of smart contracts and analyze them using historical data.
최승용 ( Seungyong Choi ),김순태 ( Suntae Kim ),김정아 ( Jeongah Kim ) 한국정보처리학회 2015 한국정보처리학회 학술대회논문집 Vol.22 No.1
IT 환경이 점차 융·복합화가 되어가면서 소프트웨어 개발 업체들은 다양해진 소프트웨어 개발 영역에 맞춰 소프트웨어 프로세스를 신속하게 적용하는 데 어려움을 겪고 있다. 이와 같은 문제를 해결하고자 본 논문에서는 소프트웨어 개발 업체들이 구축해 놓은 소프트웨어 프로세스 자산을 재사용해 특정 소프트웨어 개발 프로젝트에 적용할 소프트웨어 프로세스를 효율적으로 수립할 수 있는 체계적인 소프트웨어 프로세스 테일러링 절차를 제시한다. 제시한 소프트웨어 프로세스 테일러링 절차를 도입하는 소프트웨어 개발 업체는 소프트웨어 개발 영역에 특화된 소프트웨어 프로세스를 빠르게 수립할 수 있게 됨으로써 정의한 소프트웨어 프로세스를 통해 소프트웨어 개발 프로젝트의 위험 요인들을 사전에 인지할 수 있게 되고 소프트웨어 개발 프로젝트가 예측 불가능한 상태로 진행되는 것을 미연에 통제할 수 있게 될 것으로 예상된다.