• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.376-378
• /
• 2003

소프트웨어 개발 중 분석과 설계 단계에서 만들어진 산출물을 이용하여 개발될 소프트웨어의 신뢰도를 예측하는 초기 소프트웨어 신뢰도 모델은 소프트웨어의 품질을 보증하는 유용한 도구로써 사용될 수 있다. 기존의 소프트웨어 신뢰도 모델은 개발될 소프트웨어의 품질에 한정하여 신뢰도를 예측함으로써 기존 시스템과 연계된 신뢰도를 예측하는데 한계가 있다는 단점과 개발자의 개발 능력이 개발될 소프트웨어 신뢰도에 미칠 영향을 고려하는데 한계가 있다는 단점이 있었다. 그러므로, 본 논문은 기존 시스템과의 연관성을 고려한 초기 소프트웨어 신뢰도 모델을 기준으로 개발자의 개발 능력을 고려한 종합적인 초기 신뢰도 모델을 제시하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.270-270
• /
• 2017

스마트워터그리드와 같은 첨단 정보통신기술을 활용한 물 관리 기술의 도입으로 수도운영사업에서도 누수와 같은 이상사건인지 목적의 효율적 빅 데이터 분석기법의 중요성이 증대되고 있다. 국내외적으로 누수인지를 위한 다양한 연구기법, 범위, 계측항목, 샘플링 주기 등이 제시된 바 있으나, 이상감지시스템(Event Detection System, EDS)은 대상지역 특정적 특성을 가지고 있어 범용적인 모델을 구축하는 데는 어려움이 있다. 본 연구에서는 소블럭 단위의 유량자료 분석을 통한 이상감지시스템의 적용가능여부를 판별하고 적합 모델구축자료 방안을 제시하는 K-EDS 모델을 개발하였다. 모델분석의 절차는 자료획득, 자료 전처리, 탐색적 자료해석, 그리고 각 기법 평가로 진행된다. 개발된 모델을 다양한 특성을 가지는 실제 지방상수도시스템에 적용하여 분석하였으며, 최종적으로 모델적용 가능성과 영향인자 등을 도출하였다. 개발된 모델은 소블럭별 현장계측자료 기반의 이상감지모델 적용 적합도 판별에 활용될 수 있으며, 향후 누수 인지 및 누수지속시간 감소를 위한 SW로 개발이 가능하다.

• Journal of Intelligence and Information Systems
• /
• v.1 no.1
• /
• pp.73-89
• /
• 1995

전문가시스템이 등장한지도 근 20년이 흘렀고 다양한 분야에서 기업의 중추적 시스템으로 운영되고 있다. 이렇게 전문가시스템이 연구단계에서 벗어나 실용화됨에 따라 전문가시스템의 개발방법에 대한 연구가 학계가 산업계가 새로운 연구과제로 인식되고 있다. 지금까지 개발에 대한 연구는 주로 지식획득 기술의 개발에 치중되어있다. 본 논문에서는 전문가시스템의 개발에 대한 방법론적 접근방법이 제시된다. 이 접근벙법은 시간과 인력 등 자원의 제약을 받는 전문가시스템 개발프로젝트에 적합한 것으로 동시공학(Concurrent Engineering)개념을 채택하고 있으며 개발 라이프사이클 모델, 프로젝트팀 구성방법등을 다루고 있다. 또한, 동시공학적 접근방법을 지원하기 위한 분석과 설계방법으로는 객체지향기술을 사용하며 개발단계별로 해당 모델이 산출물로 구축된다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2017.06a
• /
• pp.107-108
• /
• 2017

