• 한국산학기술학회논문지
• /
• 제17권4호
• /
• pp.382-391
• /
• 2016

철도와 같은 안전중시 시스템에 대해 체계적인 안전관리의 필요성이 점차 커지고 있어 IEC 61508, 62278, ISO 26262 등의 안전과 관련된 표준들이 제정되었고, 관련연구가 수행되고 있다. 그중 안전 프로세스의 중요한 활동인 위험원 분석에 대하여 다양한 연구가 수행되어 왔으나, 시스템설계 프로세스와의 구체적인 연계성이 부족하였다. 또한 기존의 위험원 분석방법은 시스템 설계가 상당 수준 진행된 하드웨어 및 소프트웨어 구성품 정보에 의존하기 때문에, 설계 변경에 많은 비용과 일정이 소요된다. 이러한 문제들을 해결하기 위해서 본 논문에서는 시스템 설계초기인 개념설계 단계에서 수행한 기능분석 결과를 안전 프로세스에서 직접적으로 활용하여 위험원을 분석하고 이를 바탕으로 위험을 줄이기 위해 필요한 안전요구사항을 생성하는 방법에 대하여 연구를 수행하였다. 설계 초기에 위험원 분석 및 안전요구사항의 도출을 수행함으로써, 향후 요구사항 변경 등 여러 요인으로 시스템 설계 및 안전 설계의 변경 시에 이를 반영하는데 있어서 시간 및 비용 관점에서 상대적으로 효율적인 접근 방법이 된다. 한편, 사례연구로서 본 논문에서 제시한 방법을 경전철 역사의 안전성을 확보하기 위한 요구사항의 도출에 적용하는 연구를 수행하였다.

• 한국항행학회논문지
• /
• 제20권1호
• /
• pp.1-7
• /
• 2016

국토교통부는 2014년부터 한국형 위성보강항법시스템 (SBAS; satellite based augmentation system)인 KASS (Korea augmentation satellite system) 개발 구축 사업을 진행 중이다. KASS는 실제 운영 중 문제가 발생할 경우 인명 및 재산피해와 연결될 수 있어 시스템 개발을 위한 안전성 평가가 매우 중요하다. 안전성 평가의 핵심은 위해 식별과 심각도 판정에 따른 개발보증레벨 (DAL; design assurance level) 할당이다. 본 연구에서는 항공시스템의 안전성 평가 방법론을 제시하는 국제표준인 SAE (society of automotive engineers) ARP4761 (aerospace recommended practice)을 기반으로 KASS 및 그 하위시스템에 대해 개발보증레벨 할당을 수행한다. 이것은 전체 시스템 안전성 평가의 첫 단계이므로 향후 KASS 개발 구축 사업의 안전성 평가에 활용될 수 있다.

• 대한조선학회논문집
• /
• 제46권2호
• /
• pp.179-188
• /
• 2009

WIG crafts are a high speed vessel with features of dynamic supported craft. These crafts, which are predominantly of light weight and operate any substantially greater speeds than conventional craft such as bulk carrier, tanker, container ship, etc., could not be accommodated under traditional maritime safety instruments. It means that there is the need for risk and safety levels to be assessed on a holistic basis, recognizing that high levels of operator training, comprehensive and thoroughly implemented procedures, high levels of automation and sophisticated software can all make significant contributions to risk reduction. To response this requirement, the Interim Guideline for WIG craft(MSC/Circ.1054) were developed in the view of the configuration of WIG craft, which fall between the maritime and aviation regulatory regimes. This paper reviews a safety assessment process and methodology to be used in the design phase of a new ship. The process and methodology is based on the risk-based approach and is applied to safety assessment in concept development phase of small WIG craft in the 20-person class.

• Nuclear Engineering and Technology
• /
• 제53권1호
• /
• pp.131-141
• /
• 2021

Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. This paper proposes two sets of structural coverage adequacy criteria for the FBD simulation, toggle coverage and modified condition/decision coverage, which can estimate the thoroughness of simulation scenarios for FBD programs, as recommended by international standards for functional safety. We developed two supporting tools to generate numerous simulation scenarios and to measure automatically the coverages of the scenarios. The results of our experiment on five FBD programs demonstrated that the measures and tools can help software engineers estimate the thoroughness and improve the simulation scenarios quantitatively.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.1205-1208
• /
• 2005

