• Annual Conference of KIPS
• /
• 2020.11a
• /
• pp.374-375
• /
• 2020

소프트웨어 보안 취약점을 찾는 기술로서 퍼징(Fuzzing)이 있다. 기존 퍼징 기술은 요구-응답형 프로토콜을 사용하는 소프트웨어를 대상으로 하기 때문에 응답 메시기가 없는 단방향 프로토콜에서는 퍼징을 수행할 수 없는 문제가 있다. 본 논문에서는 단방향 프로토콜 소프트웨어에서 퍼징을 수행하는데 필요한 퍼징 상태 판다 기능을 정의하고 설계한다.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.313-314
• /
• 2016

최근 컴퓨터, 휴대폰 등 전자기기만 인터넷 연결이 가능하던 시대를 지나 냉장고, 에어컨, 현관문 등 모든 종류의 사물들 간 사람의 개입이 필요 없는 초연결사회로 발전하고 있다. 이러한 모든 사물들 간 인터넷기반으로 상호 연결되어있는 IoT(Internet of Things)환경이 급격히 성장 하고 있는 가운데 더불어 OSIoT(Open Source IoT)의 수요도 함께 급성장하고 있다. OSIoT의 소프트웨어는 보안에 대한 전문적인 개발자의 체계적인 설계에 의해 개발되어야만 하트블리드(HeartBleed), 쉘쇼크(ShellShock)와 같은 다양한 보안취약점에 안전하다. 하지만 OSIoT소프트웨어는 누구나 쉽게 접근 설계가 가능하기 때문에 일반적으로 배포되고 있는 OSIoT의 소프트웨어 검증이 필요하다. 따라서 본 논문에서는 다른 소프트웨어 점검 도구들과 연계 가능한 정적분석 도구인 취약점 별 익스플로잇 적용 모듈 설계를 제안한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.39 no.10
• /
• pp.11-20
• /
• 2002

This paper proposes a hardware/software codesign of the MLSE equalizer for GSM.GPRS systems. We analyze algorithms of the MLSE equalizer which consists of a channel estimator using the correlation method and the Viterbi processor. We estimate the computational complexity requirement based on the simulation of TI TMS320C5x DSP. We also estimate the gate count from the results of logic synthesis using the samsung 0.5㎛ standard cell library (STD80). Based on the results of the complexity estimation and gate count, we propose the efficient software/hardware codesign of the MLSE equalizer based on the results of the complexity estimation and gate count.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.8
• /
• pp.1970-1976
• /
• 2009

It is more emphasized on the software architecture recently, as the scale of a software becomes huge and the need of the software management becomes more dynamic. Software architecture is a representation of structures of software framework just like the blueprint of building architecture. In order to describe software components and their relationships accurately and entirely, software architecture is documented in some different views, by using of modeling tools. UML(Unified Modeling Language) is a software modeling tool recently used for documentation of software and as well as software architecture. Nevertheless, what we have to agree with is that UML is not easy to use and its standard changed continuously. And also the documentation with UML is found some burden because of its difficulties in learning and using. This inconvenience enforces us to purchase and use commercial tool for UML. The study introduces the architecture views refined from 4+1 Views for architecture design and shows how to represent architecture views for software architecture. Especially, we simplifies UML diagrams for the purpose of focusing on architecture views and facile manipulation. At the end, we add the evaluation on the refined architecture views as well as refined UML diagram.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.1121-1124
• /
• 2005

