• 인터넷정보학회논문지
• /
• 제23권2호
• /
• pp.79-86
• /
• 2022

본 논문은 역공학 기반 소프트웨어 가시화를 통해 설계 개선 실현과 고품질화에 초점을 두고 있다. 앞으로의 4차 산업의 다양한 영역에서 새로운 기술과 복잡한 소프트웨어가 대두됨에 따라 안정성과 신뢰성을 겸비한 소프트웨어 검증이 이슈화되고 있다. 간단한 연산 소프트웨어부터 기계 학습기반의 데이터 지향 소프트웨어까지 다양한 소프트웨어 고품질화를 위한 역공학 기반 UML 설계 추출 및 가시화 방법을 제안한다. 이를 기반으로 목표 설계에 대한 정확도를 확인하고 코드 내부 복잡도 식별을 이용하여 설계 개선을 통한 소프트웨어 품질 향상을 기대한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.370-372
• /
• 2004

소프트웨어의 외부 환경이 동적으로 변화하고 복잡해지면서 소프트웨어가 예상하지 못한 외부 환경의 변화에 직면하였을 때 변화를 감지하고 대안을 선택하여 지속적인 서비스를 제공할 필요성이 증가하고 있다. 이를 위해 외부 환경의 변화를 감지하고 변화에 적응할 수 있는 적응형 소프트웨어가 나오게 되었다. 그러나 적응형 소프트웨어를 개발하고자 할 때 기존의 요구사항 분석 방법은 소프트웨어의 외부 환경의 변화에 대한 고려가 부족하다. 본 논문에서는 적응형 소프트웨어의 외부 환경의 변화와 그러한 변화에 의해 가변적으로 나타나는 요구사항을 분석하기 위한 문맥 기반 요구사항 분석 방법을 제시한다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 춘계학술대회
• /
• pp.307-313
• /
• 2006

소프트웨어 컴포넌트는 특정 도메인 내에서 패밀리 멤버들 사이의 공통 기능성을 구현한 것이다. 하나의 멤버를 위해 개발된 컴포넌트는 다양한 패밀리 멤버에서 재사용하기 어렵다. 그러므로, 컴포넌트를 개발할 경우에 다양한 멤버에 대해 고려해야 한다. 그러므로 소프트웨어 컴포넌트의 품질 측정은 성공적인 컴포넌트 기반 시스템 개발을 위한 중요한 선행작업이다. 본 논문에서는 소프트웨어 컴포넌트의 품질을 평가하기 위한 품질 평가 모델을 제안한다. 소프트웨어 컴포넌트를 측정하기 위해서 소프트웨어 컴포넌트의 특징을 식별하고, 식별된 특징을 기반으로 하여 소프트웨어 컴포넌트의 품질 평가 모델을 제안한다. 제안된 품질 평가 모델은 특성, 부특성, 메트릭으로 구성된다.

• 한국위성정보통신학회논문지
• /
• 제5권2호
• /
• pp.1-7
• /
• 2010

기존 위성 탑재소프트웨어 개발은 제한된 하드웨어 기반의 Software Test Bed(STB)에서 개발 및 검증이 이루어졌다. 하지만 탑재소프트웨어 개발 시 하드웨어의 개발 진행에 따라 소프트웨어 개발 일정이 심각한 영향을 받았으며 다수의 소프트웨어 엔지니어가 제한된 STB를 동시에 사용할 수 없는 문제가 지속적으로 제기 되었다. 또한 최종 비행 하드웨어 모델과 상이한 형상으로 인하여 실제 운영을 고려한 부분의 경우 소프트웨어 개발 및 검증에 많은 어려움이 있었다. 이러한 문제를 해결하기 위하여 위성 개발초기부터 소프트웨어 기반의 위성 시뮬레이터 개발이 시작되었으며, 위성 시뮬레이터는 탑재 컴퓨터 및 이와 관련된 모든 하드웨어를 모사해주며 비행 하드웨어 모델과 동일한 형상을 갖추고 있다. 또한 소프트웨어 개발자를 위한 디버깅 채널과 테스트 환경을 제공하며, 별도의 수정 없이 탑재소프트웨어를 로딩 할 수 있으며 유사 실시간 시스템 실행을 지원한다. 본 논문에서는 소프트웨어 기반의 시뮬레이터의 구조와 개발방안을 제시하고 시뮬레이터 기반에서 탑재소프트웨어 개발 및 검증 결과를 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.138-140
• /
• 2012

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

• 정보처리학회논문지D
• /
• 제15D권1호
• /
• pp.87-98
• /
• 2008

임베디드 시스템의 하드웨어 구성요소들에 대한 성능 고도화가 요구됨에 따라 이에 탑재될 소프트웨어의 개발 방법도 영향을 받고 있다. 특히 MPSoC와 같은 고가의 하드웨어 아키텍처에서는 효율적인 자원의 사용 및 성능의 향상을 위해 소프트웨어 측면에서의 고려가 필수적으로 요구된다. 따라서 본 연구에서는 임베디드 소프트웨어 개발과정에서 멀티프로세서 기반의 하드웨어 아키텍처를 고려하는 소프트웨어 태스크의 분할기법을 제시한다. 제시하는 기법은 UML 기반의 소프트웨어 모델을 CBCFG (Constraints-Based Control Flow Graph)로 변환하고, 이를 병렬성과 데이터 의존성을 고려한 소프트웨어 컴포넌트로 분할하는 기법이다. 이러한 기법은 임베디드 소프트웨어의 플랫폼 의존적인 모델 개발과 태스크 성능 예측 등을 위한 자료로 활용할 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• pp.492-495
• /
• 2003

