• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.1519-1522
• /
• 2012

기존의 리스크기반 테스팅은 조직, 프로젝트, 제품에만 초점이 맞추어져 있어 소프트웨어 개발에 관련된 리스크 활동은 잘 고려되지 않는다. 본 논문에서는 소트프웨어 개발에 리스크를 적용하고자 유스케이스 기반 리스크 위험도 측정과 우선순위화를 제안한다. 제안한 리스크 위험도 측정방법은 GoRE의 Goal 중요도 매트릭스를 리스크 결정 매트릭스로 확장하고 이를 이용하여 리스크의 위험도를 우선 순위화에 적용한 것이다. 확장한 리스크 결정 매트릭스는 유스 케이스와 요구사항의 연관관계를 파악한 후 고객 중요도를 계산하여 리스크 위험도를 측정하는 방법이다. 이를 통해 소프트웨어 개발 전 리스크 요구사항 고려로 시스템 구축에 도움이 되고자 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.591-594
• /
• 2014

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. However, there exist many difficulties to establish services and systems to actualize the IT convergence service in the agricultural field to cope with various objects such as time-varying weather changes, growth condition of farm products, and continual diseases. In this paper, we suggest standard technology service requirements for ubiquitous environments agriculture based on network.

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

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

• The KIPS Transactions:PartD
• /
• v.16D no.5
• /
• pp.767-790
• /
• 2009

Setting up a priorityfor an embedded system is greatly significant because a release plan at the early stage of product developments can properly be established through right decision making procedures based on the priorities. For instance, both dependencies among requirements and the aspects of product developers should be considered into the priorities to improve the embedded system. Especially, trade-offs among the requirements, which are quite different depending on H/W and S/W architecture styles they use, should be acknowledged without exception. However, the selection process on the priority has hitherto been fairly systematic in the existing environment where hardware and software are not being considered at once. Therefore, this paper suggests an dependency and aspect-based model and process for the requirements of the priority. For this, the paper analyzes the trade-offs between the requirements depending on the disparate Architecture styles of H/W and S/W, and it also reflects the viewpoints of the developers. For thelast thing, the model and process suggested will be applied to the case of the development of both cell phones and cameras to gain authenticity and reliability. In conclusion, the danger occurring when the release plan is constructed can be minimized by screening the priorities that optimizes the embedded system more explicitly.

• Review of KIISC
• /
• v.14 no.5
• /
• pp.19-22
• /
• 2004

홈네트워크가 최근 주목을 받으면서 다양한 업계에서 구현되고 있다. 그러나 보안에 대한 고려를 충분히 하지 못한 상태에서 기능 구현에 주로 초점을 맞추고 있으며 최근에 와서야 보안에 대한 관심을 기울이고 있는 상황이다. 홈네트워크는 단일 서비스가 아닌 다양한 서비스의 집합으로서의 성격이 강하므로 보안에 대한 요구사항 또한 다양할 수 밖에 없다. 본 논문에서는 암호, 인증 기술을 기반으로 어떠한 요구사항이 있으며, 이를 위한 보안 대책에 대한 내용을 논의한다.

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

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

• TTA Journal
• /
• s.66
• /
• pp.80-95
• /
• 1999

최근 인터넷 트래픽이 급증함에 따라 IP 패킷 전달의 중추를 담당하는 코아망(또는, 백본망)이 새롭게 만족시켜야 할 요구사항 들이 대두되었다. 이에는 고속 패킷 전달과 QoS(Quality of Service)의 보장이라는 이미 잘 알려진 대표적 두 요구사항 외에, Scalability(확장성), 새로운 라우팅 기능 및 트래픽 엔지니어링 등의 요구사항이 포함된다. 본고에서는 이와 같은 인터넷 백본망의 새로운 요구사항을 먼저 살펴보고, 최근 IETF[1]를 중심으로 활발히 표준화 되고 있는 IP 패킷 전달 프로토콜 들의 간략한 개요와 이들의 백본망 요구사항 충족도를 분석한다. 본 고의 분석 대상 프로토콜은 세가지 대표적인 ATM 기반 프로토콜과 Multiprotocol Label Switching 그리고 Differentiated Services이다. 끝으로, 향후 코아망 프로토콜의 발전 전망을 간략히 기술한다.

• Annual Conference of KIPS
• /
• 2011.11a
• /
• pp.1311-1314
• /
• 2011

현재 SOA 기반 소프트웨어의 중요성이 인식되면서 국내외 SOA 기반 소프트웨어 시장이 급격히 증가하고 있는 추세이다. 이에 따라 SOA 기반 소프트웨어에 대한 고신뢰성과 고품질소프트웨어의 요구가 증대되고 있다. 그러나 SOA 기반 소프트웨어의 특성을 반영한 품질평가 체계는 아직 구축되어 있지 않은 실정이며 최근의 소프트웨어 개발 방법의 추세로 볼 때 시급한 구축이 요구되고 있다. 본 연구에서는 SOA 기반 소프트웨어의 품질을 평가하기 위해 품질을 시험하여 측정하고 그 결과를 적절한 기준에 따라 판정하는 방법에 대해 연구를 수행하였다. 주요 연구내용으로는 SOA기반 소프트웨어 품질 측정 설문에 답을 회귀 알고리즘에 적용하여 소프트웨어의 품질을 측정하고 해결책을 제시함으로써 소프트웨어의 부족한 부분을 좀더 보안해줄것을 기대한다. 본 연구를 통해 국제표준을 수용한 SOA 기반 소프트웨어 품질 시험 측정 방법을 구축하였고 이를 활용하여 국내 SOA 기반 소프트웨어의 품질 수준 향상을 위해 적용할 수 있을 것이며 국내 SOA 기반 소프트웨어의 품질 향상을 통해 관련 시장의 품질 안정성을 확보하고 고품질 SOA 기반소프트웨어 개발 의욕을 제고할 수 있으리라 기대한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.9
• /
• pp.1666-1672
• /
• 2016

In recent years, smart technology has been applied to various information system fields. Especially, traditional library service area is changing to Smart-Library from Digital-Library. In this environment are need to library service software platform for supporting variety content, library services, users and smart-devices. Due to this, existing library service has a limitation that inhibits semantic interoperability between different heterogeneous library systems. In this paper, we propose Linked-Open-Data based smart library as an archetype of future-library system that provide a variety content and system interaction and integration of services. It is an innovative system of the cutting-edge information intensive. Therefore, we designed system environments according to various integration requirements for smart library based on Linked-Open-Data. And, we describe the functional requirements of smart-library systems by considering the users' demands and the eco-systems of information technology. In addition, we show the reference framework, which can accommodate the functional requirements and provide smart knowledge service to user through a variety of smart-devices.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.517-522
• /
• 2003

As the Software development condition is changed into enlargement and complex, requirements generated in each step of Software development life cycle has important effects on the technique and management area. In this thesis, We propose so engineering approach for effective and systematic process and activities including Requirements acquisition and management based on activities proposed with Requirements Engineering and CMM that my special emphasis is putted on Software qualify improvement through the reduction of software development cost and danger.