• 한국산학기술학회논문지
• /
• 제19권10호
• /
• pp.410-417
• /
• 2018

현대의 시스템은 지속적으로 대형화, 복잡화되어 왔기 때문에 시스템의 오류 발생 가능성이 커졌다. 시스템의 고장은 안전 사고를 발생시키고, 인명과 재산상의 막대한 피해를 줄 수 있다. 이러한 이유로 미 국방성과 IEC 등의 국제표준기구에서는 시스템의 안전성을 확보하기 위한 안전 관련 국제표준을 제정하였고, 시스템 설계와 안전 활동이 통합적으로 수행되어야 함을 권고하였다. 이에 따라 최근의 연구들은 모델기반 시스템 설계를 진행함과 동시에 모델을 활용하여 시스템의 안전성 검증을 수행하였다. 하지만 시스템 설계를 위한 모델과 안전성 분석 및 검증을 위한 고장모델을 서로 다른 모델링 언어를 기반으로 생성하였기 때문에 시스템 설계와 안전 활동이 통합적으로 수행되지 못하였다. 또한, UML 또는 SysML 기반으로 고장모델을 활용하여 안전 요구사항을 도출한 연구들은 안전 분석 및 검증에 고장모델이 제한적으로 활용되었다. 이와 같은 문제점을 해결하기 위해서 기존의 고장모델 활용법을 확장 시킬 필요가 있다. 우선 시스템 설계와 안전성 검증 활동을 통합적으로 수행할 수 있는 개선된 SysML 기반의 고장모델을 생성해야 한다. 다음으로 이 고장모델을 활용하여 도출된 안전요구사항이 시스템 설계에 제대로 반영되었는지 검증할 수 있어야 한다. 따라서 본 논문에서는 개선된 SysML 기반 고장모델의 개념과 생성 절차를 제시하였고, 자동차 시스템에 대한 고장모델을 생성하였다. 또한, 자동차 시스템의 안전성을 검증하기 위해서 고장모델의 시뮬레이션을 수행하였다. 이를 통해서 개선된 SysML 기반 고장모델을 활용하여 시스템 설계와 안전성 검증 활동을 수행할 수 있음을 보였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1385_1386
• /
• 2009

In this paper, we examined the faulted cable joint through the external form analysis, material analysis, experimental verification and it's cause diagnosis system. It was not observed the voild, sharp material from the external form analysis and material variation. From the experimental verification, the thickness decrease of an insulator decreased ac breakdown strength suddenly and the breakdown traces of the insulator that was damaged by knife displayed elliptic shape. Thus, the faulted cable is assumed to accident that become dielectric breakdown by the deterioration of insulation performance that can happen when work.

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

In this paper, we introduce the estimation method by Risk or SIL(Safety Integrity Level) for the criterion of safety assurance and summarize each application method and target. IEC 62278(EN 50126) which is international standard for the specification and verification of the railway system RAMS indicate a criterion of safety assurance. Especially, it recommend the safety verification by continuous verification as the order of requirement establishment, design, manufacture, installation, operation, and maintenance for the equipment not easy to quantify the operation environment. In this paper, we study the SIL requirement allocation method relating to internal new system development and existing system improvement by analysing SIL recommendations which were used to understand SIL for a train control equipment in 1990s in IRSE and theoretically their allocation background. This paper help the safety management of Korea train control system to develope the quantitative management procedure as international level by analyzing the SIL requirement allocation by operation agency and the right SIL verification procedure by manufacture and indicating the example to assure safety because it is necessary for improvement and localization for the Korea train control system having highly dependence on aboard technology.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1209-1215
• /
• 2007

To establish the national railway safety system, the railway total safety technology development project has been promoted by Ministry of Construction and Transportation (MOCT) since August 2004. The project is mainly focused on the prevention of a critical railway accident and the reduction of accident/mortality rate. To achieve its goal effectively, the project is composed of 15 sub-projects each of which can be categorized into three different technological area. This work deals with the verification results for the outcomes of the sub-projects carried out at the 2nd year of the project. A new verification procedure is developed and applied to the project based on the system engineering. Three criterions - The suitability of the realization of a function, the suitability of a physical structure, the suitability of a design analysis report - are used for the verifications. The verification results are investigated by calculating standard deviations of scores of each results.

• 정보보호학회논문지
• /
• 제29권2호
• /
• pp.275-285
• /
• 2019

