• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.58-58
• /
• 2003

과학위성 1호의 컴퓨터 시스템은 지상국 명령 및 데이터 처리, 위성 자세 제어, 위성체 운용, 상태 감시, 탑재체 운용, 배터리의 충방전 제어 등을 담당하며, 우리별 3호 위성을 통하여 검증된 컴퓨터 시스템을 기반으로 개발되었다 과학위성 1호의 컴퓨터 시스템은 탑재 컴퓨터(On-board Computer)와 비행 소프트웨어(Flight Software)로 구성된다. 과학위성 1호의 탑재 컴퓨터는 우리별 3호의 탑재 컴퓨터에 비하여 FPGA를 사용함으로써 크기 및 무게의 소형화를 추구하였고, 네트워크 제어기를 내장함으로써 통신 성능의 개선을 이루었다. 그리고 EEPROM을 장착하여 위성 운용 기간 도중에 발생할 수 있는 소프트웨어의 변경에도 대응하였다 과학위성 1호의 비행 소프트웨어는 우리별 3호의 비행 소프트웨어를 기반으로 하여 과학위성 1호의 명령 및 데이터 처리 시스템과 임무에 적합하도록 개발되었다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2533-2545
• /
• 1998

객체지향 소프트웨어척도는 객체들의 규모와 구성 및 객체들간의 관계를 고려하면서, 전반적인 객체지향 특성을 반영하여야 한다. 본 논문에서는 객체지향 소프트웨어의 규모 및 복잡도에 영향을 주는 4가지의 객체지향 패러다임 관련 특성(요인)들을 정하고, 객체지향 설계 스타일 지침들을 기반으로 객체지향 소프트웨어의 품질 측정을 위한 객체점수 척도를 제안한다. 그 지침들은 기존의 지침들에 하나의 새로운 지침을 추가한 것으로서 인지 심리학에서의 청크 이론을 기반으로 제시 된 것들이다. 제안된 객체점수 척도의 타당성 검증을 위해서 실험적 분석을 행하였는데, 이는 제안 척도가 전반적으로 객체 지향 개념 및 특성을 잘 반영하는지를 평가하기 위한 것으로 같은 출력을 갖는 두 C++ 프로그램을 제안된 척도로 측정하여 비교하였다. 이러한 실험 결과 제안한 객체점수 유용성이 입증되었다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.47-51
• /
• 2002

전 규모에서 소규모에 이르는 MMIS(Man Machine Interface System) 모사설비는 실제의 원자력발전소에 사용될 MMIS를 응용 소프트웨어로 구동되는 모사환경을 통하여 사전에 시험 및 검증할 목적으로 사용된다. 기존의 MMIS 모사설비 개발은 잘 정의된 개발 프로세스에 기반을 두지 않고 프로젝트 관리자 또는 개발 담당자의 경험과 직관에 의존하여 수행되었다. 이로 인하여 MMIS 모사설비의 개발 일정이 지연되거나 개발의 결과가 초기목표를 만족하지 못하는 불만족 사항이 나타났다. 본 연구는 MMIS 모사설비의 응용 소프트웨어 개발을 위한 프로세스를 정의하고 이에 따라 설비개발을 진행하였다. 개발 프로세서는 계획 단계, 설계 및 구현단계, 시험단계의 세 부분으로 구성하였다. 본 논문에서는 MMIS 모사설비에 요구되는 일반적인 성능특성요건과 개발공정요건을 살펴보고, 본 연구가 정립한 응용 소프트웨어 개발의 프로세스 및 각 프로세서에서의 공정활동을 제시한다.

• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.623-626
• /
• 2005

임베디드 소프트웨어가 날이 갈수록 그 규모가 커지고 복잡해짐에 따라 임베디드 소프트웨어의 품질에 대한 검증 및 테스트는 중요한 문제로 부각하고 있다. 임베디드 소프트웨어의 신뢰성을 확보와 비용절감을 위한 테스트 자동화 시스템의 개발이 필요하다. 이 문서는 테스트 자동화 시스템을 구축하는 과정에서 테스트 대상인 임베디드 시스템의 입출력 변수들의 조작을 통하여 시스템 의존적인 부분을 효과적으로 일반화 시키는 방법을 제시한다. 이 방법을 통하여 테스트 명령을 간소화 할 수 있었으며 테스트 자동화 시스템의 모델을 보다 일반적이고 쉽게 표현할 수 있었다.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.377-380
• /
• 2005

최근 다양한 분야에서 임베디드 소프트웨어의 비중이 증대함에 따라 품질 요구 사항이 증대 하였지만, 현실적인 개발 일정은 점점 줄어들고 있다. 이에 본 논문에서는 임베디드 소프트웨어의 기민한 속성 주도 설계(Agile Attribute-Driven Design)를 체계적으로 적용하기 위한 '통합 분석 기법'을 정의한다. 그리고 이를 통한 기민한 설계 접근법을 제안한다. '통합 분석 기법'은 임베디드 소프트웨어의 특성을 고려한 기능 분석과 동시에 '품질 속성 시나리오'를 분석할 수 있는 기법으로서 고품질의 아키텍처 구축을 목적으로 한다. 또한 본 논문에서는 개미 로봇 구현 사례를 통해 '통합 분석 기법'을 검증하고 효과를 확인한다.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.313-314
• /
• 2016

