• 인터넷정보학회논문지
• /
• 제9권5호
• /
• pp.59-72
• /
• 2008

최근의 컴퓨팅 시스템은 모바일을 사용한 비즈니스와 다양한 컨버전스 분산 업무 처리로 확대되면서 모바일 임베디드 소프트웨어 개발 방법론에 대해 모바일 비즈니스에서 많은 관심을 가지고 있다. 아울러 최근 재사용성과 독립성 그리고 이식성을 가진 컴포넌트를 기반으로 한 모바일 임베디드 소프트웨어 개발에 또한 많은 초점이 집중되고 있다. 컴포넌트 기반 임베디드 응용 시스템 개발은 제품의 생산성과 유지보수성 그리고 신뢰성을 보장한다. 컴포넌트 각 요소들 간의 계층적, 수평적 서비스 지원 및 협력을 위한 명확한 인터페이스 정의를 통한 컴포넌트의 원활한 조립이 컴포넌트 기반의 임베디드 소프트웨어 개발 성공을 위한 필수적 요소이다. 즉, 관련 아키텍처 정의와 이를 기반으로 한 생성 프로세스 및 컴포넌트의 명세화, 그리고 컴포넌트 프레임워크의 효과적 적용 단계를 통해 모바일 임베디드 소프트웨어 개발의 성공을 달성할 수 있다. 따라서 본 논문에서는 사용자의 요구사항에 최대한 접근하고 모바일 임베디드 도메인을 기반으로 둔 소규모 단위 모바일 컴포넌트(MIC: Mobile Embedded Component)를 대상으로 조립을 위한 인터페이스 명세 제공을 서술한다. 모바일에 확장적 컴포넌트 계층화와 모바일 비즈니스 로직 확보를 위해 재구성 가능한 설계 패턴 및 컴포넌트 군(비즈니스 도메인 카테고리)을 형성하고 제공한다. 제안하는 모바일 임베디드 컴포넌트 프로세스는 기존 프로세스가 가지는 비 일치성을 보완하여 컴포넌트의 개발과 사용에 실제적으로 활용할 수 있도록 정의한다. 모바일 비즈니스 프로세스를 위한 의미 지향적이며 모델링 기반 원칙에 따라 명확하고 풍부한 프로세스 정보를 포함한다. 또한 기능의 모듈성과 독립성이 보장되고 조립 가능한 컴포넌트를 기반으로 동적이고 복잡한 모바일 비즈니스 영역에 적용 가능한 개발 모델을 제시하고 작성된 모델을 기반으로 하는 모바일 임베디드 개발 사례를 제시한다. 본 연구에서 제시하는 컴포넌트 기반 모바일 임베디드 소프트웨어 개발 프레임워크는 효율성, 생산성 및 신뢰성과 유지보수성을 증대할 수 있는 이점을 가진다.

• Nuclear Engineering and Technology
• /
• 제26권4호
• /
• pp.502-506
• /
• 1994

안전등급 컴퓨터계통 설계에 대해서 노심보호계산기계통 소프트웨어 설계와 검증시험을 중심으로 살펴보았다. 안전계통에 컴퓨터계통을 사용하면, 하드웨어뿐만 아니라 소프트웨어에 대한 철저한 검중시험이 요구된다. 노심보호계산기계통에 대한 검증시험은 두개의 소프트웨어 버전을 개발하여, 수행결과를 서로 비교함으로써 수행된다. 하나는 어셈블리언어로, 또 다른 하나는 포트란으로 구현된다. 검증시험은 순차적이고 중첩되게 수행된다. 일차 시험은 모든 브랜치 루틴을 수행하여 각 소프트웨어 모듈이 바르게 구현되었음을 확인하는 작업이다. 이차 시험은 통합된 소프트웨어가 모든 요건을 만족하는가 그리고 시간요건을 만족하는 지를 검증한다. 이러한 철저한 검증시험을 통해서 영광 3, 4호기 노심보호계산기계통이 올바르고 완벽하게 구현되어 요건서를 만족함이 확인되었다.

• International journal of advanced smart convergence
• /
• 제9권4호
• /
• pp.198-202
• /
• 2020

