• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.700-703
• /
• 2017

안전 필수 소프트웨어란, 소프트웨어의 결함으로 인해 사고가 일어났을 경우 사용자에게 치명적인 위해를 야기하는 소프트웨어를 의미한다. 안전 필수 소프트웨어는 다양한 산업에서 보편화 되고 있기 때문에 안전성이 확보된 소프트웨어를 사용자에게 제공해야하며, 잠재적인 결함이 사고로 이어질 수 있기에 안전 요소들에 대한 충분한 분석이 필요하다. 요구사항으로부터 위험 요소를 분석할 때에는 결함의 결과만을 보고 위험 등급을 부여하는 한계가 있다. 결함의 결과가 비록 같더라도 각기 다른 원인에 의해서 각기 다른 위험 수준을 갖기 때문이다. 본 논문에서는 각각의 기능들에 대해 안전성을 부여하고 우선순위를 선정하여 위험도가 높은 기능들에 대해서 우선적으로 분석할 수 있는 기법에 대해서 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Electronics and Telecommunications Trends
• /
• v.17 no.5 s.77
• /
• pp.107-118
• /
• 2002

본 논문은 대형 프로젝트를 수행하는 데 있어서 필요한 리소스, 인력, 개발비용 및 소프트웨어 소스에 대한 데이터를 추정하여 프로젝트의 효율성을 평가하는 모델인 소프트웨어 프로젝트 평가모델을 이용하여 기 수행된 프로젝트의 경험데이터와 수행되고 있는 프로젝트의 소프트웨어 메트릭스(metrics) 데이터를 활용하여 생산성, 품질, 자원투입 효과, 개발될 소프트웨어 소스 규모 등을 추정해 보고 이를 경험적인 모델(empirical model)에 적용하여 프로젝트 별로 평가, 비교 분석해 본다. 또 향후 유사 프로젝트 관리(similar project management)에 필요한 사항들을 제안한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.06a
• /
• pp.29-30
• /
• 2011

GNSS 시스템의 다원화에 따른 DGPS RSIM 기능도 DGNSS 체제로 기능적, 시스템적 고도화가 필요한 시점이 도래하고 있다. 이와 관련하여 차세대 DGNSS RSIM 아키텍처를 미국 해양경비대(USCG) NAVCEN에서 제안하였는데, 이 차세대 DGPS RSIM 아키텍처의 기본 요구조건은 PC 플랫폼 기반의 신규 신호 및 기술에 대한 충분한 유연성을 확보할 수 있고, 기존 사용자 수신기와 기존 기준국 시스템과의 충분한 호환이 가능해야 한다는 것이다. 그러나 위의 제시된 아키텍처는 DGPS RSIM 시스템의 소프트웨어 응용에 초점이 맞추어져 있어서 GNSS 다원화에 따른 DGNSS 기준국 기능 고도화에 한계가 있다. 그러므로 본 논문에서는 소프트웨어 DGNSS RSIM 개발을 위한 후속연구로서, 현재 운영 중인 GPS/GLONASS를 중심으로 보정정보 생성 및 그 측위정확도 성능분석에 중점을 두고자 한다. 기 설계된 DGNSS 소프트웨어 RSIM 아키텍처에 대해 설명하고, 설계된 아키텍처와 통합보정정보 생성 및 처리 기법이 적용된 GPS/GLONASS 통합보정시스템을 구현하여, 향후 소프트웨어 DGNSS RSIM을 위한 측위정확도 측면에서의 성능을 분석한다.

• Annual Conference of KIPS
• /
• 2000.10b
• /
• pp.1397-1400
• /
• 2000

본 논문은 감리 정보 시스템을 개발하여 실제 감리 활동에 적용한 결과, 개발된 소프트웨어에 대한 평가 및 분석 정보를 다음과 같이 할 수 있다. 소프트웨어 평가 정보는 감리 평가의 체크 항목 및 기준 점수와 주요 항목별 긴급 개선, 통상 개선, 권고사항 등의 정보를 제공할 수 있기 때문에 시스템 관련 관리자, 개발자, 감리자에게 고품질의 신뢰성 있는 소프트웨어 개발에 기여하였으며, 소프트웨어 분석 정보는 감리 평가 항목별로 다양한 이력 정보를 제공할 수 있기 때문에 향후 소프트웨어 감리 평가 및 개발의 전략 수립에 활용할 수 있다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2008.06a
• /
• pp.265-268
• /
• 2008

