• Proceedings of the IEEK Conference
• /
• 2003.07d
• /
• pp.1597-1600
• /
• 2003

InfiniBand 구조는 입출력 처리에 최적화된 입출력 연결망과 프로세서 상호간 통신에 최적화된 클러스터 연결 망을 통합한 차세대 클러스터 연결 망이다. 본 논문에서는 리눅스 운영체제를 기반으로 하는 InfiniBand 연결망용 호스트 채널 어댑터(HCA : Host Channel Adapter)장치 드라이버의 소프트웨어 스택 및 구조, 그리고 메시지 전송 절차에 대해 설명하였고 장치 드라이버의 동작 검증을 위한 환경 및 테스트에 대해 논하였다.

• Journal of Korean Society for Quality Management
• /
• v.17 no.2
• /
• pp.27-35
• /
• 1989

Software developers often allocate a significant amount of effort to software testing. But for most business-related software system it is natural to expect the continued discovery of defects after the software system is released into field. Such defects are usually very expensive to fix and have the potential to cause great damages to the users. It is important to stop testing the software and release it to the users at the correct time. In this paper, we propose the determination of the optimal number of software test oy minimizing a total expected software cost. A numerical example is used when the criterion is the expected profit. The result indicates that the proposed software release policy based on the number of software test can be a good alternative to the existing policy.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.611-614
• /
• 2004

As information telecommunication industry develops and systems get integrated gradually, the importance of embedded software is growing significantly. On the contrary, the reliability of embedded software has worsened. Accordingly, testing of software is an essential part in designing and building up embedded system and the volume of testing required is immense. This paper elaborates on design and testing model for complex embedded software, providing guidelines to collect requirements for complex embedded software.

• Computational Structural Engineering
• /
• v.17 no.3
• /
• pp.14-21
• /
• 2004

MDO프레임웍은 설계 작업을 통합적으로 관리하고 자동화하여 설계도구 간의 데이터 전달과 변환에 소요되는 설계자의 부담을 경감시키며 다분야 전문가가 참여하는 협동설계 환경을 제공함으로써 다분야를 동시에 고려한 효율적 설계를 지원한다. 이번 글에서는 이러한 MDO프레임웍으로 개발된 EMDIOS를 소개하고, 그 개발 배경과 타당성을 개략적으로 제시하였다. EMDIOS는 분산 환경을 제공하고, 데이터베이스와 연계되어 정의된 문제와 문제 풀이 절차를 저장하고 실행시 발생하는 데이터들을 체계적으로 관리하는 구조를 갖는다. MDO문제 해결에 필요한 도구들은 모두 소프트웨어 컴포넌트로 구성 및 기술되어 컴포넌트 등록기에 등록되어 저장된다. 등록된 컴포넌트는 GUI기반의 MDO커널에 의하여 검색되고 MDO문제해결 절차의 구성 요소가 된다. 구성된 문제 해결을 위한 실행은 컴포넌트 서비스 에이전트에 의하여 이루어진다. EMDIOS는 새로운 설계도구를 EMDIOS에 쉽게 통합하여 사용할 수 있도록 공통적으로 구현될 수 있는 부분을 구현한 추상 클래스와 이로부터 필요한 인터페이스를 생성할 수 있는 인터페이스 제조기를 제공함으로써 확장성과 개방성을 제공한다. 제시된 MDO 프레임웍의 사용자 인터페이스는 가장 많은 사용자를 확보하고 있는 윈도우 환경에서 Visual C++를 이용하여 개발되고 있으며, 다양한 OS환경에서 작동되어야 하는 래퍼는 JAVA로 개발하였다. 현재 개발된 EMDIOS는 다양한 벤치 마크 테스트 중이며 올해 9월이후에는 일반에게도 공개할 수 있는 프레임웍으로써 모습을 갖출 것으로 보인다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2014.06a
• /
• pp.284-286
• /
• 2014

국제수로기구(IHO: International Hydrographic Organization)는 전자 해도의 불법 복사와 사용을 방지하기 위해 전자해도 보안 표준(IHO Data Protection Scheme, Edition 1.1.1 - April 2012, IHO Publication S-63)을 제정한 바 있으며, 국제적으로는 보안체계가 적용된 암호화된 전자 해도가 공급되고 있다. 국립해양조사원에서 국내 사용을 위해 공급하는 전자 해도에는 보안 표준을 적용하지 않다가 2014년부터 전자 해도의 비 항해 목적으로의 사용을 방지하기 위해 보안 표준 적용과 함께 비 항해용 해도 정보를 제공하고 있다. 따라서 전자해도 시스템 관점에서 전자 해도를 사용하기 위해서는 전자해도 보안 표준에 대한 높은 지식이 요구되고 있다. 이에 본 연구에서는 전자해도 보안 표준과 체계를 분석하고, 표준에서 제공하는 전자해도 보안 표준 테스트 데이터를 전자해도 시스템 관점에서 시험하였다. 이를 통해 보안 모듈과 전자해도 시스템과의 관계를 소프트웨어 구조 관점에서 제시하고 표준을 적용할 때 필요로 하는 표준 접근 절차와 방법을 연구결과로 제시 하였다.

• Information and Communications Magazine
• /
• v.30 no.3
• /
• pp.43-50
• /
• 2013

