• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.514-516
• /
• 1998

실제의 소프트웨어 환경에서는 소프트웨어에 내재된 결함을 제거하거나 소프트웨어의 기능을 향상시키기 위한 소프트웨어 업그레이드가 필요하다. 그러나 이러한 업그레이드 동안에는 흔히 이 소프트웨어의 기능이 정지되며 이는 연속운전이 요구되는 응용분야에 커다란 장애 요인이 된다. 본 논문은 이러한 문제를 해결하기 위한 방법으로서, 동작 중인 소프트웨어의 일부를 이 소프트웨어의 동작에 영향을 주지 않고 교체하기 위한 온라인 소프트웨어 교체 방법을 다룬다. 구체적으로 이 논문은 SUN Solaris 2.6 환경에서 프로시저 단위의 온라인 소프트웨어 교체를 위한 교체 환경과 교체 방법 그리고 교체 절차를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.370-372
• /
• 2004

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.298-300
• /
• 2003

분산 시스템 환경에서 하드웨어나 소프트웨어 자원의 가용성이나 신뢰성을 높이기 위한 노력으로 가용성이 높은 클러스터 시스템이나 고장 감내 소프트웨어 개발 환경들이 연구되어 왔다. 본 연구에서는 하드웨어의 신뢰성을 높이기 위해 서버 클러스터 시스템을 구축하였고, 이 클러스터 시스템에 기반한 고장 감내 소프트웨어 개발 환경을 구축하였다. 사용자는 고장 감내 소프트웨어 개발 환경을 이용하여 쉽게 고장 감내 소프트웨어를 작성할 수 있고, 원하는 소프트웨어 고장 감내 기법을 간단하게 기술할 수 있다. 특히, 소프트웨어 개발과 소프트웨어 고장 감내 기법의 적용을 논리적으로 분리시켜 소프트웨어 개발 과정을 단순화 시켰고, 이미 개발된 소프트웨어 모듈의 변경 없이 다양한 고장 감내 기법을 적용할 수 있게 하였다. 이러한 개발상의 논리적인 분리, 소프트웨어 모듈의 동적 노드 결정, 그리고 작업 스케쥴링 둥의 일을 처리하기 위해 실행 시간 제공 요소(Run-time supports)들이 노드와 네트웍 고장을 감내 하기 위해 개발된 미들웨어 계층 위에서 구현되었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1070-1073
• /
• 2013

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

• Electronics and Telecommunications Trends
• /
• v.18 no.5 s.83
• /
• pp.63-72
• /
• 2003

소프트웨어의 신뢰성을 정량적으로 평가하는 데 있어서 소프트웨어 개발 프로세스의 시험단계나 사용자의 운용단계에 처한 동적 환경상태에서 소프트웨어 고장발생기능 현상을 기술한 소프트웨어 신뢰도성장모델을 많이 제안하고 있다. 대다수의 모델이 발생된 소프트웨어 고장의 발생원인에 대한 완전한 수정을 요구하는 완전 디버깅 환경을 가정하고 있다. 그러나 실제 개발자가 디버깅 작업을 수행할 때 완전한 수정이 불가능하기 때문이다. 다시 말해서 여러 소프트웨어 개발자가 경험한 이러한 디버깅 작업을 행하는 경우에는 결함을 제거하는 데 한계가 있기 때문에 수정 작업시 새로운 결함이 삽입되는 경우가 많다. 즉, 결함 수정은 불완전 환경에 처한다. 본 논문에서는 결함 수정시 신규 결함의 삽입 가능성을 고려하고 불완전 디버깅 환경에 대한 소프트웨어 신뢰도 성장모델을 제안한다. 소프트웨어 동작 환경 하에서 발생된 소프트웨어 고장과 시험 전 소프트웨어 내의 고유 결함에 의한 고장과 동작중에 랜덤하게 삽입된 결함에 의해 발생되는 고장 등 2종류의 결함을 고려하여 비동차 포아송과정(NHPP)에 의한 소프트웨어 고장발생 현상을 기술한다. 또한 소프트웨어 신뢰성 평가에 유용한 정량적인 척도를 도출하고 실측 데이터를 이용하여 적용한 결과를 제시하고 기존의 모델과의 적합성을 비교, 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.508-510
• /
• 2004

