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

위성 비행 소프트웨어의 개발 과정에는 소프트웨어의 신뢰성을 향상하기 위한 다양한 검증 활동이 이루어진다. 이러한 검증 활동에는 효율적으로 설계된 검증 환경이 필수적이다. 위성 비행 소프트웨어 개발 전반에 검증 환경을 효과적으로 적용하기 위해서는 사용 가능한 검증 환경이 보다 빠르게 구현되어야 한다. 검증 환경은 개념적으로 궤도 상의 위성과 통신하는 지상 시스템의 역할을 기본으로 하고 있으므로 Command 송신과 Telemetry 수신을 위성 비행소프트웨어와의 상호 작용으로 정의할 수 있다. 따라서 위성 비행소프트웨어의 동작을 Command와 Telemetry 관점에서 모델링하고 이를 모사하는 시스템을 이용함으로써 위성 개발 초기부터 위성 비행 소프트웨어 검증 환경 구현에 사용할 수 있고, 또한 위성 개발 과정에서 발생하는 다양한 변경 사항을 보다 효과적으로 반영할 수 있다. 본 논문에서는 위성 비행 소프트웨어의 검증 환경 구현을 위한 Command Telemetry Simulator의 설계 및 그 구현에 대하여 소개한다.

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

본 논문은 전자제어 시스템들의 소프트웨어의 설계 및 구현 과정에서 나타날 수 있는 의사 전달의 애매모호함을 줄여 요구사항 명세와 구현 시스템 사이의 불일치를 없애기 위한 실시간 제어 소프트웨어의 정형 명세 기법을 제안한다. 실시간 제어 시스템 이론은 미적분학에 바탕을 두고 있는 반면, 실제 동작은 대다수 임베디드 프로세서에 의해 동작함에 따라 제어기의 설계 시 고안된 연속적인 미분 방정식의 이산화 과정을 거쳐 소프트웨어로서 구현이 된다. 이 때, 시스템 설계 엔지니어와 소프트웨어 구현 엔지니어 사이의 이해도의 불일치와 구현 엔지니어의 시스템 이론의 이해 부재로 시스템에 심각한 오류를 야기할 수 있다. 이에 본 논문에서는 이러한 실시간 제어 시스템의 기능 및 동작에 대한 그래픽 기반 정형적 명세 기법을 제안하여 요구사항 명세 과정에서 구현 방식을 구체화하는 방향을 제시한다.

• 한국산학기술학회논문지
• /
• 제7권5호
• /
• pp.875-878
• /
• 2006

본 논문은 지역적으로 산재한 대규모의 인터넷 사용자에게 안정적인 소프트웨어 스트리밍 서비스를 지원할 수 있는 대용량 소프트웨어 스트리밍 서버 플랫폼을 설계한 후 구현하고, 가상 클라이언트 트래픽 생성기를 통하여 구현된 서버에 부하를 가했을 때 서버가 안정적으로 동작함을 보여줌으로서 대용량 소프트웨어 스트리밍 서버의 설계 및 구현의 안정성을 입증하고자 한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 추계학술발표논문집
• /
• pp.711-715
• /
• 2002

소프트웨어 위기 극복으로부터 시작한 소프트웨어 공학이 최근 가장 경쟁력 있는 소프트웨어 개발 기술로 지목하고 있는 컴포넌트 기반 개발(CBD; Component Based Development) 기술은 높은 생산성과 고품질의 소프트웨어의 개발을 가능하게 되었다. 소프트웨어 Component를 조립해 새로운 Application을 만들 수가 있어 개발기간을 단축할 수 있으며 기존의 Component를 재사용할 수 있어 생산성과 경제성을 높일 수 있다. 본 논문에서는 특정물품의 주문 관리시스템을 대상으로 하여 컴포넌트기법을 활용 분석, 설계, 구현을 하였다. 분석과 설계는 UML을 활용하였으며, 구현은 EJB를 이용하여 Component를 생성하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1405-1408
• /
• 2000

