• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.037 seconds

An Architecture Method for Multi-Agent System Developments and its Application to Intelligent Transport Systems (다중 에이전트 시스템 구축을 위한 아키텍쳐 개발방법 및 지능형 교통 시스템에의 응용)

  • Lee, Seung-Yeon;Park, Su-Yong;Jeong, Seong-Won
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.7
    • /
    • pp.478-492
    • /
    • 2001
  • 본 논문은 다양한 종류의 분산 인공지능 문제들을 에이전트라는 추상적 단위와 에이전트간의 상호작용을 토대로 해결하는 다중 에이전트 시스템을 개발하는 체계적 접근방법으로서 개발 방법론의 핵심인 아키텍쳐의 개발방법을 제안한다. 목표를 기반으로 문제영역을 이해하고, 여기에서 추출된 에이전트들을 이용하여 시스템을 개발함에 있어 지침이 되는 아키텍쳐 개발공정을 다중 에이전트 시스템의 특성인 조정과 자율성을 고려하여 제안한다. 각 관점마다 적용될 수 있는 아키텍쳐 스타일과 패턴들을 정의하고, 제안한 아키텍쳐를 UML(Unified Modeling Language)을 이용하여 표현하며, 아키텍쳐를 설명하는 ADL(Architecture Description Language)을 이용하여 정형화시킨다. 또한, 이를 지능형 교통시스템의 출발전 교통정보 안내 서브시스템에 적용, 구현함으로써, 제안하는 아키텍쳐를 검증해 보고, 이를 기반으로 소프트웨어를 개발하는 기초를 마련한다.

  • PDF

Development of Wireless Tension Force Estimation Systemfor Cables of Long-span Bridges (장대교량의 케이블을 위한 무선장력계측시스템 개발)

  • Cho, Soo-Jin;Yun, Chung-Bang;Lynch, Jerome P.
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2009.04a
    • /
    • pp.14-17
    • /
    • 2009
  • 본 연구에서는 장대교량에서 케이블의 장력을 간편하게, 그리고 자동적으로 추정할 수 있는 저비용 무선장력계측시스템을 개발하였다. 개발된 시스템은 크게 비용이 저렴하고 설치 및 관리가 용이한 무선 기반 하드웨어와 케이블에서 계측된 가속도 데이터로부터 장력을 자동으로 추정하여 주는 내장 (Embedded) 자동화 소프트웨어로 구성된다. 저비용 무선 기반 하드웨어는 연산능력을 가진 무선계측유닛과, 계측 신호개선을 위한 신호처리보드, 그리고 상용 MEMS 가속도계로 구성되었으며, 내장 자동화 소프트웨어는 계측된 신호의 주파수 분석을 위한 FFT 모듈, 케이블의 푸리에 스펙트럼으로부터 고유진동수를 자동으로 추출하기 위한 자동 피크 추출(Peak-picking) 알고리즘 모듈, 그리고 추출된 고유진동수를 활용하여 케이블의 장력을 추정하는 진동법 모듈로 구성되었다. 개발된 시스템의 검증을 위하여, 사장교의 케이블 축소모델을 제작하고 케이블 모델에 다양한 장력과 새그를 주어 진동실험을 수행하였다. 실험 결과, 개발된 시스템은 케이블 모델의 주파수응답스펙트럼으로부터 고유진동수를 정확하게 추정하였으며, 장력과 새그의 크기에 상관없이 매우 정확한 장력을 추정하였다.

  • PDF

실시간 객체지향 설계에서 슬라이싱 맵의 데이터베이스 구축 및 활용에 관한 연구

  • 박상백;박만곤
    • Proceedings of the Korea Association of Information Systems Conference
    • /
    • 1997.10a
    • /
    • pp.413-425
    • /
    • 1997
  • 실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

  • PDF

정지궤도 인공위성 추력기 모델링

  • Park, Eung-Sik;Park, Bong-Kyu
    • Aerospace Engineering and Technology
    • /
    • v.2 no.2
    • /
    • pp.96-104
    • /
    • 2003
  • Geostationary satellite propulsion system provides satellite with the velocity increment for attitude control operations and sationkeeping operations from satellite launch to de-orbit at the end of life. Today, various types of propulsion system and its thrusters are produced by worldwide manufactures. Therefore, geostationary satellite manufacturers give significant modification to the Mission Analysis Software whenever different type of propulsion system type is adopted. Mission Analysis Software is a tool for planning and verification of satellite mission. For the development of the Generalized Mission Analysis Software, many thrusters are carefully investigated and modeled.

  • PDF