By adding user interface to the usual router, an improved functional router is implemented in this paper. Due to the massive amount of spatial data processing, spatial information processing area has been rapidly grown up in recent years based on powerful computer hardware and software development. Spatial index structures are the core engine of geographic information system(GIS). Analyzing and processing of spatial information using GIS has a lot of applications and the number application will be increased in the future. However, study on the under ground is in its infancy due to invisible characteristic of this information. This paper proposes the sub-surface fault detection system using the sub-surface layer information gathered from elastic wave. Detection of sub-surface fault provides very important information to the safety of above and sub-surface man made structures. Development of sub-surface fault detection system will serve as a pre-processing system assisting the interpretation of the geologist.

• 한국자동차공학회논문집
• /
• 제13권3호
• /
• pp.24-34
• /
• 2005

The automobile seat must satisfy various safety regulations for the passenger's safety. In many design practices, each component is independently designed by concentrating on a single related regulation. However, since multiple regulations can be involved in a seat component, there may be design confliction among the various safety regulations. Therefore, a new design methodology is required to effectively design an automobile seat. The axiomatic approach is employed for considering multiple regulations. The Independence Axiom is used to define the overall flow of the seat design. Functional requirements (FRs) are defined by safety regulations and components of the seat are classified into groups which yield design Parameters (DPs). The classification is carried out to have independence in the FR-DP relationship. Components in a DP group are determined by using orthogonal away of the design of experiments (DOE). Numerical analyses are utilized to evaluate the safety levels by using a commercial software system for nonlinear transient finite element analysis.

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

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

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권10호
• /
• pp.661-668
• /
• 2013

Safety Critical 시스템은 시스템의 기능적인 실패 또는 예기치 못한 상황의 발생으로 인해 인명피해, 재산피해, 환경 피해와 같은 치명적인 사고를 초래할 수 있는 시스템을 의미한다. 그러므로 Safety Critical 시스템의 안전을 보장하기 위해서는 시스템 설계 단계에서 시스템에 존재할 수 있는 위험성들이 충분히 고려되어야 하며, 사고가 발생했을 시 피해를 최소화시키기 위한 일련의 예방 동작들이 설계되어야 한다. 현재에는 Safety Critical 시스템의 설계 단계에서 위험성을 식별하고 분석하기 위한 많은 방법들이 연구되었으며, 이 중에는 예기치 못한 사건으로 인한 피해를 예방하는 동작들의 성공 여부를 분석하는 기법도 존재한다. 본 연구에서는 위의 예방 동작들의 성공 여부에 대한 분석뿐만 아니라 기존 연구들에서 언급하지 못한 예방 동작들 간의 충돌과 이로 인해 발생할 수 있는 피해를 분석하는 방법을 제시하고자 한다. 제안한 방법을 통해 Safety Critical 시스템의 안전성이 견고해지고 피해 예방을 위한 동작들의 올바른 설계에 도움이 될 수 있을 것이다.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 한국자동차공학회논문집
• /
• 제24권1호
• /
• pp.112-121
• /
• 2016

AFLS (Adaptive front lighting system) is being applied to improve safety in driving automotive at night. Safe embedded system design for controlling head-lamps is required to improve noise robust ECU hardware and software simultaneously by considering safety requirement of hardware-dependent software under severe environmental noise. In this paper, we propose an adaptive headlight controller with a newly-designed symmetric angle sensor compensator, especially based on the proposed steering-swivel angle lookup table to determine whether the current controlling target is safe. The proposed system includes an additional backup hardware to compare the system status and provides safe swivel-angle management using a controlling algorithm based on the pre-defined lookup table (LUT), which is a symmetric mapping relationship between the requested steering angle and expected swivel angle target. The implemented system model shows that the proposed architecture effectively detects abnormal situations and restores safe status of controlling the light-angle in AFLS operations under severe noisy environment.