• 제목/요약/키워드: 검증 소프트웨어

검색결과 2,336건 처리시간 0.03초

PCI 기반 LEON2-FT 프로세서를 위한 시스템 소프트웨어 설계 및 시뮬레이션 (System Software Design and Simulation for LEON2-FT Processor based on PCI)

  • 최종욱;남병규
    • 한국위성정보통신학회논문지
    • /
    • 제8권1호
    • /
    • pp.54-60
    • /
    • 2013
  • 인공위성의 임무가 다양해지고 요구사항이 높아짐에 따라 탑재컴퓨터의 성능 향상이 필수적으로 대두되었으며, 인공위성 탑재컴퓨터의 활용도를 높이기 위해 표준화 설계 및 시스템 재구성이 가능한 모듈화 기반으로 개발 되고 있다. 현재 한국항공우주연구원에서 개발 중인 차세대 인공위성의 탑재컴퓨터 경우 높은 성능을 제공하기 위해 SPARC v8 기반의 LEON2-FT/ AT697F 프로세서를 채택하였으며 SpaceWire, MIL-STD-1553B, CAN 등의 다양한 통신 디바이스들을 표준화 된 통신칩으로 구성하여 프로세서에서 PCI 통신을 통해 각종 디바이스들을 제어 및 통신 할 수 있도록 개발 하고 있다. 본 논문에서 차세대 탑재컴퓨터의 LEON2-FT 프로세서와 PCI 기반에서의 시스템 소프트웨어 개발 방안에 대해서 기술하며, PCI 소프트웨어 컴포넌트 설계 및 실시간 운영체제인 VxWorks 6.5 포팅 그리고 개발 된 시스템 소프트웨어를 검증하기 위한 시뮬레이션 방안을 제시한다.

컴포넌트 테스트를 위한 래퍼의 자동 생성에 관한 연구 (Automated Generation of Wrapper to Test Components)

  • 송호진;최은만
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권8호
    • /
    • pp.704-716
    • /
    • 2005
  • 미리 만들어진 컴포넌트를 조립하여 새로운 소프트웨어를 개발하는 방법은 개발비용과 기간을 획기적으로 줄일 수 있다는 장점으로 전통적인 방법의 대안이 되고 있다. 하지만 컴포넌트를 통합 조립하면서 신뢰도를 확인하고 새 환경에 맞는지 테스트하는 과정이 복잡하고 비용이 많이 소요된다면 효과적인 방법이 될 수 없다. 대규모 시스템에 효율적으로 사용, 조림될 컴포넌트들은 원시코드 형태로 배포되지 않아서 새 환경에 적합한지 시험하고 관찰하는 철저한 테스트가 어렵다. 이러한 문제점을 해결하기 위하여 컴포넌트가 재사용되었을 때 쉽게 검증되도록 미리 테스트 모듈을 내장한 Built-In 테스트 방법이 있지만 컴포넌트의 기능이 다양하고 복잡하게 되면 컴포넌트에 포함된 테스트 모듈의 규모가 커지고 다양하고 융통성 있는 테스트가 어려워진다. 이 논문에서는 컴포넌트의 Built-In 테스트 기능을 대체할만한 컴포넌트 테스트를 위한 래퍼(wrapper)를 제안하고 이를 설계, 구현하여 실용성을 보였다. 래퍼를 자동 생성하여 테스트하면 컴포넌트의 테스트 준비 과정에 드는 노력이 줄어들고 테스트를 다양한 측면에서 테스트해 볼 수 있다.

