• Title/Summary/Keyword: Safety-Critical Software

Search Result 195, Processing Time 0.034 seconds

Computational Investigation of Lightning Strike Effects on Aircraft Components

  • Ranjith, Ravichandran;Myong, Rho Shin;Lee, Sangwook
    • International Journal of Aeronautical and Space Sciences
    • /
    • v.15 no.1
    • /
    • pp.44-53
    • /
    • 2014
  • A lightning strike to the aircraft seriously affects the aircraft and its components in various ways. As one of the most critical threats to the flight safety of an aircraft, fuel vapour ignition by lightning can occur through various means, notably through hot spot formation on the fuel tank skins. In this study, a coupled thermal-electrical approach using the commercial software ABAQUS is used to study the effects of a lightning strike on aircraft fuel tanks. This approach assumes that the electrical conductivity of a material depends on temperature, and that a temperature rise in a material due to Joule heat generation depends on electrical current. The inter-dependence of thermal and electrical properties-the thermal-electrical coupling-is analyzed by a coupled thermal-electrical analysis module. The analysis elucidates the effects of different material properties and thicknesses of tank skins and identifies the worst case of lightning zones.

Development of an Application for Reliability Testing on Controller Area Network (차량네트워크상 신뢰성 테스트를 위한 애플리케이션 개발)

  • Kang, Ho-Suk;Choi, Kyung-Hee;Jung, Gi-Hyun
    • The KIPS Transactions:PartD
    • /
    • v.14D no.6
    • /
    • pp.649-656
    • /
    • 2007
  • Today, controller area network(CAN) is a field bus that is nowadays widespread in distributed embedded systems due to its electrical robustness, low price, and deterministic access delay. However, its use safety-critical applications has been controversial due to dependability limitation, such as those arising from its bus topology. Thus it is important to analyze the performance of the network in terms of load of data bus, maximum time delay, communication contention, and others during the design phase of the controller area network. In this paper, a simulation algorithm is introduced to evaluate the communication performance of the vehicle network and apply software base fault injection techniques. This can not only reduce any erratic implementation of the vehicle network but it also improves the reliability of the system.

Seismic response analysis of an unanchored vertical vaulted-type tank

  • Zhang, Rulin;Cheng, Xudong;Guan, Youhai;Tarasenko, Alexander A.
    • Earthquakes and Structures
    • /
    • v.13 no.1
    • /
    • pp.67-77
    • /
    • 2017
  • Oil storage tanks are vital life-line structures, suffered significant damages during past earthquakes. In this study, a numerical model for an unanchored vertical vaulted-type tank was established by ANSYS software, including the tank-liquid coupling, nonlinear uplift and slip effect between the tank bottom and foundation. Four actual earthquakes recorded at different soil sites were selected as input to study the dynamic characteristics of the tank by nonlinear time-history dynamic analysis, including the elephant-foot buckling, the liquid sloshing, the uplift and slip at the bottom. The results demonstrate that, obvious elephant-foot deformation and buckling failure occurred near the bottom of the tank wall under the seismic input of Class-I and Class-IV sites. The local buckling failure appeared at the location close to the elephant-foot because the axial compressive stress exceeded the allowable critical stress. Under the seismic input of Class-IV site, significant nonlinear uplift and slip occurred at the tank bottom. Large amplitude vertical sloshing with a long period occurred on the free surface of the liquid under the seismic wave record at Class-III site. The seismic properties of the storage tank were affected by site class and should be considered in the seismic design of large tanks. Effective measures should be taken to reduce the seismic response of storage tanks, and ensure the safety of tanks.

Stability analysis on the concrete slab of the highest concrete-faced rock-fill dam in South Korea

  • Baak, Seung-Hyung;Cho, Gye-Chun;Song, Ki-Il
    • Geomechanics and Engineering
    • /
    • v.13 no.5
    • /
    • pp.881-892
    • /
    • 2017
  • Design and management of concrete slabs in concrete-faced rock-fill dams are crucial issues for stability and overall dam safety since cracks in the concrete face induced by stress, shrinkage, and deterioration can cause severe leakage from the reservoir into the dam. Especially, the increase of dam height to a certain level to enhance the storage capacity and to improve hydraulic stability can lead to undesirable deformation behavior and stress distribution in the existing dam body and in the concrete slabs. In such conditions, simulation of a concrete slab with a numerical method should involve the use of an interface element because the behavior of the concrete slab does not follow the behavior of the dam body when the dam body settles due to the increase of dam height. However, the interfacial properties between the dam body and the concrete slab have yet to be clearly defined. In this study, construction sequence of a 125 m high CFRD in South Korea is simulated with commercial FDM software. The proper interfacial properties of the concrete slab are estimated based on a comparison to monitored vertical displacement history obtained from the concrete slab. Possibility of shear strength failure under the critical condition is investigated based on the simplified model. Results present the significance of the interfacial properties of the concrete slab.

Comprehensive evaluating the stability of slope reinforced with free and fixed head piles

  • Xixi Xiong;Ying Fan;Jinzhe Wang;Pooya Heydari
    • Geomechanics and Engineering
    • /
    • v.32 no.5
    • /
    • pp.523-540
    • /
    • 2023
  • The failure of slope can cause remarkable damage to either human life or infrastructures. Stabilizing piles are widely utilized to reinforce slope as a slip-resistance structure. The workability of pile-stabilized slopes is affected by various parameters. In this study, the performance of earth slope reinforced with piles and the behavior of piles under static load, by shear reduction strength method using the finite difference software (FLAC3D) has been investigated. Parametric studies were conducted to investigate the role of pile length (L), different pile distances from each other (S/D), pile head conditions (free and fixed head condition), the effect of sand density (loose, medium, and high-density soil) on the pile behavior, and the performance of pile-stabilized slopes. The performance of the stabilized slopes was analyzed by evaluating the factor of safety, lateral displacement and bending moment of piles, and critical slip mechanism. The results depict that as L increased and S/D reduced, the performance of slopes stabilized with pile gets better by raising the soil density. The greater the amount of bending moment at the shallow depths of the pile in the fixed pile head indicates the effect of the inertial force due to the structure on the pile performance.

