• 정보처리학회논문지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 모델 체킹을 수행하여 프레임워크 설계의 명확성을 보이고자 한다.

• 한국과학예술포럼
• /
• 제37권3호
• /
• pp.135-145
• /
• 2019

BIM기반 협업 과정에서 정보 교환을 위해 활용중인 IFC(Industry Foundation Classes)는 구조적인 한계로 분야간 정보 교환 결과에 대한 신뢰성을 확보하지 못하고 있다. 결국 분야별 전문 BIM 소프트웨어를 사용 할 수밖에 없는 현실적 문제로 정보 교환 및 변경 과정에서 원할한 상호 운영성을 확보 하지 못하고 있다. 본 연구는 이러한 문제들을 해결하기 위해 소프트웨어 개발사들이 제공하고 있는 오픈 소스(Open Source)를 활용하여 건축-구조 분야 간 BIM 업무 상호 운영성 확보 방안을 찾기 위해 다음과 같이 연구하였다. 첫째, 전문가 설문조사 및 심층 인터뷰를 통해 건축-구조 분야간 협업 과정에서 요구되어지는 정보들과 개선 요소를 도출하였다. 둘째, 개선 요소에 대한 해결 방안을 찾기 위해 Open-API 관련 기존 연구 고찰과 국·내외 API를 개발 사례를 조사 및 분석하였다. 셋째, 각 분야에서 주로 활용중인 BIM S/W를 중심으로 Open API를 활용하여 상호 운영성을 확보 할 수 있는 애드온(Add-On)을 개발하였다. 연구 결과 API를 활용하여 분야간 설계 변경 이력관리를 통한 상호 운영성을 확보 할 수 있는 가능성을 확인 하였다. 향후 시공 및 유지관리 분야까지 API 활용 범위는 넓어질 것으로 판단된다. 따라서 응용 확산을 위해 활용성을 높이기 위해서는 사용자 중심의 검증을 통한 인터페이스 개선에 대한 연구가 추가적으로 필요하다.

• 한국항공우주학회지
• /
• 제38권12호
• /
• pp.1217-1222
• /
• 2010

본 논문은 근접감시 무인항공기(KUS-9)의 비행제어 소프트웨어(S/W) 개발 과정과 모델기반 개발 기술 적용 결과를 다룬다. 대표적인 상용 모델기반 설계도구인 MATLAB $Simulink^{(R)}$를 활용하여 통합개발 환경을 구축하고 비행제어법칙, 운용로직, 비행 시뮬레이션 모델, HILS(Hardware-in-the-Loop Simulation) 시스템 모델을 설계하였다. 설계 과정에서 요구사항 충족을 위한 시뮬레이션 및 동료검토를 수행하고 DO-178B 검증 도구를 이용하여 모델을 검증한 후 S/W시험 도구를 통해 C코드의 무결성을 검증하였다. 탑재 소프트웨어는 두 기종의 하드웨어 및 실시간운용체제(${\mu}C$/OS-II, VxWorks)에 탑재하여 HILS시험과 비행시험을 수행하였다. 모델기반 개발 기법을 적용함으로써 S/W 재사용성과 확장성을 확보하고 자동코드생성 기술을 이용하여 고신뢰 비행제어 S/W를 단기간에 성공적으로 개발하였다.

• 정보과학회 논문지
• /
• 제42권5호
• /
• pp.591-600
• /
• 2015

SLA(Service Level Agreement)는 클라우드 컴퓨팅 서비스를 제공하는 사업자가 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 반드시 보장해야 하는 요소이며 특히 클라우드 서비스 브로커리지를 이용해서 서비스를 중개하는 환경에서는 SLA를 통한 서비스 사업자와 고객 간의 계약이 중요하다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하거나 명세에 대한 방법론적인 접근이 없어서 SaaS를 기반으로 제공되는 소프트웨어 서비스의 품질 요소를 반영하기 어렵다. 본 연구를 통해 SaaS 환경에 적합한 SLA 제공을 위해 소프트웨어적인 품질 특성을 명세할 수 있는 방법을 제시하고 SLA 명세를 서비스 제공자와 소비자 간에 교환할 수 있는 메커니즘과 구조를 제안하였다. SaaS 레벨에서의 SLA 명세를 위한 메타모델을 정의하였고 SaaS의 품질 요구사항은 제안한 명세 언어로 기술될 수 있으며, 사례연구를 통해 다양한 소프트웨어적인 품질 요소가 제안한 명세 언어로 표현됨을 검증하였다. SLA 명세는 이를 교환하기 위한 UDDI 기반의 중개 프로세스 및 아키텍처를 이용하여 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다.

