• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.31-32
• /
• 2009

본 논문에서는 이동 가능한 휴대용 가스 분석 장치를 제안한다. 기존의 가스 검출 시스템은 주로 해외 기술에 의존되어 있고 고가이며 대형인데 반해 개발된 시스템은 휴대용으로 설계 되었다. 설계된 시스템은 광원, 광변조기, 신호처리기와 신호기록장치 거쳐 가스 데이터를 정보처리한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.769-771
• /
• 2005

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정할성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간 예측이 필요하다. 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 핀 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 밀 신뢰성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 먼저 확장된 정적 분석 도구의 개발을 위해 통신 영향 요소의 분석 과정을 설계한다. 특히, 통신 부하의 영향 요소 중 통신 준비에 필요한 과정을 선행 예측 테이블로 작성하여 원시 프로그램 분석에 이용하고자 한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.157-160
• /
• 1998

통합생산시스템의 최적설계를 위하여 이의 생산공정(Manufacturing Process)과 물류시스템 (Material Handling System)은 두 가지 중요한 요소이다. 본 연구에서는 물류시스템의 성능 및 비용을 분석을 위하여 제품의 생산계획(Production Control & Scheduling), 설비배치(Layout) 및 물류시스템 (Material Handling System) 등을 고려하였다. 본 연구의 주요 목적을 통합생산시스템을 위하여 물류시스템 성능의 최적화와 경제적인 분석을 통하여 최적 물류시스템의 선택에 두고 다음 주요 내용들을 포함하였다; 1) 주요 입력 자료로서 통합생산 장비의 배치(Layout), 공정, 생산제품의 예측, 물류시스템 대안 등이 주어지고, 2) 이를 이용하여 각 물류시스템의 대안별 성능 및 비용 등을 비교 분석하고 최적 물류시스템을 선정한다. 본 연구를 위한 성능 및 비용분석을 위한 전산프로그램을 개발하고 이를 활용한 사례를 들어 보였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.300-305
• /
• 1995

국내 원자력발전소의 발전정지사례를 분석하여 얻을 수 있는 인적오류의 개입여부, 인적오류 발생에 기여한 문제점, 발전정지 발생의 원인, 발전정지의 발생과정 등의 정보를 데이타베이스화하여 제공하는 국내 원전 발전정지사례 분석정보 제공시스템의 사용자 인터페이스를 설계하였다. 정보분석을 통하여 발전소 일반정보, 발전정지 사례별 정보, 발전정지 추이분석 정보로 대분하고, 이중 발전소 일반정보, 발전정지 사례별 정보에 대해 상세정보를 출력하는 사용자 인터페이스를 설계하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.400-402
• /
• 1998

최근기업의 경쟁력 확보를 위해 기업내의 분산된 이질적인 정보 시스템을 전사적차원에서 통합을 하려는 노력이 활발히 진행되고 있다. 그 중 많은 경우에 통합 문제를 향후의 IT환경을 고려하여 객체지향 개념의 JAVA 및 CORBA를 기반으로 해결하려고 하고 있다. 하지만 실제 기업 환경에서 적용된 경우는 아직 드물다. 본 논문에서는 바이어가 전자회사에 주문한 물품의 생산 현황, 출하까지의 예상시간, 배송일 등을 실시간으로 확인할 수 있는 시스템인 주문 물품 모니터링 시스템(DW- GOMS: DasWoo -Global Ordering status Monitoring System)의 구현에 대해 설명한다. 이 시스템에 대한 사용자의 요구사항 분석은 Use Case를 이용했고 분석 및 설계는 OMT 프로세스를 도입하였고 그 결과는 UML로 표기하는 등 객체지향 개발 방법론을 적용했으며, 설계된 결과를 바탕으로 JAVA 및 CORBA를 기반으로 구현하였다. 구현된 시스템은 CORBA를 적용하여 개발 속도를 현저히 줄일 수 있으며, 시스템 분석/설계에 객체지향 개발 방법론을 적용함으로써 향후 시스템 변경에 유연하게 대응할 수 있게 된다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.9 no.2
• /
• pp.54-61
• /
• 2005

