• 소프트웨어공학소사이어티 논문지
• /
• 제29권2호
• /
• pp.7-12
• /
• 2020

국내 공공기관에서 사업비가 5억원 이상인정보시스템 구축사업은 정보시스템 감리대상이고 정보시스템 감리원은 감리기준에 따라 감리를 실시하여야 한다. 최근 금융산업을 넘어 제조, 헬스케어, 유통, 공공 부문 등 다양한 분야에 블록체인 기술이 적용되면서 블록체인 기술을 적용한 시스템 개발이 늘고 있다. 공공기관과 기업에서는 블록체인 기술을 적용하기 위해 프라이빗 블록체인인 하이퍼레저 패브릭을 사용이 증가 추세에 있다. 그러나, 새롭게 부상하고 있는 블록체인기반 시스템을 기존의 감리점검항목으로 감리를 수행하기에는 충분하지 않아 각 감리원들이 검증되지 않은 점검항목을 개별적으로 만들어 사용하고 있다. 따라서 블록체인을 적용한 시스템을 감리할때 검증된 감리점검 항목이 필요하다. 본 연구에서는 델파이 프로세스를 커스터마이징하여 블록체인 기술을 활용한 시스템 개발사업에 적합한 점검항목을 도출하고, 정보시스템 감리원의 설문조사를 통해 도출된 점검항목의 적정성을 검증받았다. 이번 연구는 정보시스템 감리원의 감리 수행에 직접적인 도움이 될 것이며, 블록체인 기반 시스템을 통해 서비스를 제공하는 사업자와 주관사도 시스템의 품질 향상에 기여할 것으로 기대된다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.199-208
• /
• 2008

최근 CMOS 이미지 센서가 저전력, 저가격, 소형화를 이루면서 이를 이용한 하드웨어 및 응용 소프트웨어 연구가 활발하게 이루어지고 있다. 하지만CMOS이미지 센서 제품들은 하드웨어에 비해 아직 응용 소프트웨어 및 펌웨어의 완성도에서 여러 가지 문제를 가진다. CMOS 이미지 센서 기반 폴링 기법은 불필요한 메시지 교환으로 인해 비효율적인 동기화 문제 및 전송 지연이 일정 수준으로 높아지면 데이터 재전송에 대한 오버헤드가 크다. 이러한 이유로 폴링 방식의 구조적 안정성(structural stability)에 문제점을 가진다. 본 논문에서는 MCU를 통한 펌웨어 기반의 고속 동기화 기법으로 폴링 주기를 세분화하여 Stepwise 동기화 기법을 제안하고, 인터럽트 방식을 적용하여 재접속 및 데이터 전송을 개선하였다. 결과적으로 제안한 기법이동기화 시간 및 에러 커넥션에서 20% 이상 뛰어난 성능을 보여주는 것으로 나타났다. 또한 CMOS 이미지 센서 기반의 C328R 보드와 저전력 MCU인 ATmega128L을 이용한 보드를 개발하고, 제공 소프트웨어와 제안된 펌웨어의 카메라 모듈과 동기화 시간 및 에러 커넥션(Error Connection) 등을 비교, 분석하였다.

• 한국컴퓨터정보학회논문지
• /
• 제26권3호
• /
• pp.99-109
• /
• 2021

최근의 기계 학습 연구에서는 데이터의 품질 및 완전성을 고려하기 위해 요구 공학 관점에서 데이터에 대한 비기능적 요구사항 도출이 제안되고 있으며, 특히 기계 학습에서의 데이터 요구사항을 요구 공학자들이 정의하였다. 본 연구에서는 데이터 전처리 이전에 데이터를 수집하고 저장하는 데이터 수집(DAQ) 단계에서 데이터 요구사항을 도출하였다. 이를 통해 기존 DAQ 시스템에서 필요로 하는 모든 데이터 요구사항과 이를 만족시키는 태스크(기능)의 유무, 그리고 요구사항과 기능 간의 관계를 표현할 수 있다. 또한 추출된 요구사항을 체계적으로 표현하고, 그 관계를 정의할 수 있어 소프트웨어 설계 문서의 작성이 가능하고 소프트웨어 설계 및 유지 보수 측면에서 체계적인 접근 및 방향성을 설정할 수 있다. 본 연구에서는 기존 DAQ 시스템 사례를 이용하여 요구 공학적 접근을 위한 시나리오와 유스 케이스(Use case)를 작성하고, 이를 기반으로 사례별 데이터 요구사항을 추출하고 목표 모델링을 통해 요구사항, 기능, 목표 간의 관계를 도식화한다. 연구 결과를 통해 요구 공학을 이용한 DAQ 시스템에서 시스템이 필요로 하는 비기능적 요구사항, 특히 데이터의 요구사항을 추출할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제19권9호
• /
• pp.45-53
• /
• 2014

