1–20 von 90 Ergebnissen
|

    FORMS/FORMAT 2012 : 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems

    FORMS, FORMAT | TIBKAT | 2012
    Schlagwörter: Eisenbahn , Sicherheit , Automation

    FORMS/FORMAT 2012 : 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems

    FORMS, FORMAT | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2012
    Schlagwörter: Eisenbahn , Sicherheit , Automation

    Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems

    Schnieder, Eckehard / Tarnai, Géza | TIBKAT | 2011
    Schlagwörter: Formal methods (Computer science) , System safety , Technische Sicherheit

    FORMS/FORMAT 2014 : 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; [30.09.2014 - 02.10.2014]

    Schnieder, Eckehard / Tarnai, Géza | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014
    Schlagwörter: Eisenbahn , Automation

    Basic requirements for the use of formal tools in safety procedures of the railway systems

    Barbu, George | Tema Archiv | 2007
    The formal methods accepted and capable of successful use in the scope of safety validation of a railway system or component need to comply ...
    Schlagwörter: Eisenbahn

    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archiv | 2007
    This paper reports about the introduction of formal methods in the development process of a railway signalling manufacturer. In particular ...
    Schlagwörter: Eisenbahn

    Formal validation method and tools for computerized railway interlocking systems

    Antoni, Marc / Ammad, Nadia | Tema Archiv | 2008
    to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods ...

    Efficient safety case construction and certification for electronic railway systems

    Evers, Bernhard | Tema Archiv | 2007
    for electronic railway systems according to the relevant CENELEC standards. The main goal of the approach described is to reduce technical and ...

    A formal approach for deriving collective from individual risk in railway systems

    Kurz, S.L. | Tema Archiv | 2007
    Methods (CSM). CSM describe how safety levels, achievement of safety targets and compliance with other safety requirements are assessed in the ...

    Formal methods and temporal safety requirements: A level crossing application

    Defossez, F. / Bon, P. / Collart Dutilleul, S. | Tema Archiv | 2007
    Level crossing is a critical component of the European railway network. The introduction of new European standards for railway safety ...
    Schlagwörter: Eisenbahn

    Object code verification for safety-critical railway control systems

    Peleska, Jan / Haxthausen, Anne E. | Tema Archiv | 2007
    In this article the authors describe a method for fully automated object code verification, applicable to railway control systems developed ...
    Schlagwörter: Eisenbahn

    Temporal requirements checking in a safety analysis of railway systems

    Defossez, F. / Collart-Dutilleul, S. / Bon, P. | Tema Archiv | 2008
    component for the safety of railway systems. First, the goal is to take out the forbidden state highlighted by a p-time Petri net modelling. This ...

    Functional hazards analysis for railway safety

    Rafrafi, M. / El Koursi, E.M. | Tema Archiv | 2007
    paper, the authors develop a generic approach based on the Functional Hazard Analysis (FHA), to analyse the safety of railway systems for a ...
    Schlagwörter: Eisenbahn , Sicherheit

    A proposal for common safety methods for technical systems in European Railways

    Braband, J. | Tema Archiv | 2007
    The European Railway Agency (ERA) has the challenging task of establishing common safety targets (CSTs) and common safety methods (CSMs ...
    Schlagwörter: Eisenbahn

    A semi-formal condition-event-net-based approach for prooving operational safety of transport systems

    Ständer, Tobias / Drewes, Jörn / Braun, Imma et al. | Tema Archiv | 2007
    The paper presents an operational and safety concept for railway operation with virtual trainsets. Virtual train-sets are defined to be a ...
    Schlagwörter: Eisenbahn