User review sites are spaces where users can freely post and share their opinions, which are trusted by many people and directly influence sales. In addition, they overcome the limitations arising from existing requirements collection and are able to gather the needs of large numbers of different people at a low cost. Therefore, such sites are attracting attention as new spaces for understanding user needs. In a previous study, a user review analysis was attempted using 5W and 1H, and we inferred that a sentence containing "when" has special information based on the user experience. In addition, the requirements of the derivative activities in a user review can identify more user needs than the general requirements of derivative activities. In this paper, we propose a systematic method of deriving "when" sentences contain meaningful information from user reviews and converting them into use cases, which is one of the requirements of a specification method. This method converts unstructured data into structured data such that it can be included as the user requirements during software development from user comments expressed in natural language. This method will reduce project failures and increase the likelihood of success by enabling an efficient collection and analysis of user needs from valuable user reviews.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권7호
• /
• pp.424-430
• /
• 2008

관점지향 소프트웨어 개발방법론(Aspect-Oriented Software Development)에서 가장 중요한 고려사항중 하나는 요구사항 분석단계에서 횡단관심사(Crosscutting Concerns)를 식별하는 것이다. 이는 개발 초기단계에 횡단관심사를 식별함으로써 요구사항의 일관성(consistency)을 증진시켜 시스템의 유지보수를 쉽게 하고, 개발단계의 산출물들 사이의 추적성(traceability)을 제공하여 체계적인 변경관리를 지원할 수 있기 때문이다. 따라서 소프트웨어 개발 초기단계에 횡단관심사를 식별하고, 이를 독립적인 모듈로 구현하는 것을 지원하기 위해서는 다음과 같은 사항들을 고려해야 한다. 첫째, 복잡하게 분산되고 엉킨 요구사항의 관심사를 분리되어야 한다. 둘째, 횡단관심사가 시스템을 횡단하는 시점이 식별되어야 한다. 셋째, 횡단관심사를 구현한 모듈과 이것이 횡단하는 다른 모듈들 사이에 발생할 수 있는 요구사항 충돌을 통합 이전단계에 관리할 수 있는 방법이 지원되어야 한다. 이를 위해 본 논문에서는 목표와 시나리오 기반의 요구사항 분석 방법을 기반으로 횡단관심사를 식별하는 방법을 제안한다. 그리고 제안된 방법을 지능형 로봇 소프트웨어 개발 사례에 적용하여 그 유용성을 검증한다.

• 한국시뮬레이션학회논문지
• /
• 제13권1호
• /
• pp.51-63
• /
• 2004

Current distributed systems are attacked from the outside as well as in which new intrusions are occurred. In particular there is a growing but largely unnoticed intrusion threat due to the emerging middleware technologies such as CORBA, WAP, XML support, and enterprise application integrators. In order to cope with these attacks, intrusion tolerance technology is introduced. Intrusion tolerance technology means that it can provide services normally although attacks are occurred into system. There are intrusion tolerance architectures such as ITUA, HACQIT, SITAR, and so on as a part of DARPA project. In this paper, we analyze and discuss existing intrusion tolerance architectures with respect to intrusion tolerance technology. Also, we extract intrusion tolerant requirements, which are required to develop ,intrusion tolerant system. We propose UML-IT(Intrusion Tolerance) profiles and specify intrusion tolerant software by applying UML-IT profiles.

• Journal of Information Processing Systems
• /
• 제13권1호
• /
• pp.26-39
• /
• 2017

The need for embedded devices to be able to exchange information with each other and with data centers is essential for the advent of the Internet of Things (IoT). Several existing communication protocols are designed for small devices including the message-queue telemetry transport (MQTT) protocol or the constrained application protocol (CoAP). However, most of the existing implementations are convenient for computers or smart phones but do not consider the strict constraints and limitations with regard resource usage, portability and configuration. In this paper, we report on an industrial research and development project which focuses on the design, implementation, testing and deployment of a MQTT module. The goal of this project is to develop this module for platforms having minimal RAM, flash code memory and processing power. This software module should be fully compliant with the MQTT protocol specification, portable, and inter-operable with other software stacks. In this paper, we present our approach based on abstraction layers to the design of the MQTT module and we discuss the compliance of the implementation with the requirements set including the MISRA static analysis requirements.

• 산업경영시스템학회지
• /
• 제26권4호
• /
• pp.82-90
• /
• 2003

