• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1749-1752
• /
• 2003

최근 소프트웨어 개발을 위한 각 분야에서 컴포넌트 기반 개발(Component Based Development)에 초점을 맞추고 많은 연구와 개발이 이루어지고 있다. 소프트웨어는 컴포넌트의 조림을 통해 완성되며 이는 비용과 시간의 절감, 검증된 컴포넌트 사용으로 인한 소프트웨어 신뢰성의 증가, 컴포넌트 개발을 통한 자산으로써의 가치 등을 고려해 봤을 때, 컴포넌트 기반 개발은 중요한 의미를 지니고 있다. 이러한 컴포넌트들은 컴포넌트가 지닌 기능이나, 성능을 테스트하여 검증하는 과정이 매우 중요하다. 본 연구에서는 컴포넌트 테스트를 위한 BIT(Built-in Test)의 구현을 통해 컴포넌트 테스트를 수행하고 평가하기 위한 기초연구를 수행하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.13 no.1
• /
• pp.28-40
• /
• 1988

Nowadays, the needs for intelligence of communication equipments and the cost down of micro processor are showing a tendency to have multi0processor in a single system. In this paper, based on the Reserved Bus Topology which is propoed in "A study on he Communication Method between the adjacent processor", the software and hardware is designed and developed. And tha validity of this method and the utility of designed software and hardware functions are also verified through exepriments.epriments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.292-294
• /
• 2012

최근 모바일과 테블릿 등의 휴대용 디바이스들 활성화로 인해서 어플리케이션의 종류가 확대되고 누구나 어플리케이션 개발에 쉽게 어플리케이션 제작을 할 수 있어짐에 따라서 개발 조직의 소규모와 개인 개발자들의 활동이 늘어가고 있다. 하지만 현재 앱에 관련된 소프트웨어의 개발 방법론은 많지 않다. 그래서 이 논문에서는 1)소프트웨어의 보안개발주기의 최소화를 통해 개발자들에게는 보안가이드 라인을 제공하고 2)소규모의 개발자들이 주어진 보안개발 방법론을 따라 품질과 보안성을 향상하고 3)정부나 앱스토어의 검증성을 높여서 고객이 신뢰하고 검증된 모바일 어플리케이션을 사용할 수 있게 하는 것이다.

• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.837-838
• /
• 2009

기존에 위험기반 테스팅(Risk-based Testing) 방법은 널리 알려져 있다. 또한 가치기반의 소프트웨어 공학(Value-based SW engineering)이 고전적인 방법론과 더불어 대두되고 있다. 요구공학을 기반으로 하면서 소프트웨어의 생산절차를 가치(Value)를 기반으로 구성하고 있다. 본 논문에서는 위험기반 테스팅 기법을 Value-based Testing과 접목하여, 테스트케이스에 우선순위를 부여하고, 우선순위별로 적절한 테스트 기법을 도출, 적용하여 그 효과를 검증하고자 한다. 검증의 방법은 적용 전/후의 품질비용을 기준으로 한다.

• Annual Conference of KIPS
• /
• 2023.11a
• /
• pp.212-213
• /
• 2023

최근 네트워크 환경에서 통신되는 데이터의 신뢰성을 제공하기 위해 서명기술이 필요하다. 다양한 서명기술들 중 속성기반서명은 사용자들이 가지고 있는 속성을 기반으로 서명을 수행하기 때문에, 각 서명자들의 익명성을 보장할 수 있는 서명기술이다. 하지만 속성기반서명을 수행시 익명성을 악용하는 사용자들이 존재하는데, 이들은 잡히는 위험이 없이 일부 목적(금전, 이익)을 위해 의도적으로 자신의 서명비밀키와 속성을 공개할 수 있다. 서명권한이 없는 제 3자는 이를 이용해 서명을 수행할 수 있다. 본 논문에서는 적절한 수준의 익명성과 추적성이 제공되는 속성기반서명 기법을 제안한다. 본 제안방식은 검증자가 서명 검증시 문제가 생긴 서명에 관해 AA에게 서명을 보낸 서명자의 신원을 요청하여 확인할 수 있다.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.617-618
• /
• 2024

본 논문에서 핵심적으로 연구할 내용은 기존 논문에서 소개된 BERT-base 모델의 경량화 버전인 DistilBERT 모델을 임베디드 시스템(Raspberry PI 5) 환경에 탑재 및 구현하는 것이다. 또한, 본 논문에서는 임베디드 시스템(Raspberry PI 5) 환경에 탑재한 DistilBERT 모델과 BERT-base 모델 간의 성능 비교를 수행하였다. 성능 평가에 사용한 데이터셋은 SQuAD(Standford Question Answering Dataset)로 질의응답 태스크에 대한 데이터셋이며, 성능 검증 지표로는 EM(Exact Match) Score와 F1 Score 그리고 추론시간을 사용하였다. 실험 결과를 통해 DistilBERT와 같은 경량화 모델이 임베디드 시스템(Raspberry PI 5)과 같은 환경에서 온 디바이스 AI(On-Device AI)로 잘 작동함을 증명하였다.

• Annual Conference of KIPS
• /
• 2014.11a
• /
• pp.703-706
• /
• 2014

