• 한국항공우주학회지
• /
• 제49권6호
• /
• pp.505-513
• /
• 2021

본 논문에서는 비행 중 비행체 내·외부에서 발생하는 동적상황 변화에 대해 대응 우선순위에 따라 무인기가 자율적으로 대처할 수 있는 무인기 자율 임무관리 소프트웨어의 설계 및 검증 기법을 제안한다. 제안된 무인기 자율 임무관리 소프트웨어는 다중 스레드 기반의 동시 수행 가능한 모듈화 구조로 하위 소프트웨어들을 설계하였으며, 이를 검증하기 위해 1) 모든 동적상황 변화에 대한 스레드들 간의 요청/응답 메시지를 확인하는 소프트웨어 통합 기법과 2) 소프트웨어 통합검증환경을 활용하여 소프트웨어의 기능 검증을 수행하는 통합시험 및 3) 정량적 성능 검증을 수행하는 성능시험 기법을 제시한다. 특히, 통합시험과 성능시험을 수행하기 위해 소프트웨어 통합검증환경을 제작하여 활용한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권11호
• /
• pp.915-922
• /
• 2006

최근 임베디드 소프트웨어가 다양한 분야에서의 개발이 두드러지면서 그 요구사항들도 다양해지고 있다. 그 중 이슈화되고 있는 것 중 하나가 하드웨어와의 종속성을 반영한 체계적인 개발방법을 제시하는 것이다. 기존의 개발방법들은 하드웨어와의 밀접한 관계, 여러 유사 도메인에 대한 고수준의 재사용성 요구 등 임베디드 소프트웨어가 갖고 있는 특성들을 효과적으로 반영하지 못하고 있다. 따라서 본 논문에서는 제품계열적 접근방법을 통해 효율적인 임베디드 소프트웨어 개발방법을 제시하기 위한 개발프로세스 모델 설계방법을 제안한다. 개발프로세스 모델의 설계 중점은 먼저 효율적 요구사항 도출기법으로 디렉토리 방식의 도메인 스코핑 방식과 IDEF0 기반 비즈니스 모델을 제안한다. 다음으로 서비스 구조 기반의 컴포넌트 도출방식과 하드웨어 종속성을 고려한 아키텍처 설계 방식을 제안한다. 마지막으로 제안한 개발프로세스 설계모델이 어떻게 임베디드 소프트웨어 개발에 적용되는지를 보이기 위해 다중센서데이터 융합시스템에 적용한 결과를 설계과정마다 제시한다.

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

Covid-19의 영향으로 직접적인 만남이 줄어들고 온라인 커뮤니티의 사용량이 급격하게 증가하였다. 에브리타임은 대부분의 대학생이 사용하고 있는 가장 보편적인 온라인 커뮤니티이다. 이러한 서비스와 비슷한 방식으로 운영되어 이질감을 느끼지 않으면서도, 직장인의 특성을 고려한 설계로 취업 후에도 지속적으로 사용할 수 있는 커뮤니티 서비스를 제안한다. 이에 본 논문에서는 협업기능을 강화한 직장인을 위한 온라인 커뮤니티이자 익명서비스로 프라이버시를 보호할 수 있는 모바일앱을 설계했다.

• 정보처리학회논문지D
• /
• 제9D권5호
• /
• pp.877-886
• /
• 2002

소프트웨어 재사용의 문제는 두 가지 측면에서 검토해 볼 수 있는 데, 하나는 이미 개발이 완료된 소프트웨어 컴포넌트를 조합하여 재사용하는 방법이고, 다른 한 가지는 소프트웨어들이 공통적으로 갖는 구조적인 패턴을 정의해서 재사용 하는 방법이다. 물론 이 두 가지가 소프트 웨어의 구조설계에 중요한 방법이긴 하지만, 이 두 방식의 차이점은 소프트웨어 컴포넌트는 프로그램 컨텐츠가 채워진 빌딩블록들을 재사용 하여 소프트웨어를 쉽게 구성하는 것인 반면, 소프트웨어 구조패턴은 빌딩블록의 내용보다는 빌딩블록의 틀, 즉 빌딩블록간의 연결을 통한 구조화에 더 관심이 있는 것이라고 하겠다. 논문은 후자의 경우와 같이 소프트웨어 응용에서 많이 발견되는 구조적인 소프트웨어 패턴을 분석하고 체계적으로 정의하여, 이 패턴들이 소프트웨어 구조 설계 시 유용하게 활용될 수 있도록 하는 데 목적을 두고 있다. 특히, 이제까지 소프트웨어의 구조적인 패턴을 설명하는 데 중요한 모델이 되어 왔던 소프트웨어 구조 스타일을 분석하고 정형화하여 다양한 응용의 소프트웨어 구조설계에 활용될 패턴형 컴포넌트를 정의하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.1097-1100
• /
• 2001

소프트웨어 개발자로부터 독립된 소프트웨어 시험자가 수행하는 소프트웨어 시험은 소프트웨어의 안전성 향상을 위해 필요하다. 컴퓨터기반의 디지틀시스템으로 설계되는 일체형원자로 MMIS에 적용하기 위한 소프트웨어 시험 계획을 개발할 필요가 있다. 본 논문은 소프트웨어 시험 계획을 소프트웨어시험 조직 구성, 시험 문서, 시험 절차, 시험 방법을 중심으로 제시한다. 소프트웨어 시험 방법은 원시코드 정적분석과 동적시험을 구분하여 기술한다. 본 논문에서 제시된 소프트웨어 시험 계획은 원자력 규제기관에서 요구하는 소프트웨어 시험 요구사항을 만족한다. 본 논문을 통해 제시된 소프트웨어 시험 계획을 일체형원자로 MMIS 소프트웨어 개발 시 적용하여 소프트웨어 고장율 데이터를 수집할 예정이다.

