• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.605-608
• /
• 2004

내장형 시스템(embedded system)의 발전에 따라, 더욱 복잡하고 높은 신뢰성을 가지는 내장형 응용프로그램의 개발 필요성이 요구된다. 내장형 소프트웨어의 성능 평가 및 분석 도구는 내장형 소프트웨어 개발 속도와 신뢰성을 높이기 위한 유용한 도구이다. 개발자나 사용자는 성능 평가 결과와 로그 정보를 직관적으로 판단하기 위해 GUI 형태의 결과보고 도구(result report tool)나 뷰어(viewer)를 이용할 수 있다. 그러나 보통의 성능 평가 및 분석 도구가 이용하는 로그 데이터는 텍스트 기반의 저수준 정보이므로, 개발자의 다양한 요구에 맞는 분석 결과보고 도구 나 뷰어를 생성하기 위해서는 로그 정보에 대해 많은 분석 시간과 노력을 기울여야 한다. 본 논문은 내장형 시스템 개발자가 쉽고 편리하게 원하는 GUI 형태의 결과 분석도구를 생성할 수 있도록 하기 위한 프로파일 로그 분석 방법을 제안한다. 제안하는 로그 분석 방법은 저수준의 성능 평가 로그를 분석하여 자료구조화 하는 모듈과 이것을 GUI 형태로 쉽게 변경할 수 있는 API 수준의 함수를 제공한다. 제안하는 로그 분석 방법에 의한 API를 통해 개발자나 사용자는 자신의 취향에 맞는 GUI 형태의 결과 분석 도구를 쉽고 빨르게 생성하여 내장형 소프트웨어 개발의 효율성을 높일 수 있다.

• 디지털융복합연구
• /
• 제16권9호
• /
• pp.179-185
• /
• 2018

4차 산업 혁명의 정보통신기술 산업 분야의 새로운 성장 동력으로 주목받는 사물인터넷 기술은 단순한 보안 기술을 넘어 신뢰성이 필요하다. 이러한 신뢰성은 IoT 제품의 기획 및 설계 단계부터 고려되어 제품을 개발하고 평가하며 사용하는 모두가 보안성을 측정하고 신뢰할 수 있는 시스템이 구축되어야 한다. 사용되는 IoT 기기 수의 급격한 증가와 사용 생명주기의 증가는 소프트웨어 패치와 업데이트 및 관리의 어려움으로 인한 보안 취약성 증가로 이어진다. 본 논문에서는 IoT 산업 분야의 기술적 정책적 동향을 분석하고 이를 통해 IoT 기기의 보안성과 확장성의 한계점을 분석한다. 이러한 한계점을 보완하기 위해 블록체인의 요소 기술인 해시를 활용해 소프트웨어의 무결성을 자동 검증하는 방법을 제안한다. 해시를 활용한 소프트웨어 무결성 자동 검증 방법으로 사물인터넷의 보안성과 확장성을 강화하고, 제안하는 보안 기술 적용을 위한 정책적 솔루션을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.181-183
• /
• 1998

방대한 분산 응용들은 예측할 수 없는 통신 지연이나, 부분적인 오류, 네트워크 결합등을 처리해야한다. 또한, 화상회의, VOD(vido-on-demend),병행소프트웨어 공학과 같은 정교한 응용들은 추상적 그룹 통신을 필요로 하지만, 현재의 CORBA 버전들은 이러한 패러다임을 적절히 수용하지 못한다[7][8]. CORBA 는 주로 Point-to-Point 통신을 하는데 분산 시스템에서 예측 행위를 하는 신뢰성있는 응용기술에 대한 구현은 지원하지 않는다. 따라서 존 논문에서는 머지 복제 기법을 이용한 에이전트를 통해 신뢰성있는 그룹통신을 지원하는 확장된 CORBA를 제시한다.

• 한국전자거래학회지
• /
• 제8권4호
• /
• pp.239-252
• /
• 2003

품질 좋은 소프트웨어란 성능이 뛰어나고 가격 이 저렴한 소프트웨어를 일컫는 말이다. 또한, 시장 요구에 부응하는 서비스를 지원하면서도 오류가 적고 유지보수하기 쉬운 구조를 가져야 한다. 이 모든 것을 충족하는 소프트웨어를 개발하기 위한 방법으로 최근 CBD (Component Based Development)가 각광 받고 있다. CBD (Component Based Development) 확산과 더불어 컴포넌트 구성, 기능, 호환성, 신뢰성을 위한 컴포넌트 테스트를 수행하고 있으나 이것만으로는 CBD (Component Based Development) 기반 소프트웨어 품질을 보장할 수 엄다. 높은 신뢰성, 유지보수성, 재활용 성을 가지는 단위 컴포넌트라도 조립, 통합 후에는 의도한 요구사항을 만족시키지 못하고 문제를 일으킬 수도 있으므로 이에 대한 통합 테스트 기법이 필요하다. 본 논문은 UML (Unified Modeling Language)기반 소프트웨어 개발에 컴포넌트 통합 테스트를 위한 것이고, 테스트 기법은 UML (Unified Modeling Language)의 순차다이어그램과 협력다이어그램을 참조하여 컴포넌트 사이 인터페이스에 존재하는 결점을 추출하는 테스트기법이다.