사용자 위주 IPTV 서비스 품질 측정 소프트웨어 개발 (A Software for Subscriber-Oriented IPTV Service Quality Measurement)

  • 김범준
    • 한국전자통신학회논문지
    • /
    • 제5권3호
    • /
    • pp.269-274
    • /
    • 2010
  • 최근 네트워크의 광대역화에 따른 대표적인 새로운 서비스로 IPTV 서비스를 들 수 있다. 서비스 품질을 보장하지 못하는 인터넷을 통한 IPTV 서비스가 성공적으로 정착하여 활성화되기 위해서는 철저한 서비스 품질 관리가 필수적이다. 특히 향후에는 서비스 이용자 스스로 서비스 품질을 직접 측정할 수 있도록 하는 것이 바람직함에도 불구하고 아직까지 이를 위한 적절한 방안이 없는 상태이다. 따라서 본 논문에서는 서비스 이용자 측에 있는 셋톱박스에 설치하여 실시간으로 IPTV 서비스의 품질을 측정하기 위한 소프트웨어를 소개한다. 개발된 소프트웨어의 성능을 검증하기 위하여 기존의 대표적인 두 개의 상용 계측기와 측정 결과를 비교 분석하였고 그 결과 개발된 소프트웨어를 통한 측정 결과가 상당히 정확하고 신뢰할만하다는 것을 확인할 수 있다.

EDGE 단말기 성능 테스트를 위한 측정 알고리즘 (Meaurement Algorithms for EDGE Terminal Performance Test)

  • 강성진;홍대기;김남용
    • 한국정보통신학회논문지
    • /
    • 제13권12호
    • /
    • pp.2719-2730
    • /
    • 2009
  • 본 논문에서는 EDGE (Enhanced Data Rates for GSM Evolution) 단말의 성능을 측정하기 위한 측정 알고리즘을 소프트웨어로 구현하고 EDGE 신호 발생기를 통해 발생된 신호를 이용해 구현된 소프트웨어 측정 알고리즘의 성능을 평가해본다. 일반적으로 통신신호 측정기는 매우 정밀한 정확도를 필요로 하므로 정확도가 충분히 높지 않은 일반 통신모뎀 수준의 수신 알고리즘을 직접적으로 측정기에 적용할 수는 없다. 본 논문에서는 EDGE 신호의 정밀한 측정을 위한 새로운 EDGE 신호의 수신 알고리즘을 제안한다. 제안된 EDGE 수신 알고리즘에는 2단계(개략적 단계, 미세 단계)의 파라미터(심볼타이밍, 주파수오프셋, 반송파위상) 추정방식을 사용하였다. 또한 수신신호의 보간을 이용하여 수신 신호 샘플의 개수를 증가시킴으로서 측정의 정확도를 향상시켰다. 본 논문에서 제안된 EDGE 신호 측정방식은 하드웨어를 구현하기 전에 소프트웨어를 이용하여 사전에 측정 성능을 검증하는데 사용될수 있다. 또한 구현된 소프트웨어 알고리즘을 속도측면에서 최적화함으로서 직접 EDGE 신호 측정을 위한 상용 시스템으로도 이용할 수 있다.

차세대 위성탑재컴퓨터를 위한 프로세서 모니터 및 고장주입 시스템의 설계 및 구현 (Design and Implementation of a Processor Monitor and Fault Injection System for Next Generation Spacecraft Computer Board)

  • 정재엽;최종욱;천이진
    • 한국위성정보통신학회논문지
    • /
    • 제9권4호
    • /
    • pp.97-103
    • /
    • 2014
  • 위성탑재컴퓨터의 정상동작을 검증하기 위해 프로세서의 모니터링 및 디버깅은 필수적이며, 현재 Aeroflex Gaisler의 GRMON을 사용하고 있다. GRMON은 LEON 프로세서를 모니터링 및 디버깅하기 위한 다양한 기능을 제공하지만, 국내에서 제작한 위성탑재 컴퓨터에 사용할 수 없는 기능이 많기 때문에 가격 대비 성능이 낮다. 또한 LEON 프로세서의 DSU를 이용하면 모든 메모리맵에 접근이 가능하여 프로그램 실행 중 고장을 주입할 수 있음에도 불구하고, GRMON을 수정할 수 없기 때문에 그동안 위성탑재소프트웨어를 수정하여 하드웨어에 고장을 주입하는 방식을 사용하였다. 이런 고장주입 방법은 위성탑재소프트웨어의 형상을 변경하는 것이므로 고장에 따른 소프트웨어의 영향성을 정확히 판단할 수 없다. 이에 향후 저궤도 관측위성에 적용될 LEON2FT AT697F프로세서를 탑재한 차세대 위성탑재컴퓨터(NGSCB, Next Generation Spacecraft Control Board)에서 프로세서 디버깅을 위한 기본 기능을 제공하고, 실제 위성에 탑재되는 위성탑재소프트웨어와 동일한 환경에서 하드웨어 고장을 주입할 수 있는 시스템을 설계 및 구현하였다.

