• Information and Communications Magazine
• /
• v.29 no.3
• /
• pp.58-67
• /
• 2012

미래인터넷 연구 아이디어를 검증하기 위한 테스트베드는 연구자들이 창의적인 네트워킹 개념들을 실험적으로 실증할 수 있도록 연결용 네트워크와 이에 연동된 장비들, 그리고 이를 지원하는 각종 실험용 소프트웨어 일체를 지칭하는 일종의 가상적인 실험실이어야 한다. 본 논문에서는 미래인터넷 테스트베드에서 수행될 실험과 이를 검증하기 위해 사용될 실험적인 설비 전반에 걸친 이해를 다음과 같이 돕고자 한다. 먼저 미래인터넷 테스트베드에서 사용하는 자원들에 대한 요구사항과 안정적으로 실험자원을 공급하기 위한 과정을 포함하여 슬라이스 기반으로 실험자원을 관리하는 이슈들을 설명한다. 이어서 실험자가 서비스 합성 기반 실험을 진행하는 전체적인 절차를 설명하고, 효율/확장 지향으로 테스트베드를 구축하고 운영하는 방식을 선택하는 수직적, 수평적인 접근 방식들도 비교한다. 마지막으로 FIRST@PC 사례를 통해 컴퓨팅/네트워킹을 균형 있게 다루는 새로운 서비스 지향 테스트베드 구축 노력을 설명한다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2003.04a
• /
• pp.300-304
• /
• 2003

기상위성은 그 특성상 다양한 Imager, Sounder, 그리고 여러 환경 테스트용 장비를 지니게 되며 일정한 시간동안 지구에 그 정보를 전송한다. 본 논문에서 제안된 수신 시스템은 현재 운영중인 아리랑위성 1호의 임무계획에 필요한 기상정보를 직접 획득하여 운영의 효율성을 높일 필요성에 의해서 GMS-5의 S-VISSR data 뿐만 아니라 2003년 4월 이후에 서비스를 할 것으로 예정된 GOES-9위성의 GVAR data도 역시 수신 및 처리를 할 수 있도록 설계되었다. Link budget 설계를 수행하여 최악의 경우에도 영상을 복원할 수 있는 통신링크가 제공되도록 설계하였고, 시스템 구성 모듈을 가능한 한 상용제품으로 사용하였다. 설치된 후에는 태양을 이용한 G/T의 값을 측정하여 설계치 보다 약1.608 향상된 시스템임을 검증하였고, 수신된 GMS-5의 S-VISSR 데이터를 성공적으로 처리함으로써 자체적으로 개발한 처리 소프트웨어를 검증하였다.

• ICROS
• /
• v.3 no.1
• /
• pp.75-82
• /
• 1997

본 글에서는 자동물류취급시스템을 설치하여 극단적인 다품종소량생산시스템을 모델링하고 분석하여 설계변수들을 결정하는 틀을 설명하였으며, 이에 의해 설치되어진 자동물류취급시스템의 실례를 들어서 자동물류취급시스템이 납기단축과 간접공수절감에 얼마나 효율적인가를 보였다. 본 연구에서 얻어진 결론을 요약하면 다음과 같다. 1) 다양한 정보처리와 실시간 이산현상시스템의 해석 및 검증을 위하여 Colored and Stochastic 페트리네트를 정의하고 이를 이용하여 자동물류취급시스템이 설치되어진 생산시스템에 대한 모델링을 수행하였다. 2) Colored and Stochastic페트리네트 모델에 대한 시뮬레이션을 수행하는 소프트웨어를 개발하여 주어진 모델의 성능평가를 수행하였다. 3) 자동물류취급시스템의 설계변수를 결정하는 알고리즘을 제시하였으며 이에 의거한 시뮬레이션을 통하여 적절한 설계변수를 결정하였다. 4) 자동물류취급시스템이 설치되어진 생산시스템을 대상으로 모델과 설계변수의 타당성을 검증하였다.

• Journal of Advanced Navigation Technology
• /
• v.13 no.6
• /
• pp.894-900
• /
• 2009

In this paper, we propose the structure of system integration on the global ethernet networks using OpenRTM which was developed in Japan among the integration software framework based on middleware. In order to verify for propose model, we implement of environment monitoring system of mobile robot applied OpenRTM structure and we also verify that proposed validity of the structure of integration through experiment in the implemented system.

• Proceedings of the KIPE Conference
• /
• 2006.06a
• /
• pp.417-420
• /
• 2006