• 국방과기술
• /
• 10호통권152호
• /
• pp.70-75
• /
• 1991

이 글에서는 군용 환경하에서 높은 신뢰성을 유지하며 요구되는 규격을 만족시키는 컴퓨터(하드웨어)를 설계하기 위한 방향을 제시하고 각 단계별로 보다 세부적인 설계 지침에 대하여 설명하였다. 군용 환경사양을 만족시키기 위하여 설계초기 단계인 부품 선정 단계에서부터 모듈설계 및 기구물 설계, 그리고 설계 인증을위한 환경시험단계까지 상용의 경우와는 달리 수많은 요소들이 고려되어야 하며 설계에 반영되어야 한다. 비록 이 글에서 다루어지지는 않았으나 소프트웨어 측면에서의 군용 환경도 그 중요성이 하드웨어 못지 않을 것이며, 소프트웨어의 신뢰성과 정확성등의 중요성도 간과해서는 안될 부분이다

• ETRI Journal
• /
• 제10권2호
• /
• pp.52-62
• /
• 1988

소프트웨어 검증과 확인은 소프트웨어 시스팀의 높은 신뢰도를 보증하기 위한 활동이다. 즉, 더 신뢰성 있는 소프트웨어 제품 생성, 더 낮은 가격의 생명 순기(life-cycle), 요구사항과 일치하지 않는 사항들과 설계 에러들을 초기에 발견하여 개발 가격을 줄이는데 큰 의의를 갖는다. 본고에서는 대형 소프트웨어 개발에서 필요한 검증에 관하여 그 정의와 이제까지 검증 활동을 통하여 제시된 여러 사항들 및 일반적인 자동화된 검증시스팀에 대하여 살펴보고, 특히 General Research Corporation(Santa Barbara, California)에서 개발하고 Huges 항공사에서 프로젝트에 적용을 시켜 성공을 거둔 상용화된 검증시스팀에 대해 고찰하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.229-231
• /
• 2018

원자력 시설에 적용되는 안전 필수 시스템의 소프트웨어는 매우 높은 수준의 신뢰성이 요구되기 때문에 개발 과정은 중요한 인허가 이슈이다. 원자력 안전 필수 시스템에서의 소프트웨어 공학 활동은 산업표준을 준용하는 부분이 있으나, 일부 상이한 부분이 존재하므로 주의해야 한다. 이 논문은 원자력 요건에 적합한 소프트웨어 개발 방법을 제안한다. 원자력 안전 필수 소프트웨어는 기능 및 성능 요건과 더불어, 안전 요건과 보안 요건을 종합적으로 고려하여 계획 수립, 명세화, 확인 및 검증, 시험을 수행하는 것이 중요하다.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.215-222
• /
• 2006

모바일 소프트웨어의 생산성을 높이고 신뢰성 있는 소프트웨어를 개발하기 위한 모바일 소프트웨어 테스트의 중요성이 부각되고 있다. 모바일 소프트웨어의 테스팅 기술이 효율적으로 적용되기 위해서는 모바일 플랫폼 기반의 테스트를 자동화 할 수 있는 기술이 필요하다. 즉, 모바일 플랫폼에서 제공하는API를 테스트 하기 위한 테스트케이스를 생성할 수 있는 기법이 필요하다. 테스트케이스를 생성하게 되면 소프트웨어의 생산성과 신뢰성을 향상 시킬 수 있을 뿐만 아니라, 테스트 기간 및 비용을 줄일 수 있다는 이점이 있다. 본 논문에서는 기존의 테스트 자동화에 관련된 연구와 테스트 자동화 도구에 대한 연구를 통해 테스트케이스 생성 범위를 설정하고, J2ME 플랫폼에 사용될 수 있는 테스트케이스 생성 기법인 키워드 방식 기법(Keyword Driven Method)을 제시하였으며, 제안한 생성 기법을 적용하여 J2ME 플랫폼 기반의 테스트에 활용 가능한 테스트케이스 생성 기법이 되도록 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1555-1557
• /
• 2010

위성 탑재 소프트웨어는 기본적인 위성의 상태 데이터 획득에서부터 지상국과의 송수신 및 위성 고유의 임무 수행의 전 과정을 담당하고 있다. 이러한 위성 탑재 소프트웨어에 있어 무엇보다 강조되는 점이 신뢰성이며, 이를 위한 많은 연구가 진행되어 왔다. 위성 탑재 소프트웨어의 개발 과정에서 여러 단계의 검증 및 테스트가 수반되게 되며, 이러한 위성 탑재 소프트웨어의 개발에는 많은 시간과 노력이 요구된다. 또한, 위성의 소프트웨어는 그 특성상 위성 발사 후 탑재 소프트웨어에 대한 수정 및 개선에 많은 어려움이 따르게 된다. 본 연구에서는 위성 탑재 소프트웨어 개발 과정에서 재사용성을 높이고 소프트웨어 및 위성 임무 변경에 보다 용이하게 대응할 수 있는 Reconfigurable Software Architecture 를 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.334-336
• /
• 2005

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.