GIS로부터 교통분석용 네트워크를 생성하는 소프트웨어의 개발 (Development of the software transforming a transportation analysis network from GIS)

  • 성낙문;조범철;이창렬
    • 대한교통학회지
    • /
    • 제20권7호
    • /
    • pp.69-76
    • /
    • 2002
  • 교통 계획 및 정책수립 등 교통관련 업무에서 가장 중요한 부문은 교통수요분석과정이며, 이러한 교통수요분석과정에서 필수적으로 요구되는 자료는 OD와 네트워크이다. 그 과정에서 OD와 네트워크는 상호영향(interactive)을 주면서 검증을 거치긴 하나 이중에서도 네트워크의 경우에는 현실 세계를 모델링하여 반영한 것이므로 분석기준 년도에 대응되는 현재성과 정확성과 객관성을 보유하고 있어야 한다. 그러나 몇몇 교통수요 분석과정에서 예산 및 시간의 제약으로 인해서 네트워크는 실세계의 교통망을 많은 부분을 단순화시켜서 구축하고 이를 분석과정에 이용하는 경우가 있다 또한 일단, 구축된 네트워크에 대해서 변경되는 교통망을 반영하기 위해서나 분석자의 의도에 따라서 네트워크를 수정, 편집할 때에 그 작업이 불편하여 많은 인력이나 시간이 소요되는 것이 현실이다. 이를 위하여 교통개발연구원 국가교통DB센터에서는 국가교통DB구축사업의 일환으로 구축한 교통 수치지도를 이용하여 교통분석 목적의 패키지에서 직접 이용할 수 있는 네트워크를 추출/변환하는 소프트웨어를 개발하였다. 본 논문의 목적은 GIS에 기반한 교통수치지도로부터 교통분석용 네트워크로의 변환이 가능한 알고리즘 및 소프트웨어를 소개하여 향후 이런 종류의 연구수행에 도움을 주는데 있다.

애자일 기법을 이용한 소프트웨어 분산 개발 및 평가 (Distributed Development and Evaluation of Software using Agile Techniques)

  • 이세영;용환승
    • 정보처리학회논문지D
    • /
    • 제16D권4호
    • /
    • pp.549-560
    • /
    • 2009
  • 본 논문에서는 글로벌 IT 업계의 현실적인 대안으로 부상하고 있는 분산 스크럼 전략과 최적화된 애자일 기법을 사용하여 애자일 소프트웨어 분산 개발 프레임워크(AFDSD)를 제안하였다. AFDSD를 미국 야후사의 카멜레온 프로젝트에 실제 적용하고 종합적인 평가를 수행한 결과, 그 성능과 만족도가 30% 이상 향상되었다. 또한, 개발 조직의 애자일 도입 수준 평가, 프로세스와 프랙티스의 민첩도 산출, 애자일 프로젝트 성공도 산출 및 이전 버전과의 생산성과 품질 비교를 수행함으로써 애자일 프로젝트에 대한 새로운 평가 모델을 제시하였다. 본 연구의 목적은 실제 성공적인 적용사례를 통해 그 효율성이 검증된 분산 애자일 전략을 반영한 소프트웨어 개발 및 평가 모델을 제공함으로써 일반 업체들이 각자의 프로젝트 환경에 맞게 변형하여 손쉽게 적용 가능하도록 하는 것이다.