The Systems Engineering, as a methodology for engineering and management of today's ever-growing complex system, is a comprehensive and iterative problem-solving process. The process centers on the analysis and management of the stakeholders' needs throughout the entire life-cycle of a system and searches for an optimized system architecture. There are many essential needs and requirements to be met when a system development task is carried out. Systems Engineering Management Plan(SEMP), as a specification for system development process, must be established to satisfy constraints and requirements of stakeholders successfully and to prevent cost overrun and schedule delay. SEMP defines technical management functions and comprehensive plans for managing and controlling the entire system development process, specialty engineering processes, etc. Especially. in the case of a large-scale complex system development program where various disciplinary engineering such as mechanical; electrical; electronics; control; telecommunication; material; civil engineering etc. must be synthesized, it Is essential to develop SEMP to ensure systematic and continuous process improvements for quality and to prevent cost/schedule overruns. This study will enable the process knowledge management on the subject of SEMP as a core systems engineering management effort, that is, definitely defining and continuously managing specification of development process about requirements, functions, and process realization of it using a computer-aided systems engineering software. The paper suggests a systematic SEMP development process and demonstrates a data model and schema for computer-aided systems engineering software, RDD-100, for use in the development and management of SEMP. These are being applied to the systems engineering technology development task for the next-generation high-speed railway systems in progress.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권5호
• /
• pp.169-178
• /
• 2014

본 논문에서는 상호 작용 중심 시스템의 품질을 확보하기 위하여 LTL 분산 명세를 활용하는 연구를 소개한다. 이러한 시스템의 품질확보를 위해서는 모듈 간의 상호 작용을 확인하여 기대하는 요구 사항을 달성하고 있는지를 검사해야 한다. 이 작업은 어렵고 노동 집약적이며 전문가를 필요로 한다. 따라서 본 논문에서는 이 검사에 도움을 주기 위한 방법을 제안한다. 먼저, 시스템의 기대하는 요구 사항은 각 모듈별로 분리해서 명세한다. 그리고 모듈 사이의 상호 작용은 다른 모듈이 수행하는 행위가 특정 모듈의 행위와 관련 있음을 의미한다. 여기서는 GR(1) 합성을 이용하여 명세를 만족하는 오토마타 모델이 생성되고 이것들은 소프트웨어 에이전트 기반의 시뮬레이터를 통해 모델의 행위를 확인하여 시스템이 요구 사항을 달성하고 있는지를 검사한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.1-16
• /
• 2006

소프트웨어의 규모가 커지면서 시스템 기능 테스트 단계에 일일이 원시코드를 참조하면서 테스트하는 것은 현실적으로 불가능하다. 따라서 시스템 테스트 단계에서 다양한 요구명세 정보들을 이용하는 블랙박스 테스트 방법들이 많이 연구되고 있다. 테스트 기법에 활용한 요구명세는 시스템을 표현하는 기술 방법과 의미의 차이로 인해 테스트 케이스와 커버리지가 크게 달라서 테스트 계획 단계에서 테스트 기법과 그 기법의 적용 결과에 대해 깊이 고려해야 한다. 이러한 필요성으로 인해 본 연구에서는 다양한 블랙박스 테스트 기법들에 대한 실험과 그 결과에 대해 논하였다. 기법의 특성이 미치는 테스트 결과를 분석하고 평가하기 위해 객체지향 시스템의 명세와 모델링 기법으로 가장 잘 알려진 UML을 이용한 테스트 기법을 포함하여 다섯 가지의 블랙박스 테스트 기법을 실행하고 비교하였다. 그리고 다섯 가지 기법들을 서로 다른 두 응용 시스템에 적용하였고 그 결과로 추출된 테스트 케이스의 커버리지를 분석하였다.

• 소프트웨어공학소사이어티 논문지
• /
• 제26권2호
• /
• pp.45-52
• /
• 2013

클라우드 컴퓨팅 서비스를 제공하는 사업자는 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 SLA를 보장해야 한다. SLA(Service Level Agreement)는 서비스 사업자가 제공하는 서비스를 대상으로 가용성 등 일정한 서비스 수준을 보장하기 위해 맺는 서비스 사업자와 고객간의 계약이다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하고 있어서 제공되는 서비스의 품질 요소는 반영하기 어렵다. 본 논문에서는 SaaS 레벨에서의 SLA 명세를 위한 XML 스키마를 가지는 명세 언어와 이를 교환하기 위한 UDDI 기반의 교환 프로세스 및 아키텍처를 제안한다. 클라우드 환경에서 SaaS의 품질 요구사항은 제안한 명세 언어로 정의되고 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다.