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

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

Design of a Model Based Controller with Safety (안전성을 고려한 모델 기반 제어기 설계)

  • Shin, Bum-Sik;Park, Jeong-Hoon;Moon, Chan-Woo;Ahn, Hyun-Sik
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • 제13권2호
    • /
    • pp.9-14
    • /
    • 2013
  • Model based design method reduces product development period and increases system software safety. In this paper, a BLDC motor controller based on model based design method is designed with Simulink and implemented with auto generated code which is written in C language. To retain the safety of software, this model is implemented according to MISRA AC SLSF guide. The validity of the implemented controller is verified with a real position control experiment, and execution times of each control loops are measured to compare the system performance of the conventional design and the model based design.

Preliminary Hazard Analysis: Assessment of New Component Interface Module Design for APR1400

  • Olaide, Adebena Oluwasegun;Jung, Jae Cheon;Choi, Moon Jae;Ngbede, Utah Michael
    • Journal of the Korean Society of Systems Engineering
    • /
    • 제17권1호
    • /
    • pp.21-34
    • /
    • 2021
  • The use of Field-Programmable Gate Arrays (FPGAs) in the development of safety-related Human-Machine Interface (HMI) systems has gained much momentum in nuclear applications. Recently, one of the application areas for the Advanced Power Reactor 1400 (APR1400) is in the development of the advanced Component Interface Module (CIM) of the Engineered Safety Features Actuation System (ESFAS). Using systems engineering approach, we have developed a new FPGA-based advanced CIM software. The first step of our software development process involves the Preliminary Hazard Analysis (PHA) based on the previous CIM design. In this paper, we describe the qualitative approach used in performing the preliminary hazard analysis. The paper presents the methodology for applying a modified Hazard and Operability (HAZOP) procedure for the conduct of PHA which resulted in a qualitative risk-ranking scheme that informed the decisions for the safety criteria in the requirements specification phase. The qualitative approach provided the justification for design changes during the advanced CIM software development process.

A White Board Error Control Running on a Multimedia Collaboration Works for Transportation Safety Service (운송 안전 서비스를 위한 멀티미디어 공동 작업에서의 화이트보드 오류 제어)

  • Ko, Eung-Nam
    • The Journal of Korea Institute of Information, Electronics, and Communication Technology
    • /
    • 제3권1호
    • /
    • pp.53-56
    • /
    • 2010
  • This paper explains a system that is suitable for detecting software error running on multimedia distance control for transportation safety environment. This system consists of an ED, and ES. ED is an agent that detects an error by hooking techniques for multimedia distance education based on IP-USN gateway software stack environment. ES is an agent that is an error sharing system for multimedia distance control based on IP-USN gateway software stack environment. From the perspective of multimedia collaborative environment, an error application becomes another interactive presentation error is shared with participants engaged in a cooperative work.

  • PDF

A Collision Analysis Technique for Prevention Actions of Accident in Safety Critical System (Safety Critical 시스템에서 사고의 예방동작간 충돌 분석 기법)

  • Kwon, Jang-Jin;Hong, Jang-Eui
    • KIPS Transactions on Software and Data Engineering
    • /
    • 제2권10호
    • /
    • pp.661-668
    • /
    • 2013
  • A safety critical system is a system that leads to injury of people, damage of property and environment due to functional failures or occurrence of undesired condition. Therefore, to ensure the safety of a system, system engineers should consider the inherent hazards of the system at design phase of the system development, and also should design the prevention actions to minimize damage when an accident occurred. The objective of these actions is preventing the serious damage from accidents that can occur due to unforeseen circumstance. Recently, many studies have been performed to identify and analyze their hazards at design phase of safety critical systems. This paper suggests a safety analysis technique for analyzing the collision among those prevention actions to reduce accident and its effect by the collision of these actions that did not mentioned in previous studies. Through the proposed technique, it would improve robustness of safety and would help the design of prevention actions into system for the occurrence of accidents.

On the Development of Systems Safety Requirements Using Hazard Analysis Results (위험원 분석 결과를 반영한 시스템 안전 요구사항 생성에 관한 연구)

  • Kim, Jae-Chul;Lee, Jae-Chon
    • Journal of the Korea Safety Management & Science
    • /
    • 제13권4호
    • /
    • pp.9-16
    • /
    • 2011
  • Modern systems become more complex and the demand for systems safety goes up sharply. Thus, the proper handling of the safety requirements in the systems design is getting greatly increased attention these days. Hazard analysis has been one of the active areas of research in connection with systems safety. In this paper, we study a subject on how the hazard analysis results can be incorporated in the systems design. To this end we set up a goal on how to systematically generate safety requirements that should reflect hazard analysis results and be implemented in the systems design and development. To do so, we first review the process for systems design and suggest the associated Model. Then the process and results of hazard analysis are analyzed and Modeled particularly with emphasis on the safety data. The resulting data Model incorporating both the hazard analysis and system life cycle is used in the generation of safety requirements. Based on the developed data Model, the generation of the requirements, the construction of requirements DB, and the change management later on is demonstrated through the use of a computer-aided software tool.

