• Title/Summary/Keyword: Software and system safety

검색결과 802건 처리시간 0.022초

IP 주소 제한을 이용한 PC 절전 시스템 보안 설계 (A Design of PC Power-Saving System Security Using IP Address Restriction)

  • 김홍윤
    • 디지털산업정보학회논문지
    • /
    • 제9권3호
    • /
    • pp.49-57
    • /
    • 2013
  • Power-saving PC software enables the inexpensive power control, but the installation of the power-saving software in all computers in the organization is not an easy task. Computer users in the organization are usually not cooperative as they do not think the power-saving cost is directly related to themselves. The PC power-saving system provides advantage to driving active participation in which users installs the power saving software by restricting IP address through the power management server. However, the problem with this approach is the security vulnerability to IP spoofing attacks, therefore we need to solve the problem that disrupt the entire network system rather than saving electric power. This paper proposes the security authentication system that can implement the efficiency saving power by providing high security for the members' computer system of the public institutions based on the PC power-saving system. Also, by analyzing it in comparison with other method, it is possible to check that the prospects of safety and efficiency are strengthened.

항공용 객체지향 소프트웨어에 대한 취약점 검증 방안 (Verification Methods for Vulnerabilities of Airborne Object-Oriented Software)

  • 장정훈;김성수;이지현
    • 항공우주시스템공학회지
    • /
    • 제16권2호
    • /
    • pp.13-24
    • /
    • 2022
  • 항공용 소프트웨어의 규모가 커짐에 따라 기능적 확장, 효율적인 개발 및 코드의 재사용을 위하여 객체지향 기술의 사용이 증가하고 있으나, 그 검증방안은 기존의 절차지향 프로그램 관점으로 수행되고 있다. 본 논문에서는 객체지향 기술의 특징과 객체지향 언어의 기능적 특징에서 파생되는 취약점들을 분석하고 객체지향기술이 적용된 항공용 소프트웨어의 기능 안전 무결성을 보장하기 위한 소프트웨어 개발단계(Design, Coding, Test)별 적용 가능한 검증 방안을 제시한다. 또한, 비행제어 소프트웨어 구현에 사용되는 오픈소스인 PX4에 정적분석 자동화 도구인 LDRA를 적용하여 제시한 단계별 검증 방안 중 정적분석 결과의 의미를 분석하였다.

자동차 공급망 위험관리(A-SCRM) 방안 연구 (A Study on Supply Chain Risk Management of Automotive)

  • 김동원;한근희;전인석;최진영
    • 정보보호학회논문지
    • /
    • 제25권4호
    • /
    • pp.793-805
    • /
    • 2015
  • 현대의 자동차는 안전필수(Safety Critical) 시스템이기 때문에 차량의 안전성을 보장하는 것은 물론 초 연결사회를 지향하는 사물인터넷 기술의 발전과 자동차의 스마트화 됨에 따른 자동차 보안문제가 대두됨에 따라 자동차 소프트웨어와 공급망에서의 보증 방안과 공급망에서 발생할 수 있는 위험을 식별, 평가 및 통제하기 위한 위험관리 방안이 필요하다. 본 논문에서는 자동차 Life-Cycle 내에서 이해관계자 별 위험관리(A-SCRM, Automotive Supply Chain Risk Management) 방법을 연구 제안한다.