본 논문에서는 스토리의 논리적 오류를 막기 위한 방법으로 캐릭터의 대화 이력 구축과 추적 방법을 제안한다. 장편 소설이나 공동 집필 작품등 작품의 길이가 길고 다수의 캐릭터가 등장하는 작품의 경우 작가에게 인지적 부담을 주게 되며 만약 작가가 캐릭터의 기억을 혼동할 경우 작품 속에 논리적 오류가 발생해 작품의 완전성과 무결성에 악영향을 미치게 된다. 본 논문에서는 상기한 추적 방법을 통해 작가의 인지적 부담을 경감하여 작품의 집필을 보조할 수 있는 작가 지원 시스템을 설계하고 기존에 집필된 소설을 분석하여 캐릭터의 대화 이력 추출 및 추적 예시를 보인다. 또한 질의문(query)의 성능평가를 통해 대화 이력 시스템이 평균 68.5%의 정확도를 보여주는 것으로 나타났다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권11호
• /
• pp.801-808
• /
• 2013

인터랙티브 3D 콘텐츠에서 가상공간은 현실세계를 얼마나 충분히 반영하느냐에 따라 사용자의 심리적 만족도가 결정된다. 완성도 높은 가상공간을 표현하기 위해서는 몇 가지 요소가 필요하다. 첫째는 시각적 효과를 높이기 위해서 많은 폴리곤과 해상도 높은 텍스쳐를 이용한 모델링 기법이다. 둘째는 기능상의 효과이다. 이것은 가상공간과 사용자 또는 시스템과의 인터랙션을 통한 동적 행위들이 얼마나 사실적으로 표현되는가이다. 이를 위해 가상의 캐릭터에 대한 애니메이션 생성하고 행동을 제어 할 수 있는 기법에 대한 연구가 이루어져 왔으나 긴 제작 시간 또는 높은 비용이 소요되거나 원하는 행동을 생성하지 못하는 경우가 발생하는 문제점이 발견되어 왔다. 본 논문에서는 캐릭터의 동작을 생성하는 최적화되어 있는 골격구조를 설계하고 물리법칙과 수학적 해석을 이용한 절차적 기법을 통해 인공물고기의 행동 제어하는 방법을 제시한다. 이는 정해진 이벤트에 대해 반응하는 일대일 대응 규칙의 한계성에서 벗어나 간단한 파라미터의 조작을 통해 제작 시간을 단축하고 시각적 만족도를 높일 수 있을 것이다.

• 한국가스학회지
• /
• 제22권2호
• /
• pp.1-20
• /
• 2018

Despite many measures, still from time to time catastrophic events occur, even after reviewing potential scenarios with HAZID tools. Therefore, it is evident that in order to prevent such events, answering the question: "What can go wrong?" requires more enhanced HAZID tools. Recently, new system based approaches have been proposed, such as STPA (system-theoretic process analysis) and Blended Hazid, but for the time being for several reasons their availability for general use is very limited. However, by making use of available advanced software and technology, traditional HAZID tools can still be improved in degree of completeness of identifying possible hazards and in work time efficiency. The new HAZID methodology proposed here, the Data-based semi-Automatic HAZard IDentification (DAHAZID), seeks to identify possible scenarios with a semi-automated system approach. Based on the two traditional HAZID tools, Hazard Operability (HAZOP) Study and Failure Modes, Effects, and Criticality Analysis (FMECA), the new method will minimize the limitations of each method. This will occur by means of a thorough systematic preparation before the tools are applied. Rather than depending on reading drawings to obtain connectivity information of process system equipment elements, this research is generating and presenting in prepopulated work sheets linked components together with all required information and space to note HAZID results. Next, this method can be integrated with proper guidelines regarding process safer design and hazard analysis. To examine its usefulness, the method will be applied to a case study.

• Journal of Korean Neurosurgical Society
• /
• 제58권6호
• /
• pp.513-517
• /
• 2015

