• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.157-164
• /
• 2010

우수하고 신뢰성 있는 통신 시스템의 개발을 위해 시스템에 대한 기능 검증과 성능 평가가 모두 필수적인데 반해 이들은 주로 형식 언어 도구를 이용한 기능 모델링과 전문 네트워크 성능 평가 도구에 의한 성능 모델링을 통해 개별적으로 수행되어 왔다. 그러나 한 시스템을 별도로 중복하여 모델링 하는 것은 비용의 증가와 모델 간 불일치를 가져오게 된다. 본 논문은 이 문제를 해결하기 위해 SDL-OPNET 코-시뮬레이션을 통해 SDL로 설계된 통신 프로토콜의 성능을 평가하는 통합 설계 기법을 제안한다. 제안 기법은 Tau의 환경함수와 OPNET의 외부시스템 모듈을 이용하는 코-시뮬레이션 시스템의 설계 방법을 제시한다. InRes 프로토콜이 예로 사용되어 제안 기법의 적용가능성과 효용성을 보여준다.

• 한국산업정보학회논문지
• /
• 제14권5호
• /
• pp.11-18
• /
• 2009

자바스크립트 기반의 Ajax는 ActiveX 기술의 대안으로 주목받고 있는데, 대부분의 웹 브라우저에서 기본으로 지원되고, 비동기 상호작용을 통한 빠른 속도와 뛰어난 트래픽 절감 효과, 그리고 화려한 인터페이스 등의 장점들로 인해, 현재 국내 대형 포털 사이트들에서도 이 기술을 접목시켜 기존의 서비스를 재오픈 하는 추세이기도 하다. 본 연구에서는 이러한 Ajax 기술과 국내외 주요 사이트에서 제공하는 오픈 API들을 이용하여 다국어 메타검색 시스템을 모델링하고 구현하였다. 사용자로부터 입력받은 한국어 질의어를 구글 번역 API를 이용하여 저 세계 54개국 언어 중 하나의 언어로 번역한 후, 대표적인 소셜 웹 사이트(Flickr, Youtube, Daum, Naver 등)의 정보를 통합 검색한다. 검색된 결과는 Ajax 기술을 통해 화면의 일부분만 동적 로딩하여 빠른 속도로 출력해주는 동시에, 불필요한 정보의 중복 전송을 방지하여 서버의 트래픽과 패킷당 통신 요금을 절감하는 효과를 가져왔다.

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

침입 탐지 기법에 있어서 finite automata 를 통해 정상 행위를 프로파일링 하는 연구들이 많이 진행되어 왔으나, 자동으로 간결한 형태의 오토마타를 생성하는 것이 매우 어려웠다. 이 논문에서는 많은 침입 탐지 기법의 데이터 소스로 사용되고 있는 시스템 콜을 이용하여 자동으로 finite automata 를 생성하고, 여기에 언어 압축 알고리즘을 이용하여 오토마타를 압축하고 일반화 시킴으로써 다양한 프로세스의 행위들을 프로파일링 하도록 하였다. 제안된 알고리즘을 통해 모델링한 후 정상 행위와 비정상 행위를 가지고 실험을 한 결과 이들 사이에는 많은 수치적인 차이가 있음을 발견하였고, 이 결과를 바탕으로 침입을 탐지하는 것도 충분히 가능함을 알 수 있었다.

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

본 논문에서는 사용자 주도형의 웹 기반 원서접수 어플리케이션을 객체 지향 언어인 UML을 이용하여 설계 및 구현하였다. 즉, 개발 단계별 모델링 패턴을 정의하여 소프트웨어의 재사용 및 유지보수의 효율성을 감안하여 설계하였으며, 기존의 원서접수 어플리케이션과는 전혀 다른 사용자가 전적으로 참여하여 등록하고 접수하는 방식의 소프트웨어 응용기법을 제안하고 있다.

• 전산구조공학
• /
• 제9권2호
• /
• pp.163-171
• /
• 1996

