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

Search Result 2,336, Processing Time 0.029 seconds

Hardware Design and Implementation of IPv6­-IPv4 Protocol Translator (IPv6­-IPv4 프로토콜 변환기의 하드웨어 설계 및 구현)

  • 이경렬;공인엽;이중렬;이정태
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10c
    • /
    • pp.556-558
    • /
    • 2003
  • IPv6 도입 단계에서는 IPv4 Network와 IPv6 Network가 혼재하게 되는데, 이 때 IPv4 Network와 IPv6 Network 간의 통신을 가능하게 하는 IPv6­IPv4 프로토콜 변환기가 요구된다. 그러나 성능 분석 결과에 따르면, 기존에 구현된 프로토콜 변환기는 운영 체제를 기반으로 한 소프트웨어로 구현되어 있어서 Network 간의 모든 트래픽을 처리하기에는 성능 상의 한계가 있다. 이에 본 논문에서는 기존 소프트웨어 프로토콜 변환기의 성능 인자 분석 연구를 토대로 하여, 하드웨어 기반의 고성능 64Translator를 제안하였다. 64Translator는 하드웨어 TCP/IPv6와 TCP/IPv4를 내장하고 개선된 메모리 엑세스 방식을 사용함으로써 기존 구현 방식에 비해 성능을 개선하였다. 구현된 하드웨어 모듈에 대해서는 소프트웨어 시뮬레이션과 시험망상에서의 테스트를 수행함으로써 그 기능을 검증하였다.

  • PDF

Integrated Automation System in Structural Engineering (구조공학에서의 통합 자동화 시스템)

  • 김문영
    • Computational Structural Engineering
    • /
    • v.10 no.1
    • /
    • pp.75-80
    • /
    • 1997
  • 본 고에서는 구조공학과 관련된 분야에서 유용하게 사용될 수 있는 최근의 통합 자동화 시스템에 대하여 소개하는 내용을 담고 있는 Song Fong Jan 박사가 1994년 6월에 발표한 논문(ASCE Proceedings of the First Congress of Computing in Civil Engineering)을 번역하여 소개한다. 통합 자동화 시스템은 기본적으로 CAD 그래픽 소프트웨어와 지능구조 데이터베이스로 구성되고, 이러한 소프트웨어는 구조물의 모델링과 해석, 설계 및 도면 작성과 합성과정에서 통합적인 운용이 가능하도록 사용된다. 현재 사용되고 있는 여러가지 상업용 구조설계용 소프트웨어를 통합함으로써 구조물 설계분야에 보다 효율적인 시스템을 만들 수 있을 것이다. 여기서는 여러가지 다양한 시스템을 사용할 때의 장단점이나 적절한 프로그램 검증과 품질의 확보문제 그리고 구조공학 자동화분야의 미래 발전방향에 대하여 논의해 보고자 한다.

  • PDF

오픈소스 시대의 R&D, 전주기적 활동과 동시공학적 접근

  • Ham, Jin-Ho;Nam, Gi-Hyeok;Kim, Hyeong-Jun
    • Information and Communications Magazine
    • /
    • v.34 no.1
    • /
    • pp.34-39
    • /
    • 2016
  • 소프트웨어에 이어 하드웨어에서도 오픈소스시대가 열리고 있다, 소프트웨어와 하드웨어 분야에서의 오픈소스의 폭넓은 확산은 ICT 분야의 R&D 활동에서 새로운 연구 방법과 연구 분야의 확장을 가능케 할 것으로 생각된다. 오픈소스 생태계 하에서는 개별 연구조직의 크기나 연구 규모에 따른 장점은 줄어드는 반면 개인의 창의력이나 협업 능력이 연구경쟁력의 원천이 된다. 이에 따라 과거에는 시도하지 않았던 창의적인 선행연구나 시스템적인 융합연구도 가능해질 것이다. R&D는 단지 구현결과물을 얻는 것에 한정되는 것이 아니라, 개념 도출, 이에 따른 설계, 소프트웨어 및 하드웨어 구현, 적합성 및 상호운용성시험, 대규모 실증사업까지의 단계적이고 체계적인 추진과 이에 대한 문서화, 규격화 및 표준화 작업들을 포함한다. 이러한 작업은 순차적이 아니라 동시적으로 수행될 때 상호연계 검증에 따른 완성도 제고와 전주기 활동에 있어 총 시간 단축을 꾀할 수 있다. 본 고에서는 오픈소스 생태계에서 연구자들이 이러한 활동의 효과적인 수행과 협력적 융합연구를 위한 저비용 오픈소스 R&D 동시개발 플랫폼 방안을 제시한다.