Objective : Microscopic indocyanine green (ICG) angiography is useful for identifying the completeness of aneurysm clipping and the preservation of parent arteries and small perforators. Neuroendoscopy is helpful for visualizing structures beyond the straight line of the microscopic view. We evaluated our prototype of endoscopic ICG fluorescence angiography in swine, which we developed in order to combine the merits of microscopic ICG angiography and endoscopy. Methods : Our endoscopic ICG system consists of a camera, a light source, a display and software. This system can simultaneously display real-time visible and near infrared fluorescence imaging on the same monitor. A commercially available endoscope was used, which was 4 mm in diameter and had an angle of $30^{\circ}$. A male crossbred swine was used. Results : Under general anesthesia, a small craniotomy was performed and the brain surface of the swine was exposed. ICG was injected via the ear vein with a bolus dose of 0.3 mg/kg. Visible and ICG fluorescence images of cortical vessels were simultaneously observed on the display monitor at high resolution. The real-time merging of the visible and fluorescent images corresponded well. Conclusion : Simultaneous visible color and ICG fluorescent imaging of the cortical vessels in the swine brain was satisfactory. Technical improvement and clinical implication are expected.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.431-442
• /
• 2010

임베디드 시스템은 하드웨어와 소프트웨어 요소들이 서로 결합된 시스템이기 때문에 설계 시 실시간성(Real-time), 반응성(Reactive), 소규모(Small Size), 경량화(Low Weight), 안전성(Safe), 신뢰성(Reliable), 견고성(Harsh Environment), 저비용(Low Cost) 등의 요소들을 고려하여 설계해야 한다. 그러나 현재 임베디드 시스템 개발에 이러한 요소들을 반영한 설계 기법들이 미비하게 제시되어 있다. 특히 임베디드 시스템 개발에 있어서 프레임워크를 기반으로 임베디드 시스템을 개발하는 형태가 거의 이뤄지고 있지 않다. 이로 인해 현재 개발되어 있는 임베디드 시스템들의 내부 코드들을 살펴보면 시스템 작동과 전혀 상관이 없는 코드들이 무수하게 잔재하고 있으며, 임베디드 시스템 개발에 있어서 재사용성이나 가변성에 대한 고려가 미흡한 실정이다. 따라서 본 연구에서는 임베디드 시스템의 재사용성을 향상시키기 위해 제안했던 재사용 프레임워크 설계에 대한 완전성이나 일관성을 보장하기 위해 Z를 이용하여 프레임워크 설계에 대한 정형 명세 기법을 제시하고자 한다. 또한 Z 언어를 통해 명세한 결과를 Z-Eves Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 보이고자 한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권6호
• /
• pp.211-222
• /
• 2021

최근에 시판 되고 있는 냉동·냉장 가전제품은 사물인터넷(IoT) 기능이 추가된 제품이 출시되고 있으나, IoT 기능에 대한 시험은 거의 없는 실정이다. 특히 기존의 시험체제에서는 IoT 기반의 냉동·냉장 가전제품에 대해 IoT 시험항목이 마련되어 있지 않아 제품을 제조하는 업체의 경우에는 결함이 발생하더라도 원인을 쉽게 찾기가 어려우며, 시험기관의 경우에도 IoT와 관련한 시험항목 선정 및 방법의 부재로 올바른 성능시험 수행에 제약이 있다. 본 논문에서는 가전기기 분야의 제품 중 IoT 기능이 포함된 냉동·냉장 제품의 성능시험 프로세스에서 제품 결함을 찾아내고 그 원인을 식별할 수 있는 시험항목 프레임워크를 설계하고, 이를 이용한 시험방법 및 관리방안을 제안한다. 제안하는 연구를 통해 제조사 및 시험기관은 IoT 기반의 냉동·냉장 제품의 올바른 성능시험이 가능하여, 제품의 완성도를 높이고 신뢰성을 확보할 수 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제11권2호
• /
• pp.67-80
• /
• 2022

최근 들어 세탁 가전제품은 사물인터넷(IoT) 기능을 적용한 제품이 많이 출시되고 있으나 IoT 기능에 대한 품질평가 시험은 거의 없는 게 현실이다. 특히 기존의 시험체제에서는 IoT 기능을 적용한 세탁 가전제품에 대해 IoT 시험항목이 마련되어 있지 않기 때문에 제품을 제조하는 제조사의 경우에는 결함이 발생하더라도 원인을 쉽게 찾기가 어려우며, 시험기관의 경우에도 IoT와 관련한 시험항목 선정 및 방법의 부재로 올바른 성능시험 수행에 제약이 있다. 본 논문에서는 가전기기 분야의 제품 중 IoT 기능을 적용한 세탁 가전제품에 대해 성능시험 프로세스에서 제품 결함을 찾아내고 그 원인을 식별할 수 있도록 IoT 시험항목을 공용성과 가변성으로 구분한 시험항목 프레임워크를 설계하고, 이를 이용한 시험방법 및 관리방안을 제안한다. 제안하는 연구를 통해 제조사 및 시험기관은 IoT 기능을 적용한 세탁 제품의 올바른 성능시험이 가능하여, 제품의 완성도를 높이고 신뢰성을 확보할 수 있다.