최근들어 내장형 시스템의 설계에 있어서 고도의 집적화와 동작주파수 증가 및 이동형 시스템 수요 증가로 인해 전력 소모에 대한 중요성이 계속적으로 증가하고 있다. 이러한 제약을 해결하기 위해 태스크 형태의 소프트웨어가 나타나기 시작했다. 기존의 일반적인 내장형 시스템에서는 슈퍼루프(Super-loop) 형태의 소프트웨어가 기반을 이루고 있는데 이 구조내에 서는 저전력 모드 구현이 어렵다. 저전력 모드 진입 시점과 복귀 시점을 정하기가 어럽고 바꾸더라도 전체 시스템에 영향을 미치기 때문에 전체를 다 수정해주어야 한다. 하지만 태스크 형태의 내장형 소프트웨어에서는 각 태스크들이 독립적으로 돌아가고 태스크 내에서만 저전력 모드를 적용하게 되면 쉽게 저전력 모드 구현이 가능하다 이는 기능의 다양화와 복잡성에도 쉽게 대응할 수 있다는 일반적인 태스크 형태의 소프트웨어가 갖는 특징을 잘 나타내준다. 일반적으로 태스크 구조의 소프트웨어는 재사용성이 높아지고 실시간 운영체제를 사용함으로서 실시간 성능이 향상된다. 본 논문에서 보여주는 모델은 디바이스에 의존적이면서 빠른 응답시간을 요구하는 평면 디스플레이를 위한 소프트웨어이다. 태스크 기반의 소프트웨어에서 유휴 상태(idle state)를 활용하는 것을 기반으로 구현하였고, 이는 기존 슈퍼루프형태의 소프트웨어에 비하여 전력소모량이 줄어듬을 보여준다.

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

소프트웨어의 구조가 복합해짐에 따라 소프트웨어를 모델링하고 개발하는 과정을 지원하는 CASE 도구의 중요성이 급격하게 증가하고 있다. 자동차 분야 또한 기능이 복잡해짐에 따라 내부의 전자 장비를 제어하는 소프트웨어의 복잡성이 크게 증가하였고 이로 인해 객체지향적인 소프트웨어 모델링 도구의 필요성이 대두되었다. AUTOSAR는 자동차 소프트웨어 구조에 대한 표준을 정의하고 있다. 현재 유럽에서는 dSPACE, Vector 등의 업체에서 AUTOSAR 표준에 기반한 차량용 소프트웨어 모델링 도구의 프로토타입을 개발한 상태이다. 하지만 국내에서는 이러한 도구에 대한 연구가 아직 초기단계이다. 본 논문에서는 다이어그램 편집기 개발 프레임워크를 제공하는 이클립스 GMF를 이용하여 AUTOSAR 표준기반의 차량용 소프트웨어 모델링 도구를 개발한다.

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

최근 학교 교육 현장에서는 교수-학습의 효과 극대화를 위하여 교육정보화 사업이 추진되고 있다. 이를 위하여 교육인적자원부는 컴퓨터 기반 수업(CAI)을 지원하고 특히 학습자가 인지적 구조를 구성할 수 있는 학습 환경 조성을 위해 우수한 교육용 소프트웨어를 개발 보급하여 활용할 수 있도록 지원하고 있다. 그런데 학교 현장에서는 소프트웨어 구입에 따라 매년 그 보유수가 늘어나고 있으며, 이에 따른 효율적인 교육용 소프트웨어 관리의 필요성이 증가되고 있다. 따라서 본 논문에서는 교육용 소프트웨어를 교수 학습용 소프트웨어, 업무 지원용 소프트웨어, 시스템 관리 소프트웨어 3가지로 분류하여 등록하고 사용자별 사용 구분을 두어 보다 효과적으로 시스템을 사용할 수 있는 XML 기반 관리 시스템을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.376-378
• /
• 2002

재사용이 가능한 컴포넌트들을 사용하는 컴포넌트 기반 소프트웨어 개발 기술은 현재 소프트웨어 개발의 핵심 기술로써, 많은 소프트웨어들이 이 기법을 이용해 개발되고 있다. 컴포넌트 기반 스프트웨어를 보다 효율적으로 시험하기 위한 많은 노력이 있었으나, 아직까지 자동으로 시험을 쉽게 수행해 주는 도구는 별로 없으며 이미 개발된 도구들도 그 효용성이 미약하다. 본 논문에서는, 이전에 제안했던 컴포넌트 기반 소프트웨어 자동화 시험 도구인 CTM(Component Testing Manager)의 확장 내용으로써 XMI(XML Metadata Interchange) 형식으로 표현된 UML(Unified Modeling Language) 모델로부터의 시험 데이터 생성 및 수행기법에 대해 제시한다. 본 기법은 기존의 UML모델을 이용한 다른 시험기법과는 달리 표준화된 XML를 사용함으로써 XML모델링 도구와 독립적이고 분산환경에서 쉽게 사용할 수 있는 장점을 제공하여 보다 쉽게 컴포넌트 기 반 소프트웨어 의 시험을 가능하게 해 준다