Lidar(Light Detection and Hanging, Ladar)는 물체에 반사되어 되돌아오는 광학신호를 관측하여 물체와의 거리를 측정하는 센서로 정밀한 3차원 모델 생성 및 도시지역의 변화탐지 등에 효율적으로 적용될 수 있다. 시뮬레이션은 시스템의 동작을 인공적으로 만들어 내고, 이 동작의 실행을 관찰하여 실제 시스템의 특성을 추론하는 일련의 활동으로, 하드웨어의 설계 및 분석, 보완, 성능 평가 등에 효율적으로 이용된다. 본 연구에서는 Lidar 시스템의 원리 및 구조 분석을 통해서 Lidar 데이터를 시뮬레이션하기 위한 소프트웨어를 설계하였다. Lidar의 특성이 시뮬레이션 소프트웨어에 정확하게 구현되도록 하기위해 Lidar 동작과 관련된 내부 및 외부요소를 분석하고 기능에 따라 추상화하여 소프트웨어 모들로 구성하였다. 시스템 내부요소로 송신부 수신부 신호/영상처리부 모델과 외부환경요소로 비행환경 모델, 타겟 모델, 대기 모델을 정의하였다. 또한, Lidar 시스템 실행 중에 발생하는 주요 프로세스를 함수 모듈로 정의함으로서, 모델들 간의 구조적인 관계를 정의하였다. 본 연구의 설계결과는 이후 Lidar시뮬레이션 소프트웨어의 보다 체계적인 구현에 적용될 예정이다.

• Electronics and Telecommunications Trends
• /
• v.16 no.4 s.70
• /
• pp.67-76
• /
• 2001

본 논문은 ACE2000 시스템 소프트웨어의 Release 시점을 예측할 수 있는 최적 배포문제로, 시스템의 안정도를 평가해 볼 수 있는 측면에서 소프트웨어 최적 배포문제에 대해 살펴보고 평가기준을 제시하여 제품의 적기 공급 및 개발자원의 효율적 이용 측면을 분석한다. 즉, 신뢰성 평가척도와 개발 비용을 고려한 최적 배포문제를 기술하였다. 또 여러 가지 소프트웨어 신뢰도 성장모델 중 지수형 모델을 근거로 한 소프트웨어 개발비용과 신뢰성 평가기준을 고려한 배포시기를 결정하여 보았다.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.450-452
• /
• 2020

기술의 발전과 함께 사용자에게 가까이 자리 잡은 소셜 네트워크 서비스는 이미지, 동영상, 텍스트 등 활용 가능한 데이터의 수를 폭발적으로 증가시켰다. 작성자의 감정을 포함하고 있는 텍스트 데이터는 시장 조사, 주가 예측 등 다양한 분야에서 이용할 수 있으며, 이로 인해 긍부정의 이진 분류가 아닌 다중 감정 분석의 필요성 또한 높아지고 있다. 본 논문에서는 딥러닝 기반 감정 분류에 심리학 이론의 기반 감정 모델을 활용한 결합 모델과 단일 모델을 비교한다. 학습을 위해 AI Hub에서 제공하는 데이터와 노래 가사 데이터를 복합적으로 사용하였으며, 결과에서는 대부분의 경우에 결합 모델이 높은 결과를 보였다.

• Annual Conference of KIPS
• /
• 2022.05a
• /
• pp.587-589
• /
• 2022

본 서비스는 코로나 19 로 인한 비대면 수업에 따른 학생들의 학업성취도를 증진시키기 위한 것이다. 이를 위해서 비대면 수업동안의 사용자의 시선을 추적하여 몰입도를 분석한다. 사용 기술로는 사용자의 시선을 추적하는데 Gaze-Tracking 기술과 영상에서 수업에 있어 유의미한 영역을 분석하는 deeplabv3 기술을 사용한다. Gaze-Tracking 기술은 웹캠 등을 통하여 사용자가 화면의 어느 부분을 쳐다보고 있는지를 고개, 눈, 눈동자의 각도를 통하여 알아낸다. 해당 기술들을 활용하여 실시간 몰입도를 분석하여 알림을 제공한다. 수업이 종료되고 나서는 마지막에 몰입도 통계를 제공한다. 추가적으로 몰입도 향상을 도와주는 미니게임도 제공한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.293-296
• /
• 2023

본 논문에서는 고속도로의 교통망의 연결성을 분석하고 예측하기 위하여 그래프 이론을 이용하여 접근성 지표의 알고리즘을 제안한다. 먼저 2025년 고속도로 교통망을 그래프로 나타낸 운송네트워크를 구한다. 그리고 그래프 이론의 연결수, 비교거리, 접근지표, 연결도, 산포지수, 지름 등의 개념을 이용하여 2025년 고속도로 교통망의 연결성을 분석하고 예측하기 위하여 주어진 운송네트워크로부터 다양한 접근성 지표를 쉽게 얻을 수 있는 알고리즘을 제시한다. 이를 통하여 고속도로의 운송네트워크에서 교통의 중심이 되는 도시를 찾을 수 있다.