• 제목/요약/키워드: Software and system safety

검색결과 803건 처리시간 0.028초

소프트웨어 생명주기 단계별 사이버보안 평가 방법론 제안 (Assessment Method of Step-by-Step Cyber Security in the Software Development Life Cycle)

  • 서달미;차기종;신요순;정충희;김영미
    • 정보보호학회논문지
    • /
    • 제25권2호
    • /
    • pp.363-374
    • /
    • 2015
  • 기존의 원자력발전소 계측제어 시스템은 아날로그 기술 기반으로 설계 및 운영되어 왔지만, 정보기술(IT)의 발달로 신규 원자력발전소에는 점차 디지털 기반 기술이 도입되고 있다. 디지털 기반 기술은 여러 가지 순기능에 반하여 사이버 위협에 취약한 측면이 존재하며 이로 인해 시스템 상에 안전성과 신뢰성에 악영향을 끼치고 발전소 전체에 심각한 영향을 미칠 수 있다. 그러므로 원자력발전소에 탑재되는 소프트웨어는 개발 초기 단계부터 사이버보안 요소들을 고려하여 설계되고 각 단계마다 사이버보안 평가를 통하여 사이버보안에 대한 신뢰 수준을 측정하고, 기술적 관리적 운영적 측면에서의 사이버보안 척도가 요구된 바와 같이 이행되는지를 확인하는 것이 필요하다. 그러나 현재 이러한 사이버보안 평가 방법을 포함한 전반적인 사이버보안 프로그램이 마련되어 있지 않은 실정이므로 본 논문에서는 원자력발전소와 관련된 규제요건 및 기술표준문서를 기반으로 원자력발전소의 소프트웨어 생명주기 단계별 사이버보안 활동과 평가 항목을 도출하여 소프트웨어 생명주기 단계별로 사이버보안 평가가 가능한 방법을 제안한다.

CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구 (CodeAnt : Code Slicing Tool for Effective Software Verification)

  • 박민규;김동우;최윤자
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제4권1호
    • /
    • pp.1-8
    • /
    • 2015
  • 고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다.

조향각-회전각 룩업테이블을 이용한 대칭형 각도센서 보상기를 가지는 안전한 적응형 전조등 제어기의 설계 (Safe Adaptive Headlight Controller with Symmetric Angle Sensor Compensator Using Steering-swivel Angle Lookup Table)

  • 윤지애;안중현;인멍디;조정훈;박대진
    • 한국자동차공학회논문집
    • /
    • 제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.

차상 ATC/ATO/TWC 시스템의 열차 자동운전 구현의 현차시험 결과 고찰 (A Study for Running Test Result of Train Automatic Driving Control by ATC/ATO/TWC System)

  • 강리택;이종성;김경식;박계서
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2000년도 추계학술대회 논문집
    • /
    • pp.578-585
    • /
    • 2000
  • ATC/ATO/TWC System is the used for the train operation instead of drivels. It is interfaced with train, train equipment, wayside facilities. In this paper described configuration signaling system, construction of signaling system software and structure of system safety. This paper describes the method of performing automatic driving by ATC/ATO/TWC. Also, reported test result for mainline static test and mainline running test.

  • PDF

Stationary layout control 방식의 AGC시스템 개발 (AGV system with a stationary layout control method)

  • 이승우;송준엽;박화영
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
    • /
    • pp.906-911
    • /
    • 1992
  • We deals with stationary layout control system of AGV. It is a intelligent contorl system to be wholly charged control PC a layout information and guided command and to be controlled a vehicle driving, steening, safety of natural functions of AGV. Fieldbus concentrator of stationary layout control system serves control command from control PC and status information of AGV. Telegram software monitors transmitted command and status information through IR (Infrared) modem. Epecially it is possible to easily network to use not an exclusive controller of AGV but

  • PDF