근로자 안전을 위한 휴대용 생리모니터 시스템 개발 (A Development of Portable Bioelectric Signal Measurement System for Industrial Workers' Safety)

  • 장준근;허웅;변미경;한상휘;김형태;김형조;김정국
    • 대한안전경영과학회:학술대회논문집
    • /
    • 대한안전경영과학회 2004년도 춘계학술대회
    • /
    • pp.241-245
    • /
    • 2004
  • In this paper, we implement a portable bioelectric signal measurement system for the safety of industrial workers. The developed system consists of two parts: the one is boielectric signal measurement unit and the other is signal analyzer system with PDA. The former includes signal processing part, A/D convertor, and 8051 based microprocessor, the latter includes software for signal analysis and display. The developed system detects industrial worker's ECG and displays and stores it to PDA. The ECG data in PDA can be transmitted to PC located in a distance, allowing a doctor to review the ECG and make a treatment decision. A doctor analyzes the ECG data and gives medical treatment to industrial worker.

  • PDF

위성발사체 궤도추정을 위한 융합필터 연구 (Fusion Tracking Filter for Satellite Launch Vehicles)

  • 유성숙;김정래;송용규;고정환
    • 항공우주시스템공학회지
    • /
    • 제1권3호
    • /
    • pp.37-42
    • /
    • 2007
  • The flight safety system for the satellite launch vehicles is required in order to minimize the risk due to launch vehicle failure. For prompt and reliable decision of flight termination, the flight safety system usually uses multiple sensors to estimate launch vehicle's flight trajectory. In that case, multiple types of observed tracking data makes it difficult to identify the flight termination condition. Therefore, a fusion tracking filter handling the multiple tracking data is necessary for the flight safety system. This research developed a simulation software for generating multiple types of launch vehicle tracking data, and then processed the data with fusion filters.

  • PDF

ARPA Radar Simulator 개발을 위한 기초 연구 (A Basic Study for the Development of the ARPA Radar Simulator)

  • 임남균;김환수
    • 해양환경안전학회지
    • /
    • 제4권1호
    • /
    • pp.21-29
    • /
    • 1998
  • Through the rapid development in personal computer technology, it has recently become possible to make a radar become possible to make a radar simulator based on the PC. Althougth such a technology has already been developed in the advanced countries like Japan, U.K., and U.S.A., our country has not been able to make such a simulator so far. In addition, revised STCW convention requires the maritime training institution to be equipped with the ARPA simulator satisfying the performance standard specified in the convention. In this thesis therefore, an attempt was made to developed the software of the ARPA radar simulation system using Visual Basic 4.0, with which we can finally make a Mockup style ARPA simulator satisfying the performance standard specified in the convention. In this thesis therefore, and attempt was made to developed the software of the ARPA radar simulation system using Visual Basic 4.0, with which we can finally make a Mockup style ARPA radar simulator. The system developed through the research has been found to run successfully on the desk top personal computer(586PC). A Mockup style ARPA radar simulator will be able to be made by simply installing this software on the PC which will be placed inside a ARPA radar Mockup, and this is one of the future research subjects.

  • PDF

국제표준에 기반한 KASS 개발보증레벨 할당 (Allocation of Design Assurance Level for KASS Based on International Standards)

  • 배동환
    • 한국항행학회논문지
    • /
    • 제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 개발 구축 사업의 안전성 평가에 활용될 수 있다.

안전기준의 검색과 분석을 위한 기계독해 기반 질의응답 시스템 (Machine Reading Comprehension-based Question and Answering System for Search and Analysis of Safety Standards)

  • 김민호;조상현;박덕근;권혁철
    • 한국멀티미디어학회논문지
    • /
    • 제23권2호
    • /
    • pp.351-360
    • /
    • 2020
  • If various unreasonable safety standards are preemptively and effectively readjusted, the risk of accidents can be reduced. In this paper, we proposed a machine reading comprehension-based safety standard Q&A system to secure supporting technology for effective search and analysis of safety standards for integrated and systematic management of safety standards. The proposed model finds documents related to safety standard questions in the various laws and regulations, and then divides these documents into provisions. Only those provisions that are likely to contain the answer to the question are selected, and then the BERT-based machine reading comprehension model is used to find answers to questions related to safety standards. When the proposed safety standard Q&A system is applied to KorQuAD dataset, the performance of EM 40.42% and F1 55.34% are shown.

Automatic design, planning and drawing of scaffolding system for constructions

  • Hara, Takashi;Shimomura, Katsukiyo;Hamano, Keita;Miyake, Shoko
    • Advances in Computational Design
    • /
    • 제4권2호
    • /
    • pp.179-196
    • /
    • 2019
  • Temporary scaffold systems in the construction site play an important role for ensuring the safety of the workers and for constructing the stable structures. To assemble the scaffold, the pipe scaffolding system, the wedge binding scaffolding system and the particular materials have been utilized. To design the material arrangement of a scaffold, firstly the configuration was determined considering the construction geometry. Then, the strength of the scaffold was confirmed and the quantity of the material was accounted. In this paper, the design method of the temporary scaffold was proposed for intending the semi-automatic procedure. In the proposed design method, the geometric design and the safety requirement were specified by the safety standard and the design flow was followed by the designer's knowledge. The size and the quantities of the materials were calculated by referring to the relation between the scaffold and the constructing structure. In the calculating procedure, three dimensional positions of each scaffold materials were calculated and recorded simultaneously. Then, three dimensional scaffold structural was drawn semi-automatically on the CAD software by using the obtained material sizes, positions and directions. The proposed design method provides us the precise quantities of scaffold materials and enables us to reduce the design effort and the cost estimation processes. In addition, the obtained results can be applied to BIM software after converting to IFC format.

스마트 안전도시 플랫폼 구축을 위한 드론 시스템의 분석 및 설계 (Analysis and Design of Dron System for Smart Safety-City Platform Construction)

  • 조병호
    • 한국인터넷방송통신학회논문지
    • /
    • 제20권4호
    • /
    • pp.93-99
    • /
    • 2020
  • 드론 기술의 발전으로 감시, 재난사고 예방 및 구호 등 공공임무 수행에도 지능화된 드론 활용이 급속히 늘어날 것으로 본다. 드론이 스마트 안전도시 플랫폼에 구축에 사용되기 위해서는 목표물 탐지 및 추적기술, 드론비행 시에 비행 조정 및 장애물 회피기능, 착륙지점 탐지 및 제어 기능 등의 주요 기술 구현이 필요하다. 드론 시스템 은 기술적 파급효과가 크고 신기술 분야의 산업화를 촉진한다. 본 논문에서는 이와 같은 드론 개발을 위하여 객체지향 분석/설계 방법을 이용한 요구사항 분석 및 플로우차트, 화면 설계 등을 보여여줌으로 효과적인 드론 시스템의 소프트웨어 분석 및 설계 방법을 제시하고자 한다.