웹 어셈블리는 웹 브라우저 자바스크립트의 성능 향상을 위해 설계된 새로운 바이너리 표준이다. 웹 어셈블리는 효율적인 실행 및 간결한 표현과 여러 언어를 바탕으로 작성된 코드를 네이티브에 가까운 속도로 구동될 수 있는 새로운 웹 표준으로 자리 잡고 있다. 하지만 현재 웹 어셈블리 취약성 검증은 웹 어셈블리 인터프리터 언어에 제한되어 있으며, 웹 어셈블리 바이너리 자체에 대한 취약성 검증은 부족한 상황이다. 따라서 웹 어셈블리의 자체적인 안전성 검증이 필요한 실정이다. 본 논문에서는 먼저 웹 어셈블리의 구동 방식과 현재 웹 어셈블리의 안전성 검증 방법에 대해서 분석한다. 또한 기존에 발생하였던 웹 어셈블리 안전성 검증 방식에 대해 살펴보고, 이에 따른 기존 안전성 검증 방식의 한계점을 분석한다. 최종적으로 기존 안전성 검증 방법의 한계점을 극복하기 위한 웹 어셈블리 API 기반 퍼징 방법을 소개한다. 이는 기존 안전성 검증 도구로 탐지할 수 없었던 크래시를 탐지함으로써 제안하는 퍼징의 효용성을 검증한다.

• 한국ITS학회 논문지
• /
• 제21권5호
• /
• pp.197-217
• /
• 2022

자율주행자동차(Automated vehicle, AV) 교통사고가 지속적으로 발생하면서 자율주행시스템(automated driving system, ADS)의 안전성 및 신뢰성을 확보하기 위한 안전성 검증의 중요성이 강조되고 있다. 안전성 및 신뢰성을 확보하기 위해서는 ADS의 운행가능영역(operational design domain, ODD)을 정의하고 ODD를 벗어나는 상황에서의 대응 능력을 평가하면서 ADS의 안전성을 검증해야 할 필요가 있다. 이를 위해 SAE, BSI, NHTSA, ISO 등의 국제 기구에서는 ODD 분류 기준 및 표준을 규정하고 있으나 국내의 경우 ODD 기준이 부재하여 AV의 ODD 표현 방법 및 안전성 검증 및 평가가 적절히 이루어지지 않고 있다. 이에 본 연구에서는 해외 ODD 분류 기준을 분석하고 안전성 검증 및 평가에 적합한 분류 기준을 선정하였다. 선정된 ODD를 기반으로 ADS 안전성 검증 및 평가에 필요한 평가요소를 제시하였다. 특히, ADS 기술 개발을 지원하는 자율주행 실험도시(K-City)의 평가환경을 분석하여 평가요소를 제시하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1187-1192
• /
• 2007

Recently, many organizations such as, including government, railroad operational, railroad facilities managemental and research authorities have made a lot of efforts to identify and prevent hazards from leading to accidents and solve them all over the railroad industry. Railroad total safety technology development project conducted as one of national R&D projects has established business formation structure based on system engineering as an effort to define and give a solution to facing problems in the field of railroad. This paper is building procedures to verify the outcomes derived from this project. The verification process is the one for verifying the outcome produced in the final stage of the project or during the project. It makes sure that the system is satisfying the system requirements through verification of the outcomes produced after conducting the project for verification. We've made verification plan for technically reasonable verification using verification process developed through this research, and established master verification plan in the level of 15 detailed projects for interim and final outcomes produced.

• 한국항공우주학회지
• /
• 제40권6호
• /
• pp.548-554
• /
• 2012

항공기 비행조종컴퓨터 탑재 소프트웨어는 항공기의 손실뿐만 아니라 조종사의 생명에도 직결되는 비행안전 필수 소프트웨어로서 정확성과 무결성을 입증하기 위한 검증 및 확인(Verification & Validation)이 요구된다. 특히 비행안전 필수 소프트웨어는 검증을 위해 통합시험 단계에서 실제 환경과 유사한 운용 환경에 노출하여 소프트웨어 내부 상태를 실시간으로 모니터링하기 위한 환경이 요구된다. 본 논문에서는 표준 디버깅 인터페이스인 NEXUS 5001을 이용한 비행안전 필수 소프트웨어의 검증환경 개발에 대하여 기술하였다.

• 한국항행학회논문지
• /
• 제21권2호
• /
• pp.155-162
• /
• 2017

최근 국내에서 항공 관련 안전필수시스템들이 개발되었지만 이들 완성품들은 규정된 요구사항들을 충족시키지 못하여 실용화 또는 상용화 되지 못하였다. 현대 항공 기술의 복잡도가 높아짐에 따라 기존의 검증 및 확인 기술로는 시스템에 잠재된 리스크를 식별하고 줄이는데 어려움이 많다. 이러한 단점들을 극복하기 위해 선진국에서는 독립적 검증 및 확인이라는 새로운 기법에 관심이 모아지고 있다. 이 독립적 검증 및 확인의 효과도에 관한 학술적 연구는 국내에는 전무하고, 국외에서 조차도 매우 희소하게 수행되고 있다. 따라서 본 논문에서는 항공선진기관에서 수행한 항공 안전필수시스템에 대한 독립적 검증 및 확인의 응용 연구들을 조사하여 사업에 미치는 여러 가지 효과들을 분석해 본 결과, IV&V는 조기 오류 검출율을 높이고, 내재된 리스크도 조기에 완화하며, 개발 수명주기 후반에 나타나는 재작업 확률을 줄여서 개발 일정 및 비용의 증가를 획기적으로 막아주는 것으로 나타났다.