AGV 시스템의 운영기술 개발 (Development of Operating Technology for AGV System)

  • 송준엽;이승우;이현용
    • 연구논문집
    • /
    • 통권22호
    • /
    • pp.27-38
    • /
    • 1992
  • We deals with stationary layout control system of AGV. It is a intelligent control system to he wholly charged control PC a layout information and guided command and to be controlled a vehicle driving, steering, safety of natural functions of AGV. Fieldbus concentrator of stationary layout control system serves control command from control PC and status information of AGV. Telegram software monitors transmitted command and status information through IR(JnfraRed) modem. Especially it is possible to easily network to use not an exclusive controller of AGV but personal computer(PC) when communicate and interface a different kind of controller.

  • PDF

원자력 안전 소프트웨어 대상 신뢰도 측정 방법 및 도구 개발 (Development of Reliability Measurement Method and Tool for Nuclear Power Plant Safety Software)

  • ;최우영;지은경;류덕산
    • 정보처리학회 논문지
    • /
    • 제13권5호
    • /
    • pp.227-235
    • /
    • 2024
  • 원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

중소제조기업 생산정보시스템 적용에 따른 효과분석 (An analysis on the effects by application of production information system to small and medium sized manufacturing company)

  • 홍은수;김영국;강경식
    • 대한안전경영과학회지
    • /
    • 제18권3호
    • /
    • pp.137-145
    • /
    • 2016
  • To promote the efficiency of production process of small and medium sized company, government conducts production information business that collects and analyzes information of production field automatically and helps process' controlling and supervising by supporting costs of purchase, installment, etc. of hard-software and network related to middle and small sized company intending e-Manufacturing of production field with computer and information & communication network. As a result, the number of middle and small sized companies that introduce and manage production information system is increased. Therefore, the purposes of this research are to arrange contents of production information system introduced to solve current problems of middle and small sized companies and analyze effects of small and middle sized companies' introduction through example companies.

반려견에 초점을 맞춰 추출하는 영상 기반의 행동 탐지 시스템 (Dog Activities Recognition System using Dog-centered Cropped Images)

  • 오스만;이종욱;박대희;정용화
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2023년도 춘계학술발표대회
    • /
    • pp.615-617
    • /
    • 2023
  • In recent years, the growing popularity of dogs due to the benefits they bring their owners has contributed to the increase of the number of dogs raised. For owners, it is their responsibility to ensure their dogs' health and safety. However, it is challenging for them to continuously monitor their dogs' activities, which are important to understand and guarantee their wellbeing. In this work, we introduce a camera-based monitoring system to help owners automatically monitor their dogs' activities. The system receives sequences of RGB images and uses YOLOv7 to detect the dog presence, and then applies post-processing to perform dog-centered image cropping on each input sequence. The optical flow is extracted from each sequence, and both sequences of RGB and flow are input to a two-stream EfficientNet to extract their respective features. Finally, the features are concatenated, and a bi-directional LSTM is utilized to retrieve temporal features and recognize the activity. The experiments prove that our system achieves a good performance with the F-1 score exceeding 0.90 for all activities and reaching 0.963 on average.

LoRa WAN 통신 기반의 선박 내/외부 승선자 측위 및 위험상황 감지 시스템 (Measuring Inner or Outer Position of Ship Passenger and Detection of Dangerous Situations based LoRa WAN Communication)

  • 박석현;박문수
    • 한국멀티미디어학회논문지
    • /
    • 제23권2호
    • /
    • pp.282-292
    • /
    • 2020
  • In order to minimize casualties from marine vessel accidents that occur frequently at home and abroad, it is important to ensure the safety of the passengers aboard the vessel in the event of an accident. There is an EPIRB system as a system for disaster preparedness in the marine situation currently on the market, but there is a problem that the price is very expensive. In order to overcome the cost problem, which is a disadvantage of previous system, LoRaWAN-based communication is used. LoRaWAN communication-based vessel positioning and risk detection system based on LoRaWAN communication transmits measurement data of each module using two Beacon and GPS modules to stably perform position measurement for both indoor and outdoor situations. The rider danger situation detection system can detect the safety status of the rider using the 3-axis acceleration sensor, collect data from the rider positioning system and the rider safety status detection system, and send to server using LoRa communication. When conducting communication experiments in the long-distance maritime situation and actual communication experiments using the implemented system, it was found that the two experiments showed over 90% communication success rate on average.