• 한국건설관리학회논문집
• /
• 제13권4호
• /
• pp.3-15
• /
• 2012

현재 BIM을 도입한 주요 국가들은 BIM 발주 또는 납품 전 단계에서 설계사가 설계과정 중 기본적인 품질 확보가 가능하도록 필요한 지침을 제공하고 있다. 그러나 국내 건설산업의 경우, BIM의 도입 및 적용은 확산되고 있으나, BIM 발주 시 설계품질을 고려한 지침은 제공되지 않고 있다. 이로 인해 설계사는 자의적 해석에 의존적일 수밖에 없으며, 발주자는 납품받은 BIM 데이터의 품질을 신뢰하기 힘든 상황이다. 또한, BIM 소프트웨어의 내부 오류는 파악할 수 없는 관계로 자체 포맷에 의한 품질검토는 BIM 데이터의 품질을 확보하기 어렵다. 따라서 BIM 데이터의 품질을 높이기 위해서는 개방형 BIM(IFC)을 활용한 객체모델링과 객체별 속성 정의 등을 포함하는 지침을 개발할 필요가 있다. 이는 BIM 데이터의 기본 품질을 보증하고, 품질검토를 통하여 좀 더 나은 품질을 확보하는데 활용될 수 있다. 이에 본 연구는 설계품질 향상을 위한 개방형 BIM기반의 품질관리 방안으로 해외 주요 국가들의 선진사례와 품질검토 소프트웨어를 조사 분석하여 기본적인 품질관리가 가능한 요구조건을 제시하였고, 기존 BIM 사례에 적용하여 요구조건의 유용성을 검토하였다.

• 대한기계학회논문집B
• /
• 제40권11호
• /
• pp.705-715
• /
• 2016

본 연구의 목적은 에어컨 사이클 성능해석에 있다. 응축기, 증발기, 팽창밸브 및 압축기는 냉동사이클을 구성하는 핵심요소이다. 사이클의 개별적인 구성요소들에 대한 해석 기법들을 합리적으로 통합하여 다양한 운전조건에서 에어컨 시스템 성능예측이 가능하도록 하였다. 응축기 압력은 압축기 질량유량과 팽창밸브 유량이 일치하도록 반복계산에 의해 획득되며, 증발기 압력은 목표 흡입과열도가 획득되도록 압축기 흡입엔탈피를 반복계산에 의해 획득되었다. 더 나아가서 복수 실내기를 장착한 에어컨 시스템의 성능이 예측될 수 있도록 알고리듬들이 마련되었으며, 이들 모델들에 대한 해석결과를 제시하였다. 소프트웨어의 정확성은 실험결과에 의해 증명 되었다. 특히, 8.3 kW급 모델의 실험결과와 비교함으로써, 소프트웨어의 정확성이 다양하게 검정되었다. 해석결과로써, 정확성은 대체적으로 10% 이내에 있는 것으로 확인되어 우수한 신뢰성이 확보되었다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.365-374
• /
• 2005

신뢰성 있는 내장 실시간 시스템을 구축하기 위해서는 프로그램의 스케줄링 가능성 여부를 검증해야 한다 스케줄링 가능성 분석을 위해서 는 프로그램의 최악실행시간 정보가 필수적인 요소이다. 최악실행시간 분석은 두 단계로 나된다. 첫 번째 단계에서는 프로그램 언어 구문상의 흐름을 분석하고, 두 번째 단계에서는 수행되는 흐름 경로상의 하드웨어적인 요소를 고려하여 수행시간을 분석한다. 본 논문에서는 XScale 프로세서를 대상으로 하는 최악실행시간 통합 분석 도구인 WATER(WCET Analysis Tool for Embedded Real-time system)를 설계하고 구현한다. 상위 수준의 흐름 분석기와 하위 수준의 실행시간 분석기로 이루어진 WATER의 구조를 소개하고 소프트웨어의 실제 측정과 WATER의 분석 결과를 비교한다.