최근 컴퓨터, 휴대폰 등 전자기기만 인터넷 연결이 가능하던 시대를 지나 냉장고, 에어컨, 현관문 등 모든 종류의 사물들 간 사람의 개입이 필요 없는 초연결사회로 발전하고 있다. 이러한 모든 사물들 간 인터넷기반으로 상호 연결되어있는 IoT(Internet of Things)환경이 급격히 성장 하고 있는 가운데 더불어 OSIoT(Open Source IoT)의 수요도 함께 급성장하고 있다. OSIoT의 소프트웨어는 보안에 대한 전문적인 개발자의 체계적인 설계에 의해 개발되어야만 하트블리드(HeartBleed), 쉘쇼크(ShellShock)와 같은 다양한 보안취약점에 안전하다. 하지만 OSIoT소프트웨어는 누구나 쉽게 접근 설계가 가능하기 때문에 일반적으로 배포되고 있는 OSIoT의 소프트웨어 검증이 필요하다. 따라서 본 논문에서는 다른 소프트웨어 점검 도구들과 연계 가능한 정적분석 도구인 취약점 별 익스플로잇 적용 모듈 설계를 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.138-140
• /
• 2012

타임드 오토마타 모델 기반 개발 방법을 지원하는 TIMES 도구는 실시간 소프트웨어에 대한 타임드 오토마타 모델 명세, 시뮬레이션, 검증, BrickOS 기반 코드 생성을 지원한다. 하지만 BrickOS 기반 코드는 엄격한 실시간 제약성 만족을 지원하지 않아서 실시간 내장형 소프트웨어 개발에 그대로 사용하기가 어렵다. 본 논문에서는 타임드 오토마타 모델로부터 실시간 내장형 소프트웨어 구현에 사용될 수 있는 VxWorks 기반 코드를 체계적으로 생성하기 위한 방법을 제안한다. TIMES 도구를 사용해 자동 생성된 BrickOS 기반 코드에서 플랫폼 독립적인 코드는 활용하고, 플랫폼 의존적인 코드들을 분류해 내어 각각 VxWorks 기반 코드로 변환하는 방법을 제안한다. 내장형 소프트웨어 개발시 타임드 오토마타 모델 기반 개발 방법의 적용 가능성을 확인하기 위해 변환 항목들을 통해 생성된 VxWorks 기반 코드에 대한 테스트를 수행하고 결과를 분석한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.11a
• /
• pp.343-350
• /
• 2009

대규모 금융권 차세대 프로젝트에서 테스트에 대한 중요성은 재무RISK 관점에서 뿐만 아니라 소프트웨어 품질향상을 위한 결함의 제거 관점에서도 그 의미가 크다. 대규모 차세대 프로젝트는 일반 프로젝트에 비하여 개발되는 소프트웨어의 양이 방대하고 개발참여인원도 일반적인 관리수준을 넘어 수작업에 의한 테스트만으로는 충분한 품질을 보장하지 못한다. 또한 테스트를 수행한 이후에도 지속적으로 변경이 발생하고 이를 반영하는 과정에서 많은 결함이 유입되는 현재의 SI 프로젝트 특성상 지속적인 테스트 및 반복적인 검증만이 소프트웨어의 품질을 보장할 수 있다. 본 논문에서는 code coverage testing기법을 활용하여 동적 테스트 수행결과를 log로 도출하고, log 분석 결과를 통해 소프트웨어 품질의 향상을 기대할 수 있는 방안을 제시한다.

• Journal of Satellite, Information and Communications
• /
• v.2 no.1
• /
• pp.41-47
• /
• 2007

Software GNSS digitized IF signal simulator is being developed by ETRI as a part of development of software-based GNSS Test & evaluation Facility which will provide test and evaluation environment for various software level application and navigation algorithm in GNSS. Software GNSS IF signal simulator will provide digitized GNSS signal including GPS and Galileo. The requirement analysis and conceptual design for the Software GNSS IF signal simulator is presented in this paper.

• Bulletin of the Korean Space Science Society
• /
• 2009.10a
• /
• pp.46.1-46.1
• /
• 2009

현재 개발 중인 탑재컴퓨터의 메인 프로세서는 MCMERC32SC를 사용하고 있으며, 탑재소프트웨어를 개발하기 위하여 Gaisler Reserach사에서 개발된 소프트웨어 기반의 TSIM-ERC32 에뮬레이터를 이용하여 실시간 위성 시뮬레이터를 개발되어 탑재소프트웨어 개발 및 검증에 사용하였다. 차세대 저궤도 위성 탑재 컴퓨터의 메인 프로세서는 현재 LEON2/3이 사용되고 있으며, LEON2/3 프로세서를 모사해주는 소프트웨어 기반의 에뮬레이터의 경우 LEON2/3의 높은 성능 때문에 실시간 성능을 만족시키지 못하는 문제를 가지고 있다. 현재 ESA에서는 이 문제를 해결하기 위하여 하드웨어 기반의 프로세서 에뮬레이터를 개발/사용하고 있으며, 또 다른 방식으로 기존 프로세서 에뮬레이터가 interpretation방식을 사용한 반면 dynamic translation방식의 에뮬레이터를 개발하여 5~10배 이상의 성능 향상을 통해 실시간 성능을 만족시키고 있다. 이 논문에서는 현재 사용 중인 ERC32 프로세서를 dynamic translation emulation 기법을 사용하여 프로세서 에뮬레이터 개발 방법과 현재 상황에 대해서 설명하며, 추후 LEON2/3를 위한 에뮬레이터 개발의 가능성에 대해서 설명한다.