• 제목/요약/키워드: Reusable

검색결과 571건 처리시간 0.029초

임베디드 시스템의 재사용 프레임워크에 대한 정형명세 (A Formal Specification of Reusable Framework of Embedded System)

  • 조은숙;김철진;송치양
    • 정보처리학회논문지D
    • /
    • 제17D권6호
    • /
    • pp.431-442
    • /
    • 2010
  • 임베디드 시스템은 하드웨어와 소프트웨어 요소들이 서로 결합된 시스템이기 때문에 설계 시 실시간성(Real-time), 반응성(Reactive), 소규모(Small Size), 경량화(Low Weight), 안전성(Safe), 신뢰성(Reliable), 견고성(Harsh Environment), 저비용(Low Cost) 등의 요소들을 고려하여 설계해야 한다. 그러나 현재 임베디드 시스템 개발에 이러한 요소들을 반영한 설계 기법들이 미비하게 제시되어 있다. 특히 임베디드 시스템 개발에 있어서 프레임워크를 기반으로 임베디드 시스템을 개발하는 형태가 거의 이뤄지고 있지 않다. 이로 인해 현재 개발되어 있는 임베디드 시스템들의 내부 코드들을 살펴보면 시스템 작동과 전혀 상관이 없는 코드들이 무수하게 잔재하고 있으며, 임베디드 시스템 개발에 있어서 재사용성이나 가변성에 대한 고려가 미흡한 실정이다. 따라서 본 연구에서는 임베디드 시스템의 재사용성을 향상시키기 위해 제안했던 재사용 프레임워크 설계에 대한 완전성이나 일관성을 보장하기 위해 Z를 이용하여 프레임워크 설계에 대한 정형 명세 기법을 제시하고자 한다. 또한 Z 언어를 통해 명세한 결과를 Z-Eves Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 보이고자 한다.

기본체계모델 기반 해상도 별 유도 무기체계 컴포넌트 설계 (Components Design for Guided Weapon System according to Resolution based on Base System Model)

  • 문규진;안유영;정의택;유창경
    • 한국시뮬레이션학회논문지
    • /
    • 제28권3호
    • /
    • pp.11-23
    • /
    • 2019
  • 군 요구분석부터 시험평가까지 전반적인 단계에 활용 가능한 합성 전장 환경을 구성하기 위해 컴포넌트기반 체계모의환경(AddSIM)이 개발되었다. 또한 AddSIM을 효과적으로 활용하기 위해 표준화된 계층구조를 가지는 무기체계 컴포넌트 모델인 기본체계모델(BSM)이 개발되었다. 본 논문에서는 AddSIM에서 운용 가능한 유도 무기체계의 BSM 상세 설계에 관해 기술한다. 유도 무기체계 BSM은 재사용성과 상호 운용성을 고려해 설계되었으며 조립성을 고려해 상이한 해상도의 하위컴포넌트에 대해서도 동일한 인터페이스를 갖도록 설계되었다. 그리고 컴포넌트 해상도 분류 체계에 따라 각 하위 컴포넌트의 해상도 별 컴포넌트를 정의 및 구현했다. 최종적으로 하위 컴포넌트 조합을 통해 다양한 해상도의 유도 무기체계 모델을 구성하였으며 시뮬레이션을 통해 성능을 비교 분석했다.

Flexible smart sensor framework for autonomous structural health monitoring

  • Rice, Jennifer A.;Mechitov, Kirill;Sim, Sung-Han;Nagayama, Tomonori;Jang, Shinae;Kim, Robin;Spencer, Billie F. Jr.;Agha, Gul;Fujino, Yozo
    • Smart Structures and Systems
    • /
    • 제6권5_6호
    • /
    • pp.423-438
    • /
    • 2010
  • Wireless smart sensors enable new approaches to improve structural health monitoring (SHM) practices through the use of distributed data processing. Such an approach is scalable to the large number of sensor nodes required for high-fidelity modal analysis and damage detection. While much of the technology associated with smart sensors has been available for nearly a decade, there have been limited numbers of fulls-cale implementations due to the lack of critical hardware and software elements. This research develops a flexible wireless smart sensor framework for full-scale, autonomous SHM that integrates the necessary software and hardware while addressing key implementation requirements. The Imote2 smart sensor platform is employed, providing the computation and communication resources that support demanding sensor network applications such as SHM of civil infrastructure. A multi-metric Imote2 sensor board with onboard signal processing specifically designed for SHM applications has been designed and validated. The framework software is based on a service-oriented architecture that is modular, reusable and extensible, thus allowing engineers to more readily realize the potential of smart sensor technology. Flexible network management software combines a sleep/wake cycle for enhanced power efficiency with threshold detection for triggering network wide operations such as synchronized sensing or decentralized modal analysis. The framework developed in this research has been validated on a full-scale a cable-stayed bridge in South Korea.

