• Title/Summary/Keyword: System specification-based software design

검색결과 81건 처리시간 0.027초

FBW 헬리콥터 모델 역변환 비행제어법칙 설계 및 검증 (Design and Validation of Model Inversion Flight Control Law for Fly By Wire Helicopter)

  • 김종섭;조인제;이승덕;이한주
    • 한국항공우주학회지
    • /
    • 제40권8호
    • /
    • pp.678-687
    • /
    • 2012
  • 우천, 안개 낀 날씨 및 먼지 등에 의해 시계가 확보되지 않는 비행 환경에서의 헬리콥터의 안정성(stability) 및 비행성(flying quality)을 향상시키기 위해 모델 역변환 제어(Model Inversion Control) 방식의 전자식 비행제어시스템(Fly-By-Wire Flight Control System)의 적용은 필수적이다. 선진 항공사인 미국의 Bell-Sikorsky사와 유럽 컴소시움인 NHI(NH Industries)사는 FBW 비행제어시스템을 V-22와 NH-90의 헬리콥터 양산에 적용한 바 있다. 본 논문에서는 BO-105 모델을 기반으로 CONDUIT(Control Designer's Unified Interface)을 활용하여 제자리 비행영역에서 모델 역변환 비행제어법칙을 설계하였으며, 헬리콥터 비행조종성 국제규격인 ADS-33E-PRF을 기준으로 평가하였다. 설계된 비행제어법칙을 CONDUIT과 HETLAS(HElicopter Trim Linearization And Simulation)를 기반으로 평가한 결과, ADS-33E-PRF에서 제시하고 있는 예측 조종성(predicted handling quality) 규격에 대해 비행조종성 Level 1을 만족시킬 수 있었다.

컴포넌트 기반의 망관리 시스템 개발에 관한 연구 (A Study on Development of Network Management Systems base on Component)

  • 김행곤;김지영
    • 정보처리학회논문지D
    • /
    • 제11D권4호
    • /
    • pp.937-950
    • /
    • 2004
  • 인터넷과 웹의 확산으로 네트워크 기반의 분산 환경은 응용의 표준 아키텍처로 인식되고 있다. 또한 네트워크의 효율성과 최상의 서비스 제어와 공유를 위해 복잡한 네트워크 구성 자원들을 관리하는 망 관리 시스템이 요구되고, 이는 응용의 표준 하부 지원 시스템으로서 뿐 아니라 독립적인 상업적 응용으로서 수요와 기대가 점차 증가하고 있다. 하지만 특정 프로토콜이나 특정적인 벤더의 장치에 의존적으로 분산되어져 있고, 이기종의 분산형 네트워크 자체의 성질 때문에 이들 시스템들을 통합하고 일관성 있게 관리할 수 있는 표준화된 망관리의 필요성이 요구되고 있다. 또한 소프트웨어 개발 방법 측면에서는 패턴과 컴포넌트에 의한 조림, 확장을 중심으로 하는 소프트웨어 재사용이 소프트웨어 생산의 기대치를 현실화할 수 있는 최상의 접근 방법으로 인정된다. 이에 따라 잘 정의된 인터페이스를 통해 좀더 쉽고 빠른 응용을 개발 가능하게 하는 컴포넌트 기반 개발 방법론을 기반으로 컴포넌트를 구축, 선택, 조림함으로써 높은 품질과 생산성을 보장한다. 따라서 본 논문에서는 분산 망관리 시스템 개발을 위해 망관리 아키텍처를 정의하고, 망관리 설계패턴과 컴포넌트들을 식별, 정의하여 컴포넌트 아키텍처에 매핑한다. 또한 이를 통해 컴포넌트 개발과 유통, 사용을 위한 컴포넌트를 명세하고, 컴포넌트 설계를 통해 이를 구현하였으며, 구현된 컴포넌트들은 등록, 검색 및 이해할 수 있는 컴포넌트 저장소 시스템으로 적용하고, 미리 구현된 컴포넌트를 통해 전체 망관리 시스템을 분석/설계, 구현하였다.

CSCW 환경에 기반한 요구공학 프로세스 모델 설계 (A Design of Requirement Engineering Process Model Based on CSCW Enviroment)

  • 황만수;이원우;류성렬
    • 한국정보처리학회논문지
    • /
    • 제7권10호
    • /
    • pp.3075-3085
    • /
    • 2000
  • 소프트웨어 개발과 운영이 분산화, 대형화됨에 따라 정확하고 완전한 요구사항의 추출과 명세는 시스템의 가장 중요한 요소가 되고 있다. 또한 인터넷을 통한 공동작업 환경에서 계속적인 시스템 변경요청은 더욱 효율적인 요구사항 관리를 필요로 한다. 본 논문에서는 이러한 공동작업 환경에서 자연어 기반 요구사항 명세와 관리의 효율성을 향상시키기 위한 요구사항 명세구조와 기법 등을 정의하고, 요구공학 활동과 주기를 바탕으로 하는 요구공학 프로세서와 환경을 제안한다. 그래서 CSCW(Computer Supported Cooperative Work) 환경에서 요구사항을 정확하게 추출하고 효율적으로 관리하며 분석단계로 자연스러운 전이가 가능하도록 한다.

  • PDF

웹 기반 컴포넌트 저장소 e-BCOS 설계 및 구현 (The Design and Implementation of e-BCOS as Web based Component Repository)

  • 김국보
    • 한국지능시스템학회논문지
    • /
    • 제15권2호
    • /
    • pp.211-223
    • /
    • 2005
  • 오늘날의 소프트웨어 개발 형태는 CBD(Component Based Development)를 기초로 한다. 그러나 CBD를 이용하여 새로운 컴포넌트를 구축하기 위해서는 많은 비용으로 인해, 저비용의 빠르고 정확한 컴포넌트 정보를 웹상에서 지원할 수 있는 컴포넌트 모델이 요구되고 있다. 본 논문에서는 사용자의 요구사항을 충족하는 애플리케이션을 웹상에서 신속하게 개발하는데 목적을 두고 있으며, 네트워크상에서 비즈니스 도메인을 기반으로 한 가장 소규모 단위의 분산 컴포넌트를 대상으로 인터페이스 명세를 제공하고자 한다. e-BCOS(e-Business Component System)은 사용자가 분산 컴포넌트를 등록하고 검색할 수 있는 에이전트 시스템으로서 재사용성을 증대시키고 사용자가 쉽게 컴포넌트에 관한 정보를 얻고 이해할 수 있도록 해준다. 또한 명세의 공유와 유통을 원활히 하기 위해서 XML(eXtensible Markup Language)로 명세를 표현하여 사용자의 다양한 욕구를 충족시키도록 한다.

Applying Formal Methods to Modeling and Analysis of Real-time Data Streams

  • Kapitanova, Krasimira;Wei, Yuan;Kang, Woo-Chul;Son, Sang-H.
    • Journal of Computing Science and Engineering
    • /
    • 제5권1호
    • /
    • pp.85-110
    • /
    • 2011
  • Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent realtime requirements. In this paper we showed how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We used MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the quality-of-service management mechanisms of RT-STREAM, a prototype system for data stream management. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and quality of service.

STS 표기법에 의한 CODARTS 방법론 (CODARTS Methodology by the STS)

  • 엄진아;김규년
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제26권2호
    • /
    • pp.241-250
    • /
    • 1999
  • Gomaa에 의해 제안된 CODARTS(Concurrent Design Approach for Real-Time System)방법론은 COBRA(Concurrent Object-based Real-Time Analysis)을 사용하여 실시간 시스템의 행동 모델을 개발하고 행동 모델에서 병렬 태스크 구조로 변환하는 데 도움을 주는 태스크 구성 지침을 제공한다. CODARTS에서는 태스크 구성 지침을 RTSA(Real-Time System Analysis)표기법으로 표현된 행동 모델에 적용하여 태스크를 구성한다. 그러나 RTSA 표기법에는 태스크를 구성하는데 필요한 실행 성질 및 주기, 이벤트의 병렬성 및 순서와 같은 정보들을 기술하지 않기 때문에 직접 태스크 구성 지침을 적용하는 것은 어렵다. 본 논문에서는 CODARTS 방법론의 분석단게에서 태스크 구성에 필요한 정보를 통합적으로 나타낼 수 있는 STS (Specification for Task Structuring)를 제안한고 이를 이용하여 태스크를 자동적으로 구성할 수 있는 알고리즘과 적용 예제를 보인다.

홈 네트워크에서 디지털 캐로절 시스템을 위한 오류 복구 시스템 (Error Recovery System for Digital Carousel System running on Home Network)

  • 고응남
    • 디지털콘텐츠학회 논문지
    • /
    • 제9권4호
    • /
    • pp.785-790
    • /
    • 2008
  • 디지털 캐로절은 사용자들에게 미디어 동기화 메카니즘을 통하여 미디어 객체 공유를 가능하게 한다. 본 시스템은 공동 작업에 참여한 사용자들이 다른 참여자들에게 같은 뷰로써 공유된 미디어 또는 오류 객체들을 참조할 수 있도록 구축한다. 본 논문에서는 결함 허용을 통하여 신뢰성을 향상시키는 방법에 대해서 기술한다. ER은 분산 멀티미디어에서 하나의 소프트웨어 오류를 자동적으로 복구할 수 있는 시스템이다. 본 논문은 규칙-기반 DEVS(Discrete Event System Specification) 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. DEVS에서 하나의 시스템은 시간, 입력, 상태, 출력 및 함수들을 가지고 있다.

  • PDF

Development of Simplified DNBR Calculation Algorithm using Model-Based Systems Engineering Methodology

  • Awad, Ibrahim Fathy;Jung, Jae Cheon
    • 시스템엔지니어링학술지
    • /
    • 제14권2호
    • /
    • pp.24-32
    • /
    • 2018
  • System Complexity one of the most common cause failure of the projects, it leads to a lack of understanding about the functions of the system. Hence, the model is developed for communication and furthermore modeling help analysis, design, and understanding of the system. On the other hand, the text-based specification is useful and easy to develop but is difficult to visualize the physical composition, structure, and behaviour or data exchange of the system. Therefore, it is necessary to transform system description into a diagram which clearly depicts the behaviour of the system as well as the interaction between components. According to the International Atomic Energy Agency (IAEA) Safety Glossary, The safety system is a system important to safety, provided to ensure the safe shutdown of the reactor or the residual heat removal from the reactor core, or to limit the consequences of anticipated operational occurrences and design basis accidents. Core Protection Calculator System (CPCS) in Advanced Power Reactor 1400 (APR 1400) Nuclear Power Plant is a safety critical system. CPCS was developed using systems engineering method focusing on Departure from Nuclear Boiling Ratio (DNBR) calculation. Due to the complexity of the system, many diagrams are needed to minimize the risk of ambiguities and lack of understanding. Using Model-Based Systems Engineering (MBSE) software for modeling the DNBR algorithm were used. These diagrams then serve as the baseline of the reverse engineering process and speeding up the development process. In addition, the use of MBSE ensures that any additional information obtained from auxiliary sources can then be input into the system model, ensuring data consistency.

공인전자문서 소통을 위한 Document-HTML 문서 생성 기법의 설계 (Design of Document-HTML Generation Technique for Authorized Electronic Document Communication)

  • 황현천;김우제
    • 산업경영시스템학회지
    • /
    • 제44권1호
    • /
    • pp.51-59
    • /
    • 2021
  • Electronic document communication based on a digital channel is becoming increasingly important with the advent of the paperless age. The electronic document based on PDF format does not provide a powerful customer experience for a mobile device user despite replacing a paper document by providing the content integrity and the independence of various devices and software. On the other hand, the electronic document based on HTML5 format has weakness in the content integrity as there is no HTML5 specification for the content integrity despite its enhanced customer experience such as a responsive web technology for a mobile device user. In this paper, we design the Document-HTML, which provides the content integrity and the powerful customer experience by declaring the HTML5 constraint rules and the extended tags to contain the digital signature based on PKI. We analyze the existing electronic document that has been used in the major financial enterprise to develop a sample. We also verify the Document-HTML by experimenting with the sample of HTML electronic communication documents and analyze the PKI equation. The Document-HTML document can be used as an authorized electronic document communication and provide a powerful customer experience in the mobile environment between an enterprise and a user in the future.

3차원 객체기반 모델을 이용한 설계도면 및 시방서관리 시스템 구축 (Development of Drawing & Specification Management System Using 3D Object-based Product Model)

  • 김현남;왕일국;진상윤
    • 한국건설관리학회논문집
    • /
    • 제1권3호
    • /
    • pp.124-134
    • /
    • 2000
  • 건설 프로젝트 수행에서 설계정보는 실제 건축물에 대한 정확한 정보가 반영된 체계적인 모델로 구축하여 프로젝트 전 단계에서 적용할 수 있어야 한다. 하지만 3차원 기반의 도면과 관련 문서에 대한 파일 관리 위주의 시스템은 발주자 및 설계자의 의도를 명확하게 표현하고 전달하기 어려울 뿐만 아니라 단순기능위주, 방대자료의 정리 부족, 축적된 정보와 실행정보의 공유 및 교환이 미비한 수준이다. 반면, 제반 환경의 변화와 기술의 발전 속도는 관련 사용자들이 적응하기 어려울 정도로 급변하고 있다. CAD 기술의 발전은 기존의 2차원 도면 위주에서 3차원 모델기능의 확대와 발전으로 많은 설계정보를 CAD를 통해 표현하고 기타 관련정보와 연계할 수 있는 CAD시스템들이 등장하고 있다. 그러나 아직까지 현시점에서 설계관련 모든 정보를 3차원 모델을 통해 나타내는 것은 매우 어려우며 많은 시간과 비용을 필요로 하고 있다. 따라서 본 연구에서는 기존 3차원 도면 및 시방서 위주의 시스템에서 3차원 모델기반의 설계정보관리 시스템으로의 전환기 시점에 초점을 두고 3차원 모델기반 시스템으로의 완전한 전환이 아닌 3차원과 3차원 기반 시스템의 공존을 통한 전환에 그 초점을 두고 있다. 다시 말해 2차원 도면과 3차원 모델의 통합을 통한 혼합된 형태의 2차원 및 3차원 설계정보관리시스템의 모델을 제시하고자 하며, 이를 통해 객체기반 설계 및 시방서 정보 통합관리시스템을 개발하는 것이 본 연구의 목적이다. 본 연구에서는 3차원 도면 및 시방서 정보를 통합하여 3차원 객체 기반의 설계정보로 표현하기 어려운 부분을 보완하고, 3차원 정보를 효과적으로 활용할 수 있도록 관련 업무를 분석하고, 관리 모델을 구축하여, 이를 기반으로 한 설계도면 및 시방서 통합관리 시스템을 구축하였다.

  • PDF