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

Search Result 2,336, Processing Time 0.033 seconds

솔리드 모델링은 왜 하는가\ulcorner

  • 유우식
    • CDE review
    • /
    • v.3 no.2
    • /
    • pp.5-9
    • /
    • 1997
  • 우리는 수많은 솔리드 모델링 소프트웨어와 그것들이 작동되는 컴퓨터 하드웨어에 관하여 많은 내용을 다루어 왔다. 그러나 사람들과의 대화와 e-mail 교환으로 우리는 많은 사람들이 아직도 솔리드 모델링이 왜 사용되어야 하는가를 그리고 언제 그들이 솔리드 모델링 방법을 선택하지 말아야 하는가를 아직도 제대로 이해하지 못하고 있다는 것을 깨달았다. 필연적으로 솔리드 모델링에 큰 투자를 한 몇몇 기업들은 아직도 그들이 돌려 받아야 할 투자효과를 못받고 있다. 다른 몇몇 기업들은 아직 실제적으로 응용되지 못하는 부문이나 비용/효과측면에서 효율성이 검증되지 못한 부문에 솔리드 모델링을 적용하는 우를 범하고 있다. 그래서 우리는 이번 글에서 솔리드 모델링 전반에 관해서 살펴보고 기업들이 솔리드 모델링 전반에 관해서 살펴보고 기업들이 솔리드 모델리에 실망하게 되는 이유들에 과해서 토의하며, 아직은 잠재적 능력을 솔리드 모델링에 모두 구현하고 있지는 않지만 앞으로 해야 할 CAD소프트웨어의 기술적 진보의 개요에 대해서 알아보고자 한다.

  • PDF

A Study on Flaw Track and Remediation of Information Security Product (정보보호 제품의 결함 추적 및 교정에 관한 연구)

  • Shin, Ho-Jun;Kim, Haeng-Kon;Kim, Tai-Hoon
    • Annual Conference of KIPS
    • /
    • 2003.05c
    • /
    • pp.1717-1720
    • /
    • 2003
  • 소프트웨어 개발 응용 패러다임이 분산 환경 기반을 두면서 보안 문제가 매우 중요시되고 있다. 정보통신 제품이나 시스템을 개발할 경우 보안에 대한 평가를 위해서 표준화된 요구사항들의 목록으로 공통평가기준이 정의되어 있다. 공통기준에서 고려되어야할 결함 교정에서 구체적인 절차와 결함 항목의 식별, 속성, 행위 정의가 필요하다. 본 논문에서는 소프트웨어공학 프로세스에서 보안측면을 고려하여, 생명주기의 자원과 프로세스에서 결함 추적 및 교정을 위한 기능적, 비기능적인 엔티티와 이를 기반으로 한 프로세스를 제안한다. 즉, 생명주기를 통한 개발과 평가를 지원하고, 개발자와 평가자에게 고려해야할 기준 이외에 생명주기 상에서의 자원 처리의 유무나 중요도 제공이 가능하다. 결함 추적과 교정을 위한 엔티티 적용에 대한 부가적인 비용과 노력을 감소시키고 정보보호 제품 개발과 밀접하게 연관된 결함을 검증하고 교정함으로써 제품의 개발과정의 신뢰성을 제공하고 생명주기 관리의 효율성을 증가시키고자 한다.

  • PDF

