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

항공 및 국방 산업 둥에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification : SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification : SDS)를 정형기법을 이용하여 명세하였다. 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정확하게 소프트웨어를 구현할 수 있는 방법을 제시하고자 한다.

• Electronics and Telecommunications Trends
• /
• v.15 no.6 s.66
• /
• pp.74-83
• /
• 2000

소프트웨어는 개발과정에서 빈번한 변경이 발생한다. 특히, 대형 시스템 개발에 있어서 소프트웨어의 변경요구는 다양하고 복잡하게 된다. 이러한 변경요구에 따른 소프트웨어의 품질관리 또한 중요한 이슈가 되며 변경요구는 개발조직과 연계하여 자연스럽게 제어되어야 한다. 효과적으로 형상관리를 완벽하게 처리하면서 최종 시스템 소프트웨어로 수용함으로써 적시에 배포할 수 있는 기법은 프로젝트 관리 측면에서도 매우 중요하다. 본 고에서는 개발중인 시스템의 소프트웨어의 변경요구를 개발조직의 관리 특성에 맞추어 시스템의 형상관리에 완벽을 가하고 요구사항에 대한 수용기간을 단축시키며 체계적으로 관리, 제어하는 기법과 이에 따른 품질관리 방안 등을 소개하고 이를 지원하는 S/W 종합 도구 및 운용사례 등을 밝힌다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.1567-1570
• /
• 2002

offline에서만 이루어지던 미디어 컨텐츠에 대한 online 의존도가 높아지고, 여러 가지 미디어들의 실 시간적인 서비스에 대한 사용자들의 요구가 커짐에 따라 서비스 제공에 따른 여러 가지 제약조건의 극복이 필요하다. 일반적인 데이터와 다른 특성을 가진 미디어들의 요구사항은 다양하다. 압축에 대한 요구사항은 전송 에러에 대해 많은 문제점을 노출한다. 압축 정보의 손실이나 변질은 많은 정보의 손실과 변질을 가져오게 되므로, 에러 제어에 대한 필요성이 요구된다. 기존에 제시된 많은 에러 제어 기법들은 기법들간에 장 단점을 지니고 있다. 이런 기법들의 장 단점을 대역폭이 높고 낮음과 같은 특정한 특성을 가진 네트웍 환경에 도입하는 것은 중요한 의미를 가진다. 따라서, 본 논문에서는 이러한 기존의 제시되어 있는 에러 제어에 관한 여러 가지 기법들의 비교와 유 무선 환경에서 각 기법들의 적합성에 대한 분석을 통해서 환경의 특성에 맞는 적절한 에러 제어기법의 선택을 보여준다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.168-169
• /
• 2021

최근 미디어 기반 분석 기술의 활성화에 따라 국제 표준 기구인 ISO/IEC는 미디어 관련 분석 및 제어 기술에 대한 표준화를 진행하고 있다. ISO/IEC SC29 WG7은 Internet of Media Thing (IoMT) 이라는 기술명으로 Internet of Thing (IoT) 기술을 이용하여 미디어 기반 분석 서비스의 제공을 위한 인터페이스 기술에 대한 표준화를 진행 중이며, 이는 IoMT를 통한 미디어 취득 기기 및 센서 기기, 미디어 분석 기기, 미디어 저장 및 표현 기기에 대한 인터페이스를 정의하고 있다. 기본적으로 이 표준은 IoT 기법을 기반으로 하고 있는 데, IoT 기법은 서비스 제공자 - 소비자의 peer to peer 서비스 관리 기법으로 다양한 기기간 연동을 제공하는 미디어 기기간의 서비스 구성의 적용을 위해서는 연계에 대한 고려가 추가로 필요하다. 본 논문에서는 상기와 같은 IoMT 기반의 미디어 서비스 구성에 있어 IoMT 기기간 연계를 보다 손쉽게 설정하고 구성할 수 있는 서비스 연동 기법에 대한 요구사항을 검토하고 해결 방안을 검토한다. 단일 기기에 대한 제어와 달리 다양한 기기간의 밀접한 연계를 통한 미디어 서비스에 대하여, 본 논문은 각 기기간 연결을 autonomous하게 수행할 수 있는 별도의 IoMT 기기를 제시하여 해당 기기간 연계 기법을 제시한다. 이 과정에서 별도의 IoMT 기기가 제공해야 할 요구사항 및 주요 기능에 대한 척도를 함께 제시한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.05a
• /
• pp.459-462
• /
• 2009

