• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.033 seconds

Development of a HLA Specification 1.3 Compliant Distributed Middleware Java/RTI (HLA 규격 1.3에 적합한 분산 미들웨어 Java/RTI 개발)

  • 엄용섭;박성용;안명수
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2002.11a
    • /
    • pp.53-57
    • /
    • 2002
  • 최근들어 분산 시뮬레이션을 위해 미국 국방성에서 제안한 HLA(High Level Architecture)를 산업계에 적용하기 위하여 미들웨어 개발이 활발하다. 주요 응용분야는 게임 및 다자간 회의 시스템, 실시간 제어 시스템 등이다. 본 논문에서는 (주)넷커스터마이즈가 HLA Spec. 1.3 표준안에 기반하여 순수 Java 언어를 사용하여 개발한 미들웨어인 Java/RTI를 소개한다. Java/RTI는 Java 언어만을 사용함으로써 운영체제에 제한을 받지 않고 RTI의 이식이 가능하게 하여 이식성을 크게 향상시켰다 또한, HLA 규격이 요구하는 모든 기능을 자체 개발함으로써 향후 RTI의 성능 및 서비스 확장을 위한 기반을 마련하였으며 실시간 제어 및 VOIP 응용 소프트웨어 개발을 통해 개발 편의성 및 성능이 검증되었다. RTI의 실행 환경을 모니터링 할 수 있는 소프트웨어까지 개발함으로써 소프트웨어의 운용 및 관리 효율성을 높였다. 본 논문에서 소개한 Java/RTI는 군사용 분산 시뮬레이션은 물론 게임, 실시간 제어 소프트웨어 등 다양한 분야에 응용될 수 있으며 현재 팩키지 소프트웨어로 상품화가 추진중에 있다. 또한, 개발된 Java/RTI를 확장하여 실시간 환경에서 QoS(Quality of Service)를 제공하는 성능 측정자 및 자원 관리자를 개발 중에 있다.

  • PDF

Role-based Cooperation Model for Composable Military Simulation Software (조립형 군사 모의 소프트웨어를 위한 역할 기반 협업 모델)

  • Kim, Hee-Soo;Lee, Seok-Won;Kim, Min-Koo;Pyun, Jai-Jeong
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06b
    • /
    • pp.63-65
    • /
    • 2012
  • 최근 군사 모의 소프트웨어는 사용자의 다양한 요구 변화에 빠르게 적응하기 위해 컴포넌트를 조합하여 구성하는 방법으로 개발되고 있다. 이와 같은 소프트웨어에서 부대의 과업을 달성하기 위해 사용자의 관여 없이 부대구성원(부대원 또는 예하부대)의 전술적 행위(협업)를 모의하는 기술은 대규모의 군사 모의를 가능하게 하는 중요한 기술 중 하나이다. 부대 구성원의 협업을 모델링하고 구현하는 기술은 사용자(모의 부대장)로 하여금 부대구성원의 세부적인 제어를 요구하지 않고 자신이 제어하는 부대에 할당된 임무 달성에 집중시키는 등의 이점을 제공한다. 본 연구를 통해 우리는 군 도메인에서 사용하고 있는 OneSAF와 FLAMES, VR-Forces 등의 컴포넌트 기반의 모의 소프트웨어를 분석하고, 이들 소프트웨어에서 협업 모델의 위치를 설명한다. 다음으로 역할 개념을 기반으로 부대구성원들의 협업 모델을 제안한다. 본 연구에서는 프로토타입의 개발을 통해 제안 모델의 적용 가능성을 검증한다.

A Conceptual Quality Evaluation Model of NMS Software Systems (개념적 NMS 관리 소프트웨어 평가모델에 관한 연구)

  • Park, Young-Jin;Kim, Young-Min;Park, Jae-Won;Lee, Chi-Young;Lee, Nam-Yong
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.391-393
    • /
    • 2005
  • 소프트웨어의 품질을 평가하기 위해서는 각 소프트웨어의 특성에 맞는 평가 항목과 평가 기준이 필요하며, 이를 위해서 각 소프트웨어의 특성에 맞는 품질특성을 찾아내어서 검증하고 확인하여야 한다. 따라서 본 연구는 NMS 관리 소프트웨어의 일반적인 품질 특성을 분석하여 국제표준 품질모델인 ISO/IEC 9126을 바탕으로 품질평가 항목을 제시한다.

  • PDF