구조물 모니터링 시스템의 전산환경을 구성하기 위해 필요한 지식 및 정보를 파악하고 이를 지식기반화하는 방법을 제시하였다. 전산환경의 구축을 위한 정보로는 센서 및 하드웨어, 신호처리, 그리고 손상발견/평가를 위한 지식등이 필요한데, 이들은 모두 다른 형태의 지식이므로, -즉 수학연산, 서술적 지식, 수치모델등- 어느 특정의 모델링 기법 단독으로는 이들을 효과적으로 수용하기가 매우 어렵다. 이를 해결하기 위하여 객체지향적 모델링기법과 논리언어를 혼합사용하는 방법 (Hybrid Modeling Paradigm)이 제시되었고, 이의 타당성 및 효율성 검증을 위해 모델구조물을 이용한 예제를 수행하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.803-808
• /
• 2000

OMG 에 의해 표준화되어 객체지향 방법론으로 널리 쓰이고 있는 UML 을 이용하여 보안 기술중의 하나인 일회용 패스워드(One-Time Password) 기술을 모델링한다. UML 은 전체적인 시스템을 이해하는데 도움을 준다. 그러나 그래픽컬한 UML 모델링 기술만으로는 불가능한 일관성 및 refinement 체크를 위해 각 다이어그램 특성에 맞게 정형명세나 정형검증을 도구를 적용하는 것이 필요하다. 클래스 다이어그램의 클래스와 정형명세 언어인 Z 스키마(schema)의 유사성을 이용하여 모델링의 정확성을 확인하는데 Z를 이용할 수 있다.

• 한국산학기술학회논문지
• /
• 제17권8호
• /
• pp.77-83
• /
• 2016

오늘날 다양한 산업분야에서는 시스템 안전을 확보하기 위한 표준들이 제정되었다. 해당 표준들에서는 시스템 개발 초기 단계인 개념설계 단계부터 위험원 분석 활동을 수행하고, 분석 결과를 안전을 확보하기 위한 시스템 설계 활동에 반영할 것을 제시하고 있다. 따라서 운영 목표에 부응하는 시스템의 설계와 시스템에 내재하는 위험원 분석은 밀접한 관계가 있다. 그럼에도 불구하고 기존에는 설계 결과의 검증에서 시스템 개념설계와 위험원 분석 결과를 분리하여 수행하였다. 본 논문에서는 분리 수행에 따른 문제를 개선하기 위하여 시스템 고장 모델과 시스템 아키텍처의 통합 모델에 대한 검증 방법을 연구하였다. 구체적으로, 먼저 대상시스템의 아키텍처를 시스템 모델링 언어인 SysML로 모델링 하였다. 그리고 나서 시스템 아키텍처 정보를 기반으로 위험원 분석을 수행하고, 이를 토대로 SysML 고장 모델을 생성하였다. 그 후에 시스템 고장 모델을 시스템 아키텍처에 통합하고, 이를 기반으로 고장에 대비한 안전 설계를 추가하였다. 최종적으로 시스템 운영 중 일부 고장에도 안전 설계 결과가 안전 목표를 만족하는지 검증하기 위한 시뮬레이션을 수행하였다.

• 융합신호처리학회논문지
• /
• 제11권2호
• /
• pp.177-182
• /
• 2010

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 하드웨어/소프트웨어 분할, 하드웨어/소프트웨어 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 시스템의 하드웨어 구성요소를 개발하는 과정에서 이전까지는 디자인단계가 많은 시간 및 노력을 요구하는 단계였지만, 현재에는 설계한 디자인의 기능적 검증단계가 중요 요소로 간주되고 있다. 본 논문에서는 시스템수준 설계언어인 SystemC 기반의 테스트벤치 구조를 이용하여 Verilog HDL로 설계된 하드웨어 구성요소의 올바른 동작여부를 판별하는 기능검증시스템을 설계하였다. 설계된 기능검증시스템에서 SystemC 모듈의 멤버 변수와 Verilog 모듈의 와이어 및 레지스터 변수간의 데이터 전달은 본 논문에서 정의되는 SystemC 사용자 정의 통신채널을 통하여 이루어진다. 제안된 기능검증시스템을 UART에 적용하여 올바른 동작여부를 판별하였다. 본 논문의 기능검증시스템 설계에 사용된 SystemC는 C++기반의 하드웨어 모델링용 클래스 라이브러리를 제공하므로 RT 수준보다 높은 추상화수준에서 소프트웨어와 하드웨어 또는 이 둘을 결합한 시스템수준의 모델링을 단일 언어와 환경에서 설계할 수 있는 이점이 있다. 또한 기능검증시스템 설계에 작성된 SystemC 모듈 코드들은 부분적인 코드 수정 후 다른 하드웨어 구성요소의 기능을 검증하는데 재사용할 수 있는 이점이 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1993년도 제3회 정기총회 및 추계학술발표회
• /
• pp.12-13
• /
• 1993