• 한국항행학회논문지
• /
• 제24권3호
• /
• pp.163-172
• /
• 2020

무인항공기 사고 발생 시 사후 조사를 위한 비행자료 기록장치는 항공기 추락에 따른 극한환경에 노출된 후 비행자료를 정상 복원할 수 있도록 EUROCAE(European Organization for Civil Aviation Equipment)의 ED-112 규격을 준수하여야 한다. ED-112 규격은 유인항공기를 포함한 모든 항공기의 일반적인 요구사항을 규정하고 있기 때문에 특정 플랫폼의 형상 및 운용개념에 따라 적합한 설계 요구사항을 선택적으로 적용하여야 하므로 소프트웨어에 대한 세부 요구사항 분석이 필수적이다. 본 논문에서는 무인항공기에 적합한 소프트웨어 요구사항을 분석하고 이를 고려한 비행자료 기록장치 소프트웨어의 설계 방안을 제안한다. 또한 구현된 소프트웨어가 모든 요구사항을 고려하여 설계되었는지 확인하기 위한 각 요구사항에 대한 소프트웨어 검증 방안을 제시한다.

• 정보처리학회논문지D
• /
• 제18D권1호
• /
• pp.45-56
• /
• 2011

저전력을 소모하는 임베디드 시스템 개발의 중요성이 증대되고 있다. 저전력 소모의 시스템 개발은 하드웨어 측면에서 많이 연구되어 왔지만, 소프트웨어의 동작이 하드웨어 전력 소모를 유발하기 때문에 소프트웨어의 소모 전력을 분석하는 것 또한 중요한 이슈중의 하나이다. 본 논문에서는 임베디드 소프트웨어 개발 과정에서 작성되는 설계 모델을 이용하여 에너지 효율적인 태스크 도출 방법을 제시한다. 이를 위하여 먼저 태스크 분할 기준을 제시하고, 이를 이용한 UML 설계 모델의 분할 과정을 설명한다. 제안된 태스크 도출 방법은 성능과 함께 전력 소모에 많은 영향을 미치는 임베디드 소프트웨어 개발에 활용하여 선행적으로 에너지 소모량을 절감할 기회를 제공할 수 있다.

• 한국인터넷방송통신학회논문지
• /
• 제13권2호
• /
• pp.83-92
• /
• 2013

소프트웨어 글로벌화란 다양한 나라 및 문화에 적합한 소프트웨어를 쉽게 체계적으로 개발할 수 있도록 지원하는 활동이다. 지금까지 소프트웨어 글로벌화를 위한 노력은 주로 소프트웨어 구현 기술 및 도구 개발에 초점을 맞추어왔다. 하지만 다른 나라 및 문화에 판매되는 글로벌 소프트웨어 제품은 다양한 환경 차이에 의해 요구사항이 다르게 되고, 이러한 요구사항의 차이는 상이한 아키텍처 설계를 유도하게 된다. 본 논문에서는 이러한 아키텍처 설계 지식을 체계화된 지식 모델로 정의하고, 이러한 지식 모델을 작성하고 이용하는 방법론을 제안한다. 또한 디지털 데이터 방송용 셋톱박스 미들웨어 시스템의 아키텍처 설계에 제안된 모델과 방법론을 적용하여 타당성을 평가한다.

• 디지털콘텐츠
• /
• 4호통권143호
• /
• pp.112-114
• /
• 2005

스마트폰의 도입은 소프트웨어개발자에게 새로운 기회를 가져다 줬다. 참신하고 개방적인 소프트웨어 플랫폼은 개발자가 빠르게 성장하는 시장환경 아래서 새로운 모바일 응용소프트웨어 와 서비스를 설계할 수 있게 한다. 노키아의 시리즈 60 스마트폰 설계용 응용소프트웨어 플랫폼 및 그에 상응하는 개발도구는 바로 이러한 스마트폰 시장의 발전을 촉진하기 위해 개발된 GUI와 심비안 OS 기반의 응용 소프트웨어이다. 이 플랫폼의 SDK(Software Development Kit)는 자바 또는 C++로 소프트웨어 개발을 더 쉽게 할 수 있도록 제공한다. 또한 소프트웨어 다운로드와 운용에도 편리하다. 이 플랫폼은 소프트웨어 개발자, 운영사와 설비제조회사 모두 자기에 적합한 설계도를 만들 수 있도록 하고 있다. 설계도는 서로 다른 설비와 네트워크 사이에서 사용할 수 있다. 이미 LG전자, 파나소닉, 삼성, 센도, 지멘스 등에 라이센스돼 그 제품의 우수성이 입증된 노키아의 시리즈 60 스마트폰 플랫폼에 대해 자세히 소개한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권10호
• /
• pp.471-476
• /
• 2016

설계 단계에서 소프트웨어 아키텍처는 소프트웨어 품질을 좌우한다. 아키텍처 연동은 소프트웨어 품질에 영향을 주게 된다. 그 결과 소프트웨어 만족도가 낮아진다. 따라서 아키텍처에서 유연한 아키텍처와 품질을 위하여 구성요소 확인이 필요하게 된다. 본 논문에서는 아키텍처 연동의 구성 요소들을 제안하고자 한다.