An Analysis Method of Safety Requirements for Automotive Software Systems

2017 ◽  
Author(s):  
Moe Matsubara ◽  
Mikio Aoyama
Keyword(s):  
Software Systems ◽  
Analysis Method ◽  
Automotive Software ◽  
Safety Requirements

Efficient Safety Analysis of Automotive Software Systems

2009 ◽  
Vol 2 (1) ◽  
pp. 258-270 ◽  
Author(s):  
Mario Trapp ◽  
Soeren Kemmann ◽  
Ralf Kalmar ◽  
Christian Denger
Keyword(s):  
Safety Analysis ◽  
Software Systems ◽  
Automotive Software

Study on the Thermo-Hydrodynamic of a Dry Gas Seal in Helium Circulator for High Temperature Gas-Cooled Reactor

2011 ◽  
Author(s):  
Jianshu Lin ◽  
Hong Wang
Keyword(s):  
High Temperature ◽  
Film Flow ◽  
Three Dimensional ◽  
Maximum Temperature ◽  
Analysis Method ◽  
Dry Gas Seal ◽  
Safety Requirements ◽  
Simulation Results ◽  
Gas Seals ◽  
High Temperature Gas

A comprehensive analysis method is proposed to resolve the problem of simulating a complex thermo-flow with two kinds of distinct characteristic length in the dry gas seal, and a conjugated simulation of the complicated heat transfer and the gas film flow is carried out by using the commercial CFD software CFX. By using the proposed method, a three dimensional of velocity and pressure field in the gas film flow and the temperature distribution within the sealing rings are investigated for three kinds of film thickness, respectively. A comparison of thermo-hydrodynamics of the dry gas seals is conducted between the sealed gas of air and helium. The latter one is used in a helium circulator for High Temperature Gas-cooled Reactor (HTGR). From comparisons and discussions of a series of simulation results, it will be found that the comprehensive proposal is effective and simulation results are reasonable, and the maximum temperature rise in the dry gas seal is within the acceptable range of HTGR safety requirements.

Test based safety-critical software reliability estimation using Bayesian method and flow network structure

2019 ◽  
Vol 233 (5) ◽  
pp. 847-856
Author(s):  
Yaguang Yang
Keyword(s):  
Software Reliability ◽  
Probabilistic Method ◽  
Reliability Estimation ◽  
Software Test ◽  
Consensus Method ◽  
Software Systems ◽  
Engineering Systems ◽  
Critical Systems ◽  
Safety Requirements ◽  
Safety Critical

System safety is closely related to system reliability. Safety requirements many times are translated to reliability requirements. Nowadays, software systems exist in many engineering systems. However, there is no consensus method for software reliability estimation. On the contrary, there is an increasing interest in estimating the software reliability due to concerns for safety-critical systems. In this article, we try to close the gap by proposing a systematic and probabilistic method to estimate the software reliability based on software test data.

scholarly journals Measuring the impact of changes to the complexity and coupling properties of automotive software systems

2013 ◽  
Vol 86 (5) ◽  
pp. 1275-1293 ◽  
Author(s):  
Darko Durisic ◽  
Martin Nilsson ◽  
Miroslaw Staron ◽  
Jörgen Hansson
Keyword(s):  
Software Systems ◽  
Automotive Software ◽  
The Impact
Sign in / Sign up

Export Citation Format

Share Document