유비쿼터스(Ubiquitous) 컴퓨팅이란 사용자가 다양한 형태의 컴퓨터를 원할 때마다 접속할 수 있는 컴퓨팅 환경을 말한다. 현재 유비쿼터스 컴퓨팅은 차세대 정보기술의 핵심으로, 다양한 분야에서 하드웨어와 소프트웨어에 대한 개발이 진행되고 있다. 본 연구에서는 유비쿼터스 컴퓨팅 환경에서 사용할 수 있는 소프트웨어를 개발하여 실제로 적용시킴으로써. 유비쿼터스 컴퓨팅에서 사용될 수 있는 소프트웨어 모델을 제시하였다. 실험은 사무실 환경에서 실시하였고, 사용자는 개인의 정보를 담고 있는 RFID(Radio Frequency Identification)Tag률 사용함으로써 사용자 등록과 인증을 받을 수 있다. 제시든 소프트웨어 모델은 사용자가 다른 컴퓨팅 환경으로 이동시에 RFID Tag와 RFID Reader를 이용하여 인증하고, 이전에 사용하였던 컴퓨터의 작업환경을 자동으로 현재의 컴퓨터로 전송하는 시스템이다.

• Proceedings of the KAIS Fall Conference
• /
• 2007.11a
• /
• pp.256-258
• /
• 2007

내장 소프트웨어는 실제 시스템의 자원과 원격지의 시스템의 환경에 민감하므로 실제 시스템과 동일한 환경에서 디버깅해야 한다. 그러나 대부분의 내장 소프트웨어를 탑재하는 실제 시스템은 시스템 상태를 조사하거나 제어하는 것이 제한되어 있는 소프트웨어를 디버깅하는 것은 매우 어렵다. 본 논문에서는 원격지의 USB와 실제 시스템의 JTAG을 기반으로 내장 소프트웨어를 디버깅할 수 있는 어뎁터 제안한다. 본 논문은 실제 시스템내의 내장 소프트웨어를 디버깅할 수 있는 경제적인 인터페이싱 환경을 제공한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.1063-1066
• /
• 2009

최근 유비쿼터스 컴퓨팅 환경의 실현 가능성이 높아지면서 동적으로 변화하는 외부 환경에서의 소프트웨어 역할이 중요해지고 있다. 유비쿼터스 환경에서는 소프트웨어가 외부환경의 변화를 감지하고 이에 대응하는 적절한 서비스를 제공하기 위해서 지속적으로 외부환경에 대한 정보를 이용하게 된다. 이러한 외부환경에 대한 정보, 즉 상황정보를 이용하는 상황인식 애플리케이션을 개발하기 위해서는 소프트웨어의 기능을 분석하고 설계하는 것뿐만 아니라 소프트웨어가 동작하는 외부환경의 변화를 분석하고 설계하는 것이 병행되어야 한다. 기존의 소프트웨어 설계 방법들은 소프트웨어가 동작하는 외부환경의 변화를 분석하고 이를 상황정보로서 획득하기 위한 방법에 대한 고려가 부족하였다. 본 논문에서는 상황인식 애플리케이션을 위해 획득되어야 하는 상황정보를 분석하고 모델링하는 방법을 제시한다. 또한 이를 이용하여 상황인식 애플리케이션이 수행해야 하는 상황규칙을 정의하는 방법을 제시한다. 본 논문에서 제시한 방법을 적용한 상황인식 강의실 관리시스템에 대한 개발 사례연구를 소개한다.

• Journal of Software Engineering Society
• /
• v.29 no.1
• /
• pp.1-6
• /
• 2020

Recently, software has taken up an increasing share of the weapons system. The software development environment is also becoming very diverse. In the field of weapons software, software technical documents, source codes, and execution files are standardized as defense standards material. Through defense standards, the software file lists and development environments for creating software execution files are required to be documented. However, additional efforts to rebuild the software development environment are needed to recreate the software execution file based on defense standards material after the end of R&D. Therefore, in this study, we propose an improvement method for the quality of software standards material using virtualization technology. This is expected to reduce efforts to rebuild the software development environment and solve problems caused by discontinuation of the development environment.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.359-367
• /
• 1997

소프트웨어 개발 수명주기 동안의 소프트웨어 테스팅 단계에서 Jelinski와 Moranda의 소프트웨어 고장 데이트 해석 모형이, 병행처리 소프트웨어 환경에서 나타날 수 있는 여러 개의 소프트웨어 오류가 각 테스팅 스테이지에서 다중적으로 발생하여 하나의 소 프트웨어 고장의 원인이 되는 소프트웨어 테스팅 환경에서는 적절하지 않기 때문에, 다중 소프트웨어 오류가 하나의 고장을 유발하는 테스팅 데이터 해석을 위한 베이지안 소프트웨 어 신뢰도 성장 모형을 제안하면서 몇 가지 소프트웨어 신뢰성 측도들에 관해서 비정도 사 전정보를 고려한 베이즈 추정량을 구한다. 그리고 제안된 베이지안 소프트웨어 신뢰도 측도 들의 베이즈 추정량의 성능 평가를 위해서 몬테카를로 시뮬레이션을 수행하고 MSE와 Bias 의 관점에서 성능을 비교한다.