• 한국통신학회논문지
• /
• 제39C권9호
• /
• pp.880-886
• /
• 2014

열차제어시스템은 최근의 컴퓨터 기술의 발달에 따른 자동화 및 지능화에 따라 소프트웨어에의 의존성이 더욱 증가하고 있으며, 동시에 소프트웨어의 오류 내재 가능성이 높아지고 실제 장애발생으로 인한 위험비용도 증가하고 있다. 이에 따라 열차제어시스템 소프트웨어의 무결성 검증이 매우 중요한 이슈가 되고 있으며, 이 중에서 열차제어 소프트웨어 기능안전성 검증을 위한 블랙박스 테스팅 도구의 필요성이 제기되고 있으나, 기존 상용도구들은 사용하기 어렵고 복잡하여 실제 현장에서 적용이 거의 되지 않고 있다. 본 논문에서는 이러한 분석을 바탕으로 열차제어시스템 소프트웨어 기능안전성 검증을 위한 실제 사용하고 있은 인터페이스를 통한 새로운 개념의 블랙박스 테스팅 도구를 제안하였다. 현재 제안한 도구의 설계 및 프로토타입이 개발되어 열차제어시스템 소프트웨어 테스팅에 시범적용 중에 있다.

• Food Science and Biotechnology
• /
• 제18권2호
• /
• pp.279-293
• /
• 2009

Quantitative risk assessments are related to implementing hazard analysis and critical control points (HACCP) by its potential involvement in identifying critical control points (CCPs), validating critical limits at a CCP, enabling rational designs of new processes, and products to meet required level of safety, and evaluating processing operations for verification procedures. The quantitative risk assessment is becoming a standard research tool which provides useful predictions and analyses on microbial risks and, thus, a valuable aid in implementing a HACCP system. This paper provides a review of microbial modeling in quantitative risk assessments, which can be applied to HACCP systems.

• Journal of the Korean Physical Society
• /
• 제73권10호
• /
• pp.1571-1576
• /
• 2018

