Operational risk analysis for electronic interlocking systems (Englisch)
- Neue Suche nach: Eberhardt, M.
- Neue Suche nach: Beck, R.
- Neue Suche nach: Hansen, L.
- Neue Suche nach: Neumann, L.
- Neue Suche nach: Eberhardt, M.
- Neue Suche nach: Beck, R.
- Neue Suche nach: Hansen, L.
- Neue Suche nach: Neumann, L.
In:
Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT, Symposium of FORMS/FORMAT, 2007
;
107-117
;
2007
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Operational risk analysis for electronic interlocking systems
-
Beteiligte:Eberhardt, M. ( Autor:in ) / Beck, R. ( Autor:in ) / Hansen, L. ( Autor:in ) / Neumann, L. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Gesamtzentrum für Verkehr (GZVB)
-
Erscheinungsort:Braunschweig
-
Erscheinungsdatum:2007
-
Format / Umfang:11 Seiten, 9 Bilder, 6 Tabellen, 11 Quellen
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 23
-
Overview of current status for common safety targets and common safety methodsCassir, C. / Breyne, T. / Mihm, P. / Piazza, R. et al. | 2007
- 32
-
Formal conversion methods for tree structures and network structuresSchäbe, H. et al. | 2007
- 40
-
A component-based verification approach based on Petri net componentsPadberg, J. / Küssel, U. et al. | 2007
- 51
-
Functional behaviour modeling of the interlocking - RBC interface signalling system by means of colored Petri netsOurednicek, J. / Slovak, R. / Schnieder, E. et al. | 2007
- 64
-
Modeling and formal verification of counting heads for railwaysKinder, Sebastian / Drechsler, Rolf et al. | 2007
- 77
-
Combined UML-based system and test models as backbone for the development processKnollmann, V. / Lemmer, K. et al. | 2007
- 90
-
Customising ERTMS/ETCSWernicke, M. et al. | 2007
- 97
-
Formal method analysis and evaluation of ERTMS-test specification for the Italian high speed railwaySenesil, F. / Malangone, R. et al. | 2007
- 107
-
Operational risk analysis for electronic interlocking systemsEberhardt, M. / Beck, R. / Hansen, L. / Neumann, L. et al. | 2007
- 118
-
Railway traffic regularity monitoring and forecasting: The use of the Petri nets modelsRicci, S. / Tieri, A. et al. | 2007
- 129
-
Principles and dynamic aspects for a rail traffic realtime rescheduling systemLüthi, M. / Laube, F. / Weidmann, U. et al. | 2007
- 138
-
Operating rules description using Petri netsLahlou, O. / Bon, P. / Allain, L. et al. | 2007
- 147
-
A semi-formal condition-event-net-based approach for prooving operational safety of transport systemsStänder, Tobias / Drewes, Jörn / Braun, Imma / Schnieder, Eckehard et al. | 2007
- 155
-
Feasibility study for the implementation of a formal proof of interpretable specification (for an interlocking system)Antoni, M. / Ammad, N. / Maillot, P. et al. | 2007
- 164
-
Functional hazards analysis for railway safetyRafrafi, M. / El Koursi, E.M. et al. | 2007
- 183
-
Object code verification for safety-critical railway control systemsPeleska, Jan / Haxthausen, Anne E. et al. | 2007
- 202
-
An extendable architecture for model checking hardware-specific automotive microcontroller codeSchlich, B. / Kowalewski, S. et al. | 2007
- 213
-
The AUTOSAR timing model - status and challengesRichter, K. et al. | 2007
- 219
-
Formal methods and temporal safety requirements: A level crossing applicationDefossez, F. / Bon, P. / Collart Dutilleul, S. et al. | 2007
- 231
-
Risk analysis models for level crossing operationBaldassarra, A. / Impastato, S. et al. | 2007
- 242
-
Automatic identification of secondary delays based on train describer systemsGoverde, R.M.P. / Daamen, W. / Hansen, I.A. et al. | 2007
- 250
-
A proposal for common safety methods for technical systems in European RailwaysBraband, J. et al. | 2007
- 258
-
A new classification for risk assessment methodsMilius, Birgit et al. | 2007
- 268
-
Guidelines developed and lessons learned while implementing hazard log according to EN 50126Reitan, O. / Braaten, A.M. / Haga, I.J. et al. | 2007
- 278
-
Concepts of formal approaches for the certification of satellite based localisation systemsHänsel, F. / Poliak, J. / Ständer, T. / Becker, U. / Schnieder, E. et al. | 2007
- 285
-
Tracks and wings - dialogue for safetyMeyer, D. / Saghi, B. / Tarnai, G. et al. | 2007
- 296
-
Basic requirements for the use of formal tools in safety procedures of the railway systemsBarbu, George et al. | 2007
- 307
-
Aspects of formalisation in requirements engineeringSchulz, Hans-Martin et al. | 2007
- 319
-
Problems related to quantitative appraisal of safety related systemsRastocny, K. / Janota, A. / Zahradnik, J. et al. | 2007
- 326
-
Using architecture exploration in the development of an automated train operation platformHuhn, M. / Florentz, B. / Zechner, A. / Gerken, S. et al. | 2007
- 341
-
Tool-supported dependability evaluation of redundant architectures in computer-based control systemsMajzik, I. / Domokos, P. / Magyar, M. et al. | 2007
- 354
-
Formal structuring for development of level crossing ontologyDrewes, J. / Slovak, R. / Tordai, L. / Schnieder, E. et al. | 2007
- 361
-
Formal specifications of railway signalling systems using StateflowBacherini, S. / Fantechi, A. / Tempestini, M. / Zingoni, N. et al. | 2007
- 369
-
Principles of formal verification of interlocking softwarePavlovic, O. / Pinger, R. / Kollmann, M. / Ehrich, H.D. et al. | 2007
- 379
-
Simulation and verification of UML-based Railway Interlocking SystemsHon, Y.M. / Kollmann, M. et al. | 2007
- 389
-
Automatic instantiation for railway interlocking systemsBanci, M. / Gnesi, S. et al. | 2007
- 399
-
Generation of counterexamples for Multi-Object SystemsKollmann, M. / Hon, Y.M. et al. | 2007
- 410
-
A formal approach for deriving collective from individual risk in railway systemsKurz, S.L. et al. | 2007
- 417
-
Method for modelling real failures in railway systemPeltekova, M. / Bonev, T. et al. | 2007
- 426
-
Efficient safety case construction and certification for electronic railway systemsEvers, Bernhard et al. | 2007
- 436
-
Calculation of detection properties in a binary symmetrical channelHarlenderova, M. / Karna, L. / Klapka, S. et al. | 2007
- 447
-
The basic concept for the formal test description - horizontal composition and vertical differentiation of the atomic elementEbrecht, L. / Meyer zu Hörste, M. / Lemmer, K. et al. | 2007
- 458
-
Development process for validated embedded software based on a semi-formal UML-modelKrause, J. / Franke, A. / Jumar, U. / Diedrich, C. et al. | 2007
- 467
-
Safe UML - restricting UML for the development of safetycritical systemsHungar, Hardi / Robbe, Oliver / Wirtz, Boris et al. | 2007