• 한국항공우주학회지
• /
• 제49권6호
• /
• pp.505-513
• /
• 2021

본 논문에서는 비행 중 비행체 내·외부에서 발생하는 동적상황 변화에 대해 대응 우선순위에 따라 무인기가 자율적으로 대처할 수 있는 무인기 자율 임무관리 소프트웨어의 설계 및 검증 기법을 제안한다. 제안된 무인기 자율 임무관리 소프트웨어는 다중 스레드 기반의 동시 수행 가능한 모듈화 구조로 하위 소프트웨어들을 설계하였으며, 이를 검증하기 위해 1) 모든 동적상황 변화에 대한 스레드들 간의 요청/응답 메시지를 확인하는 소프트웨어 통합 기법과 2) 소프트웨어 통합검증환경을 활용하여 소프트웨어의 기능 검증을 수행하는 통합시험 및 3) 정량적 성능 검증을 수행하는 성능시험 기법을 제시한다. 특히, 통합시험과 성능시험을 수행하기 위해 소프트웨어 통합검증환경을 제작하여 활용한다.

• 한국IT서비스학회지
• /
• 제10권3호
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권4호
• /
• pp.448-456
• /
• 2000

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

• 항공우주시스템공학회지
• /
• 제16권2호
• /
• pp.13-24
• /
• 2022

항공용 소프트웨어의 규모가 커짐에 따라 기능적 확장, 효율적인 개발 및 코드의 재사용을 위하여 객체지향 기술의 사용이 증가하고 있으나, 그 검증방안은 기존의 절차지향 프로그램 관점으로 수행되고 있다. 본 논문에서는 객체지향 기술의 특징과 객체지향 언어의 기능적 특징에서 파생되는 취약점들을 분석하고 객체지향기술이 적용된 항공용 소프트웨어의 기능 안전 무결성을 보장하기 위한 소프트웨어 개발단계(Design, Coding, Test)별 적용 가능한 검증 방안을 제시한다. 또한, 비행제어 소프트웨어 구현에 사용되는 오픈소스인 PX4에 정적분석 자동화 도구인 LDRA를 적용하여 제시한 단계별 검증 방안 중 정적분석 결과의 의미를 분석하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.483-494
• /
• 2009

Since the embedded system is more intelligent, the importance of the reliability in the embedded system is a lot more visible. Especially the reliability of the embedded system in the train control system is even better important. As the special quality of the embedded system, the hardware of the system is directly controlled by the software in the embedded system. As the expansion of complexity, the expense amd the time for verification is required more and more. This paper is presented the verification of the reliability as the method with background of failure Embedded system is gradually, the importance of 'A built-in on the system embedded system's reliability is focused. In particular, in the train control system built-in of the embedded system, reliability is even more important. The embedded system of the system controls over hardware, software with built-in directly. The more complex system is, the more increasable of depending on the reliability of the time verification and expensive is. This paper is about he characteristics of the reliability and verification of embedded system under the failure mechanisms, based on the verification methodology suggested by in the train control system.

• 제어로봇시스템학회논문지
• /
• 제16권7호
• /
• pp.655-660
• /
• 2010

As increasing the number of Electronic Control Units in a vehicle, the proportion for reliability and stability of the software is going increasingly. Accordingly, the traditional CAN network has occurred the situation that the requirement of developing vehicle software is not sufficient. To solve these problems, the FlexRay network which is ensured the high bandwidth and real-time is generated. However it is difficult to implement FlexRay based application software because of complex protocol than traditional CAN network. Accordingly the system for analysis and verification of network state is needed. Also vehicle vendor develops application software using Matlab/Simulink in order to increase productivity. But this development method is hard to solve the network problem of node to node. Therefore this paper implements Matlab/Simulink based FlexRay network system and verifies it through comparing with existing embedded system.

• 스마트미디어저널
• /
• 제5권1호
• /
• pp.69-77
• /
• 2016