본 논문에서는 새로 개발된 전력품질 보상장치의 성능을 실험실에서 효과적으로 분석하기 위해 필요한 새로운 부하모의장치를 제안하였다. 제안하는 부하모의장치는 2대의 PWM 인버터가 직류 단을 공유한 구조로 선형과 비선형부하를 단일기기로 시험 가능하도록 설계되어 있다. 그리고 전력품질보상기의 하나인 능동전력필터와 연계시험을 수행하였다. 본 논문에서는 제안하는 부하모의장치와 능동전력필터의 연계 특성을 분석할 목적으로 PSCAD/EMTDC 소프트웨어를 이용하여 시뮬레이션 실시하였고 또한 실적용시 타당성을 검증할 목적으로 20kVA 용량의 부하모의장치와 10kVA용량의 능동전력필터를 제작하여 실험을 실시하였다. 시뮬레이션과 하드웨어 실험결과 제안하는 부하모의장치는 능동전력필터의 다양한 보상 능력 검증에 충분히 활용가능함을 알 수 있었다.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.232-233
• /
• 2016

패치 관리 시스템은 패치 서버에 속한 에이전트들의 보안 패치를 배포 및 관리하는 시스템이다. 에이전트에서의 보안사고로 인한 큰 피해를 막기 위해, 패치 관리 시스템은 패치 파일의 무결성 및 안정성을 고려해야 한다. 소프트웨어 벤더는 모든 패치 에이전트 환경에 대해 패치 호환성을 고려할 수 없기 때문에 충돌로 인한 패치 적용 실패 시 충돌 원인 분석이 필요하다. 기존의 패치 관리 시스템은 테스트 환경에서 수동으로 패치 파일에 대한 무결성을 검증하고 있다. 본 논문에서는 파일 변화 모니터링을 통해 패치 테스트 및 적용 과정을 자동화하고, 변경 파일 정보를 통해 호환성 충돌 문제에 대한 분석 시간을 단축하는 방법을 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.12
• /
• pp.1141-1154
• /
• 2000

본 논문에서는 Java 프로그램의 복잡도를 측정하기 위해 필요한 인자들을 제안하였다. 이러한 인자들을 추출하기 위해 Java 프로그램을 분석하여 객체지향 설계 척도 값들을 계산하고 통계적 분석을 수행하였다. 그 결과 기존의 연구에서 발견되었던 클래스의 크기 인자 외에도 메소드 호출 빈도, 응집도, 자식 클래스의 수, 내부 클래스 및 상속 계층의 깊이가 주요 인자임이 파악되었다. 클래스의 크기 척도로 분류되었던 자식 클래스의 수는 다른 크기 척도들과 다른 성질을 가진다는 것을 발견하였다. 또한 프로그램의 크기가 커지고 결합도가 높아질수록 응집도가 떨어진다는 것을 입증하였다. 그리고 인자 분석을 바탕으로 인간의 인지 능력과 인자의 상관관계를 고려한 가중치를 적용하기 위해 인자별로 회귀분석을 수행하였다. 보다 적은 척도를 가지고 인자를 설명할 수 있는 회귀식을 도출하였다. 두 그룹에 대한 교차 검증 결과 회귀식이 높은 신뢰도를 가지는 것으로 나타났다. 따라서 본 논문에서 제안한 인자들을 이용하는 경우 Java 프로그램의 복잡도를 측정할 수 있는 새로운 척도로 사용할 수 있다.

• Annual Conference of KIPS
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.293-296
• /
• 2005

제품에 대한 다양한 사용자의 요구 사항을 지원하기 위해 제품 개발 프로세스는 초기 단계인 분석 및 설계 단계에서부터 다양성을 지원할 수 있도록 개발 주기가 이뤄지고 있고 이러한 추세는 차별화된 서비스의 소프트웨어를 내장한 시스템(이하 임베디드 시스템)의 경우 보다 활발히 이뤄지는 경향이다. 요구 사항에서 공통점은 시스템 개발에 있어 재사용성을 높일 수 있는 중요한 부분이므로 요구 사항에 대한 다양성을 분석하고 표현하여 다양한 제품이 개발이 개발 초기 단계에서부터 이뤄 질 수 있도록 하는 것이 본 논문의 목적이다. 따라서 분석의 기반이 되는 기능 표현 방법은 중요하며 설계와 개발 단계로 연결되기 위해 분석된 기능에 대한 검증이 이뤄져야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.244-246
• /
• 2012

대규모 실시간 시스템인 SCADA 시스템은 수처리, 발전, 보일러, 제철, 석유화학 등 산업전반에 걸쳐 사용되는 시스템이다. 현재는 국산화가 잘 이루어져 아직까지 큰 문제가 없는 분야이지만, 전통적인 방법론을 통해 개발된 시스템을 사용하고 있다. 복잡하고 규모가 큰 시스템에서는 전통적인 방법론으로는 잠재된 오류나 이로 인한 피해여부를 파악할 수 있는 방법이 없다. 본 논문에서는 모델기반 명세 및 검증 언어인 Statecharts를 이용해 소프트웨어공학적 기법을 SCADA 시스템의 통신 모듈에 적용시켜 시스템의 안전성과 신뢰성을 향상시키고자 한다.