In this study, the fundamental design procedure for the Smart UAV fuel supply system was set up, and the preliminary design was performed to meet the vehicle system requirements. The fuel system layout was determined through consideration of vehicle system requirements, and then fuel tank layout, design of components such as booster pump, jet pump, pipe, vent system, weight estimation, etc. were carried out. Based on this fuel system layout, operational reliability analysis was carried out.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.8
• /
• pp.363-368
• /
• 2016

In safety-critical systems (SCS), failure may result in accidents with serious damage to human beings and property. As systems become more complex and automated, the goal of acquiring safety has attracted increasing attention lately in the defense industry, as well as the rail, automotive, and aerospace industries, among others. As such, the Department of Defense and international organizations have established appropriate standards and guidelines for systems safety and design. To this end, there has been research on the processes, methods, and associated tools for safety design. However, those results do not seem to sufficiently utilize system architectural information. The purpose of this paper is to provide a more systematic approach to SCS design. To better identify potential hazards, design information at each level of system hierarchy is exploited. Based on the results, an integrated process model was developed by combining the processes of system design and safety analysis. As a case study, the resultant integrated process model was applied to the safety design of an automobile system, which shows useful results for safety evaluation.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.156.1-156.1
• /
• 2012

저궤도 위성운용절차는 지상의 시험결과를 바탕으로 신뢰성 있는 설계가 이루어져야 한다. 따라서 초기 시스템 설계 단계에서부터 지상 시험, 초기 운영, 운영 phase에 따른 포괄적인 설계가 요구된다. 이러한 위성 운용절차를 체계화하기 위해서 등록 관리 시스템을 통한 절차의 위성 설계 단계, Sub-system, 운용 phase 및 호출 상황에 따른 분류를 진행할 수 있어야 한다. 또한, 저궤도 위성운용절차 DB를 통해서 운영 phase시의 요구조건 및 위성 설계시의 필요한 절차들을 쉽게 도식화 할 수 있어 사용자의 편의성 및 가독성을 증가 시킬 수 있다. 본 논문에서는 저궤도의 위성의 운용절차 설계자 및 지상 운영자를 위한 위성운용절차 시스템의 운영을 사용자 및 시기에 따라서 분류 및 분석을 수행하였다. 본 논문을 통해 수행된 결과를 바탕으로 위성의 운용설계의 가이드라인 설정 및 접근성이 증대될 것으로 기대된다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2001.05a
• /
• pp.210-214
• /
• 2001

본 연구의 목표는 인간의 감성을 평가하기 위하여 행해지는 실험에 있어서 생리신호 측정값 및 주관평가 측정값을 자동적으로 분석하여 결과를 산출하는 시스템을 설계하는데 있다. 인간의 감성을 평가하기 위한 방법으로서 인간의 생리신호(ECG,EEG,GSR,SKT등)를 측정하여 얻는 객관적데이타와 형용사에 의해 측정되는 주관적데이타가 있다. 통합감성평가시스템은 이러한 주관적데이타 객관적데이타를 분석하여 최종적이니 감성평가결과를 산출하는 시스템이다. 지금까지 감성평가실험에서 생리신호 측정값의 분석과 주관적평가측정값의 분석은 상당한 시간과 인력이 소비되었다. 이런 모든과정을 처리할 수 있는 시스템을 개발함으로써 보다 효과적인 실험환경의 조성 및 실험결과 산출로부터 신뢰성있고 다양한 결과를 도출해 낼 수 있을 것이다. 본 시스템은 감성종합 데이터베이스, 생리신호분석시스템, Sheet에 의한 주관평가 시스템, 실시간 주관평가 시스템을 통합하는 시스템이다.