We developed and evaluated an algorithm to calculate the target radiation dose in cancer patients by measuring the transmitted dose during 3D conformal radiation treatment (3D-CRT) treatment. The patient target doses were calculated from the transit dose, which was measured using a glass dosimeter positioned 150 cm from the source. The accuracy of the transit dose algorithm was evaluated using a solid water phantom for five patient treatment plans. We performed transit dose-based patient dose verification during the actual treatment of 34 patients who underwent 3D-CRT. These included 17 patients with breast cancer, 11 with pelvic cancer, and 6 with other cancers. In the solid water phantom study, the difference between the transit dosimetry algorithm with the treatment planning system (TPS) and the measurement was $-0.10{\pm}1.93%$. In the clinical study, this difference was $0.94{\pm}4.13%$ for the patients with 17 breast cancers, $-0.11{\pm}3.50%$ for the eight with rectal cancer, $0.51{\pm}5.10%$ for the four with bone cancer, and $0.91{\pm}3.69%$ for the other five. These results suggest that transit-dosimetry-based in-room patient dose verification is a useful application for 3D-CRT. We expect that this technique will be widely applicable for patient safety in the treatment room through improvements in the transit dosimetry algorithm for complicated treatment techniques (including intensity modulated radiation therapy (IMRT) or volumetric modulated arc therapy (VMAT).

• 한국항공우주학회지
• /
• 제49권10호
• /
• pp.871-877
• /
• 2021

항공기 결함은 항공기 운영 및 조종사의 생명과 직결된 중요한 사항으로 항공기 조종 중 발생하는 임무 소프트웨어의 결함은 조종사 임무수행 및 안전에 심각한 영향을 미친다. 항공기 개발을 주관하는 단체나 소프트웨어 결함을 개발 초기에 식별하고 제거하기 위해 프로세스를 강화하고 많은 공수와 시간을 할애하고 있지만 임무 소프트웨어의 특성상 타 항전 장비와 강한 기능적 결합도(Coupling) 및 높은 복잡도(Complexity)를 가지고 있어 기존 시험 방법을 통한 소프트웨어 결함 식별 및 제거에 제약이 따른다. 본 연구는 임무 컴퓨터 연동 장비의 통신 데이터 중 피드백 데이터의 기댓값 검증을 자동화하는 도구를 개발하여 데이터 무결성 검증을 통한 임무 소프트웨어 건전성 확보 및 시험 비용 감소 효과를 분석한다.

• Nuclear Engineering and Technology
• /
• 제48권1호
• /
• pp.144-152
• /
• 2016

Human capabilities, such as technical/nontechnical skills, have begun to be recognized as crucial factors for nuclear safety. One of the most common ways to improve human capabilities in general is training. The nuclear industry has constantly developed and used training as a tool to increase plant efficiency and safety. An integrated training framework was suggested for one of those efforts, especially during simulation training sessions of nuclear power plant operation teams. The developed training evaluation methods are based on measuring the levels of situation awareness of teams in terms of the level of shared confidence and consensus as well as the accuracy of team situation awareness. Verification of the developed methods was conducted by analyzing the training data of real nuclear power plant operation teams. The teams that achieved higher level of shared confidence showed better performance in solving problem situations when coupled with high consensus index values. The accuracy of nuclear power plant operation teams' situation awareness was approximately the same or showed a similar trend as that of senior reactor operators' situation awareness calculated by a situation awareness accuracy index (SAAI). Teams that had higher SAAI values performed better and faster than those that had lower SAAI values.

• 한국재난정보학회 논문집
• /
• 제8권3호
• /
• pp.310-318
• /
• 2012

본 연구의 목적은 국내 안전보건경영시스템의 올바른 정착과 지속적인 개선을 통한 산업재해를 줄이기 위한 시스템 성숙도평가를 제안하는데 있다. KOSHA 18001시스템 실행의 현재 수준파악과 성숙도 측정의 검증을 통한 결과로서 다음 내용으로 요약된다. 시스템의 지속적인 성숙도 등급 향상을 위해서는 경영층 인식부문(의사결정) 46.0%, 본사지원활동 32.0%, 현장실행참여 22.0%로 중요도 로 검증되었다. 본사/현장의 활동은 위험성평가, 안전보건 재해예방활동, 성과평가 및 모니터링, 자원관리 및 지원, 경영검토 및 개선 등 활동의 중요도 순으로 실행 우선순위가 결정되었다. 또한, 전문가 그룹은 시스템의 강점, 약점, 개선주제를 제시함으로써 지속적인 개선활동과 연계시켜야 시스템을 정착할 수 있다고 제시하였다. 셋째, 안전보건경영시스템 실행의 성숙도 등급을 관리할 수 있는 도구를 제시하였다.

• 한국멀티미디어학회논문지
• /
• 제14권10호
• /
• pp.1335-1347
• /
• 2011

최근 모바일 애플리케이션의 보급과 사용은 급속도로 확장되고 있으며, 이 과정에서 모바일 애플리케이션의 보안이 새로운 문제로 대두되고 있다. 일반적인 소프트웨어의 안전성은 시큐어 코딩을 통해 개발 단계에서 부터 검증까지 체계적으로 이루어지고 있으나 모바일 애플리케이션의 경우는 아직 연구가 미흡한 실정이다. 본 논문에서는 모바일 애플리케이션에 특화된 취약점 항목을 도출하고 이를 기반으로 취약점을 분석할 수 있는 취약점 분석기를 설계하고 구현한다. 취약점 목록은 CWE(Common Weakness Enumeration)와 CERT (Computer Emergency Response Team)를 기반으로 모바일 애플리케이션의 특징인 이벤트 구동방식을 한정하여 도출하였으며, 분석 도구는 동적 테스트를 통하여 애플리케이션 소스 내에 취약점이 존재하는지 검사한다. 또한 도출된 취약점 목록은 모바일 애플리케이션을 작성하는 프로그래머의 지침서로 활용 될 수 있다.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.605-615
• /
• 2018

사물 인터넷 시장 규모의 급격한 성장에 따라 임베디드 시스템에서 가장 많이 쓰이는 언어인 C/C++ 언어의 사용도 증가하고 있다. C/C++ 언어의 코드 품질을 향상시키고 개발 비용을 절감시키기 위해 소프트웨어 개발 전반부에서 수행 가능한 소프트웨어 검증기법인 정적 분석을 사용하는 것이 좋다. 많은 프로그램들이 정적 분석을 사용하여 소프트웨어의 안전성을 검증하고 있으며 많은 정적 분석 도구들이 사용 및 연구되고 있다. 본 논문에서는 Clang 정적 분석도구를 사용하여 검증된 시험 코드에 대한 보안 약점 검출 성능을 확인한다. 또한 소스 코드 난독화 기법인 구획 난독화, 데이터 난독화, 제어 흐름 난독화 기법이 각각 적용된 시험 코드에 대한 정적 분석 결과와 원본 시험 코드에 대한 정적 분석 결과를 비교하여 소스 코드 난독화 기법에 따른 Clang 정적 분석 도구의 성능 영향을 분석한다.

• 한국안전학회지
• /
• 제27권5호
• /
• pp.219-223
• /
• 2012

For an off-site consequence analysis at nuclear power plant, MELCOR Accident Consequence Code System(MACCS) II code is widely used as a software tool. In this study, the algorithm of web-based off-site consequence analysis program(OSCAP) using the MACCS II code was developed for an Integrated Leak Rate Test (ILRT) interval extension and Level 3 probabilistic safety assessment(PSA), and verification and validation(V&V) of the program was performed. The main input data for the MACCS II code are meteorological, population distribution and source term information. However, it requires lots of time and efforts to generate the main input data for an off-site consequence analysis using the MACCS II code. For example, the meteorological data are collected from each nuclear power site in real time, but the formats of the raw data collected are different from each site. To reduce the efforts and time for risk assessments, the web-based OSCAP has an automatic processing module which converts the format of the raw data collected from each site to the input data format of the MACCS II code. The program also provides an automatic function of converting the latest population data from Statistics Korea, the National Statistical Office, to the population distribution input data format of the MACCS II code. For the source term data, the program includes the release fraction of each source term category resulting from modular accident analysis program(MAAP) code analysis and the core inventory data from ORIGEN. These analysis results of each plant in Korea are stored in a database module of the web-based OSCAP, so the user can select the defaulted source term data of each plant without handling source term input data.

• 디지털융복합연구
• /
• 제12권8호
• /
• pp.229-234
• /
• 2014

자동차산업의 발전과 함께 차량전자통신시스템이 고성능화 되어가고 있으며 사용자 편의 면에서도 상당히 많은 발전을 거듭해가고 있다. 그러나 통신시스템의 특성상 전송구간에서 공격자의 공격에 대한 문제가 제기되고 있으며 안전한 통신에 대한 필요성이 중요시 되고 있다. 자동차의 운행, 제어계통 및 영상장비 등에 공격자의 공격이 성공하게 되면 안전 및 프라이버시에 심각한 문제가 발생하게 된다. 따라서 하드웨어적인 보안 및 보안통신프로토콜에 대한 연구가 중요한 부분으로 이루어지고 있다. 본 논문에서는 안전한 차량 통신프로토콜을 제안하며 공격자의 각종 공격에 안전한 프로토콜을 정형검증도구인 Casper/FDR 도구를 이용하여 실험하였으며 제안 프로토콜이 안전하며 문제없이 종료됨을 확인하였다.