많은 SI프로젝트에서 유스케이스 모델링 기법을 사용하여 요구 분석을 수행하여 왔지만 모델링 기준과 가이드의 상이함으로 인해 프로젝트 현장에서 많은 문제점을 야기하고 있다. 본 논문에서는 애자일 방법론의 장점을 접목하여 애자일한 유스케이스 시나리오 작성법 및 사용자스토리를 개념을 차용한 두 단계 우선순위 부여를 통하여 요구 분석의 효율성과 생산성 제고방안을 제안한다.

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

인터넷의 발달과 멀티미디어 서비스에 대한 요구 확대는 분산 환경에서의 멀티미디어 서비스를 증대시키고 있다. 분산 환경에서의 멀티미디어 서비스를 지원하기 위해서는 각 시스템 사이에서 멀티미디어 데이터의 전송을 지원해 주는 멀티미디어 스트림에 대한 프로토콜이 필요하다. 이러한 멀티미디어 스트림 프로토콜은 첫째, 재생을 위해 요구되는 데이터를 적절히 공급하고, 둘째, 처리할 수 있는 속도 이상으로 데이터가 전송되는 것을 막아 데이터가 손실되는 것을 방지하기 위해서는, 시간을 적절히 고려하며 동작하여야 한다. 이처럼 복잡한 행위는 갖는 멀티미디어 스트림 프로토콜은 오류의 가능성이 기존의 프로그램보다 크기 때문에, 오류를 개발 초기에 인식, 수정하는 것이 중요하다. 본 연구에서는 정형적 명세 및 분석 도구인 SPIN을 멀티미디어 스트림 프로토콜의 개발에 적용, 프로토콜에 대한 명세 기술과 이에 대한 분석 및 검증을 지원하였다. 이러한 정형적 명세 및 분석 기법은 멀티미디어 스트림 프로토콜 개발 초기에 오류 인식을 가능케하여 요구되는 개발 노력을 감소시킬 수 있을 것이다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.451-454
• /
• 2010

침입탐지란 컴퓨터와 네트워크 자원에 대한 유해한 침입 행동을 식별하고 대응하는 과정이다. 점차적으로 시스템에 대한 침입의 유형들이 복잡해지고 전문적으로 이루어지면서 빠르고 정확한 대응을 할 수 있는 시스템이 요구되고 있다. 이에 대용량의 데이터를 분석하여 의미 있는 정보를 추출하는 데이터 마이닝 기법을 적용하여 지능적이고 자동화된 탐지 및 경보데이터 패턴 분석에 이용할 수 있다. 본 논문에서는 경보데이터 패턴 분석을 위해 시퀀스패턴기법을 적용한 경보데이터 마이닝 엔진을 구축한다. 구현된 경보데이터 마이닝 시스템은 기존의 시퀀스 패턴 알고리즘인 PrefixSpan 알고리즘을 확장 구현하여 경보데이터의 빈발 경보시퀀스 분석과 빈발 공격시퀀스 분석에 활용할 수 있다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.10 no.1
• /
• pp.9-17
• /
• 2006

The thrust measurement systems(TMS) with high accuracy are required in rockery, according to develop the high precise guided space vehicle. For obtaining high accuracy, the basic concepts and the necessary technology which have been acquired through many experiences of TMS are summarized, and the design methodology for practical use in ADD is presented. In this paper, the parameters against accuracy of TMS are discussed, and the improving methods are suggested. Through this application example, the design methodology of ADD is shown its superiority in TMS.

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.9
• /
• pp.393-398
• /
• 2013

This paper introduces a new collision attack on first-order masked AES. This attack is a known plaintext attack, while the existing collision attacks are a chosen plaintext attack. In addition, our method is more efficient than the second-order power analysis and requires about 1/27.5 power measurements by comparison with the last collision attack. Some experiment results of this paper support this fact. In this paper, we also introduce a simple countermeasure, which can protect against our attack.

• Review of KIISC
• /
• v.13 no.6
• /
• pp.55-66
• /
• 2003

본고에서는 개발자에게 단위, 통합 및 서비스 시험에 대한 시험과정 보증문서 작성 기법에 대한 참고자료를 제공하기 위하여, 국내에서 개발된 침입차단시스템과 침입탐지시스템 평가기준에 의한 시험과정 보증요구사항을 분석하여 소프트웨어 공학에 기반한 전통적인 구조적 방법론을 토대로 한 시험과정 보증문서 작성 경험을 기술하고자 한다. 따라서, 개발자는 사용자 요구사항에 의한 객관적이고 체계적인 시험과정을 이해하여 시스템 개발에서 발생할 수 있는 오류를 줄일 수 있으며 또한, 정확한 보안 기능명세 및 시험보증 설계$.$개발$.$구현을 통하여 제품의 안전성 및 신뢰성 향상에 기여할 것으로 기대된다.