소프트웨어 기반의 GPS/WAAS 수신기 설계

  • Im, Deok-Won;Sin, Mi-Yeong;Kim, Yong-Hyeon;Park, Chan-Sik;Hwang, Dong-Hwan;Heo, Mun-Beom;Lee, Sang-Jeong
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • v.2
    • /
    • pp.423-426
    • /
    • 2006
  • 본 논문에서는 GPS와 WAAS를 동시에 수신하고 처리할 수 있는 GPS/WAAS 소프트웨어 수신기를 개발한다. WAAS는 GPS L1과 동일한 반송파 주파수와 C/A 코드, 데이터로 구성되며, 데이터 포맷이 다르므로 WAAS 데이터를 복조하기 위한 블록을 추가하여, 보정 정보와 무결성 정보, WAAS 위성의 위치 정보를 추출 및 적용한다. 본 논문에서는 보정 정보를 처리하는 블록이 추가된 GPS/WAAS 소프트웨어 수신기를 설계하여 수신기의 측위 성능 및 가용성을 높이고, 실제 측정치를 이용한 측위 실험을 통하여 그 성능을 검증한다.

  • PDF

A Development Methodology for Reliability Improvement of ESTEREL based Embedded Software (Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법)

  • YANG Jin-Seok;SIM Jae-Hwan;KIM Jin-Hyun;KANG In-Hye;CHOI Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.07b
    • /
    • pp.334-336
    • /
    • 2005
  • 본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

  • PDF

해양용 DGPS 기준국의 무결성 감시 기능 설계

  • Seo, Gi-Yeol;Park, Sang-Hyeon;Jo, Deuk-Jae;Seo, Sang-Hyeon
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2009.06a
    • /
    • pp.63-64
    • /
    • 2009
  • 본 논문에서는 DGNSS의 현대화에 대비하고 국제적으로 논의되고 있는 소프트웨어 기반 RSIM 시스템의 기능구현을 위하여, 해양용 DGPS 기준국의 무결성 감시 기능을 설계한다. 무결성 감시국(IM)의 핵심 기능은 기준국 시스템 이상에 따른 알람정보의 생성과 피드백 메시지를 기준국(RS)으로 전송하는 것이다. 이러한 기능의 설계 및 실험적 차원의 성능검증을 위하여, 먼저 소프트웨어 RSIM의 아키텍처에 대해 살펴보고, 다음으로 RTCM SC-104 RSIM의 해양용 DGPS 기준국 무결성 감시를 위한 성능표준에 대하여 분석한다. 그리고 DGPS 기준국의 무결성 감시국 기능을 설계하고, 무결성 정보 생성 및 처리과정을 제시한다. 마지막으로 시뮬레이션을 통한 성능분석과 시스템 구현을 위한 향후 연구방향에 대해 논의한다.

  • PDF

Consideration for Safety of Autonomous vehicle System (자동차 자율 시스템의 안전성 확보를 위한 고찰)

  • Choi, Junyeol;Kim, Yongkil;Cho, Joonhyung
    • Annual Conference of KIPS
    • /
    • 2018.10a
    • /
    • pp.37-38
    • /
    • 2018
  • 자동차 시스템의 전자화로 자동차에서 소프트웨어가 차지하는 비중은 점차 증가하고 있다. 소프트웨어는 안전필수 시스템에서 중요한 위치를 차지하며, 소프트웨어의 오동작은 심각한 손실 또는 재난을 일으키는 원인이 될 수 있다. 최근 자동차 시스템은 자율주행차량을 목표로 하여 센서융합과 협조제어가 많아지고 있다. 센서와 협조제어 정보는 시스템의 자율화에 중요한 부분을 차지하지만 현재 산업구조에서는 관련 부분에 대한 검증이 쉽지 않다. 본 논문에서는 현재 상황에서 발생할 수 있는 현상들을 살펴보고 안전한 자동차 개발을 위해 우리가 나아가야 할 방향을 고찰한다.