본 논문은 분산 저장환경에 사용되는 RAID와 네트워크 가상화 기술을 융합하며 Software Defined Storaging 방법을 제안한다. 제안방법은 저장장치를 소프트웨어 기반으로 설계함으로써 유연한 제어 및 관리를 제공하여 물리적인 스토리지의 용량과 재해 복구비용을 절감할 수 있다. 제안된 Software-Defined RAID 기반의 장애복구 기법을 실질적인 퍼블릭 클라우드인 AWS와 구글 스토리지를 이용하여 실증 테스트 및 성능을 비교한다.

• 인터넷정보학회논문지
• /
• 제17권5호
• /
• pp.59-65
• /
• 2016

최근 세계적으로 에너지 부족 문제를 해결하기 위해 에너지저장시스템에 관한 연구가 활발히 이루어지고 있다. 에너지저장시스템은 에너지 네트워크상의 모든 에너지 인프라에 대한 모니터링 및 제어를 통해 ESS(Energy Storage System) 에너지 사용을 극대화할 수 있다. 하지만 에너지저장시스템의 주요 부품이나 장치들 간의 호환 문제는 ESS 제품 개발에 걸림돌로 작용하고 있다. 이를 해결하기 위해 ESS 부품 및 장치들의 특성을 확장 할 수 있는 프로파일과 이를 검증할 수 있는 소프트웨어 기술이 요구되어지고 있다. 본 논문에서는 에너지저장장치용 확장성 프로파일 검증 소프트웨어의 구조에 따른 복잡도 분석에 관한 연구를 수행한다. 프로파일 검증 소프트웨어 분석을 위해 기존의 XML(eXtensible Markup Language) 기반의 프로파일과 C언어 구조체 기반의 프로파일을 사용한다. XML 기반의 프로파일을 여러번 파싱하는 복잡한 검증 구조와 파싱 절차를 감소하고 단순 반복을 이용한 C언어 구조체 기반의 검증 소프트웨어의 복잡도를 분석하고 비교한다. 시간 복잡도, 공간 복잡도 및 순환 복잡도 알고리즘을 이용하여 XML 기반의 프로파일과 C언어 구조체 기반의 프로파일 검증 소프트웨어의 복잡도를 비교 및 분석하여 연구 결과를 제시한다.

• Journal of Computing Science and Engineering
• /
• 제11권1호
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• 한국위성정보통신학회논문지
• /
• 제5권2호
• /
• pp.1-7
• /
• 2010

기존 위성 탑재소프트웨어 개발은 제한된 하드웨어 기반의 Software Test Bed(STB)에서 개발 및 검증이 이루어졌다. 하지만 탑재소프트웨어 개발 시 하드웨어의 개발 진행에 따라 소프트웨어 개발 일정이 심각한 영향을 받았으며 다수의 소프트웨어 엔지니어가 제한된 STB를 동시에 사용할 수 없는 문제가 지속적으로 제기 되었다. 또한 최종 비행 하드웨어 모델과 상이한 형상으로 인하여 실제 운영을 고려한 부분의 경우 소프트웨어 개발 및 검증에 많은 어려움이 있었다. 이러한 문제를 해결하기 위하여 위성 개발초기부터 소프트웨어 기반의 위성 시뮬레이터 개발이 시작되었으며, 위성 시뮬레이터는 탑재 컴퓨터 및 이와 관련된 모든 하드웨어를 모사해주며 비행 하드웨어 모델과 동일한 형상을 갖추고 있다. 또한 소프트웨어 개발자를 위한 디버깅 채널과 테스트 환경을 제공하며, 별도의 수정 없이 탑재소프트웨어를 로딩 할 수 있으며 유사 실시간 시스템 실행을 지원한다. 본 논문에서는 소프트웨어 기반의 시뮬레이터의 구조와 개발방안을 제시하고 시뮬레이터 기반에서 탑재소프트웨어 개발 및 검증 결과를 소개한다.