• 시스템엔지니어링학술지
• /
• 제11권1호
• /
• pp.67-72
• /
• 2015

It has been tested for SW reliability in order to prevent the SW error during the development of weapons systems. According to a recent report, defects such as memory leak, buffer overflow, and null deference occur usually in the development stage, but also in the mass production stage. Although it is intended to enhance the SW test and evaluation to prevent SW failures in the development stage, the non-functional problems like syntax errors are not completely revised due to the limitation of the schedule and costs. In addition, SW failure rate are usually fluctuated by the operational environment through SW upgrade in contrast with HW. In this paper, we propose a method to increase SW reliability in the mass production stage of Korean weapon systems.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제7권4호
• /
• pp.137-148
• /
• 2007

Rapid increase of embedded systems in electronic and mechanical control systems requires reliable and error-free embedded software. State-based testing methods like FSM are usually used to assure the reliability of embedded software. However, because of possibility of explosion of test cases, only partial test cases are considered in practical tests, which cannot guarantee that all the possible errors are investigated. This study proposes a test procedure based on failure mechanisms that may occur in embedded systems, which can not only assure that certain kinds of possible errors are detected but reduce the testing time. The proposed procedure is applied to vehicle air control system.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제54차 하계학술대회논문집 24권2호
• /
• pp.5-6
• /
• 2016

항공전자와 같은 실시간 시스템을 위한 어플리케이션은 신뢰성을 보장하는 것이 중요하다. 기존의 동적 분석 도구가 사용하는 Sampling기법이나 Instruction측정은 성능 저하 구간을 올바르게 탐지하지 못하기 때문에 프로그램의 품질을 상승시키기 어렵고 디버깅 비용을 증가시킨다. 본 논문은 이러한 문제의 해결을 위해 함수 별 실행 시간을 측정하고, 함수의 수행 구조를 추적하여 성능저하구간을 직관적으로 식별할 수 있는 수행시간 분석 도구를 제시한다.

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

무선 통신의 발달로 인해 M-Commerce가 활성화 되면서 국내 M-Commerce 소프트웨어 시장이 급격히 증가하고 있는 추세이다. 이에 따라 모바일 상거래에서 사용되는 M-Commerce 소프트웨어의 신뢰성 및 고품질 소프트웨어의 요구가 증대되고 있다. 본 연구에서는 모바일 상거래에서 사용하는 M-Commerce 소프트웨어의 품질 평가 모델을 제안하고, GS시험 인증을 통해 M-Commerce 소프트 웨어의 품질을 평가 사례를 제시한다.

• 정보보호학회논문지
• /
• 제24권4호
• /
• pp.593-605
• /
• 2014

본 논문에서는 하드웨어로 경량 암호 HIGHT, PRESENT, PRINTcipher를 설계하고 소프트웨어로 암호 운영모드를 구현하여 대칭키 암호에 대한 효율적인 하드웨어/소프트웨어 통합설계 방법을 제안하였다. 우선 효과적인 통합설계 언어인 GEZEL 기반으로 대칭키 암호를 하드웨어로 구현한 후 FSMD 방식의 각 암호 모듈을 unfolding, retiming 등 하드웨어 최적화 이론을 적용하여 성능을 향상시켰다. 또한, 8051 마이크로프로세서에 대칭키 암호 운영모드를 C언어로 구현하여 서로 다른 운영모드를 지원하는 다양한 플랫폼에 적용할 수 있게 하였다. 이때 하드웨어/소프트웨어간의 신뢰성 있는 통신 확립과 통신 간 발생할 수 있는 시간 지연을 막기 위하여 하드웨어의 통신 코어와 암호코어를 분리하여 병렬적으로 수행되어 암호화 연산 수행 중에도 메시지를 송/수신 할 수 있도록 처리하는 개선된 handshake 프로토콜을 사용하여 전체적인 성능을 향상시켰다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2008년도 추계학술대회
• /
• pp.555-558
• /
• 2008