Introduction to Data Flow of Telemetry for KOMPSAT-2 (다목적실용위성 2호에서의 Telemetry 데이터 흐름)

  • 이재승;최종욱;천이진
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04a
    • /
    • pp.337-339
    • /
    • 2002
  • 현재 군사적, 상업적 또는 과학적 목적의 많은 인공위성들이 개발되고 있고, 실제로 이러한 목적의 인공위성들이 우주공간에서 각각의 맡은 임무를 수행하고 있다. 해양관측용 자료 및 10m급 해상도의 영상 자료를 제공해 주고 있는 다목적실용위성 1호의 경우, 자료 획득의 임무를 수행하기 위해 많은 내부적인 준비작업과 주변장치들을 필요로 하게 된다. 주변장치들도 각각의 역할을 수행하면서 필요한 정보를 다른 장치로부터 받기도 하고 다른 장치에 필요한 정보를 주기도하는 상호작용을 하게 된다. 또한 위성의 전체적인 상태나 구성하고 있는 주변장치들의 상태에 대한 정보를 지상의 관제소에서 계속적으로 점검해야 한다. 그러나 궤도를 돌고있는 위성은 관제소와 항상 정보를 주고받을 수는 없으므로 위성의 상태 데이터를 정해진 형식으로 저장해 두었다가 필요시 이를 지상에 보내줄 수 있어야 한다. 이와 같은 내부 장치들에 대한 하드웨어 데이터와 위성의 상태 데이터를 획득, 관리 및 저장하기 위한 프로그램이 다목적실용위성 2호에 탑재될 수 있도록 위성탑재 소프트웨어의 상세설계가 이루어 겼다. 이 설계된 프로그램을 이용하여 다목적실용위성 2호의 텔레메트리 데이터의 획득이 이루어질 것이며 현재 탑재 소프트웨어에 대한 검증이 수행되고 있다.

  • PDF

Design and Implementation of MAC Protocol for Subscriber-Station on BWA System (광대역무선접속시스템 가입자국 MAC 프로토콜 설계 및 구현)

  • 백승권;황유선;김응배
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04a
    • /
    • pp.307-309
    • /
    • 2002
  • 본 논문에서는 가입관망의 광대역화 및 고속화를 실현는 방안으로 개발되고 있는 광대역 무선접속시스템 가입자국의 MAC 프로토콜을 설계하고 구현하였다. MAC 프로토콜은 제한된 무선자원을 효율적으로 사용하기 위한 프로토콜로서, 무선매체를 이용하여 통신서비스를 제공하는 시스템에 필수적이다. 본 논문에서 설계한 가입자국 MAC 프로토콜은 실시간처리부, 타이밍관련처리부, 상향스트림제어처리부, 그리고 하향스트림처리부를 하드웨어로 설계하고, 이를 제어하고 MAC 제어메시지 동작절차를 수행하는 부분과 망접속부를 소프트웨어를 설계하였다. MAC 소프트웨어는 MAC 응용부, Timer 처리부, Event 처리부, Network 인터페이스부로 나누어 설계하였으며, 본 논문에서 설계된 가입자국 MAC 프로토콜은 향후, 광대역무선접속시스템의 실제 테스트베드에 이식하여 시스템의 전체적인 성능을 검증할 수 있다.

  • PDF