Design and Implementation of an Elevator Vibration Measuring System using 3-Axis Acceleration Sensor (3축 가속도 센서를 이용한 엘리베이터 진동측정시스템 설계 및 구현)

  • Choi, Sung-Hyun;Kim, Jong-Soo;Kim, Tai-Suk;Yu, Yun-Sik
    • Journal of Korea Multimedia Society
    • /
    • v.16 no.2
    • /
    • pp.226-233
    • /
    • 2013
  • Self-diagnosis, regular examination, completion examination and precise safety examination on an elevator offer primary sources for evaluating performance and stability of the elevator. as critical examination for operating the elevator. The items on vibration of an elevator in the self-diagnosis and safety examination are not especially specified but vibration itself is considered as essential element to provide diverse analysis data. There is the equipment "EVA-625" for measuring vibration of an elevator. It is operated by reading data via computer and analyzing data by skilled engineer. This study aims to design and realize software to analyze data collected through the LabVIEW, a graphic program language and hardware for receiving data measuring vibration of an elevator by using 3-Axis acceleration sensor.

Development of Evaluation System for the Cognitive Performance of Marine Officers (항해사 인지능력 평가시스템)

  • Kim, Hong-Tae;Hong, Seoung-Kwon;Barnett, Mike
    • 한국HCI학회:학술대회논문집
    • /
    • 2009.02a
    • /
    • pp.650-653
    • /
    • 2009
  • Decrease in crew performance is frequently cited as a major causal factor in maritime accidents. Although considerable researches on working hours undertaken by seafarers have been conducted through interviews and record analyses, experimental studies on the effects of factors, such as high workload, shift patterns, stress, sleep deprivation, and disturbance on the cognitive performance of mariners have been limited. Other safety-critical transport industries, such as aviation and rail, have developed fatigue management tools to help managements in the work patterns of their operators. Such tools for mariners would assist shipboard crews, marine pilots, and shore managers for planning and improving work schedules. The overall aim of this paper is to determine a fatigue factor that can be applied to human performance data as a part of a software program that calculates total cognitive performance. This program enables us to establish the levels of cognitive performance in a group of marine pilots in order to test a decision-making task based on radar information. This paper addresses one of the factors that may contribute to the determination of various fatigue factors: the effects of different work patterns on the cognitive performance of a marine pilot.

  • PDF

Case Study of Electronic Fuel Injection Powertrain System FMEA Using Model-Based Fault Injection technique (모델 기반 결함 주입 기법을 이용한 Electronic Fuel Injection 전장 시스템 FMEA 사례연구)

  • Ye-ju Kim;Ye-won Na;Dong-min Lee;Ju-Young Kim;Jong-whoa Na
    • Journal of Advanced Navigation Technology
    • /
    • v.27 no.4
    • /
    • pp.436-446
    • /
    • 2023
  • In the field of safety-critical systems, analyzing the effects of various failure factors (failure modes) is essential through Failure Mode and Effects Analysis (FMEA). However, with the increasing importance of software in systems, applying FMEA analysis to the design phase has become challenging. This paper proposes the use of Automatic FMEA, which can automatically perform FMEA using model-based design techniques, and presents a case study of FMEA for automotive engines. A comparison is made between the model-based Automatic FMEA analysis tool and existing FMEA tools. The study aims to demonstrate the performance of the Automatic FMEA analysis tool and propose future research plans.

A Framework to Develop Safe and Reliable SaaS Certification Systems (안전하고 신뢰할 수 있는 SaaS(Software as a Service) 인증제도 개발을 위한 프레임워크)

  • Seo, Kwang-Kyu
    • Journal of Digital Convergence
    • /
    • v.10 no.10
    • /
    • pp.523-528
    • /
    • 2012
  • The recent appearance and evolution of cloud service including IaaS(Infrastructure as a Service), PaaS(Platform as a Service) and SaaS(Software as a Service) is potentially one of the major advances in information and communication technology. While a lot of studies are currently taking place in the technology itself, there is an equally urgent need for understanding and researching the business-related issues surrounding cloud service. As more and more individuals and companies use the cloud service, their concerns are beginning to grow about just how safe and reliable an environment it is. This paper focus on SaaS as an one of the important cloud service. For successful implementation of SaaS service, it is necessary to establish the certification systems to ensure safety and reliability of SaaS. This paper provides the safe and reliable framework for systematic SaaS certification systems. In order to develop it, the critical issues related to service quality and certification of SaaS service are identified and the systematic framework for certification systems of SaaS service and service provider domains are developed. An evaluation methodology for the developed certification systems is also proposed.

A Structural Testing Strategy for PLC Programs Specified by Function Block Diagram (함수 블록 다이어그램으로 명세된 PLC 프로그램에 대한 구조적 테스팅 기법)

  • Jee, Eun-Kyoung;Jeon, Seung-Jae;Cha, Sung-Deok
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.3
    • /
    • pp.149-161
    • /
    • 2008
  • As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.