Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "safety system analysis" wg kryterium: Temat


Tytuł:
Oil transport in port. Part 3. Port oil piping transportation system safety and resilience impacted by the climate-weather change process and operation process
Autorzy:
Kołowrocki, K.
Kuligowska, E.
Soszyńska-Budny, J.
Torbicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/2068783.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
piping system
operation process
climate-weather change impacts
safety
resilience
cost analysis
optimization
Opis:
The paper is concerned with the application of the model of critical infrastructure safety prediction with considering its operation and climate-weather change impacts. The general approach to the prediction of critical infrastructure safety and resilience is proposed and the safety and resilience indicators are defined for a critical infrastructure impacted by its operation process and the climate-weather change process. Moreover, there is presented the model application for port oil piping transportation system safety and resilience prediction. Further, the cost analysis and optimisation of critical infrastructure operation process impacted by climateweather change is proposed and applied to the considered piping system.
Źródło:
Journal of Polish Safety and Reliability Association; 2018, 9, 2; 43--64
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Oil transport in port. Part 2. Port oil piping transportation system safety and resilience impacted by the climate-weather change process
Autorzy:
Kołowrocki, K.
Kuligowska, E.
Soszyńska-Budny, J.
Torbicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/2068778.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
port oil piping transportation system
climate-weather change impacts
safety
resilience
cost analysis
Opis:
The paper is concerned with the application of the model of critical infrastructure safety prediction with considering its climate-weather change impacts. The general approach to the prediction of critical infrastructure safety and resilience is proposed and the safety and resilience indicators are defined for a critical infrastructure impacted by climate-weather change process. Moreover, there is presented the model application for port oil piping transportation system safety and resilience prediction. Further, the cost analysis of critical infrastructure impacted by climate-weather change process is proposed and applied to the considered piping system.
Źródło:
Journal of Polish Safety and Reliability Association; 2018, 9, 2; 29--42
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Safety Level Analysis of the SWIM System in Air Traffic Management
Autorzy:
Krzykowska, K.
Siergiejczyk, M.
Rosiński, A.
Powiązania:
https://bibliotekanauki.pl/articles/117434.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
Safety of Navigation
SWIM System
air traffic management (ATM)
Safety Level Analysis
Safety Level
Service-Oriented Architecture (SOA)
System Wide Information Management (SWIM)
communication
Navigation and Surveillance (CNS)
Opis:
Safety level analysis is included in the paper in context of SWIM system in air traffic management. The example is given. It examines the limitations and drawbacks of current ICT systems used for air traffic management. Analyzing the development of communication systems for the management of general air traffic, it can be concluded that the development of the terrestrial segment of the exchange of information between the parties relating to the air traffic will fluctuate towards a solution based on a service-oriented architecture SOA. This architecture will be the basis for the implementation of the concept of an information exchange system SWIM.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2016, 10, 1; 85-91
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza niezawodności człowieka-operatora w kontekście bezpieczeństwa funkcjonalnego
Human-operator reliability analysis in context of functional safety
Autorzy:
Piesik, E.
Kosmowski, K. T.
Powiązania:
https://bibliotekanauki.pl/articles/266839.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
czynniki ludzkie
bezpieczeństwo funkcjonalne
system alarmowy
analiza niezawodności człowieka-operatora
human factors
functional safety
layer of protection analysis
alarm system
human reliability analysis
Opis:
Artykuł przedstawia niektóre kwestie analizy warstwowego systemu zabezpieczeń instalacji podwyższonego ryzyka z uwzględnieniem analizy niezawodności człowieka HRA (human reliability analysis). Działania człowieka operatora w odniesieniu do systemu operatorskiego HSI (human system interface), w tym systemu alarmowego i potencjalnych błędów człowieka mogą mieć istotny wpływ na wyniki analiz probabilistycznych w procesie weryfikacji poziomów nienaruszalności bezpieczeństwa SIL (safety integrity level). Wpływ ten może być analizowany przy użyciu wybranych metod HRA. W pracy przeanalizowano wpływ czynników ludzkich na prawdopodobieństwo błędu człowieka HEP (human error probability) korzystając z metod SPAR-H oraz HEART. Uzyskane wyniki HEP są analizowane dla wybranego scenariusza awaryjnego w kontekście rozwiązań bezpieczeństwa funkcjonalnego.
The paper addresses some issues of the layer of protection analysis concerning an industrial hazardous plant taking into account results of the human reliability analysis (HRA). The functional safety analysis includes determining required safety integrity level (SIL) of safety functions proposed for hazards identified, based on the risk analysis results obtained and assessed regarding the risk criteria defined. The next step is to verify whether required SIL level is achieved using appropriate protection layers that include the safety instrumented system (SIS) of configuration considered in design to implement given safety function, using appropriate methods of probabilistic modelling. Human-operator activities in context of the humansystem interface - including the alarm system - and potential human errors, may have significant impact on the probabilistic results obtained. This impact is evaluated using appropriate HRA method or methods. In the paper the influence of human factors relevant to two HRA methods selected, i.e. HEART and SPAR-H, are evaluated. The results of the human error probability (HEP) obtained using these methods are discussed for an accident scenario considered.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2016, 51; 147-150
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formal Safety Assessment (FSA) for Analysis of Ship Collision Using AIS Data
Autorzy:
Zaman, M.B.
Santoso, A.
Kobayashi, E.
Wakabayashi, D.
Maimun, A.
Powiązania:
https://bibliotekanauki.pl/articles/116666.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
AIS Data
Automatic Identification System (AIS)
Formal Safety Assessment (FSA)
geographic information system (GIS)
Analysis of Ship Collision
Collision Avoidance
Malacca Strait
safety at sea
Opis:
Currently, Maritime safety is the best issue in the world. International Maritime organization (IMO) have recommended FSA methodology to enhance maritime safety. In this paper, the research conducted in the Malacca Strait. Malacca Strait is an area that has a high risk for shipping navigation. Many accidents occur in the area are like collision, fire, grounding and so on. Therefore a study on improving safety in this area is very important. it is to produce an output that can be used to provide input to the master and multiple stakeholders to improve safety on board at the time of sailing. In this study, AIS is used as a data source. Sea condition data collected actual traffic through the Automatic Identification System (AIS) equipment installed at Kobe University, Japan, and Universiti Teknologi Malaysia (UTM) in Johor, Malaysia. The data is applied to define a method with the help of Geographic Information Systems (GIS).
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 1; 67-72
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie analizy bezpieczeństwa eksploatacji do kontroli funkcjonowania zakładu oczyszczania wody
Analysis of operational safety as a tool for controlling the functioning of a water treatment plant
Autorzy:
Zimoch, I.
Powiązania:
https://bibliotekanauki.pl/articles/237788.pdf
Data publikacji:
2011
Wydawca:
Polskie Zrzeszenie Inżynierów i Techników Sanitarnych
Tematy:
oczyszczanie wody
system zaopatrzenia w wodę
analiza bezpieczeństwa
niezawodność
ryzyko
plany bezpieczeństwa wody
water treatment
water supply system
safety analysis
reliability
risk
water safety plans
Opis:
Istotnym zagadnieniem w ocenie poprawności eksploatacji zakładu oczyszczania wody jest umiejętność przewidywania warunków pracy układu technologicznego (zdarzeń), które mogą spowodować zagrożenie, a w skrajnych przypadkach utratę bezpieczeństwa funkcjonowania zakładu. W pełnej analizie bezpieczeństwa metodyka ba-dawcza winna uwzględniać zarówno niezawodność funkcjonowania ciągu technologicznego oczyszczania wody, jak i charakterystyki probabilistyczne bezpieczeństwa jakościowego wody. Zaprezentowana metodyka kompleksowej oceny bezpieczeństwa eksploatacji zakładu oczyszczania wody uwzględnia interpretację bezpieczeństwa w postaci zintegrowanego parametru, jakim jest gotowość bezpieczeństwa eksploatacyjnego. Pozwala ona na podstawie standardowych parametrów operacyjnych pracy zakładu oczyszczania wody oraz wskaźników jakości ujmowanej wody uzyskać informacje o przebiegu procesu technologicznego oczyszczania wody. Wykazano, że wykorzystanie stosunkowo prostych narzędzi statystycznych umożliwia oszacowanie dodatkowych parametrów oceny, takich jak uogólniony wskaźnik bezpieczeństwa (BJWZOW), prawdopodobieństwo błędu technologicznego (PBT) oraz prawdopodobieństwo braku skuteczności technologicznej (PBST). Parametry te pozwalają na pełną identyfikację warunków i poprawności eksploatacyjnej zakładu oczyszczania wody, które mogą stanowić podstawę do opracowania procedur planów bezpieczeństwa wody minimalizujących ryzyko eksploatacyjne układów ujmowania i oczyszczania wody. Zaprezentowana metoda analizy bezpieczeństwa eksploatacji zakładu oczyszczania wody ma charakter uniwersalny i może być zastosowana w przypadku różnych wskaźników jakości wody.
A crucial factor in guaranteeing a correct operation of the water treatment plant is the ability to predict such operating conditions for the treatment train (events) that might produce a risk of operational safety loss or, in extreme circumstances, cause the water treatment plant lose its operational safety. It is imperative that the methods used for a comprehensive analysis of operational safety should entail not only the reliability of the treatment train's functioning but also a probabilistic characterization of water quality safety. With the method proposed here for the comprehensive analysis of the operational safety of a water treatment plant it is possible to interpret the operational safety in terms of an integrated parameter, i.e. in terms of the availability of operational safety. Thus, based on the standard operating parameters of the water treatment plant, as well as on the quality parameters of the water being taken in, it is possible to obtain further information on the course of the water treatment process. It has been demonstrated that the use of relatively simple statistical tools enables the following additional parameters of assessment to be evaluated: a generalized safety factor (BJWZOW), the probability of technological error (PBT), and the probability of technological efficiency being unavailable (PBST). These parameters allow a full identification of the conditions and operational correctness for the water treatment plant, thus providing a basis for the development of procedures for Water Safety Plans in order to minimize the operational risk for the water intake and water treatment systems. The method of operational safety analysis proposed in this paper for a water treatment plant is versatile and applies to real water treatment plants under conditions of diverse water quality parameters.
Źródło:
Ochrona Środowiska; 2011, 33, 2; 39-44
1230-6169
Pojawia się w:
Ochrona Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza warstw zabezpieczeń w przemysłowych instalacjach podwyższonego ryzyka
Layer of protection analysis in industrial hazadous installations
Autorzy:
Kacprzak, P.
Powiązania:
https://bibliotekanauki.pl/articles/2069728.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
bezpieczeństwo funkcjonalne
analiza warstw zabezpieczeń
czynniki ludzkie
system alarmowy
functional safety
layer of protection analysis
human factros
alarm system
Opis:
In this article the Layer of Protection Analysis (LOPA), as a technique for the risk evaluation relating to the hazardous industrial installations performance, is presented. The results of analyses are important in the terms of the safety management process in such installations. Based on obtained estimations the decisions might be undertaken which solutions to apply in order to mitigate the risk of hazardous installations performance to a tolerable level. The risk mitigation is provided by properly designed layers of protection, particularly the alarm system, treated as a part of protection layer. The alarm system should be designed and implemented with comprehensive consideration of the human factors. The role of the operator in hazardous installations is crucial mainly during abnormal and alarm situations in order to provide and/or recover system to normal or safety state. In the article some selected aspects of alarm systems designing process with special treating of human operator are outlined. Moreover, an example of the LOPA analysis for the accident sequence within a reaction container with consideration of human reliability analysis (HRA ) is carried out.
Źródło:
Journal of Polish Safety and Reliability Association; 2011, 2, 3; 79--86
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of pier contact accident in busan new port of south Korea by System-Theoretic Accident Model and Processes (STAMP)
Autorzy:
Kim, S. R.
Wamugi, W. J.
Camliyurt, G.
Kim, D. W.
Park, Y. S.
Powiązania:
https://bibliotekanauki.pl/articles/24201437.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
maritime accidents
investigation on maritime accidents
accident analysis
System-Theoretic Accident Model and Process
maritime safety
safety at sea
pilotage
lesson
Opis:
Marine accidents are caused by complex and diverse causes. Therefore, it is necessary to analyse accidents from the perspective of the whole system rather than the existing analysis models that focus on cause-effect. The STAMP analysis is a constraint-based model that focuses on improper management or enforcement of safety-related constraints in system operation. Thus, as a case study of the application of the STAMP technique in marine accident analysis, the Milano Bridge pier contact accident that occurred on April 6, 2020 in Busan New Port of South Korea was analysed by the STAMP technique in this study. Through this study, it was proposed to break away from the domestic accident investigation, which focused only on the punishment of the ship operator, and to suggest improvements that enable organizations related to the marine accidents to take initiative to take efforts for safety.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2023, 17, 2; 299--304
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Probabilistic Safety Assessment of ESBWR gravity driven cooling system
Autorzy:
Kaszko, Aleksej
Niewiński, Grzegorz
Stępień, Michał
Powiązania:
https://bibliotekanauki.pl/articles/132047.pdf
Data publikacji:
2020
Wydawca:
Centrum Rzeczoznawstwa Budowlanego Sp. z o.o.
Tematy:
nuclear power plant
Probabilistic Safety Assessment
PSA
Fault Tree Analysis
FTA
Gravity Driven Cooling System
GDCS
Opis:
According to Polish nuclear law, newly emerging nuclear facilities require probabilistic safety assessment (PSA). This article is intended to present the PSA method and to present the error tree method by which the probability of unavailability of the gravity reactor cooling system (GDCS) of the ESBWR power plant designed by GE Hitachi was determined. This work includes creatiion process of a damage tree and performing a quantitative analysis in SAPHIRE tool and estimating uncertainty using the Monte Carlo method. As a part of the work, it was shown that in the probability of failure of a single GDCS P LINE-A line, the most important element are the basic events related in particular to the operation of service valves.
Źródło:
Modern Engineering; 2020, 1; 18-25
2450-5501
Pojawia się w:
Modern Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Analysis of Accidents Caused by Improper Functioning of Machine Control Systems
Autorzy:
Dźwiarek, M.
Powiązania:
https://bibliotekanauki.pl/articles/89947.pdf
Data publikacji:
2004
Wydawca:
Centralny Instytut Ochrony Pracy
Tematy:
accident analysis
safety-related control system of machinery
functional safety
warunki pracy
wypadki przy pracy
zachowanie się człowieka
zachowanie a wypadki
bezpieczne maszyny
Opis:
The scope of this study covers events resulting from improper functioning of machine control systems. An accident model providing a basis for formulating a checklist for accident analysis has been developed. Data about 700 accidents were collected. An analysis has proved that in the group of accidents caused by improper functioning of machine control systems, serious accidents happened much more frequently as compared to the group of accidents with no relation to the control system. The reasons for the majority of incidents caused by improper performance of safety functions consist in the errors made by designers. In view of that, incorrect behaviour of a worker should be treated as a normal event instead of a deviation causing an accident.
Źródło:
International Journal of Occupational Safety and Ergonomics; 2004, 10, 2; 129-136
1080-3548
Pojawia się w:
International Journal of Occupational Safety and Ergonomics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safety Analysis of Interdependent Critical Infrastructure Networks
Autorzy:
Blokus, A.
Dziula, P.
Powiązania:
https://bibliotekanauki.pl/articles/116995.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
critical infrastructure
safety analysis
interdependent critical infrastructure networks
critical infrastructure network
safety characteristics
random interdependency matrix
critical infrastructure system
multilayer infrastructure network framework
Opis:
Certain critical infrastructure networks show some interconnections, relations and interactions with other ones, most frequently when located and operating within particular areas. Failures arising within one critical infrastructure network, can then negatively impact not only on associated systems, societies and natural environment, but also on mutual critical infrastructure networks. Therefore, interdependent critical infrastructure networks can be determined as network of critical infrastructure networks (network of networks approach). The paper presents safety analysis of the network of critical infrastructure networks, taking into account interconnections, relations and interactions between particular ones. Critical infrastructures networks as multistate systems are considered, by distinguishing subsets of no-hazards safety states, and crisis situation states, and by analysing transitions between particular ones. Issues introduced in the article are based on the assumption that one key critical infrastructure network impacts on functioning of other critical infrastructure networks - can reduce their functionality and change level of their safety and inoperability, furthermore, other networks can impact each other, too. Safety characteristics of network of critical infrastructure networks: safety function, mean values and standard deviations of lifetimes in particular safety state subsets, are determined, taking into account interdependencies between particular networks. The results are related to various values of coefficients defining the significance of influence of interdependencies among networks.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2019, 13, 4; 781-787
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Navigation’s safety improving by efficiently analysis of the ship’s power Plant energy flows interconnection
Autorzy:
Veretennik, A.
Kulyeshov, I.
Mikhailov, S.
Powiązania:
https://bibliotekanauki.pl/articles/2086298.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
navigation’s safety
safety at sea
ship's power plant
power plant energy flows
autonomous movable objects
mechanical energy flow
power plant system
efficiently analysis
Opis:
The operation of an autonomous movable objects, such as a sea transport vessels, implies the presence of a source of potential energy on board the vessel and the possibility of converting this energy into the work required for the autonomous movable object (vessel). Being an autonomous object, a transport vessel should be provided with energy for it moving, energy for heat exchange processes on board and electricity for powering electrical equipment, automation and navigation systems, and household needs on board. An analysis of the component of the engine room equipment made it possible to designate (combine) the generating equipment of mechanical energy flow, equipment which are generating the heat energy flow and equipment which are generating the electric energy flow. Based on the results of the research the relationships between the energy flows are identified connections and ways to ensure stabilization of energy generation on board the cargo vessel is outlined. Using the results of the research the relationships between the energy flows will reduce the likelihood of accidents on board a cargo vessel due to a stop in the generation of one of the energy flows and thereby ensure increased safety of man at sea. Taking into account the peculiarities of the distribution of energy flows in ship power plants can be an effective tool not only to improve the economic performance of it, but also to increase the safety of navigation and navigation in general, due to the reliable provision of uninterrupted and efficient operation of ship power plants.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2022, 16, 1; 39--42
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Human error in pilotage operations
Autorzy:
Ernstsen, J.
Nazir, S.
Powiązania:
https://bibliotekanauki.pl/articles/117463.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
safety at sea
human error
Systematic Human Error Reduction and Prediction Approach (SHERPA)
pilotage operations
sociotechnical system
maritime domain
Hierarchical Task Analysis (HTA)
safety climate
Opis:
Pilotage operations require close interaction between human and machines. This complex sociotechnical system is necessary to safely and efficiently maneuver a vessel in constrained waters. A sociotechnical system consists of interdependent human- and technical variables that continuously must work together to be successful. This complexity is prone to errors, and statistics show that most these errors in the maritime domain are due to human components in the system (80 ? 85%). This explains the attention on research to reduce human errors. The current study deployed a systematic human error reduction and prediction approach (SHERPA) to shed light on error types and error remedies apparent in pilotage operations. Data was collected using interviews and observation. Hierarchical task analysis was performed and 55 tasks were analyzed using SHERPA. Findings suggests that communication and action omission errors are most prone to human errors in pilotage operations. Practical and theoretical implications of the results are discussed.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2018, 12, 1; 49-56
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Future generation of railway control systems for regional lines including new telematic solutions
Autorzy:
Lewiński, A.
Łukasik, Z.
Perzyński, T.
Ukleja, P.
Powiązania:
https://bibliotekanauki.pl/articles/393693.pdf
Data publikacji:
2014
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
regional lines
control system
telematics
open radio transmission
efficiency
safety
Markov process
time analysis
probability analysis
linie regionalne
system sterowania
telematyka
otwarta transmisja bezprzewodowa
wydajność
proces Markova
analiza czasowa
analiza prawdopodobieństwa
Opis:
The paper deals with implementation problem of new generation of railway control and management systems dedicated for regional lines. The special infrastructure of such lines gives the possibility of application the new telematic technologies including the open radio transmission standards to control and monitoring the dissipated railway objects. In the paper the efficiency and safety analyses are presented based on stochastic process approach according to UE standards and recommendations.
Źródło:
Archives of Transport System Telematics; 2014, 7, 3; 13-16
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantitative safety analysis of train control system based on statistical model checking
Autorzy:
Lin, Junting
Min, Xiaoqin
Powiązania:
https://bibliotekanauki.pl/articles/2124711.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
train control systems
statistical model checking
safety analysis
hybrid automata
UPPAAL-SMC
system sterowania pociągiem
analiza bezpieczeństwa
automaty hybrydowe
Opis:
With the rapid development of communication technology, the Train-centric Communication-based Train Control (TcCBTC) system adopting the train-train communication mode to reduce the transmission link of control information, will become the direction of urban rail transit field development. At present, TcCBTC system is in the stage of key technology research and prototype development. Uncertain behavior in the process of system operation may lead to operation accidents. Therefore, before the system is put into use, it must undergo strict testing and security verification to ensure the safe and efficient operation of the system. In the paper, the formal modeling and quantitative analysis of train tracking operation under moving block are carried out. Firstly, the structure of TcCBTC system and the train tracking interval control strategy under moving block conditions are analyzed. The subsystem involved in train tracking and the uncertain factors in system operation are determined. Then, based on the Stochastic Hybrid Automata (SHA), a network of SHA model of train dynamics model, communication components and on-board controller in the process of train tracking is established, which can formally describe the uncertain environment in the process of system operation. UPPAAL-SMC is used to simulate the change curve of train position and speed during tracking, it is verified that the model meets the safety requirements in static environment. Finally, taking Statistical Model Checking (SMC) as the basis of safety analysis, the probability of train collision in uncertain environment is calculated. The results show that after accurately modeling the train tracking operation control mechanism through network of SHA, the SMC method can accurately calculate the probability of train rearend collision, which proves that the method has strong feasibility and effectiveness. Formal modeling and analysis of safety-critical system is very important, which enables designers to grasp the hidden dangers of the system in the design stage and safety evaluation stage of train control system, and further provides theoretical reference for the subsequent TcCBTC system design and development, practical application and related specification improvement.
Źródło:
Archives of Transport; 2022, 61, 1; 7--19
0866-9546
2300-8830
Pojawia się w:
Archives of Transport
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies