• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권8호
• /
• pp.886-901
• /
• 2000

네트웍을 이용한 분산 컴퓨팅 환경이나 소프트웨어의 안전성이 중요한 시스템 등에서, 외부로 부터 전달되는 코드의 안전성을 검증하는 일이 점점 더 중요한 문제가 되고 있다. 전자메일에 첨부되어 온 코드나 웹브라우저를 통해 외부로부터 전달된 코드를 수행하는 일이 일상생활에서 자주 발생하고 있다. 본 논문에서는 기계어 코드의 성질을 검증하는 방법을 제안한다. 코드제공자가 기계어를 만듦과 동시에 그 기계어 코드의 성질을 만들어내어 전달하면, 코드사용자는 전달받은 코드와 그 성질이 부합하는지를 검사하는 것이다. 소스언어의 안전성은 잘 정의된 컴파일러 시스템이 검증해 주지만, 중간언어나 기계어 코드의 성질을 검증하는 잘 정의된 방법은 아직 개발되어있지 않다. 중간언어로 etySECK을 설계하고 이 언어로 작성된 프로그램의 성질을 검증하는 방법을 제안한다. 그리고 타입과 효과분석방식을 사용하여 설계된 시스템의 안전성을 증명한다.

• 항공우주시스템공학회지
• /
• 제15권3호
• /
• pp.71-78
• /
• 2021

현대 항공기에서 대부분의 기능은 소프트웨어에 의해 통제되고 있으므로 소프트웨어 오류는 항공기 안전과 직결된다. MIL-HDBK-516C 15장은 군용항공기 탑재 소프트웨어의 안전한 개발과 검증을 위해서 적용되는 기준이다. 미 공군은 이 기준이 반복적인 미충족을 경험함에 따라 기준 충족을 위한 지침으로 감항성 회람(AC-17-01)을 발간하였다. 본 논문에서는 MIL-HDBK-516C 15장, AC-17-01, 그리고 미 연방 항공청에서 적용하고 있는 SW 인증 지침(DO-178C)을 비교 분석하였다. 먼저 AC-17-01 단계와 각 단계에서 명시된 MIL-HDBK-516C 15장 기준 그리고 MIL-HDBK-516C 기준에서 DO-178C를 명시한 기준간 정합 비율 식을 정의하였다. 그리고 비율 분석을 통하여 AC-17-01과 DO-178C를 달성하는 경우 MIL-HDBK-516C 충족 가능한 기준을 도출하였다. 분석결과를 바탕으로 항공 소프트웨어 개발 프로세스를 수립하고 MIL-HDBK-516C 15장 적용 사례를 제시하였다.

• Journal of Electrical Engineering and Technology
• /
• 제12권2호
• /
• pp.959-968
• /
• 2017

Electrical safety monitoring System (ESMS) is a critical component in modern power systems, which is characterized by large-scale access points, massive users and versatile requirements. For convenience of the information integration and analysis, the software development, maintenance, and application in the system, the cloud platform based ESMS is established and assessed in this paper. Firstly the framework of the system is proposed, and then the assessment scheme with a set of evaluation indices are presented, by which the appropriate cloud product can be chosen to meet the requirements of a specific application. Moreover, to calculate the weights of the evaluation indices under uncertainty, an improved interval AHP method is adopted to take into consideration of the fuzziness of expert scoring, the qualitative consistency test, and the two normalizations in the process of eigenvectors. Case studies have been made to verify the feasibility of the assessment approach for ESMS.

• Advances in concrete construction
• /
• 제9권5호
• /
• pp.503-510
• /
• 2020

Concrete dams are important structures due to retaining amount of water on their reservoir. So such kind of structures have to be designed against static and dynamic loads. Especially considering on critical importance against blasting threats and environmental safety, dams have to be examined according to the blast loads. This paper aims to investigate structural response of concrete gravity dams under blast loads. For the purpose Sarıyar Concrete Gravity Dam in Turkey is selected for numerical application with its 85 m of reservoir height (H), 255 m of reservoir length (3H), 72 m of bottom and 7 m of top widths. In the study, firstly 3D finite element model of the dam is constituted using ANSYS Workbench software considering dam-reservoir-foundation interaction and a hydrostatic analysis is performed without blast loads. Then, nearly 13 tons TNT explosive are considered 20 m away from downstream of the dam and this is modeled using ANSYS AUTODYN software. After that explicit analyses are performed through 40 milliseconds. Lastly peak pressures obtained from analyses are compared to empirical equations in the literature and UFC 3-340-02 standard which provide unified facilities criteria for structures to resist the effects of accidental explosions. Also analyses' results such as displacements, stresses and strains obtained from both hydrostatic and blasting analysis models are compared to each other. It is highlighted from the study that blasting analysis model has more effective than the only hydrostatic analysis model. So it is highlighted from the study that the design of dams should be included the blast loads.