도시철도 직류급전용 더블컨버터의 출력특성 향상을 위한 모드 변환 시 점호각 제어 연구 (A Study on the Firing Angle at the Mode Conversion to Improve the Output Characteristics of the Double Converter for Urban Railway DC Power Supply)

  • 서승삼;한성우;변기식
    • 한국철도학회논문집
    • /
    • 제18권6호
    • /
    • pp.533-542
    • /
    • 2015
  • 본 논문은 도시철도 전동차 정차 시에 발생하는 회생전력으로 인해 전차선 가선전압 상승 시에 Converter(Forward)에서 Inverter(Reverse)로 mode 변환하여 상승된 가선전압을 AC 모선으로 환류하여 전차선 전압을 일정하게 유지하고 전동차 정차 시에 발생하는 회생전력을 재사용할 수 있는 부산도시철도의 더블 컨버터 직류 변전설비를 제안하며 전차선 직류전압 품질향상을 위해 부산도시철도 더블 컨버터 직류 변전설비에서 발생하는 Converter/Inverter mode 변환 시의 undershoot와 overshoot를 최소화할 수 있는 최적의 사이리스터 점호각을 시뮬레이션을 통하여 제시하였다.

그레이박스를 사용한 컴포넌트의 관심사 분리 보안 모델 (Separation of Concerns Security Model of Component using Grey Box)

  • 김영수;조선구
    • 한국컴퓨터정보학회논문지
    • /
    • 제13권5호
    • /
    • pp.163-170
    • /
    • 2008
  • 컴포넌트에 대한 의존도 및 활용도가 증가하면서 컴포넌트의 보안성 강화를 위한 필요성이 증가하고 있다. 컴포넌트는 재사용을 통한 소프트웨어의 개발 생산성을 향상시키는 이점을 제공한다. 이러한 이점에도 불구하고 컴포넌트의 보안 취약성은 재사용에 제한을 한다. 이의 개선을 위해 컴포넌트의 보안성을 높이는 경우에 가장 문제가 되는 부분이 재사용성에 대한 제한이 확대된다는 것이다. 따라서 컴포넌트의 재사용성과 보안성을 동시에 고려하는 컴포넌트의 모델이 제공되어야 한다. 이의 해결책으로 정보은폐와 수정의 용이성을 제공하여 보안성과 재사용을 확대할 수 있도록 재사용 모델을 결합하고 포장 및 애스펙트 모델을 통합한 컴포넌트 재사용 확대를 위한 관심사의 분리보안 모델을 제안하고 응용시스템을 구축하여 모델의 적합성을 검증하였다. 이의 응용은 핵심 및 보안 관심사의 분리를 통한 컴포넌트 기능의 확장과 수정의 용이성을 제공함으로써 보안성을 높이는 동시에 재사용성을 확대한다.

  • PDF

대남광산 농경지 토양 내 중금속 특성에 따른 물리적 선별 처리효율에 관한 연구 (A Study on the Removal Efficiency of Heavy Metals in Daenam Mine Agricultural Soil Using Heavy metal Properties by Physical separation)

  • 박찬오;홍동호;이재영;이영재;이진수
    • 한국지하수토양환경학회지:지하수토양환경
    • /
    • 제18권5호
    • /
    • pp.46-55
    • /
    • 2013
  • The main objective was to evaluate the efficiencies of different separation techniques, such as gravity separation, magnetic separation, and aerial separation. Zinc and cadmium removal efficiencies by gravity separation and magnetic separation were 28.3~29.3% and 19.1%, respectively, and were higher than the efficiency obtained by aerial separation. Results showed that the combination of gravity separation and magnetic separation in series which was to maximize the removal efficiencies gave removal efficiency of 21.5~38.7% for zinc and 22.1~23.4% for cadmium. The mass of soil meeting the regulation standards for zinc and cadmium after retrieval from the combined separation process accounted for approximately 80% of the treated soil that would be reusable without the pre-treatment procedure as the neutralization process using in the soil washing method. Physical separation techniques utilizing heavy metal properties are the alternative method to remediate heavy-metal contaminated soils in environmental and economic aspects.

관성항법소프트웨어 SPL(Software Product Line) 구현을 위한 플랫폼 범위결정 기법 (A Scoping Method to Implement Software Product Line for Inertial Navigation System)

  • 박삼준;노성규;이관우;박병수;남성호
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제10권7호
    • /
    • pp.251-256
    • /
    • 2021
  • SPLE (Software Product Line Engineering)는 소프트웨어 재사용 방법론 중의 하나이다. SPLE의 핵심적인 활동 중 하나는 재사용 가능한 자산 개발에 필요한 피처의 범위를 결정하는 활동이다. 기존 범위결정 방법은 국방 분야에 적용하는데 한계가 있어서, 본 논문에서는 무기체계 항법시스템에 적용 가능한 범위결정 방법을 제안하고, 그 적용 사례를 제시한다. 제안된 방법은 먼저 피처 이익 관점에서 플랫폼 적용 대상 피처의 범위를 결정한다. 그런 다음 제품 이익 관점에서 피처의 범위를 조정하고, 총 비용 관점에서 플랫폼 대상 피처와 제품라인에 포함될 피처의 최종 범위를 결정한다. 본 논문에서는 항법소프트웨어 제품라인에 대해 엔지니어링 할 피처의 범위를 결정하는 방법을 보여줌으로써 제안된 방법의 적용 가능성을 입증하고 평가한다.

