Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

Author(s):  
Phillip James ◽  
Andrew Lawrence ◽  
Markus Roggenbach ◽  
Monika Seisenberger
Keyword(s):  
2021 ◽  
Vol 161 ◽  
pp. 106382
Author(s):  
Federico Orsini ◽  
Gregorio Gecchele ◽  
Riccardo Rossi ◽  
Massimiliano Gastaldi

Author(s):  
Sijuan Chen ◽  
Zhijian Zhang ◽  
He Wang ◽  
Min Zhang ◽  
Huazhi Zhang ◽  
...  

In the continuous operation process of Nuclear Power Plant (NPP), its configuration is full of variety over time because of the system’s dynamic characteristics. There is a great need to update the risk/safety analysis models when it becomes necessary to reflect those dynamic characteristics of the system/component. Most of the current methods for risk/safety analysis belong to the scope of safety pre-analyzing, which analyzes the system risk/safety before system being in service. The main purpose of these safety pre-analyzing is to guide system design and optimization, but the real-time operational risk/safety analysis of NPPs is considered little. In order to know well the real-time risk/safety for system, a System Safety Analysis Method based on Real-time Online Risk Monitoring Technology is proposed. The safety risk model is established based on the modular fault tree that is used to represent logic structure of system. The real-time risk/safety is monitored according to the correspondence monitoring signal or data of component/system. Simultaneously the method can account for the change of risks based on the established mapping relationship between the state transition rules and corresponding risk/safety model updating rules. Finally, a case monitoring the safety for the system of two redundant pumps was used to demonstrate the effectiveness of the method.


Author(s):  
Fei Wang ◽  
Guiliang Zhong ◽  
Qixiang Fan ◽  
Jianjiang Xu ◽  
Shikui Gao ◽  
...  

2021 ◽  
Vol 14 (8) ◽  
pp. 5577-5591
Author(s):  
Marcin L. Witek ◽  
Michael J. Garay ◽  
David J. Diner ◽  
Michael A. Bull ◽  
Felix C. Seidel ◽  
...  

Abstract. Atmospheric aerosols are an important element of Earth's climate system and have significant impacts on the environment and on human health. Global aerosol modeling has been increasingly used for operational forecasting and as support for decision making. For example, aerosol analyses and forecasts are routinely used to provide air quality information and alerts in both civilian and military applications. The growing demand for operational aerosol forecasting calls for additional observational data that can be assimilated into models to improve model accuracy and predictive skill. These factors have motivated the development, testing, and release of a new near real-time (NRT) level 2 (L2) aerosol product from the Multi-angle Imaging SpectroRadiometer (MISR) instrument on NASA's Terra platform. The NRT product capitalizes on the unique attributes of the MISR aerosol retrieval approach and product contents, such as reliable aerosol optical depth as well as aerosol microphysical information. Several modifications are described that allow for rapid product generation within a 3 h window following acquisition of the satellite observations. Implications for the product quality and consistency are discussed and compared to the current operational L2 MISR aerosol product. Several ways of implementing additional use-specific retrieval screenings are also highlighted.


Sign in / Sign up

Export Citation Format

Share Document