패키지 소프트웨어 기업은 사용자 만족을 향상시키기 위해 노력한다. 그래서 사용자 만족에 영향을 미치는 소프트웨어 품질에 대한 연구는 상당히 중요하다. 지금까지 패키지 소프트웨어의 품질에 관한 연구는 많이 있었지만 대부분이 제품 품질에 관한 연구가 주로 있었다. 본 연구에서는 제품의 관점에서 품질과 함께 서비스의 관점에서도 품질을 측정하고자 한다. SERVQUAL 차원인 유형성, 신뢰성, 대응성, 보증성, 공감성의 다섯 가지 차원에 패키지 소프트웨어의 특성을 반영하여 서비스 품질을 측정하고 제품 품질 차원과 비교하여 사용자 만족에 영향을 미치는 요인을 살펴보고자 한다.

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

블록체인은 블록체인 네트워크에 참여하는 모든 노드에 동일한 원장을 중복 저장함으로써 참여자 모두에게 데이터가 공개되며, 이를 통해 데이터의 투명성을 확보하고 참여자 다수의 합의를 통해 데이터의 신뢰성을 보장하는 기술이다. 현재의 블록체인 시스템은 이러한 데이터 소유의 탈중앙화를 통해 데이터의 신뢰성을 확보할 수 있게 되었으나, 합의, 저장, 분석 등 여러 방면에서 확장성 한계로 인해 주로 가상 자산의 거래에만 활용되고 있다. 본 논문은 다양한 일반 산업 및 비즈니스에서의 블록체인 기술의 활용성을 증대하기 위해 요구되는 데이터의 다양성, 대규모 용량, 대용량 데이터, 트랜잭션 처리 속도 등 저장 확장성 문제를 해결하기 위한 고확장성 블록체인 저장 기술을 제안하고 설계 개념 및 특징, 그리고 고확장성 저장 기술을 제공하기 위한 시스템 SW 구조를 제시한다.

• EDISON SW 활용 경진대회 논문집
• /
• 제1회(2012년)
• /
• pp.101-104
• /
• 2012

본 논문에서는 충남대학교에서 설계하고 있는 인력비행기인 Volante의 주익 에어포일을 선정하기 위하여 교육 및 연구를 위한 CFD 해석 프로그램인 EDISON_CFD를 이용하여 후보군으로 있는 에어포일들의 경향성을 확인하고 성능이 좋은 에어포일을 선정하였다. 또한 CFD 프로그램으로 상용화된 Fluent와 비교하여 EDISON_CFD의 신뢰성을 확인하였다.

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

침입방지시스템 솔루션은 차세대에 각광받는 보안시스템으로 국내 외 시장에서 매우 활발한 보안 분야 시장을 형성할 것으로 전망된다. 아울러 국제 시장에 진출하고자 하는 국내 업체들은 검증된 제품임을 증명하는 품질 평가가 요구되고 일반 사용자들은 검증된 제품을 선호하는 추세가 일반적이다. 본 연구에서는 침입방지시스템의 기술개요, 특징 및 침입방지시스템의 품질 평가기준을 소프트웨어 품질평가를 위해 사용되는 국제표준 ISO/IEC 9126과 ISO/IEC 14598의 참조하여 평가항목을 도출하였으며, 도출된 평가항목을 가지고 평가방법 메트릭을 개발하였다.

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

자율주행차가 제공하는 새로운 시장과 경쟁력, 인력 및 시간 절약, 교통 체증 문제 해결 등의 장점을 다루고, UN 사이버 보안 법률에 따른 자율주행차의 기술적인 요구사항을 준수해야 한다. 하지만 자율주행차에 대한 기술적인 요구사항을 준수하는 것으로는 모든 사이버 공격에 대해서 막을 수 없다. 자율주행차의 법적 요구사항과 사이버 보안 위협에 대처하는 방법을 다룬다. 특히 RTOS(Real Time OS)와 같은 실시간 시스템에 매우 위험할 수 있는 DRAM(Dynamic Random Access Memory)에 대한 로우해머링 공격 기법에 대해 분석하고 로우해머링에 대한 보안 방법을 제시한다. 그리고 자율 주행 시스템의 안전과 신뢰성을 보장하기 위해 하드웨어 기반 또는 소프트웨어 기반 방어 기술을 소개하고 있다.