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

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

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.32-39
• /
• 2021

Existing environmental measuring devices mainly focus on electromagnetic wave and eco-friendly product certification and durability test, and sensor reliability verification and verification of measurement data are conducted mainly through sensor performance evaluation through type approval and registration, acceptance test, initial calibration, and periodic test. This platform has established an ICT-based environmental monitoring sensor reliability verification system that supports not only performance evaluation for each target sensor, but also a verification system for sensor data reliability. A sensor board to collect sensor data for environmental information was produced, and a sensor and data reliability evaluation and verification service system was standardized. In addition, to evaluate and verify the reliability of sensor data based on ICT, a sensor data platform monitoring prototype using LoRa communication was produced, and the test was conducted in smart cities. To analyze the data received through the system, an optimization algorithm was developed using machine learning. Through this, a sensor big data analysis system is established for reliability verification, and the foundation for an integrated evaluation and verification system is provide.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.280-282
• /
• 2010

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.265-267
• /
• 2004

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템을 하드웨어 모듈로 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 기존의 방법은 검증하고자 하는 암호 알고리즘의 종류에 따라 검증도구를 다시 개발해야 하는 번거로움으로 시간과 비용의 낭비가 초래되었다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제 하에서 어떤 종류의 암호 하드웨어 모듈에 대해서도 호환성을 갖출 신뢰성 있는 검증 도구를 효과적으로 개발하였다.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2012.04a
• /
• pp.389-392
• /
• 2012

연기감지기는 이온전류의 변화량을 감지하는 이온화식 연기감지기와 발광부와 수광부로 이루어진 챔버내에 연기에 의한 광량의 변화를 감지하는 광전식 연기감지기로 구분된다. 국내에서는 광전식 연기감지기가 더 많이 사용되고 있는데 이러한 광전식 연기감지기의 챔버내에 이물질이 침입하게 되면 비화재보를 발생시키게 된다. 본 논문은 연기감지기의 연기감지 챔버에 대한 비화재보를 감소시키기 위한 신뢰성 시험에 대하여 논한 연구이다. 광전식 연기감지기의 신뢰성을 검증하는 방법으로는 먼지에 대한 신뢰성을 검증하는 가연물 종류에 따른 연기감지 신뢰성 시험이나 분진시험이 적합한 것으로 판단되며, 이러한 시험의 반복을 통하여 광전식 연기감지기의 신뢰성을 검증하는 것이 필요한 것으로 사료된다.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Proceedings of the KIPE Conference
• /
• 2013.11a
• /
• pp.196-197
• /
• 2013

친환경 차량의 필수장치로 사용되는 OBC(On Board Charger) 및 LDC(Low DC-DC Converter)는 시스템 성능은 물론 하드웨어적인 신뢰성과 더불어 차량에서 발생할 수 있는 다양한 Fault로부터 차량과 운전자를 보호할 수 있는 안정성과 신뢰성을 확보하는 것이 요구된다. OBC/LDC 개발에 있어 시제품을 제작하여 성능 검증과 하드웨어 신뢰성을 확보하는 것은 현재의 개발 프로세서로 충분하지만 차량에서 발생하는 다양한 Fault 상황에 대한 강건성 확보는 실차에 탑재하여 검증하지 않고서는 뚜렷한 검증 방법이 없는 실정이다. 이에 따라 본 논문에서는 차량에서 발생될 수 있는 다양한 Fault 상황을 시뮬레이터로 모사하여, 이러한 Fault를 전력변환장치에 인위적으로 주입시킨 뒤 전력변환장치가 정상적으로 동작하는지 분석한다. 이를 통해 실차에 탑재하지 않고 전력변환시스템의 신뢰성을 검증하기 위한 방안을 제시한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.7
• /
• pp.701-708
• /
• 2009

The flight control law of developed flight control computer(DFLCC) is developed based on operation flight program of advanced trainer aircraft full scale development final configuration. The flight control law design is used common use development tool in GUI(Graphic User Interface) environment. The flight control law transformed to C-Code is reflected in OFP. The OFP is verified by the standardized verification process. But, before standardized verification process, we need preliminary verification process such as similarity of flight control law and reliability of developed HILS. Similarity of flight control law is verified by comparing the aircraft response of advanced trainer aircraft and those of the developed control law. Also, reliability of developed HILS is verified by comparing the aircraft response of HILS and Non-real time simulation result. This paper verifies similarity of developed control law and reliability of HILS environment as comparing aircraft response.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2012.08a
• /
• pp.102-102
• /
• 2012

진공측정 특히 고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 미세 유량발생 장치를 포함한 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 미세 기체유량계와 펌프 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 수행해오고 있는 진공분야의 국제비교 및 측정기술 개발 활동에 대해 소개한다.

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.23-31
• /
• 2021

In recent years, in the domestic industry, personal damage has occurred due to sensor malfunction and the emission of harmful gases. But there is a limit to the reliability verification of sensor data because the evaluation of environmental sensors is focused on durability and risk tests. This platform designed a sensor board that measures 10 major substances and a performance verification system for each sensor. In addition, the data collected by the sensor board was transferred to the server for data reliability evaluation and verification using LoRa communication, and a prototype of the sensor data platform was produced to monitor the transferred data. And the collected data is analyzed and predicted by using machine learning techniques.