딥러닝 기반 카메라 모델 판별 (Camera Model Identification Based on Deep Learning)

  • 이수현;김동현;이해연
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제8권10호
    • /
    • pp.411-420
    • /
    • 2019
  • 멀티미디어 포렌식 분야에서 영상을 촬영한 카메라 모델 판별을 위한 연구가 지속되어 왔다. 점점 고도화되는 범죄 중에 불법 촬영 등의 범죄는 카메라가 소형화됨에 따라 피해자가 알아차리기 어렵기 때문에 높은 범죄 발생 건수를 차지하고 있다. 따라서 특정 영상이 어느 카메라로 촬영되었는지를 특정할 수 있는 기술이 사용된다면 범죄자가 자신의 범죄 행위를 부정할 때, 범죄 혐의를 입증할 증거로 사용될 수 있을 것이다. 본 논문에서는 영상을 촬영한 카메라 모델 판별을 위한 딥러닝 모델을 제안한다. 제안하는 모델은 4개의 컨볼루션 계층과 2개의 전연결 계층으로 구성되었으며, 데이터 전처리를 위한 필터로 High Pass Filter를 사용하였다. 제안한 모델의 성능 검증을 위하여 Dresden Image Database를 활용하였고, 데이터셋은 순차분할 방식을 적용하여 생성하였다. 제안하는 모델을 3 계층 모델과 GLCM 적용 모델 등 기존 연구들과 비교 분석을 수행하여 우수성을 보였고, 최신 연구 결과에서 제시하는 수준의 98% 정확도를 달성하였다.

서비스지향 아키텍처와 멀티소프트웨어 프로덕트라인을 결합한 웹 시스템 개발 방법 (A Development Method of Web System Combining Service Oriented Architecture with Multi-Software Product Line)

  • 정일권
    • 한국전자거래학회지
    • /
    • 제24권3호
    • /
    • pp.53-71
    • /
    • 2019
  • 소프트웨어 시스템이 복잡하고 대규모화 되어감에 따라 새로운 기능을 제공하기 위해 소프트웨어 컴포넌트 또는 모듈을 재사용하는 방법을 요구하고 있다. 본 논문에서는 서비스 제공자와 서비스 사용자에게 SOA와 MSPL을 결합하여 가변성 서비스를 제공하고 재사용하여 웹 시스템 개발 방법을 제시하였다. 제시한 방법은 서비스 제공자 관점에서, 재사용 가능한 가변성 서비스를 휘처 식별 가이드라인을 적용하여 신택스 기반, 기능기반과 행위기반 방법으로 휘처로 식별하고 구현하여 재사용 자산으로 관리하였다. 그리고 사용자 관점에서 서비스를 구조적으로 조합하고 재구성하는 방법으로서 워크플로우를 모델링하여 서비스를 구성하여 웹 시스템을 구현하였다. 본 논문에서 구축한 웹 시스템의 재사용을 기능점수로 측정한 결과 재사용의 증가와 유사프로젝트에 적용해 비용 절감 효과를 검증하였다.

국내 자바 웹 응용을 위한 SAML 소프트웨어의 개발 (Development of SAML Software for JAVA Web Applications in Korea)

  • 조진용;채영훈;공정욱
    • 한국정보통신학회논문지
    • /
    • 제23권9호
    • /
    • pp.1160-1172
    • /
    • 2019
  • 연합인증은 다수의 보안도메인 간에 적용되는 사용자 인증 및 인가체계이다. 연구 및 교육 분야에서 활용되고 있는 다수의 국외 웹 응용서비스들은 표준화된 사용자 인증방식으로 SAML(Security Assertion Markup Language) 기반의 연합인증을 채택하고 있다. 하지만 국내는 공개 SAML 소프트웨어를 이용하기 힘든 특정 웹 서버나 웹 응용 서버의 시장 점유율이 높고 전자정부 표준프레임워크 기반의 Java 웹 응용이 많기 때문에 연합인증 기술을 적용하기 어려운 상황이다. 본 논문은 Java 기반의 웹 응용개발 환경에서 연합인증 기술을 쉽고 안전하게 활용케 할 목적으로 개발된 SAML4J 소프트웨어를 소개한다. SAML4J는 개발 프레임워크에 독립적인 세션 저장소를 지원하고 API를 통해 Web SSO 플로우를 처리케 함으로써 개발자 친화적인 장점이 있다. 네트워킹 테스트베드를 구성하고 개발한 소프트웨어의 기능과 성능, 확장성 및 보안성에 대해서 검증함으로써 SAML4J의 높은 활용가능성을 확인한다.