소프트웨어 스트리밍[1]은 프로그램 설치 및 실행을 위하여 서버로부터 데이터 전송이 진행중인 동안에도 PC, PDA, 휴대용 개인 컴퓨터, 휴대 전화 등과 같은 데스크 탑 또는 이동 연산장치 상에서 미설치 소프트웨어의 실행이 즉각적으로 이루어지도록 하는 기능이다. 즉, 소프트웨어 스트리밍 기술을 사용하면 사용자가 다운로드, 압축해제, 인스톨과 시스템 재구성이라는 일련의 과정이 완료될 때까지 기다릴 필요 없이 최소한의 다운로드 후에 해당 소프트웨어가 곧바로 실행될 수 있도록 해준다. 응용프로그램을 실행하는데 필요한 첫번째 실행 블록이 메모리에 적재되고 기본적인 환경설정을 마치자마자 나머지 블록들이 다운로드되고 설치되기도 전에 실행될 수 있기 때문에 스트리밍 시스템은 응용 프로그램의 실행준비 시간을 대폭 줄일 수 있게 해준다. 게다가, 응용프로그램 실행시 실제로 사용되지 않는 대부분의 블록들은 서버로부터 다운로드 받지 않아도 된다. 그 결과, 메모리와 대역폭 같은 리소스의 활용이 절약된다. 이러한 스트리밍 시스템을 사용하면 사용자는 다양한 공개 또는 상업용 응용프로그램을 광범위하게 지원하는 사용자 투명성을 가진 가상 소프트웨어 컴퓨팅 환경을 만들 수 있다. 본 논문에서는 리눅스 환경에서 설계 구현된 Software On-Demand(SOD) 스트리밍 시스템을 소개하고, SOD 스트리밍 시스템의 성능측정을 위한 소프트웨어를 설계한다.

• Journal of KIISE
• /
• v.42 no.3
• /
• pp.341-360
• /
• 2015

While architectural patterns provide software development solutions by providing schemas for structural organizations of software systems based on empirical knowledge, Jackson's problem frames provide a method of analyzing software problems. Problem frames are useful to understanding the software development problem, by putting emphasis on the problem domain, rather than on the solution space. Research exists that relates problem frames and software architecture, but most of this research uses problem frames only to understand given problems. Moreover, none of the existing research derives architectural patterns by considering both problem frames and quality attributes. In this paper, we propose a software architecture design method for pattern-based architecture design, by matching problem frames and architectural patterns. To that end, our approach first develops the problem model based on the problem frames approach, and then uses it to match with candidate architectural patterns, from the perspectives of both functionality, and quality attributes. Functional matching uses the problem frame diagram to match the problem model of an architectural pattern. We conduct a case study to show that our approach can systematically decide the right architectural patterns, and provide a basis for fine-grained software architecture design.

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

다목적실용위성 2호에 탑재 되어 있는 탑재소프트웨어는 위성의 자세, 전력, 열 제어 및 지상 명령 수신, 측정 데이터 수집 등 여러 개의 소프트웨어 모듈로 구성되어 있으며, 각 소프트웨어 모듈은 실시간 운용체제인 VRTX에 의해서 제어된다. 다목적실용위성 2호에서 사용하는 탑재소프트웨어는 일반적인 소프트웨어와 달리 고도의 신뢰성과 안정성을 보장해야 하며 지상과의 통신이 없는 상태에서도 위성을 정상적으로 운용할 수 있어야 하며, 위성 시스템의 장애가 발생시 위성을 안전 모드로 전환 할 수 있어야한다. 본 논문에서는 다중프로세서 구조를 갖는 다목적실용위성 2호의 탑재소프트웨어 초기화 및 태스크를 관리하며 위성의 Health 관리를 담당하는 Executive CSC(Computer Software Component)의 설계와 구현에 대하여 설명한다.

• Journal of the KSME
• /
• v.50 no.4
• /
• pp.36-41
• /
• 2010

이 글에서는 정밀유도포탄의 국내외 개발 현황과 특징에 대하여 분석하고, 정밀유도포탄을 개발하기 위해 소프트웨어 관점에서의 주요 설계 요소와 설계 방법에 대하여 기술하였다. 소프트웨어적으로 해결해야 되는 문제로 초기자세 예측과 바람 예측을 제기하였으며, 칼만필터를 활용하여 각 알고리즘을 설계하는 방안에 대하여 제시하고 있다. 뿐만 아니라 정밀한 결과를 위하여 GPS/INS 통합 알고리즘과 유도명령을 구성하는 방안에 대하여 기술하였다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.2269_2270
• /
• 2009

본 논문에서는 비주얼베이직을 이용하여 영구자석 전기기기의 제량을 자동으로 설계를 할 수 있는 소프트웨어를 개발하는데 필요한 이론을 제시하였다. 설계에 필요한 기본적인 기기의 용량과 정격전압, 회전속도 등의 값만 입력하여 전동기의 제량을 계산 할 수 있는 프로그램을 개발하였다.