1–20 von 22 Ergebnissen
|

    International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23. - 24. April 2002, Braunschweig

    International Workshop on Software Specification of Safety Relevant Transportation Control Tasks / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2003
    Schlagwörter: Technische Sicherheit

    Formal Safety Analysis in Transportation Control

    Ortmeier, F. / Thums, A. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Formal safety analysis in transportation control

    Thums, A. / Schellhorn, G. | Tema Archiv | 2003
    This paper described the combination of two typical safety analysis techniques: fault tree analysis (FTA) from engineering and formal ...
    Schlagwörter: gleisgebundener Transport

    Software Specification and Development in the Domain of Railway Signalling

    Shagi, B. / Tarnai, G. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Stochastic Validation and Verification of Railroad Safety-Critical Software

    Giras, T. C. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Software specification and development in the domain of railway signalling

    Saghi, B. / Tarnai, G. | Tema Archiv | 2003
    of the examined system. FM enable the formal description of certain system properties both in relation to the specification and the ...
    Schlagwörter: Software-Entwicklung , Software-Entwicklungsmanagement , Software-Werkzeug

    UML-based Specification of a Railway Interlocking and Signalling System

    Janota, A. / Rastocny, K. / Zahradnik, J. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Process Model for the Development of a System Requirements Specification for Railway Systems

    Bitsch, F. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Qualitative and quantitative description of reliability characteristics in availability/safety diagrams

    Schnieder, E. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Functional Modelling and Simulation of Train Control Systems with Petrinets

    Horste, M. M. z. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    UML-based specification of a railway interlocking and signalling system

    Zahradnik, J. / Rastocny, K. / Janota, A. | Tema Archiv | 2003
    The main contribution resulting from applying object-oriented modelling to the design of railway safety-related systems can be seen as ...

    A railway demonstrator model for experimental investigation of integrated specification techniques

    Hänsel, F. / König, S. / Slovak, R. et al. | Tema Archiv | 2003
    New trends in train control systems are determined in using software. The high standards in reliability of such safety relevant systems ...
    Schlagwörter: Software-Werkzeug

    Qualitative and quantitative description of reliability characteristics in availability/safety diagrams

    Schnieder, E. | Tema Archiv | 2003
    Availability and safety are universal characteristics of technical systems that have a decisive influence on the system configuration, the ...
    Schlagwörter: Sicherheit

    Simulation of a Complex Railway Station with a Petri Nets Based Interlocking Model

    Malavasi, G. / Raponi, P. / Ricci, S. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    A Railway Demonstrator for experimental Validation of formal Specifications

    Hansel, F. / Konig, S. / Slovak, R. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Functional modelling and simulation of train control systems

    Meyer zu Hörste, M. | Tema Archiv | 2003
    second step follows the construction of the control system model. The functions are classified in functions for protection, supervision of ...

    Validation and Verification of a Radio-based Signaling System Using Scenarios

    Klose, J. / Westphal, B. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Integration of Message Sequence Charts and Petri Nets in the System Design Process

    Kluge, O. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: software specification , safety relevant , transportation control tasks

    Process model for the development of system requirements specifications for railway systems

    Bitsch, F. | Tema Archiv | 2003
    risk analysis necessary for preparation of a system requirements specification have been explained. The meaning of the safety analysis ...

    Verification of a radio-based signaling system using scenarios

    Klose, J. / Westphal, B. | Tema Archiv | 2003
    The increased use of soft- and hardware components for safety-critical train control systems demands a defined development process, which ...