AUOTSAR(Automotive Open system Architecture)는 자동차 ECU(Electronic Control Unit) 에 내장되는 소프트웨어에 대한 표준 구조로서, ECU 소프트웨어의 품질 향상은 물론, 개발 및 관리 비용의 절감에 기여하는 등 많은 장점을 갖는다. AUTOSAR 의 이런 장점 때문에 많은 자동차 회사들이 ECU 소프트웨어에 AUTOSAR 적용을 추진하고 있다. 이에 따라 기존 레거시 ECU 소프트웨어 시스템을 AUTOSAR 표준에 맞는 ECU 소프트웨어 시스템으로 변환하는 방법에 대한 관심도 높아지고 있다. 그 이유는 이미 많은 ECU 레거시 소프트웨어 시스템들이 개발되어 사용되고 있으며, 이들에게는 이미 기능 및 안정성 검증을 위하여 많은 시간과 비용이 투자하여 되어 있다. 따라서 ECU 소프트웨어 시스템에 AUTOSAR 를 적용하는 경우 기존의 레거시 소프트웨어 시스템을 재사용할 수 있으면 생산성 및 품질 면에서 많은 장점을 갖는다. 본 연구에서는 C 언어로 작성된 기존의 ECU 소프트웨어 시스템을 AUTOSAR 플랫폼에서 재사용할 수 있도록 하기 위하여, 기존의 레거시 ECU 소프트웨어 시스템을 AUTOSAR 플랫폼으로 마이그레이션하는 방법에 대하여 연구하였다. 마이그레이션 과정은 크게 두 단계로 나누어 지는데, 이는 레거시 소프트웨어 시스템을 분석하여 마이그레이션이 가능하도록 기능별로 분해하는 것과, 분해된 구성 요소들을 AUTOSAR 플랫폼에 맞는 구조로 재구성하는 과정이다. 본 논문에서는 이중 첫 번째 과정인 레거시 소프트웨어 시스템의 분석 및 기능별 분해 방법을 제시하고자 한다.

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.105-116
• /
• 1997

분산처리 시스템을 위한 소프트웨어 개발 방법 및 이를 지원하는 프레임워크의 개발은 분산처리 시스템을 위한 좋은 소프트웨어의 개발을 위해 매우 필요한 일이라 할 수 있다. 즉, 분산처리 시스템을 위한 신뢰성 있고 적합성과 확장성을 가진 소프트웨어의 개발은 매우 중요한 일이다. 자치적 분산처리 시스템(Autonomous Decentralized Systems)은 온라인 확장성과 온라인 유지보수성 및 fault tolerance기능을 가진 분산처리 시스템이다. 이 논문에서는 자치적 분산처리 시스템을 위한 객체지향 소프트웨어 개발을 지원하는 프레임워크에 대하여 논한다. 이 프레임워크는 객체지향 요구 분석과 객체지향 설계, 구현, 프로세서에 타스크(task)의 할당, 검증 및 유지보수로 구성되어 있으며, 온라인 확장성과 온라인 변경성(modifiability)을 지원한다. 자치적 분산처리 애플리케이션 소프트웨어 개발을 지원하는 프레임워크는 객체지향 computation 모델을 근간으로 하고 있다. 이 논문에서는 프레임워크외에도 자치적 분산처리 소프트웨어 개발을 위한 CASE(Computer Aided Software Engineering) 환경에 대하여서도 논한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.07a
• /
• pp.5-8
• /
• 2015

소프트웨어의 작동 중에 중대한 고장 없이 유연하게 대처할 수 있는 성질은 견고성이라 불리며 임베디드 소프트웨어에서 중요하게 여겨진다. 본 논문에서는 개발 중인 임베디드 소프트웨어의 견고성을 조기에 검증하기 위하여, 실물 시스템을 이용한 테스트가 갖는 물리적 한계를 극복할 수 있는 Software-in-the-Loop 시뮬레이션을 이용하여 개발 중인 PC에 견고성 테스팅 환경을 갖추는 방법을 제시한다. 제시한 방법은 소프트웨어의 견고성을 표현할 수 있게끔 만드는 테스트 케이스를 생성하고, 가상 시뮬레이션 환경을 구성하여 테스트 케이스를 실행함으로써 소프트웨어의 견고성을 객관적인 수치의 형태로 나타내는 방법을 보인다.

• Annual Conference of KIPS
• /
• 2021.05a
• /
• pp.55-58
• /
• 2021

우주 네트워크는 고지연성, 저신뢰성 등 기존의 지상 네트워크와는 차별화된 특성을 가진다. 또한 높은 예산이 투입되는 우주 임무 특성상 지상 시험 시 발견되지 않은 소프트웨어 버그가 막대한 비용을 초래할 수 있다. 그러나 현재까지 우주 네트워크 환경에 특화된 소프트웨어 업데이트 관련 연구는 부족한 실정이다. 따라서 본 연구에서는 Asynchronous Management Protocol(AMP)을 기반으로 원격 소프트웨어 업데이트 프레임워크를 새롭게 제안한다. 해당 프레임워크는 Interplanetary Overlay Network(ION) 소프트웨어를 사용하여 프로토타입을 구현하였으며, 실제 업데이트 케이스를 적용하여 기능 및 실사용성을 검증하였다.