Improved operating characteristics of the converter using a hybrid software filter (하이브리드 소프트웨어 필터를 이용한 컨버터의 동작 특성 개선)

  • Lee, Won-Jin;Park, Sung-Jun
    • Proceedings of the KIPE Conference
    • /
    • 2013.07a
    • /
    • pp.393-394
    • /
    • 2013
  • 스위칭 방식의 DC/DC 컨버터에서 컨버터의 전류 및 전압은 스위칭 리플을 포함한 DC 맥류형태를 취하고 있다. 따라서 이러한 리플 및 노이즈를 저감하기 위해서 LPF(low-pass filter)를 사용하여 전압 및 전류를 검출하는 것이 일반적이다. 이러한 LPF의 차단주파수를 낮추면 정상상태에서 리플 및 노이즈 저감에는 그 성능이 우수하나 필터의 시 지연으로 인하여 제어기의 동특성은 현저히 저감된다. 따라서 본 논문에서는 낮은 차단주파수를 갖는 LPF를 기반으로 하여 과도상태 동특성을 개선할 수 있는 하이브리드 소프트웨어 필터를 제안한다. 제안된 하이브리드 필터는 필터의 입력 분을 관측하여 그 변동에 대한 평가함수를 정의하고 그 결과에 따라 스위칭 하는 방식을 취함으로 과도상태에서는 높은 차단주파수를 갖고 정상상태에서는 낮은 차단주파수를 갖는 필터회로 구성이 가능하였다. 또한 제안된 하이브리드 방식의 타당성을 검증하기 위하여 psim을 통하여 시뮬레이션을 행하였다.

  • PDF

Development of GUI-type Simulation Software for AHP Decision Support System (다 단계 의사결정지원시스템을 위한 웹기반의 시뮬레이션소프트웨어 개발)

  • 황흥석;조규성;최철훈
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2001.05a
    • /
    • pp.8-13
    • /
    • 2001
  • 다 단계 의사결정지원시스템, AHP(Analytic Hierarchy Process)는 다수 대안에 대하여 다 면적인 평가기준과 다수 주체에 의한 의사결정을 위해 설계된 의사결정지원방법의 하나이다. AHP 시스템은 먼저 주어진 시스템을 구성하고있는 요소를 세분하고 그 분할된 요소를 계층적으로 구성하며 다음으로 계층간 각 레벨에 있는 요소의 상대적 중요도에 대한 판단을 종합하는 과정을 거친다. 본 연구에서는 이러한 AHP방법을 실용화하기 위하여 사용자가 Web기반에서 활용하기 쉽도록 GUI-tyre 프로그램을 개발하고 이를 검증하였으며 예제를 들어 보였다. 본 연구에서 개발한 소프트웨어는 크게 다음과 같이 3 가지 구조로 구성하였다. 단계 1 : 대안 평가의 아이디어 창출 단계(Brainstorming), 단계 2 : 다 단계, 다 기준 의사결정지원시스템(AHP), 단계 3 우선 순위 종합모델(MRM)

  • PDF

대공간 화재해석을 위한 난류모델의 특성 연구

  • An, Chan-Sol;Kim, Jeong-Yeop
    • Proceedings of the Korea Institute of Fire Science and Engineering Conference
    • /
    • 2013.11a
    • /
    • pp.182-183
    • /
    • 2013
  • FDS(Fire Dynamics Simulator)는 국내에서 화재해석을 위해 사용되고 있는 가장 보편적인 소프트웨어 중의 하나이다. 미국의 NIST에서 25년간 지속적인 업그레이드를 통해 개발되어 오고 있으며 인터넷 상에서 무료로 배포되고 있어 전 세계의 화재관련 연구자 및 학생들이 연구 및 학습의 목적으로 사용하고 긴 기간동안 많은 전문가들에 의해 검증되어온 소프트웨어이다. 하지만 FDS가 난류해석을 위해 사용하고 있는 Smagorinsky의 LES(Large Eddy Simulation)모델은 현재까지 발표된 LES모델 중 가장 초기의 모델로서 건축물과 같이 복잡한 형상을 갖는 계산영역에서는 결과의 신뢰성이 많이 떨어지는 것으로 알려져 있다. 본 연구에서는 FDS의 대공간의 화재해석 성능을 평가하는 것을 목적으로 스페인 Murcia에서 수행된 Murcia Atrium Fire Test를 해석 대상으로 하여 FDS가 사용하고 있는 Smagorinsky의 LES모델 및 3가지의 다른 LES모델을 사용하여 대공간 내부의 연기유동을 해석하였으며 그 결과를 비교하였다.

  • PDF

