• Title/Summary/Keyword: Software and system safety

Search Result 812, Processing Time 0.034 seconds

Study on Developing a Monitoring System for Safe Fire Testing (안전한 탄 발사시험을 위한 모니터링 시스템 개발에 관한 연구)

  • Ki Jae-sug
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2005.05a
    • /
    • pp.453-459
    • /
    • 2005
  • On this research, we show some concrete examples as software design, 2D/3D display, graph display, and gage display to develop a data monitoring system for real time safe fire testing. Developed software which is simulation software for live fire testing, has been designed to display informations about whole test status in a live fire testing, and with this, user can control a live fire testing under the safe environment. Beside, we increase a security by using a authority of user to access on this software. and we develop it based on module designed to apply a requirement of user later on.

  • PDF

Bi-directional fault analysis of evaporator inspection system

  • Kang, Dae-Ki;Kang, Jeong-Jin
    • International journal of advanced smart convergence
    • /
    • v.1 no.1
    • /
    • pp.57-60
    • /
    • 2012
  • In this paper, we have performed a safety analysis on an automotive evaporator inspection system. We performed the bi-directional analysis on the manufacturing line. Software Fault Tree Analysis (SFTA) as backward analysis and Software Failure Modes, Effects, & Criticality Analysis (SFMECA) as forward analysis are performed alternately to detect potential cause-to-effect relations. The analysis results indicate the possibility of searching and summarizing fault patterns for future reusability.

Study of Avionic Software Development Model & Testing Design Methods (항공용 소프트웨어 개발 모델 및 테스팅 설계 기법에 관한 연구)

  • Youn, Wonkeun;Yi, Baeckjun;Jin, Youngkwon
    • Journal of Aerospace System Engineering
    • /
    • v.7 no.3
    • /
    • pp.58-64
    • /
    • 2013
  • The paper presents the comprehensive studies of ISTQB(International Software Testing Qualification Board) for the reliable software development system in term of various aspects. It is critical to understand how the software testing is achieved is to efficiently manage the development process, to reduce the development cost, and to ultimately ensure the safety of the entire software system. This study may provide an enriched understanding about the rationale and true intent the behind software development model and testing design methods of ISTQB on software developer, test analysts, test engineers. In addition, this paper may serve as a useful supplementary material for the avionic engineers to establish the new regulations in avionic industries.

A Study on the Facility Installation for Safety Operation of Urban Transit (도시철도의 안전운행을 위한 시설물 설치에 관한 연구)

  • Lee, Woo-Dong
    • Proceedings of the KIEE Conference
    • /
    • 2003.07b
    • /
    • pp.1323-1325
    • /
    • 2003
  • In field of Urban transit safely, It must be not only secured vehicle but also every areas like power, signal, communication, track, tunnel, operating facilities. Likewise it is very important not only hardware system like vehicles, facilities but also software system like action of engine driver, duty officer. In other to secure safety of hardware, soft ware, it is very important systemic process. In Korea, Many operating companies neglect to invest in safely and ignore technical development about safety because of management. Safely was considered in subway system and many studies were accomplished about safety in subway system in advanced county like U.K, USA. Hence, in this paper, Conditions and improvement of minimum considerable hardware and software are proposed for safe operation in Urban transit.

  • PDF

Study on Developing a Monitoring System for Safe Fire Testing (안전한 탄 발사시험을 위한 모니터링 시스템 개발에 관한 연구)

  • Ki Jae Sug
    • Journal of the Korea Safety Management & Science
    • /
    • v.7 no.2
    • /
    • pp.65-72
    • /
    • 2005
  • On this research, we show some concrete examples as software design, 2D/3D display, graph display, and gage display to develop a data monitoring system for real time safe fire testing. Developed software which is simulation software for live fire testing, has been designed to display informations about whole test status in a live fire testing, and with this, user can control a live fire testing under the safe environment. Beside, we increase a security by using a authority of user to access on this software. and we develop it based on module designed to apply a requirement of user later on.

A Survey on Safety Analysis Techniques for Safety-Critical Systems (안전 필수 시스템을 위한 안전성 분석 기법)

  • Kim, Eui-Sub;Yoon, Sanghyun;Yoo, Junbeom
    • Journal of Convergence Society for SMB
    • /
    • v.2 no.1
    • /
    • pp.11-18
    • /
    • 2012
  • As scale of software has been expanded and complicated, it is difficult to detect hazards which induce functional failure of software. Functional failure of safety-critical system (nuclear power plant, air traffic control systems, railway operating system) could result in a disaster (personal injury, environmental pollution). Therefore, it is necessary to conduct a safety analysis for preventing functional failure and increasing safety of the software. However, there are some reasons (time and effort problem, low knowledge of various safety analysis techniques, selecting conventional technique in company, organization) which disturb selecting an apposite one. This paper presents some traditional safety analysis techniques, recently presented techniques and combined models. We expect that it helps stakeholders to choice adequate one for target system.

  • PDF

