• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권12호
• /
• pp.615-622
• /
• 2016

차량전장용 제어 소프트웨어는 표준에 명시된 시스템 호출 제약사항을 위배할 경우 심각한 안전성 위협을 초래할 수 있다. 그러나 제약사항 위배는 실행경로가 복잡해질 경우 수동분석으로 색출하기 어렵고 테스팅을 통해 찾아내기도 어려워 이에 특화된 검증 방법이 필요하다. 본 연구에서는 차량전장용 제어 소프트웨어의 시스템 호출 제약사항 위배 여부를 효과적으로 검증하기 위한 두 가지 방법을 소개하고 그 효과를 실험적으로 비교하였다. 첫 번째 방법은 애플리케이션의 모든 가능한 실행경로를 탐색하고 각 경로의 제약사항 준수여부를 확인하는 방법이며, 두 번째 방법은 모델 검증 도구를 이용하여 애플리케이션이 오토마타로 표현된 제약사항을 위배하는 경우가 발생가능한지 확인하는 방법이다. 각 방법을 구현하고 실험한 결과 실행경로를 이용한 방법은 오탐을 유발하고 몇 가지 제약사항 위반을 놓치는 경우가 있는데 반해서 모델 검증을 이용한 방법은 오탐이 없었으며 비교적 큰 애플리케이션을 대상으로 보다 빠른 시간 내에 검증을 수행할 수 있음을 보였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.374-377
• /
• 2005

Automobile is in charge of most transportation system in modern urban city. However, in fact, cause of problem of road state, environment, and the other reasons, urban transit system is using as Mass Transit nowadays. Nevertheless Urban transit system is considering many kind of safety fact of that system which is increasing continuously nowadays, it occurs various train accident. This paper describes 3D Dimensional Measurement(EDM testing) and tensile testing results of carbody structure for crashed EMU(Electric Multiple Units). Tensile tests were performed on two different types of specimens in order to evaluate the strength changes before and after damages, obtained from plastic deformed area and nondeformed region of the crashed EMU. And Structural analysis of EMU was performed for the criteria of safety assessment. Structural analysis using commercial I-DEAS software provided important information on the stress distribution and load transfer mechanisms as well as the amount of damages during rolling stock crash. The testing results have been used to provide the critical information for the criteria of safety diagnosis.

• Journal of Multimedia Information System
• /
• 제3권3호
• /
• pp.69-76
• /
• 2016

Currently, research on more convenient and safer cars for drivers and passengers, the intelligent cars, are being actively conducted. The researches involve designing systems that intelligently minimize physical damages caused by car accidents, not just pursuing passive safety measures like airbags or safety belts. However, there are many cases around the world where airbags cannot be activated in times of accidents and it is difficult for consumers to check if their airbags will be activated, especially for the old-style cars. Thus, in this paper, a base technology for an application that can determine whether the airbags will actually be actuated at a critical moment based on the mechanical calculations is being introduced.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1999년도 춘계학술대회 논문집
• /
• pp.159-166
• /
• 1999

In this paper, running performance analyses of an articulated light rail vehicle are carried out using VAMPIRE software package. The stability analysis to determine the critical speed and the safety analysis such as derailment coefficients, lateral forces of wheels and reduction of wheel load are carried for the track conditions of straight, transition and curving range to the operating velocity of 40km/h. Also, ride quality is analyzed. As the results of analysis, the safety of light rail vehicle satisfied with the limit values and the ride quality for tare and full load condition was shown to the "not uncomfortable" level in ISO 2631-1 (1997) criteria.

• 문화기술의 융합
• /
• 제7권1호
• /
• pp.674-681
• /
• 2021

주요기반시설(critical infrastructure)을 대상으로 하는 사이버 공격이 증가하고 있다. 주요기반시설은 국가의 핵심 인프라이며 기반시설 간 상호의존성이 높은 특성을 가지고 있어서 일반적으로 사용되는 사이버 보안으로는 충분히 보호하기 어렵다. 특히 주요기반시설의 물리적 위험과 논리적 위험의 구분이 모호해지고 있어서 전체를 포괄하는 관점의 위험 관리가 이루어져야 한다. 이에 주요기반시설을 보다 적극적으로 보호하기 위한 방안으로 주요국에서는 보안내재화(SbD, security by design)를 적용하기 시작하였으며 보다 확대된 개념의 사전예방적보안(CSbD, cybersecurity by design)이 고려되고 있다. 이러한 사전예방적보안(CSbD)은 소프트웨어(SW) 안전 설계와 관리의 안정성 확보뿐만 아니라 물리적인 정치 및 기기(HW) 안전성과 사전 예방·차단 조치, 그리고 사이버회복탄력성(cyber resilience)까지 포함하는 포괄적인 보안 체계를 의미한다. 이에 본 연구는 미국과 싱가포르, 그리고 유럽에서 선도적으로 추진되고 있는 주요기반시설의 보안내재화(SbD) 방안들을 비교분석하고 주요기반시설에 대한 최적의 보안내재화(SbD) 적용 방안을 제시하고자 한다.

• Geomechanics and Engineering
• /
• 제28권5호
• /
• pp.463-475
• /
• 2022