유헬스 표준화와 인증

  • Kim, Il-Gon;Kim, Hang-Chan;Ye, Jeong-Hun;Lee, Byeong-Gi;Gwak, Yeon-Sik
    • Information and Communications Magazine
    • /
    • v.27 no.9
    • /
    • pp.9-14
    • /
    • 2010
  • 최근 유헬스 산업을 꽃피우기 위한 노력이 다양한 형태로 전개되고 있지만, 국민의 건강 복지에 기여하는 효율성 제고와 새로운 고용 창출이라는 두 가지 큰 명제를 달성하기 위해 최소한 필수 국제표준은 채택(Adoption) 해야겠다는 업계의 의지가 부족한 것도 사실이다. 유헬스는 장비, 소프트웨어, 서비스가 다양한 형태의 결합으로 전개될 가능성이 아주 높고, 여러 이해 당사자들의 각기 다른 생각들 때문에 이해 관계가 상충하는 아주 복잡한 영역(Complex Domain)이므로, 표준 기술에 근거한 개발 노력을 경주해야 한다. 유헬스 서비스 전담 병원을 짓고, 필요한 장비, 소프트웨어, 서비스를 일체형으로 수출할 수 있는 기반을 닦기 위해서는 하루빨리 필수 표준기술을 확보하고, 표준기술 적합성(Conformance)을 검증하여 경쟁력 있는 유헬스 산업을 육성할 수 있도록 하는 경쟁력 있는 유헬스 산업을 육성할 수 있도록 하는 정책적 지원이 절실하다. 본고에서는 유헬스 산업 육성을 위한 필수 표준들과, 표준 구현 기술이 Conformant한지를 인증하고 있는 국제적 활동에 대해 기술하고자 한다.

A Study on Development for Target-Based Embedded Software Testing and System (타겟 기반의 임베디드 소프트웨어 테스팅 기술 및 시스템 개발에 관한 연구)

  • Kim, Ji-Hyeok;Kim, Sang-Il;Rhew, Sung-Yul
    • Annual Conference of KIPS
    • /
    • 2003.11c
    • /
    • pp.1613-1616
    • /
    • 2003
  • 임베디드 시스템 개발과 임베디드 응용 소프트웨어 개발에 대한 관심이 높아지면서 이를 테스팅 하기 위한 기술과 테스팅 도구들의 도입이 확산되고 있다. 그러나 임베디드 시스템 테스팅은 여타 시험 검증 도구에 비하여 알고리즘의 정교성, 설계의 복잡성, 그리고 구현의 난이도 등으로 인하여 구현하기 쉽지 않은 것이 현실이다. 따라서 본 논문에서는 임베디드 시스템을 효율적으로 테스팅 하기 위해 타겟시스템 기반의 테스팅 방법을 제시하고, 테스팅을 위한 전체 시스템의 구성과 실시간 분석 방법을 제시한다. 이를 통해 임베디드 시스템을 테스팅 하기 위한 도구 구조를 분석하고 개발에 적용할 수 있도록 한다.

  • PDF

Study on the Creational Patterns Application for the Network Game Design using DirectX (DirectX를 이용한 네트워크 게임 설계에서 생성 패턴 적용에 대한 연구)

  • Kim Jong-Soo;Kim Tai-Suk
    • Annual Conference of KIPS
    • /
    • 2004.11a
    • /
    • pp.337-340
    • /
    • 2004
  • 현재 우리나라에는 사용자들의 사실감을 더해주는 3D 기반 온라인 게임이 큰 주류를 이루고 있다. 국내에 많은 게임 개발 업체들이 있는데, 이들 업체에서는 게임 엔진 개발 의욕은 높은 반면 관련 전문 인력이 부족하고, 업체 규모가 영세한 경우가 많다. 또한 게임 설계와 관련된 기술은 보안이 철저하기 때문에 기술 공유가 사실상 힘들다. 인력과 시간이 많이 드는 네트워크 게임제작에서 기존에 작성된 코드를 재사용이 가능하도록 소프트웨어를 설계하는 것은 중요한 일이다. 지금까지 검증된 여러 가지 디자인 패턴들이 재사용을 위한 소프트웨어 설계에 도움을 준다. 본 논문에서는 DirectX를 기반으로 하는 네트워크 게임의 클라이언트 측 설계에 GoF(Gang of Four)의 디자인 패턴 영역 중 생성패턴을 이용하여 재사용이 가능한 네트워크 게임 설계에 대한 효율적인 기법을 제안한다.

  • PDF