• 한국콘텐츠학회논문지
• /
• 제8권8호
• /
• pp.37-46
• /
• 2008

발사통제시스템(Launch Control System)은 유도무기체계에서 유도탄의 발사와 관련된 일련의 절차들을 제어하는 시스템이다. 이 시스템은 지정된 시간 안에 목표물에 대한 교전계획을 생성하고 이 정보를 탄에 장입하며 탄의 발사 제어를 수행해야 한다. 이 때문에 시스템의 하드웨어, 소프트웨어 고장뿐만 아니라 정해진 수행 시간의 초과 때문에도 임무가 실패될 수 있다. 본 논문에서 제안한 것은 발사통제시스템과 같은 내장형 실시간 시스템을 위한 고장허용 이더넷으로 별도의 하드웨어나 소프트웨어 없이 기존 상용의 이더넷 디바이스를 이중화하여 네트워크에 고장허용 기능을 제공하는 방법이다. 이를 위해 시스템의 각 구성 노드들을 이중의 네트워크 채널로 중복 시키고, 네트워크 트래픽에 대한 고장탐지 및 복구를 위해 통신 미들웨어를 설계하고 개발하였다. 이중채녈 기반의 통신 미들웨어를 통해 처리 시간이 중요한 시스템에 네트워크 고장으로 인한 시스템 중지를 방지하고 노드에 통신 손실이 발생하지 않도록 하였다.

• 한국정보전자통신기술학회논문지
• /
• 제1권2호
• /
• pp.13-20
• /
• 2008

최근 대부분의 첨단 임무 (mission critical) 시스템이 컴퓨터 노드 연결에 의한 Ethernet 네트워크 기반으로 구성되고 있어, 이에 따른 시스템 신뢰성 측면이 더욱 중요한 요소로 대두되고 있다. 본 논문은 첨단 임무 시스템의 신뢰도를 높이기 위하여 일반화되고 있는 고장 극복(Fault Tolerant) Ethernet의 개념을 이중화 관점에서 정립하고, 이를 위한 핵심 사항인 노드 이중화 구현 방식을 비교하여 제시한다. 고장 극복개념을 위한 기본 구성인 Ethernet 이중화를 독립형 이중화와 통합형 이중화로 구분하여 분석하였다. 또한 노드 이중화 구현 방식은 기존의 소프트웨어 접근 방식과 하드웨어 접근 방식은 물론, 최근 본 연구팀의 일부가 제안한 복합 (hybrid) 방식도 함께 비교 대상으로 하였다. 실시간이 요구되는 첨단 임무 시스템의 경우는 하드웨어 접근 방식 또는 복합 방식이 적합하고, Commercial-Off-The-Shelf (COTS) 사용이 요구되는 시스템의 경우는 소프트웨어 접근 방식이나 복합 방식의 선택으로 귀결된다.

• 한국항행학회논문지
• /
• 제27권6호
• /
• pp.763-769
• /
• 2023

무인항공기용 비행제어컴퓨터는 높은 신뢰성이 요구되는 항전 장비로, 고장에 대한 마진을 위해 다중화 설계되는 것이 일반적이다. 다중화 된 비행제어컴퓨터는 채널 간 동기화 및 고장분리를 위해 디스크리트 신호 및 CCDL (cross channel data link)을 통한 인터페이스가 포함되어야 한다. 무인항공기 기술이 발전함에 따라 민간 및 군에서 AAM (advanced air mobility) 및 저피탐 등 다양한 형태의 플랫폼들이 개발되고 있으며, 이러한 플랫폼들은 고성능 비행제어를 위한 제어 성능 고도화 및 탑재장비의 SWaP (size, weight and power) 최적화를 요구하고 있다. 본 논문에서는 이러한 무인항공기용 최적화된 다중화 비행제어컴퓨터 아키텍처를 설계하고 입출력 제어를 위한 소프트웨어 설계를 수행하였다. 또한 구현된 비행제어컴퓨터와 입출력 소프트웨어를 통해 입출력 처리 성능을 평가 하였다.