Automatic Generation of Synthesizable Hardware-Software Interface from Dataflow Model (데이터 플로우 모델로부터 합성 가능한 하드웨어-소프트웨어 인터페이스의 자동 생성)

  • Joo, Young-Pyo;Yang, Hoe-Seok;Ha, Soon-Hoi
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.10b
    • /
    • pp.232-237
    • /
    • 2007
  • 컴퓨터 시스템의 설계는 알고리즘 수준의 모델링에서부터 시제품 수준까지 시스템을 구체화해 나가는 일련의 과정이다. 시스템 구현의 구체화 과정에는 단순하고 반복적인 구현이 많이 포함되며, 이 과정에서 많은 오류가 발생한다. 이러한 오류는 개발자가 알고리즘 수준에서는 드러나지 않는 복잡하고 아키텍처 의존적인 하드웨어-소프트웨어 동기화 메커니즘의 개발과 같은 시스템 구현의 구체화 과정을 모두 떠안고 있기 때문에 발생하는 것이다. 이 논문에서는, 이러한 문제를 극복하기 위하여, 알고리즘을 데이터 플로우로 모델링하면 이로부터 합성 가능한 하드웨어 플랫폼과 동기화 로직, 그리고 동기화를 위한 드라이버 소프트웨어 일제를 자동 생성하는 설계 과정을 제시하고자 한다. 제시된 설계 과정은 자체 개발한 통합 설계 도구 상에 구현되었으며, 이를 통해서 개발된 H.263 디코더 예제를 상용의 RTL 통합 시뮬레이션 도구인 Seamless CVE와, SoC 프로토타이핑 환경인 Altera Excalibur 시스템 상에서 테스트하여 그 완성도를 검증하였다.

  • PDF

XML-Based Component Specification Language (XML 기반의 컴포넌트 명세 언어)

  • 김원기;안치돈;이윤수;왕창종
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10a
    • /
    • pp.498-500
    • /
    • 1999
  • 컴포넌트 기반 소프트웨어 공학에서 컴포넌트를 명세하기 위한 명세 언어는 컴포넌트 분류, 검증 및 검색에 가장 기본적인 조건이다. 기존에 이미 많은 명세 언어가 사용되어 왔지만 명세의 복잡성으로 인한 어려움이 있다. 따라서 이 연구에서는 이러한 복잡성과 개발자에게 좀 더 쉬운 명세 방법을 제공하기 위해 XML을 기반으로 하여 새로운 컴포넌트 명세 언어를 제안하였다. 제안한 명세 언어는 컴포넌트의 기능명세부분, 타입 검사에 의한 검색을 위한 부분, 명세 일치 방식을 위한 부분으로 구성된 컴포넌트 기능명세와 소프트웨어 아키텍쳐를 위한 명세로 구성된다. 이 연구에서는 각 부분을 XML 태그에 의해 정의하였다. 또한 소프트웨어 아키텍쳐 명세를 위한 그래픽 표기법과 텍스트 표기법을 제안하였다. 이 연구에서 제안한 명세언어는 화이트박스 재사용과 블랙박스 재사용을 지원하고 오류가능성을 줄일 수 있다.

  • PDF

A Design and Implementation of Object-Oriented Virtual Shopping Mall Frameworks (객체지향 가상상점 프레임워크 설계 및 구현)

  • 김동관;이상덕;양영종;정효택
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10a
    • /
    • pp.584-586
    • /
    • 1999
  • 소프트웨어 개발 시 기존 전문가들의 개발 경험을 재사용하는 작업은 개발 기간의 단축 및 비용의 절감의 효과를 가져올 수 있다. 이러한 재사용에 관련된 연구는 소프트웨어공학 분야에서 계속되어 그 하나로 객체지향 프레임워크를 들 수 있다. 객체지향 프레임워크는 검증된 소프트웨어 재사용 부품으로 특정 도메인에 대한 비즈니스 로직을 재사용할 수 있도록 구현된다. 프레임워크 내부에는 재사용되는 로직이 포함되어 있으며 프레임워크 사용자에 의해 커스터마이징 될 모듈을 정의하고 있다. 프레임워크 사용자는 프레임워크를 기반으로 어플리케이션을 개발함으로써 처음부터 개발을 시작하지 않으며 기 개발자들의 경험을 재사용하게 된다. 본 논문에서는 근래 크게 대두되고 있는 가상상점 도메인에 대한 프레임워크를 제시한다. 본 논문에서 제시하는 가사상점 프레임워크는 제인 프레임워크와 주문, 지불, 배달의 3개 서브프레임워크로 구성되며 각각의 프레임워크가 포함한 핫스팟, 제어흐름, 프레임워크 인터페이스를 중심으로 프레임워크의 구성요소 및 설계, 구현에 관한 사항을 기술한다.

  • PDF