컴퓨터를 이용한 모의 실험 방법은 과학 및 공학 분야뿐만 아니라 경제,사회 현상등에도 널리 적용될 수 있는 유용한 도구이다. 그 중에서도 연속체계 모의 실험은 미분 방정식으로 모델링되는 시스템을 대상으로 하는 경우가 맡으며, 이를 위하여 그동안 맡은 연속체계 모의 실험 언어들이 개발되었다. 그러나 그들은 대부분 사용하기가 복잡하여 사용자 편의성을 고려한 모의 실험 언어에 대한 필요성이 증대되었다. 본 연구에서는 사용자에개 최대한 편의성을 제공하는 연속체계 모의 실험 언어인 PCSL (Postech Continuous-system Simulation language)을 개발하였다. PCSL 프로그램은 프로그램 헤더, 상수 정의부, 함수 정의부, 매개 변수 정의부, 초기화 선언부, 모델 정의부, 종료 조건 선언부, 출력 선언부 등으로 나누어 진다. 그리고 출력으로는 계산 결과를 파일에 저장, 흑은 수치로 인쇄하거나 그래프로 그려서 보여준다. PCSL 처리 시스템은 모델 정의부에서 주어진 미분방정식을 해석해서 digital-analog simulation 기법으로 풀 수 있는 형태로 변환하는 번역기와 이렇게 변환된 형태의 미분방정식과 여러 가지 조건들을 고려해서 C 프로그램을 생성해주는 생성기, 생성된 C 프로그램을 실행시켜서 그 결과를 얻는 실행기,그리고 사용자에게 편리한 입출력 방법을 제공하는 사용자 인터페이스로 구성된다. 번역기에서는 모델로 주어진 미분방정식의 종류를 결정한 후에 이들을 digital-analog simulation 기법으로 풀 수 있는 형태로 변환한다. 생성기에서는 번역기의 결과를 받고,프로그램 상의 여러 가지 조건들을 고려해서 C 프로그램을 생성한다. 여기서 생성된 C프로그램은 미분방정식을 포함하는 ‘f.c'와 조건들을 포함하는'main.h', 그리고 digital-analog simulation 기법을 이용하는 모의 실험 알고리즘을 구현한 'main.c'로 구성된다. 그리고 실행기에서는 생성기에서 생성한 C 프로그램을 실행시켜서 결과를 얻는다. 여기에서 필요로 하는 PCSL 프로그램의 내응은 종료 조건 선언부, 출력 선언부 등이다. 마지막으로 사용자 인터페이스는 사용자가 간편하게 PCSL 프로그램을 입력할 수 있게 도와주며 모의 실험 결과를 쉽게 화면상에 보여주기 위한 것이다. 이 때에 사용자가 원하면 계산 결과를 그래프로 그려서 보여주는 기능과 화면에 보이는 결과를 프린터로 출력할 수 있는 기능을 제공한다. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.

• 한국시뮬레이션학회논문지
• /
• 제29권1호
• /
• pp.31-38
• /
• 2020

임무신뢰도란 제품개발 시 목표가 되었던 요구조건하에서 임무를 완수할 확률을 나타내며, 전투체계의 경우 상용 장비와 달리 임무신뢰도가 승패를 좌우할 중요한 요소이다. 기존의 국내 전투체계의 임무신뢰도는 임무수행에 연관된 장비의 물리적 연결만을 고려해 산출되었으나, 장비들이 점차 고도화되어지고 복잡해져 물리적 연결만으로 임무연관성 판단이 불가하다. 이에 따라 본 논문에서는 물리적 연결뿐만 아니라 기능적 연결을 고려한 방법으로 시스템 설계모델링 언어인 SysML을 활용하여 정확도가 향상된 임무신뢰도를 산출하였다. 본 연구결과를 바탕으로 향후 개발되는 전투체계 임무신뢰도 검증자료로 활용 되기를 기대한다.