Software Quality Assurance Activities of Automatic Train Control System to meet Requirements of the IEC 62279 Standard (IEC 62279 요구사항 충족을 위한 열차제어시스템의 소프트웨어 품질보증 활동에 관한 연구)

  • Shim, Kyu-Don;Lee, Jong-Woo;Park, Chae-Young;Kim, Jae-Nam;Seo, Young-Jun
    • Proceedings of the KSR Conference
    • /
    • 2010.06a
    • /
    • pp.1118-1125
    • /
    • 2010
  • This paper presents the methods to acquire the Safety Certificate from Independent Safety Assessment based on the IEC standard62279 which is commonly applied to railway system for Automatic Train Control(ATC) system in accordance with Urban Maglev project. This also shows approach methods and relative activities for project life-cycle to accomplish and ensure the system requirements of ATC system, RAMS and S/W quality activities. Furthermore, the key tasks conducted with ISA are noted in detail. These kind of activities for software quality of ATC system to obtain Safety Certificate could be a CASE model to improve the quality of domestic railway system and products, and also contribute to the growth of railway business and toward the achievement of overseas' railway signaling markets.

  • PDF

Design and Implementation of Safety Verification System for Application Software (응용 소프트웨어 안전성 검증 시스템 설계 및 구현)

  • Soh, Woo-Young
    • Convergence Security Journal
    • /
    • v.8 no.4
    • /
    • pp.191-197
    • /
    • 2008
  • A safe computer environment is necessarily required for computer users, because of a damage is widely increased by a malicious software such as the warm, virus and trojan horse. A general vaccine program can detect after the malicious software intruded. This kinds of the vaccine program show good result against a malicious code which is well known, however, there is no function in the vaccine or not enough ability to detect an application software which a malicious code included. So, this paper proposes an application verification system to decide existence and nonexistence of a malicious code in the application software. The proposed application verification system with a mechanism that grasps the flow type of malicious code, can make a reduction of a damage for computer users before the application software executed.

  • PDF

On The Adoption of Risk Management System in Software Industries (소프트웨어 분야의 리스크경영시스템 도입방안에 관한 연구)

  • Kim, Jong-Gurl;Kim, Hyung-Man;Kim, In-Hee
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2009.11a
    • /
    • pp.527-537
    • /
    • 2009
  • 다양한 리스크 문제가 발생하고 있는 환경 속에서 리스크에 대한 적절한 대응을 하고 안정화를 도모함과 동시에 리스크 문제가 표면화되어 초래하는 영향을 극소화 하기 위한 새로운 패러다임의 경영시스템 도입이 주요 전략과제로 대두되고 있다. 본 연구에서는 리스크 경영시스템(Risk Management System)인 IEC 61508의 리스크 규격을 중심으로 소프트웨어 분야가 가지고 있는 리스크 문제를 효과적으로 관리 할 수 있는 대안 모색을 가능하도록 하고 소프트웨어 분야에서의 리스크 제로와 안전 강화를 위하여 기초 자료를 제시하였다.

  • PDF

Hardware and Software Dependability Analysis of Embedded AVTMR(All Voting Triple Modular Redundancy) System (내장형 AVTMR 시스템의 하드웨어 및 소프트웨어 신뢰성 분석)

  • Kim, Hyun-Ki
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.34 no.7B
    • /
    • pp.744-750
    • /
    • 2009
  • In this paper, the unified Markov modeling of hardware and software for AVTMR(AlI Voting Triple Modular Redundancy) system is proposed and the dependability is analyzed. In hardware case, a failure rate is fixed to no time varying parameter. But, in software case, failure rate is applied with time varying parameter. Especially, the dependability(Reliability, Availability, Maintainability, Safety) of software is analyzed with G-O/NHPP for Markov modeling. The dependability of single and AVTMR system is analyzed and simulated with a unified Markov modeling method, and the characteristic of each system is compared accroding to failure rate. This kind of fault tolerat system can be applied to an airplane and life critical system to meet the requirement for a specific requirement.