Reliability Test of Maturity Questionnaire Selection Model Through KPA Rating Data Calibration (KPA rating 데이터 보정을 통한 성숙도 설문서(MQ) 선정 모델의 신뢰성 평가)

  • 김우송;이은서;이경환
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04c
    • /
    • pp.43-45
    • /
    • 2003
  • 소프트웨어 공학이 소프트웨어 시스템에 관한 방법론, 기술 및 툴 등의 유지보수와 개발에 중점을 두어 왔는데 최근에는 프로세스 개선과 프로세스 능력수준의 향상에 초점을 두는 방향으로 발전하면서 CMM 및 SPICE 활동이 증가하고 있다. 이와 같은 심사기법은 대규모의 회사에서 주로 시행되고 있어서 중소규모의 조직을 위한 간략한 심사기법의 도입이 요구되는 있는 상황이다. 본 논문에서 제시하는 심사기법은 CMM 심사를 위한 KPA 설문서의 rating 방법을 응용한 것으로서 SPICE 심사를 받은 국내 기업 중 일부 회사를 대상으로 하였다. 이 방법론에 대한 신뢰성의 평가는 아직 미흡한 상황이다. 이를 위해서 통계학적 접근방법을 도입하였는데 사용된 통계 기법은 상환계수를 통한 가설검정이다. 그 결과 성숙도 설문서(MQ) 선정모델의 적합성을 통계적 기법을 통해서 검증하였다.

  • PDF

A study on Software Reuse System Using Reverse Engineering (역공학을 이용한 소프트웨어 재사용 시스템에 관한 연구)

  • Choe, Eun-Man
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.1
    • /
    • pp.97-106
    • /
    • 1997
  • Software reuse techniques make reapplication of various well-organized information knowledge to system development so that improve productivity and make it easy to maintain software. This paper describes the design and implementation of CSORUS(C and C++ SOurce ReUse System) which can extract reuse components using reverse engineering, and store, retrieve, merge them written with C of C++ programming language. The construction components using reverse engineering has advantage in quality assurance because they are reliable components already tested in real environments.

  • PDF

An Open Software-based Authentication Server for Wireless LAN Handover (무선랜 핸드오버를 위한 공개 소프트웨어 기반 인증 서버)

  • Ji, Su-Hyeon;Choi, Seong-Min;Lee, Hyung-Bong
    • Annual Conference of KIPS
    • /
    • 2017.04a
    • /
    • pp.121-122
    • /
    • 2017
  • 스마트폰이나 노트북 등 무선 단말기는 가까운 AP를 통하여 인터넷에 접속하게 된다. 만약 이 무선 단말기가 이동하여 이전의 AP와 멀어지고 새로운 AP에 다가가면 이 단말기는 AP를 변경하는 절차를 따라야하는데 이를 핸드오버라 한다. 핸드오버가 일어날 때 새로운 AP에서는 이동 단말기가 정당한 것인지를 검증하여 끊김 없는 통신 환경을 제공한다. 이 논문에서는 끊김 없는 핸드오버 환경 구현을 목표로 하는 연구과제에 연구 보조원으로 참여하여 여러 번의 수행착오를 거쳐 터득한 공개 소프트웨어 기반 인증 서버 구축 과정을 발표한다.

H/W Design and Implementation of ALG Module for IPv6­-IPv4 Translator (IPv6-­IPv4 프로토콜 변환기를 위한 ALG 모듈의 H/W 설계 및 구현)

  • 이중렬;공인엽;이경렬;이정태
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10c
    • /
    • pp.625-627
    • /
    • 2003
  • 최근 IPv6의 도입에 있어서 중요한 과제인 IPv6­IPv4 프로토콜 변환기에 대한 연구 및 구현이 활발히 이루어지고 있다. 그러나 기존에 구현된 IPv6­IPv4 프로토콜 변환기는 운영 체제에 종속적인 소프트웨어로서, 소프트웨어 TCP/IP 자체가 가지는 오버헤드와 비효율적인 메모리 접근 방식으로 인하여 성능이 제한되는 문제점이 있다. 이러한 문제를 해결하기 위하여 성능 분석을 통해 고성능 IPv6­IPv4 프로토콜 변환기의 구현 방법에 대한 연구가 진행되었고, 이에 대한 결과로서 하드웨어 기반의 IPv6­IPv4 프로토콜 변환기인 64Translator가 제안되었다. 이러한 64Translator는 다양한 응용을 지원하기 위해 DNS와 FTP에 대한 응용 프로토콜 변환 모듈을 필요로 하는데, 이는 하나의 모듈로 통합되기 위해 하드웨어로 구현되어야 한다. 이에 본 논문에서는 DNS와 FTP에 대한 응용 프로토콜 변환 모듈을 하드웨어로 설계 및 구현하였고, 이를 64Translator에 통합하여 시뮬레이션과 시험망에서의 테스트를 수행함으로써 기능을 검증하였다.

  • PDF