소프트웨어의 사용자층이 확대되면서 소프트웨어는 갈수록 많은 기능을 가진 복잡한 시스템이 되고 있다. 사용자의 요구 사항에 부응할 수 있도록 소프트웨어가 대형화되고 복잡해졌으며 이로 인해 품질의 중요성이 더욱 높아지게 되었다. 그러나 다수의 소프트웨어들이 품질관리의 미흡으로 인해 발견되지 못한 오류들을 지닌 채 상품화되고 있는 것이 현실이다. 소프트웨어의 오류를 최소화하기 위해 일반적으로 소프트웨어에 대한 시험 사례를 통해 검증하게 되며 구현 이후, 시험 단계에서 이루어지는 경우가 대부분이다. 그러나 소프트웨어의 오류는 생명주기 전단계에 걸쳐 발생될 수 있으므로 생명주기 전단계에 걸친 적절한 시험을 통해 문제점을 점검하는 것이 고품질의 소프트웨어를 개발하는 최선의 방법이 될 수 있을 것이다. 본 연구에서는 생명주기 단계 중 소프트웨어 구현 단계의 테스트를 위한 시험 측정 항목을 개발하였다.

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

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

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

최근에는 자동차 전장용 소프트웨어 결함으로 인한 피해로 자동차 리콜 사태가 일어나는 것을 종종 볼 수 있다. 소프트웨어 검사와 TMMi 프로세스를 전장용 소프트웨어에 이용한다면 소프트웨어 결함을 줄이며 사고 발생률 역시 감소될 수 있다. 전장용 소프트웨어에 이를 적용해 볼 때, 검사 방법에 적합한 방향으로 검사 프로세스를 개선할 수 있으며, 고품질 소프트웨어 또한 구현할 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
• /
• pp.400-402
• /
• 2004

정보 가전 분야에 있어서 급속한 기술 발전으로 인해 하루가 다르게 새로운 기능이 추가됨에 따라 임베디드 시스템 소프트웨어의 크기 및 복잡도 또한 함께 증가하고 있고 이를 개발하고 유지보수 하는데 있어서도 막대한 비용과 노력이 요구된다. 이를 해결하기 위한 방안으로 소프트웨어의 재사용성을 높이기 위한 노력이 이어지고 있다. 본 논문에서는 프로세스 방식 기반의 OS를 적용한 소프트웨어를 스레드 방식의 OS 기반의 소프트웨어로 전환하여 임베디드 시스템을 구현하였으며 소프트웨어 방법론으로는 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS(Design Approach to Real- Time Systems) 방법론을 적용하여 시스템을 구현하였다. 이 구현된 시스템에서 재사용성을 측정하여 표로 제시하며 그 측정 결과를 분석하였다. 그리고 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS 방법론을 적응하여 코드만 재사용이 아니라 설계방법도 재사용이 가능함을 CE 제품에 보이고자 한다.

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

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

• 전자공학회논문지CI
• /
• 제40권5호
• /
• pp.306-316
• /
• 2003

본 논문에서는 소프트웨어 PLC를 구현하는 방안을 제시하였다. 하드웨어는 표준적인 산업용 PC와 입출력 보드들로 구성된다. 운영체제로는 수십 마이크로초의 정밀한 단위로 태스크들의 스케줄링이 가능한 실시간 리눅스를 사용하였다. 소프트웨어 PLC를 위해 개발한 실시간 태스크들은 실시간 리눅스의 커널 모드에서 실행되며, 사용 목적에 따라 작성된 PLC 프로그램을 해석하고 실행하는 작업을 일정한 주기로 반복한다. 또한 PLC 프로그램을 편리하게 작성할 수 있도록 자체 프로그램 문법을 제안하고 이를 위한 컴파일러도 구현하였다. 이렇게 구현된 PLC는 가격 대비 성능이 우수하며 소규모의 응용분야들에 유용하게 활용할 수 있다.