저전력 임베디드 소프트웨어 개발을 위한 재사용 컴포넌트의 전력소모 특성 명세 방법 (Energy Characteristic Specification Method of Reusable Component for Energy Efficient Embedded Software Development)

  • 김두환;이재욱;홍장의
    • 소프트웨어공학소사이어티 논문지
    • /
    • 제24권2호
    • /
    • pp.55-66
    • /
    • 2011
  • 컴포넌트 기반 개발 방법론은 개발 편의성, 개발에 소요되는 시간, 비용 등의 이점으로 인해 그 적용 영역이 확대되고 있다. 특히 일반적인 소프트웨어에 비해 플랫폼 의존성이 높고, 제품 군(product family) 개발이 가능한 임베디드 소프트웨어의 경우 컴포넌트 기반 개발은 그 유용성이 매우 높다고 할 수 있다. 그 중에서도 스마트 폰, 태블릿 PC 등과 같은 휴대형 임베디드 시스템의 경우, 전력 소모량이 적은 소프트웨어 개발의 중요성이 부각되고 있기 때문에 재사용 컴포넌트의 소모 전력에 대한 특성은 컴포넌트 기반 개발에서 고려되어야 할 중요한 품질요소 중의 하나가 되었다. 본 연구에서는 재사용 기반의 임베디드 소프트웨어 개발 시, 컴포넌트에 대한 소모전력 특성을 고려할 수 있도록 지원하기 위하여 소모전력 특성을 포함하는 컴포넌트 명세언어를 제안한다. 이는 추후 컴포넌트 저장소에서 소모전력 특성을 고려하는 컴포넌트 검색 및 선택 등과 같은 영역에서 활용할 수 있다.

  • PDF

소프트웨어 제품라인 아키텍처 모델에서의 가변성 표현 방법 비교 연구 (Expressing Variability in Software Product Line Architecture Models: A Comparative Study)

  • 이혜선;조성배;강교철
    • 소프트웨어공학소사이어티 논문지
    • /
    • 제24권3호
    • /
    • pp.77-89
    • /
    • 2011
  • 소프트웨어 제품라인 공학은 제품라인의 공통적인 부분과 차이점을 핵심 자산으로 관리하여 품질을 높이고, 핵심 자산을 계획된 제품들에 재사용함으로써 소프트웨어의 생산성을 높이는데 효과적인 방법이다. 제품라인 아키텍처에는 제품에 따라서 포함되거나 포함되지 않는 가변적인 부분이 있기 때문에, 기존 단일 소프트웨어를 대상으로 한 아키텍처 모델과는 달리, 제품라인 아키텍처는 제품 간의 차이점인 가변성을 나타낼 수 있어야 한다. 기존에 여러 연구자가 제품라인 아키텍처 모델에 가변성을 표현하는 방법을 제안하였지만, 이들이 제시한 표현 방법들의 강약점을 분석하고 차이점을 비교하는 연구가 부족하였다. 따라서 본 논문에서는 현재까지 제안된 제품라인 아키텍처 모델에서의 가변성 표현 방법을 분석하고 비교하여, 적합한 표현 방법을 선택하는데 가이드가 되고자 한다.

  • PDF

제품라인 공학을 위한 휘처 기반의 제품 구성 방법 (A Feature-based Product Configuration Method for Product Line Engineering)

  • 배성진;강교철
    • 소프트웨어공학소사이어티 논문지
    • /
    • 제26권2호
    • /
    • pp.31-44
    • /
    • 2013
  • 소프트웨어 제품라인공학은 재사용성에 초점을 맞추어 소프트웨어의 높은 품질과 생산성을 만족시킬 수 있는 방법으로 제안되었다. 소프트웨어 제품라인에서 제품 구성 방법은 휘처모델로부터 주어진 제품을 위해 가장 최선의 휘처와 휘처속성을 선택해 나가는 프로세스이다. 성공적인 제품 개발을 위해서는 제품의 목표를 달성할 수 있는 휘처와 휘처 속성을 선택하는 것이 중요하다. 하지만 수천개의 휘처와 휘처 속성이 존재하는 경우에는 최적의 제품 구성을 하는 것이 매우 어렵다. 그렇기에 본 연구에서는 휘처와 휘처 속성간의 관계를 기반으로 제품의 목표를 달성하게 하는 휘처와 휘처 속성의 구성 조합을 찾는 휘처 구성 방법을 제안하여, 보다 정확한 제품의 목표 달성에 기여하는 휘처 구성이 될 수 있도록 한다.

  • PDF