A Study of Conceptual Storage Management Software Evaluation Model (개념적 스토리지 관리 소프트웨어 평가모델에 관한 연구)

  • Park Joongsun;Jeong SungWoo;Lee ChiYoung;Lee NamYong
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.397-399
    • /
    • 2005
  • 소프트웨어의 품질인증을 위해서는 소프트웨어의 특성에 맞는 평가 항목 및 평가 기준이 적절히 마련되어 있어야 하며, 이를 위해서는 해당 소프트웨어의 적합한 품질특성을 정의하고 검증된 척도를 사용하여야 한다. 따라서 본 연구에서는 스토리지 관리 소프트웨어의 일반적인 품질특성을 분석하고 국제표준인 ISO/IEC 9126을 바탕으로 한 품질평가 항목을 제시한다.

  • PDF

Application of design thinking-based maker education program for elementary school students' software education (초등학생의 소프트웨어교육을 위한 디자인사고 기반 메이커교육 프로그램 적용)

  • Lee, Saet-Byeol;Lee, Seung-Chul;Kim, Tae-Young
    • Proceedings of The KACE
    • /
    • 2018.08a
    • /
    • pp.129-132
    • /
    • 2018
  • 미래사회가 요구하는 창의융합형 인재 육성을 위한 기초소양 함양을 위해 소프트웨어 교육이 의무화되는 등 컴퓨팅 사고력과 지능정보사회에 필요한 핵심역량인 협력적 문제해결력의 향상을 위한 소프트웨어 교육에서의 교수 학습 방법이 강조되고 있다. 이에 따라 본 연구에서는 감성적 사고와 창의적 사고력의 균형을 추구하는 디자인 사고와 실생활 맥락적 문제를 해결하는 메이커 활동을 결합한 디자인 사고 기반 메이커교육을 소프트웨어 교육에 적용하여 초등학생의 협력적 문제해결력에 미치는 영향을 검증하고자 한다. 이를 통하여 디자인 사고기반 메이커 교육의 학습효과를 밝히고, 초등학교 수업에서 다른 교과목과 융합한 소프트웨어 교육의 적용방법에 대한 시사점을 제공하고자 한다.

  • PDF

A Static Analysis Test Procedure Model of Improving Software Safeness (소프트웨어 안전성 개선을 위한 정적분석 시험 절차 모델)

  • Yoo, Hyun-Sang;Kim, Hyong-Shik
    • Annual Conference of KIPS
    • /
    • 2016.04a
    • /
    • pp.315-317
    • /
    • 2016
  • 소프트웨어의 활용 영역이 점차 넓어지면서 프로그램 코드에 대한 안전성이 훨씬 더 중요해지고 있다. 이에 따라 소프트웨어 품질을 높이기 위한 방법들이 다양하게 제시되어 왔고, 다양한 도구들을 활용한 소프트웨어 품질분석에 대한 관심도 증가하였다. 본 논문에서는 이러한 분석 도구들에 대하여 설명하고 소프트웨어 안전성 분석절차를 제시한다. 분석절차는 시험도구 준비, 시험 수행, 시험결과 검증, 시험결과 산출 단계로 구성되며, 안전성 검사에 효과적임을 확인할 수 있었다.

New Defense Method Against Software Vulnerability Attack by Control Flow Address Validation (제어흐름주소 검증을 이용한 소프트웨어 취약점 공격 대응 기법)

  • 최명렬;김기한;박상서
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10a
    • /
    • pp.343-345
    • /
    • 2004
  • 높은 효율성과 시스템 자원을 세일하게 제어할 수 있는 편리성을 제공하기 위해서 소프트웨어의 안전성에 대한 책임을 개발자가 지게하는 C 언어의 특성으로 인해서 버퍼 오버플로우, 포맷 스트링 기법 등을 이용한 소프트웨어 공격이 계속 나타나고 있다. 지금까지 알려진 소프트웨어 공격 기법의 다수가 버퍼 오버프로우 기법을 이용한 것이어서 지금까지의 연구는 주로 버퍼 오버플로우 공격 방지 및 탐지에 집중되어 있어 다른 공격 기법에 적용하는 데는 한계가 있었다. 본 논문에서는 소프트웨어 공격의 궁극적인 목적이 제어흐름을 변경시키는 것이라는 것을 바탕으로 프로그램의 제어흐름이 정상적인 범위를 벗어날 경우 이를 공격으로 탐지하는 새로운 기법을 제안하고 기존 연구 결과들과 비교하였다.

  • PDF

