Problems related to quantitative appraisal of safety related systems (English)
- New search for: Rastocny, K.
- New search for: Janota, A.
- New search for: Zahradnik, J.
- New search for: Rastocny, K.
- New search for: Janota, A.
- New search for: Zahradnik, J.
In:
Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT, Symposium of FORMS/FORMAT, 2007
;
319-325
;
2007
-
ISBN:
- Conference paper / Print
-
Title:Problems related to quantitative appraisal of safety related systems
-
Additional title:Probleme in Bezug auf die quantitative Beurteilung sicherheitsgerichteter Systeme
-
Contributors:
-
Published in:
-
Publisher:
- New search for: Gesamtzentrum für Verkehr (GZVB)
-
Place of publication:Braunschweig
-
Publication date:2007
-
Size:7 Seiten, 3 Bilder, 11 Quellen
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 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