System Security Assessment for Safety Critical Railway Signalling Systems for the Thameslink Infrastructure Programme

2017 ◽  
Author(s):  
N.J.P. Tillema
Keyword(s):  
System Security ◽  
Security Assessment ◽  
Safety Critical ◽  
Railway Signalling ◽  
Signalling Systems

Steady-state Security Assessment Based on K-Means Clustering Algorithm and Phasor Measurement Units

2020 ◽  
Vol 13 (4) ◽  
pp. 559-570
Author(s):  
Bassam A. Hemade ◽  
Hamed A. Ibrahim ◽  
Hossam E.A. Talaat
Keyword(s):  
Steady State ◽  
Clustering Algorithm ◽  
System Security ◽  
Phasor Measurement Units ◽  
Operating Conditions ◽  
Security Assessment ◽  
State Security ◽  
Phasor Measurement ◽  
Measurement Units ◽  
Silhouette Analysis

Background: The security assessment plays a crucial role in the operation of the modern interconnected power system network. Methods: Hence, this paper addresses the application of k-means clustering algorithm equipped with Principal Component Analysis (PCA) and silhouette analysis for the classification of system security states. The proposed technique works on three principal axes; the first stage involves contingency quantification based on developed insecurity indices, the second stage includes dataset preparation to enhance the overall performance of the proposed method using PCA and silhouette analysis, and finally the application of the clustering algorithm over data. Results: The proposed composite insecurity index uses available synchronized measurements from Phasor Measurement Units (PMUs) to assess the development of cascading outages. Considering different operational scenarios and multiple levels of contingencies (up to N-3), Fast Decoupled Power Flow (FDPF) have been used for contingency replications. The developed technique applied to IEEE 14-bus and 57-bus standard test system for steady-state security evaluation. Conclusion: The obtained results ensure the robustness and effectiveness of the established procedure in the assessment of the system security irrespective of the network size or operating conditions.

A Deep Learning-Based Feature Extraction Framework for System Security Assessment

2019 ◽  
Vol 10 (5) ◽  
pp. 5007-5020 ◽  
Author(s):  
Mingyang Sun ◽  
Ioannis Konstantelos ◽  
Goran Strbac
Keyword(s):  
Feature Extraction ◽  
Deep Learning ◽  
System Security ◽  
Security Assessment

scholarly journals A refinement-based development of a distributed signalling system

2021 ◽  
Author(s):  
Paulius Stankaitis ◽  
Alexei Iliasov ◽  
Tsutomu Kobayashi ◽  
Yamine Aït-Ameur ◽  
Fuyuki Ishikawa ◽  
...  
Keyword(s):  
Model Verification ◽  
Modelling Language ◽  
Distributed Protocol ◽  
Rigorous Approach ◽  
Railway Systems ◽  
Main Challenge ◽  
Stepwise Development ◽  
Railway Signalling ◽  
High Level ◽  
Signalling Systems

AbstractThe decentralised railway signalling systems have a potential to increase capacity, availability and reduce maintenance costs of railway networks. However, given the safety-critical nature of railway signalling and the complexity of novel distributed signalling solutions, their safety should be guaranteed by using thorough system validation methods. To achieve such a high-level of safety assurance of these complex signalling systems, scenario-based testing methods are far from being sufficient despite that they are still widely used in the industry. Formal verification is an alternative approach which provides a rigorous approach to verifying complex systems and has been successfully used in the railway domain. Despite the successes, little work has been done in applying formal methods for distributed railway systems. In our research we are working towards a multifaceted formal development methodology of complex railway signalling systems. The methodology is based on the Event-B modelling language which provides an expressive modelling language, a stepwise development and a proof-based model verification. In this paper, we present the application of the methodology for the development and verification of a distributed protocol for reservation of railway sections. The main challenge of this work is developing a distributed protocol which ensures safety and liveness of the distributed railway system when message delays are allowed in the model.

scholarly journals Security assessment of the selected mobile platform

2018 ◽  
Vol 9 ◽  
pp. 302-307
Author(s):  
Aleksandra Iwaniuk
Keyword(s):  
Mobile Devices ◽  
Questionnaire Survey ◽  
System Security ◽  
Mobile Platform ◽  
Security Assessment ◽  
Android System

Smartphones were gradually gaining popularity, so as to effectively replace traditional telephones. Devices creates many capabilities, but they can be a source of threats. In this article analyzed Android system security. Author checked what threats lurk for mobile devices and how the Android system tries to protect them. The questionnaire survey checked how the phone screens are blocked and how often changes are made to the blockade. To check if the screen lock can be removed, tests were performed using Google to find the device, as well as Fone. A summary of results was presented and conclusions were drawn.

Design of a decision fusion rule for power system security assessment

1993 ◽  
Vol 8 (3) ◽  
pp. 858-864 ◽  
Author(s):  
J.-C. Chow ◽  
Q. Zhu ◽  
R. Fischl ◽  
M. Kam
Keyword(s):  
Power System ◽  
System Security ◽  
Fusion Rule ◽  
Decision Fusion ◽  
Security Assessment ◽  
Power System Security
Sign in / Sign up

Export Citation Format

Share Document