In the mine exploitation stage; one of the critical issues is the stability assessment of post-pillars. The instability of post-pillars leads to serious safety hazards in mining operations. The focus of this study is to assess the stability of post-pillars in the 130# stope in the central ore body at Trepça hard rock mine by employing both conventional (i.e., critical span curve) and numerical methods (i.e., FLAC3D). Moreover, a new numerical based index (i.e., Pillar Yield Ratio-PYR) was proposed. The aim of PYR index is to determine a border line between stable, potentially unstable, and failure state of post-pillars at a specific mine site. The critical value of pillar width to height ratio is 2.5 for deep production stopes (e.g., > 800 m). Results showed that pillar size, mining height and mining depth significantly have affected the post-pillar stability. The reliability of numerical based index (i.e., PYR) is verified based on empirical underground pillar stability graph developed by Lunder, 1994. The proposed pillar yield ratio index and pillar stability graph can be used as a design tool in new mining areas at Trepça hard rock mine and for other situations with similar geotechnical conditions.

• 산업경영시스템학회지
• /
• 제29권1호
• /
• pp.101-108
• /
• 2006

The issue of using information system to ensure competitive power in the market is rising. The outsourcing methods that entrust activities of information system of companies to other expert agencies are increasing as the enterprises make a lot of efforts to put their resources to their heart of business in the process of adopting information system. Recently, ASP(Application Service Provider) as a new information technology outsourcing method appears due to the development of network technology and spreading of peculating software. ASP defines as a software leasing service which is supplied through networks instead of purchasing application software with high price. For successful implementation of ASP, it is necessary to develop a certification program to ensure safety and reliability of ASP. This paper provides the safe and reliable certification program for ASP. In order to develop it, the critical issues related to service quality and certification of ASP are identified and then evaluation methodology for the ASP certification program is proposed. This paper presents service provider(service environment) certification as the part of the ASP certification program.

• 중소기업융합학회논문지
• /
• 제3권1호
• /
• pp.31-41
• /
• 2013

치명적인 사고를 막기 위해 드라이버 졸음 (DD)를 검출하는 다양한 최근 방법이 제안되고있다. 본 논문은 운전자의 눈에 폐쇄 속도를 모니터링 할 수 있는 기능을 AdaBoost 기반 물체 검출 알고리즘에 적용한 DD 탐지 시스템 구현에서 하드웨어/소프트웨어 공동 설계 방법을 제안한다. 소프트웨어 구성 요소는 DD 검출 알고리즘 중에서 필요한 기능성을 완전하게 달성하기 위해 전체적인 제어 및 논리 연산을 구현한다. 반면, 본 연구에서는 DD 검출 알고리즘의 중요한 기능은 처리를 가속화하기 위해 맞춤형 하드웨어 구성 요소를 통해 가속된다. 하드웨어/소프트웨어 아키텍처는 비디오 도터 보드와 알테라 DE2 보드에 구현되었습니다. 제안 된 구현의 성능을 평가하고 몇 가지 최근의 작품을 벤치마킹했다.

• International Journal of Computer Science & Network Security
• /
• 제21권8호
• /
• pp.167-176
• /
• 2021

This is the world of computer science and innovations. In this modern era, every day new apps, webs and software are being introduced. As well as new apps and software are being introduced, similarly threats and vulnerable security matters are also increasing. Web apps are software that can be used by customers for numerous useful tasks, and because of the developer experience of good programming standards, web applications that can be used by an attacker also have multiple sides. Web applications Security is expected to protect the content of critical web and to ensure secure data transmission. Application safety must therefore be enforced across all infrastructure, including the web application itself, that supports the web applications. Many organizations currently have a type of web application protection scheme or attempt to build/develop, but the bulk of these schemes are incapable of generating value consistently and effectively, and therefore do not improve developers' attitude in building/designing stable Web applications. This article aims to analyze the attacks on the website and address security scanners of web applications to help us resolve web application security challenges.

• 인터넷정보학회논문지
• /
• 제16권6호
• /
• pp.97-107
• /
• 2015

최근까지 한국은 3년 연속 UN 발표 전자정부 세계 1위를 차지했다. 이에 버금하여, 한국의 정책수립과 비전에 따라 예산 집행규모는 꾸준히 성장해, 정보화사업의 대형 정보화 프로젝트 증가로 이어졌다. 특히 불특정 대다수 사용자들에게 영향을 미칠 수 있는 Mission Critical한 공공 인프라의 경우 다양하고 복잡해진 사용자들의 요구를 충족시킬 수 있는 새로운 기술이 적용된 고품질의 정보시스템 구축 필요성이 대두되고 있다. 이와 같은 대표적인 영역의 하나인 국방 정보체계에서는 첨단 기술을 적용하여 선진 군사역량을 구축하고, 효율적인 국방경영을 구현하는 핵심 역할을 수행하기 위해 네트워크 중심 국방 지식정보화를 국방정보화의 비전으로 제시하고 이에 따라 국방정보화 추진체계의 선진화 및 국방정보시스템의 고도화를 추진하고 있다. 본 연구에서는 Mission Critical한 공공 인프라의 대표격인 국방 분야 정보화사업의 시험평가와 관련된 새로운 품질지표를 고찰하였다. 먼저 관련 국제표준 및 가이드를 고찰하였고, 실제 시험평가 사례를 분석하였으며, 이를 확장하여 전자정부법(법률 제12346호, 2014. 1.28. 공표, 2014. 7.29. 시행)의 근거에 따라 현재 사용되고 있는 감리 점검 항목에 적용하였다. 제안하는 모델을 공공부문 중 국방 분야 정보화사업의 시험평가에 적용하였을 경우, 국방정보화 사업의 생산성에 미치는 영향을 분석한 결과, 국방정보화 사업의 신뢰성, 전문성, 안전성의 요소로 시험평가 생산성이 향상 될 수 있다는 가능성을 확인하였다.