Architecture of Software Testing Tool for Railway Signalling through Actual Use Interface Channel (실사용 인터페이스를 이용한 열차제어 소프트웨어 테스팅 도구의 구조)

  • Hwang, Jong-Gyu;Baek, Jong-Hyun;Jo, Hyun-Jeong;Lee, Kang-Mi
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • 제39C권9호
    • /
    • pp.880-886
    • /
    • 2014
  • Many railway signalling functions have increasingly depended on computer software with recent development in computing technology, leading to evolution into more flexible and intelligent railway signalling system. Meanwhile, software programs are likely to have many errors and the cost incurred by such errors has increased. Especially, if fatal software error occurs during railway operation, it may result in loss of lives. So the software verification and validation have become more important. It is needed for software functional safety tool to support these, but most commercial tools depend on direct access to the system's memory, resulting in many difficulties in application. Owing to such difficulties and complexity, they are rarely used in railway signalling system software validation. In this study, a new testing tool for software functional testing through an external interface that can be easily used in functional testing of software was developed. Such testing tool allows development and analysis of test cases for black-box testing through analysis of actually used interface protocols, leading to increased user convenience.

Development of a Web-based QFD Software (웹기반 품질기능전개(QFD)용 소프트웨어 개발)

  • Lee, Jung-Hwan;Lee, Seung-Hoon;Yoon, Seuk-Dong
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • 제29권1호
    • /
    • pp.125-134
    • /
    • 2006
  • QFD(Quality Function Deployment) is a system for translating specific customer needs into detailed product requirements which are deployed throughout design, production, marketing and support operations. QFD is a team tool. However, most of commercial QFD softwares are standalone and therefore offer limited support for teamwork. In this paper, we developed a web-based QFD software to overcome many of the limitations that standalone systems suffer from. That is, this software was developed for synchronizing collaboration between team members distributed not only geographically but also over time. This software was developed by using Visual studio.NET and Microsoft COM+(CBD) technique and can be implemented on the web browser.

Modern Software Defined Radar (SDR) Technology and Its Trends

  • Kwag, Young-Kil;Jung, Jung-Soo;Woo, In-Sang;Park, Myeong-Seok
    • Journal of electromagnetic engineering and science
    • /
    • 제14권4호
    • /
    • pp.321-328
    • /
    • 2014
  • Software defined radar (SDR) is a multi-purpose radar system where most of the hardware processing is performed by software. This paper introduces a concept and technology trends of software defined radar, and addresses the advantages and limitations of the current SDR radar systems. For the advanced SDR concept, the KAU SDR Model (KSM) is presented for the multimode and multiband radar system operating in S-, X-, and K-bands. This SDR consists of a replaceable multiband antenna and RF hardware, common digital processor module with multimode, and open software platform based on MATLAB and LabVIEW. The new concept of the SDR radar can be useful in various applications of the education, traffic monitoring and safety, security, and surveillance depending on the various radar environments.

Study of Automatic Train Control using RTOS (RTOS를 이용한 전동차 자동열차운전장치 연구)

  • Lee, Su-Gil;Han, Seong-Ho;You, Won-Hee;Mun, Hyeong-Seok
    • Proceedings of the KIEE Conference
    • /
    • 대한전기학회 2002년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
    • /
    • pp.356-358
    • /
    • 2002
  • The automatic/driverless operation which are great important techniques in metro railway are required to increase higher safety, greater reliability, and transport capacity. This paper describes the method to develop the ATO software system. The software design is based on VxWorks, a Real Time Operating System.

  • PDF

An Economic Evaluation of FMS Considering the Safety and Flexibility Factors (FMS에서 유연성과 안전성 요인을 고려한 경제성 평가)

  • 강영식;함효준
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • 제22권51호
    • /
    • pp.63-72
    • /
    • 1999
  • Many firms have applied flexible manufacturing systems as a means of increasing productivity, profitability, and quality. Therefore, the purpose of this paper is to develop the more efficient justification model through an analytical scoring model with the quantitative factors, flexibility factors, and safety factors under uncertainty. In this paper, the three factors for properly comparing and evaluating of flexible manufacturing systems are presented. Especially, this paper has emphasized the flexibility and safety factor; the one consists of organization assessment, process treatment function, products and products quantity, useful life assesment, and software function, the other presents risk assesment, Y2K problem, safety device analysis, total productive management system, safety management. Finally, a normalized scoring model by the new flexibility and safety factors can be used in real fields for flexible manufacturing systems project selection under uncertainty.

  • PDF