Improvement of Test Process Assessment Method (테스트 프로세스 심사 방법 개선 방안)

  • Lee, Eun-Pyo;Kim, Jin-Soo;Kim, Jeong-Ah;Lee, Byong-Gul
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06b
    • /
    • pp.111-116
    • /
    • 2007
  • 최근 업계에서는 테스트의 중요성이 대두되면서 테스트 활동에 대한 테스트 성숙도 모델 적용을 통해 테스트 프로세스의 지속적인 개선을 도모하고 있다. 하지만 기존의 모델들이 외국 기업의 소프트웨어 개발 환경을 기반으로 하고 있어 중소 규모의 소프트웨어 개발 업체에서 이를 적용하기에는 비용과 기간 면에서 어려움이 따른다. 또한 체계적인 심사방법을 제시하지 못하고 있어 성숙도 모델의 적용에 대한 평가가 어려운 실정이다. 본 논문에서는 심사의 객관성을 확보하는 동시에 심사 비용 및 기간을 축소할 수 있는 방안을 제시한다. 심사의 객관성 확보를 위해 심사 대상 문서의 연관관계 테이블과 활용 기록을 기준으로 문서 심사를 수행하도록 하였으며, 심사 기간과 비용을 줄이기 위해 검증(Verification) 활동 중심의 문서심사를 문서 활용도에 대한 심사로 대체하고 각종 검토 활동 및 교육 활동을 통폐합 하였다. 개선된 심사모델을 도입함으로써 심사 기간이 단축될 수 있으며, 정형화된 심사 지침서의 활용을 통해 객관성을 확보할 수 있는 효과를 기대할 수 있다.

  • PDF

Enhanced Security Network Storage System based L4 (L4 기반 네트워크 스토리지 보안 강화방법)

  • Park, Woo-Ram;Na, Yun-Ju;Ryu, Jun-Kil;Park, Chan-Ik
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.10b
    • /
    • pp.393-398
    • /
    • 2007
  • 데이터의 양이 급격히 커지면서, 그에 따라 요구되는 스토리지의 확장 비용 및 관리의 어려움을 해결하기 위하여 네트워크 스토리지에 대한 관심이 증대되고 있다. 네트워크 스토리지는 다수의 사용자가 접근하여 하기 때문에 보안에 대한 심각한 고려가 필요하다. 보안을 강화하기 위하여 페어 키를 이용한 인증 방식을 사용하고 있는데, 이러한 소프트웨어적인 보안 방식은 시스템 보안의 결함 혹은 취약성에 의하여 키의 외부 유출이 가능하다 [11]. 본 연구에서는 L4 마이크로커널[1]과 하드웨어적 보안 방식인 TPM (Trusted Platform Module)[2]을 사용하여 네트워크 스토리지 보안을 강화 시 방법을 제안하고자 한다. 본 연구를 이용할 경우 authenticated boot 기법[3]을 이용하여 네트워크 스토리지에서 동작할 이미지를 검증하고, 하드웨어적으로 암호화 키 값을 관리함으로써 데이터 패킷의 전송 과정에서 발생할 수 있는 소프트웨어적인 보안 방식의 취약점을 보완할 수 있다.

  • PDF