Skip navigation
SuUB logo
DSpace logo

  • Home
  • Institutions
    • University of Bremen
    • City University of Applied Sciences
    • Bremerhaven University of Applied Sciences
  • Sign on to:
    • My Media
    • Receive email
      updates
    • Edit Account details

Citation link: http://nbn-resolving.de/urn:nbn:de:gbv:46-00102005-14
00102005-1.pdf
OpenAccess
 
copyright

Entwurf und Analyse sicherheitsrelevanter Kommunikationsarchitekturen


File Description SizeFormat
00102005-1.pdf1.25 MBAdobe PDFView/Open
Other Titles: Design and Analysis of safety-related Communication Architectures
Authors: Schulz, Oliver 
Supervisor: Ziegler, Peter 
1. Expert: Peleska, Jan
2. Expert: Braband, Jens 
Abstract: 
In the future, system engineers of railway control systems have to consider digital communication between components more than ever. The number of communicating systems rises steadily, while the offer of commercial off the shelf products for digital transmission networks is also growing. Safety protocols be included in the architecture in order to guarantee that safety-critical systems could be used on unsafe transmission channels. Safety layers have to detect different types of message errors to grant functional safety. It is highly recommended to prove the specification of a safety protocol with model checking methods to ensure a correct specification. The safety reaction on such errors must be a safe state, which usually stops the communication service until the system is reinitialised or reset by an operator. Therefore a safe communication reduces the fault tolerance against arbitrary transmission errors and lowers the reliability of the communication architecture. To improve the fault tolerance against message errors it is necessary to use a reliable message transmission service before the safety check is executed. A reliable transmission service can be included in the safety layer, in the upper protocol layer of the grey channel or in both layers. A naive combination of fault-tolerance mechanisms in the grey channel and safety layers will not necessarily increase the overall fault-tolerance: if, for example, lost messages in the grey channel lead to retransmissions after timeouts, the message eventually passed to the receiving safety layer may be out-dated and therefore has to be discarded. As a consequence, it is necessary to perform analyses whether the design of safety related communication architectures is safe and reliable. This thesis describes a common concept for reliability and safety analysis of communication architectures in safety-critical systems. Case studies of industrial sized communication architectures evaluate this new approach. Besides, the analysis results are used to improve the design.
Keywords: Communication Architecture, Railway Interlocking, Safety Protocol, Domain Specific Modeling, Reliability Analysis, EN 50159
Issue Date: 3-May-2011
Type: Dissertation
URN: urn:nbn:de:gbv:46-00102005-14
Institution: Universität Bremen 
Faculty: FB3 Mathematik/Informatik 
Appears in Collections:Dissertationen

  

Page view(s)

19
checked on Jan 19, 2021

Download(s)

4
checked on Jan 19, 2021

Google ScholarTM

Check


Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.

Legal notice -Feedback -Data privacy
Media - Extension maintained and optimized by Logo 4SCIENCE