현존하는 프로토콜 중심의 네트워킹이 가지는 근본적인 한계를 인식하고 이를 소프트웨어-정의 네트워킹(Software Defined Networking: SDN)이라는 새로운 흐름으로 해소하자는 노력이 확산되고 있다. 즉 실험자들이 점차 복잡해지는 네트워킹 문제들을 논리적으로 집중화된 단순함으로 재편하여 손쉽게 해결하자는 것이다. 본 논문에서는 SDN에 기반한 미래형 서비스 실증을 위해 핵심적인 도구로 대두된 시험환경(또는 테스트베드)의 구축 방향과 사례를 살펴본다. 먼저 가상화되고 프로그램이 가능한 융합형 실험자원들을 다수의 실험자들이 공용하는 환경을 구축하고, 개별적으로 서비스 실증을 자유롭게 시도하는 전체 프레임워크를 제시한다. 특히 융합형 자원을 Rack 방식으로 구성하고 이를 연동하여 시험환경을 구축하는 추세에 따라, 독자적인 SmartX Rack을 사용한 SDN 기반 서비스 실증을 위한 시험환경 구축 사례를 설명한다.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.395-398
• /
• 2017

최근 국내외에서 창의인재 양성을 위한 컴퓨터과학 교육을 강화하고 있다. 현재 대부분의 프로그래밍 언어는 국내 초보자들이 배우기에 여러 가지 진입 장벽이 존재한다. 그 중 대표적인 이유는 쉽게 흥미를 갖지 못한다는 것이다. micro:bit는 소프트웨어 교육을 위해 영국에서 2015년 개발한 ARM 기반의 임베디드 시스템이다. 내장된 LED 출력 등 다양한 기능과 개발 방식을 지원하여 프로그래밍을 배우는 초보자들의 흥미를 유발시키기 충분하다. 하지만 영어와 숫자만 LED에 출력되며 개발도구에서 한글 메뉴를 지원하지 않아서 국내 학생들이 사용하기에 매우 불편하다. 본 논문에서는 이를 해소하기 위해 micro:bit의 한글 LED 출력과 한글 프로그래밍 환경을 구성하였다. 테스트 결과 정상적으로 한글 프로그래밍 환경이 동작하며 한글 LED 출력이 수행됨을 확인하였다.

• Korea Information Processing Society Review
• /
• v.5 no.5
• /
• pp.99-110
• /
• 1998

인류의 역사는 앞으로 400여일이 지나면 새로운 천년을 맞이하게 된다 세계는 2000년을 기점으로 도약하기 위하여 VISION 2000을 제시하는 등 세기말을 바쁘게 지내고 있다 그러나 희망으로 다가오는 2000년은 시한폭탄이 되어 다가오고 이다 그것은 산업사회에서 정보화 사회로 이전되면서 우리가 모르는 사이에 디지털 시대에 살게 되었기 때문이다 디지털의 세계에서는 메모린의 절약과 표현의 간소화를 위하여 연도표기를 마지막 2자리 숫자로 사용하여왔다 그로인해 2000년이 되면 컴퓨터에서 처리되는 연도가 '00'으로 되어 1900년과 구별되지 않게 되었다 은행거래 각종공과금 계산의 오류는 물론이고 산업계 전역에 설치되어 있는 자동화기기의 RTC(Real Time Clock)오동작으로 국가 기반시스템까지 마비될 가능성을 파생시켰다 이러한 Y2K 문제(일명: 밀레니엄버그)는 크게 하드웨어 시스템 소프트웨어 애플리케이션 비정보처리계시스템(자동화기기)등 4가지 종류에서 발생하고 있다 본고에서는 이들 4가지 종류에 맞는 해결안을 마련하고 실현하는 구체적인 계획을 제시함을 물론 이어 최정적으로 이를 다시 통합해서 테스트하는 3단계방식으로 Y2K 문제를 해결하도록 제안하고자 한다.

• Annual Conference of KIPS
• /
• 2001.10b
• /
• pp.973-976
• /
• 2001

본 논문은 공개 소프트웨어를 이용하여 침입자 감시시스템을 효과적으로 구축하는 방법을 제안한다. 침입자 감시시스템의 구축에는 Linux, Apache, PHP, MySQL, Snort, ACID, Tcpwrapper 그리고 phpMyAdmin 이 사용되었으며, 침입자 감시시스템의 자체 보안을 위해서 httpd.conf를 사용한 홈 디렉토리 접근제어 및 Tcpwrapper 의 inetd 방식의 데몬 접근제어를 통해서 관리자만이 시스템에 접근할 수 있도록 하였다. 본 논문의 실험 및 결과에서는 실제 테스트베드를 구축하고, 취약성 점검 툴인 Nessus를 이용하여 침입자 감시시스템을 공격하였다. 실험 결과는 ACID 를 통해서 웹상에서 효과적으로 분석할 수 있었다. 본 논문은 효율적인 네트워크 보안 관리 및 침입자를 감시 및 역추적하기 위해서 제안된 것이다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.9
• /
• pp.986-1002
• /
• 2000

정적 분석을 사용하여 프로그램의 입력에 의존하는 성질을 예측하는 방법을 제안한다. 제안된 방법은 입력에 무관한 성질을 예측하도록 설계된 정적 분석을 입력에 의존하는 성질을 예측하는 분석으로 변환한다. 이 방법은 실행 중에 프로그램의 성질을 알아내기 위해서 실행중인 프로그램을 관찰하는 코드가 필요 없고 계측된 자료를 모으는 과정도 필요 없다. 정적 분석의 가장 마지막 부분을 프로그램의 실행 시간으로 미루는 것이 이 논문의 핵심 아이디어다. 먼저 정적 분석을 분석하여, 프로그램의 입력에 민감하여 프로그램의 실행시간으로 연기되어야 하는 부분을 찾아낸다. 그 후, 값을 자른 분석을 사용하여 이 부분을 재구성하여 프로그램의 입력에 대한 간단한 멤버쉽 테스트에 의해 분석이 풀어질 수 있도록 한다. 이런 재구성 과정을 통해 준비된 분석들은 프로그램의 입력이 나타나기만 하면 순간적으로, 동시에 풀려질 수 있다. 모든 과정은 엄밀하게 정의되고 증명되었다.