• 한국항행학회논문지
• /
• 제25권4호
• /
• pp.273-279
• /
• 2021

무인항공기에 적용되는 비행제어컴퓨터는 safety-critical 구성품으로, 내결함성을 확보함으로써 운용의 신뢰성을 높이기 위해 다중화 구조로 설계되고 있다. 이러한 다중화 구조가 적용된 비행제어컴퓨터는 각각의 독립적인 연산/제어 장치가 동일한 시점에 동일한 작업을 수행할 수 있도록 설계되어야 하며, 이를 위해 각 연산/제어 장치 간의 작업 동기화를 위한 동기화 알고리즘이 포함되어야 한다. 본 논문에서는 무인기에 적용되는 이중화 비행제어컴퓨터간의 동기화를 위한 소프트웨어 설계 방법을 제안한다. 제안하는 동기화 방법은 고장률 감소를 위해 최소의 하드웨어 리소스만을 사용하여 동기화할 수 있도록 설계하였고, 동기화에 사용되는 하드웨어 타이머의 동작 방식을 고려하여 설계함으로써 타이머 동작에 따른 동기화 오차를 최소화 할 수 있도록 설계하였다.

• 한국항공우주학회지
• /
• 제50권5호
• /
• pp.349-357
• /
• 2022

무인항공기의 비행조종컴퓨터는 비행 안전에 필수적인 장비로써 개발 단계에서부터 신뢰성과 안전성의 확보가 필수적이며, 고장 발생 시에도 정상적으로 기능을 수행할 수 있는 다중화 기반의 고장관리 설계가 요구된다. 무인기의 경우에는 비용, 무게, 전력소모 등을 감소하기 위하여 비행조종시스템의 이중화 설계를 고려하지만, 고장관리를 위한 고장 검출 및 분리 설계에 많은 제약이 있다. 본 논문에서는 무인기용 이중화 비행조종컴퓨터의 신뢰성을 향상시키기 위한 고장 검출 및 고장 분리를 위한 고장관리 설계 방안을 제안한다. 그리고 고장관리 설계를 적용해 개발한 비행조종컴퓨터는 통합시험환경에서 기능 시험을 수행하고 HILS 환경에서 고장 영향성 확인 시험을 수행한 후 무인기에 탑재하여 비행시험을 통해 그 신뢰성을 검증하였다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2009년도 추계학술대회 논문집
• /
• pp.379-381
• /
• 2009

In designing full vehicle, crash safety, fuel efficiency, exhaust gas, and driving stability are very important factors. Especially, automotive wheel which supports total vehicle weight is a critical component in view of driving stability. Most of automotive wheel have been manufactured for beautiful appearance by using aluminum alloy in domestic industry. However, the amount of automotive steel wheel used are on an increasing trend according to developing the advanced high strength steel with good formability property recently. In this study, the circumferential deviation of rim with various thickness and yield strength was investigated. The formability evaluation of the rim was developed by using a finite element module furnished by Forge software.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.107-109
• /
• 2012

안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• 한국전기전자재료학회논문지
• /
• 제19권12호
• /
• pp.1128-1133
• /
• 2006

The most important thing to secure safety and reliability of railway vehicles is to verify performance characteristics of equipments, and related companies or research institutes had many efforts to verify performances and functions of equipments synthetically and efficiently. KHST(Korean High Speed Train) has been developed by KRRI (Korea Railroad Research Institute). An electric railway system is composed of high-tech subsystems, among which main electric equipment such as transformers and converter are critical components determining the performance of rolling stock. We developed a measurement system for on-line test and evaluation of performances of KHST. The measurement system is composed of software part and hardware part. Perfect interface between multi-users is possible. A new method to measure temperature was applied to the ]measurement system. By using the system, fault diagnosis and performance evaluation of electric equipment in Korean High Speed Train was conducted during test running.