횡단보도 인근에서는 보행취약자의 사고가 끊이지 않고 있으며 사고예방 및 사고의 절감을 위하여 선제적안 안전시스템의 개발이 요구되고 있다. 선제적 안전시스템의 개발을 위하여 빅데이터를 이용한 안전 데이터 도출, 영상분석을 이용한 보행자 행동특성 모니터링 시스템의 개발 및 사고감소를 위한 안전 시스템 개발이 진행되고 있다. 보행취약자 위험상황 판단에 대한 정의를 빅데이터 분석을 통해 도출하고 횡단보도 주변 안전 시스템의 개발을 기존 시스템에 적용 및 새로운 시스템을 개발하며 이에 적합한 딥러닝 영상분석 시스템을 개발하였다. 본 논문에서는 딥러닝 모델을 이용하여 객체의 검출, 분석을 수행하는 객체 검출부, 객체의 포즈와 행동을 보여주는 영상 분석부로 구성되어 있으며 기존 모델을 응용하여 최적화한 모델을 적용하였다. 딥러닝 모델의 구동은 리눅스 서버에서 운용되고 있으며 딥러닝 모델 구동을 위한 여러 툴을 적용하였다. 본 연구를 통하여 보행취약자의 검출, 추적, 보행취약자의 포즈 및 위험상황을 인식하고 안전시스템과 연계할 수 있도록 구성하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1645-1648
• /
• 2003

최근 디지털 가전과 모바일 컴퓨팅이 화두로 떠오르면서 내장형(embedded) 기술이 전성기를 맞이하고 있다. 실시간 내장형 시스템을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 시스템 개발이 가능해진다. 이러한 이유로 인하여, 자원이 제한된 실시간 내장형 시스템 개발 사용에 적합한 컴포넌트 모델이 소개되고 있으며, 그 중 PBO 모델은 다른 모델에 비해 실시간 시스템에 적합한 인터페이스를 정의하고 있으나, 실시간 내장형 시스템 개발에 적용되는 범위를 넓히기 위해서는 구성과 분석 기능을 제공하는 툴셋을 필요로 하고 있다. 따라서, 본 논문에서는 구성과 분석 기능을 포함하는 PBO 모델에 기반한 개발 툴셋의 아키텍쳐를 제안하였으며, 이를 통해 설계 시간과 에러 감소, 생산성을 증가하는 방안을 제시하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.52-55
• /
• 1999

디지털 시스템의 발전으로 발전소의 제어시스템도 디지털시스템으로 설비개체가 많이 시행되고 있다. 발전소 제어설비중에서도 아직 연구개발이 미진하고 상대적으로 낙후된 터빈 조속기 제어 분야는 최근 몇 년전부터 연구개발이 진행중이다. 본 논문에서는 수력발전소 수차제어시스템을 개발하기 위한 기본 단계로 수력 터빈-조속기 모델과 기계유압식 조속기의 모델을 검토해 보고 디지털 제어시스템으로 개조하기 위한 디지털 PID 모델을 제시하였다.

• Aerospace Engineering and Technology
• /
• v.2 no.2
• /
• pp.76-82
• /
• 2003

To guarantee the proper functions of a satellite in the extreme space environment, the several test models are developed generally. There are advantages that the design and the analysis of Flight Model(FM) can be validated through these test models, and the functional reliabilities can be increased by reflecting the modifications on the final design of FM. The integration and test of Structure & Thermal Model(STM) of KOMPSAT, being currently developed, have been completed. In this paper, the processes of design and analysis of the STM propulsion system, one of the KOMPSAT modules, are described.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.159-164
• /
• 2005

UAV(Unmanned Air Vehicle) 시스템은 새로운 알고리즘과 소프트웨어 디자인에 바탕을 두고 빠르게 발전하고 있다. 그러나, 일반적으로 쓰이고 있는 전자공학적인 제어 시스템은 개발의 복잡성과 그에 따른 이용증대에 대한 문제점을 가지고 있다. 이에 본 논문에서는 연속시간 시스템으로 표현되는 비행기 모델과 이의 효과적인 제어를 위해 이산사건 시스템으로 표현되는 조종사 모델간의 연동을 제안한다. 전자공학적 모델인 연속시스템은 자세한 표현력을 바탕으로 정량적이고 정확한 비행기 모델을 표현할 수 있으며 제어 모델인 이산사건 시스템은 각 사건과 시스템의 상태에 따른 정성적인 행동제어를 가능하게 한다. 본 연구는 한국항공대학교에서 개발한 이산사건 시뮬레이터인 DEJAVA(DEVS Java)와 연속시간시뮬레이터인 MATLAB 시뮬레이터 환경을 바탕으로, NASA에서 개발된 HL2O 비행시뮬레이터와 조종사 모델을 위한 지능제어시스템 개념을 사용하여 구현되었다.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.