A Method Call Based Technique for On-the-fly Repairing of Concurrency Errors in Airborne Software (항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법)

  • Kim, Tae-Hyung;Choi, Eu-Teum;Jun, Yong-Kee
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.01a
    • /
    • pp.9-10
    • /
    • 2019
  • 항공기 소프트웨어는 기능적 실패 시 인명피해나 재산피해와 같은 큰 사고로 이어질 수 있다. 따라서 항공기 소프트웨어 개발과정에서 엄격한 검증 프로세스를 수행하지만 오류를 완벽히 제거하는 것은 어렵다. 병행 프로그램에서 발생하는 동시성 오류는 잘못된 동기화에 의하여 공유자원을 사용할 때 발생할 수 있다. 하지만 복잡한 인터리빙을 모두 고려하여 디버깅하기 어렵기 때문에 자율적으로 수리되어야 한다. 본 논문은 항공기 소프트웨어에서 함수 호출을 기반으로 동시성 오류를 자율적으로 수리하는 기법을 제시한다. 제시하는 기법은 모니터 및 컨트롤 엔진, 순차정보 제공 엔진, 건전성 관리시스템으로 구성된다.

  • PDF

Using PageRank Algorithm to Improve Coupling Metrics (페이지랭크 알고리즘을 이용한 결합도 척도의 개선)

  • Park, Cheol-Hyun;Ryu, Sung-Tae;Lee, Eun-Seok
    • Annual Conference of KIPS
    • /
    • 2011.04a
    • /
    • pp.1405-1408
    • /
    • 2011
  • 소프트웨어 품질 측정은 소프트웨어 공학의 필수적인 요소이다. 소프트웨어 품질 척도 중 하나인 결합도는 모듈간의 얼마나 강하게 연결되어있는지를 나타낸다. 결합도는 소프트웨어의 결함-경향성, 모듈화, 재사용성, 변경-경향성 등 다양한 목적으로 사용된다. 기존의 결합도 척도들은 메소드호출 횟수에 의해서 결정되는데, 이는 메소드의 가중치를 고려하지 않기 때문에 결합도를 정확히 측정 하지 못한다. 본 논문은 페이지랭크 알고리즘을 이용하여 메소드의 가중치를 측정하고, 이를 이용한 결합도 척도 개선 방법에 대해 제안한다. 본 논문의 유효성을 검증하기 위하여, 4 개의 오픈 소스 프로젝트를 대상으로 기존의 방법과 개선된 방법으로 결합도 척도 3 개를 측정하였다. 개선된 결합도 3 개는 유지보수의 척도로 사용되는 변경-경향성(Change-Proneness)과의 상관계수가 기존의 결합도 척도에 비하여 눈의 띄게 향상되었다. 따라서 개선된 결합도 척도는 소프트웨어 품질을 더 정확하게 측정할 수 있다.

A Chrome Plug-in for Harmful Text Filtering based on CNN-LSTM (CNN-LSTM 기반 유해 텍스트 필터링 크롬 플러그인)

  • Hwang, Hyun-Bin;Kim, Han-Kyum;Chung, Jinwoo;Chung, Hyuk-Soon;Seo, Choong-Won;Lee, Soowon
    • Annual Conference of KIPS
    • /
    • 2021.05a
    • /
    • pp.543-546
    • /
    • 2021
  • 최근 온라인 매체에서 무분별한 비속어나 욕설 사용이 늘어남에 따라 유해한 텍스트를 자동으로 필터링하는 시스템의 필요성이 증가하고 있다. 유해 텍스트 필터링 관련 기존의 접근방법은 채팅 프로그램 등 특정 프로그램에 한하여 적용이 되거나 특정 포탈의 웹페이지에 국한되어 적용이 되는 한계가 있다. 따라서 본 연구에서는 AI를 활용하여 모든 웹 페이지의 유해 텍스트를 필터링할 수 있는 Chrome Extension을 구현하고 그 유효성을 검증한다.