Deadlock analysis for railway systems differs in several aspects from deadlock analysis in computer science. While the problem of deadlock analysis for standard computer systems is well-understood, multi-threaded embedded computer systems pose new challenges. A novel approach in this area can easily be applied to deadlock analysis in the domain of railway systems. The approach is based on Kronecker algebra. A lazy implementation of the matrix operations even allows analysing exponentially sized systems in a very efficient manner. The running time of the algorithm does not depend on the problem size but on the size of the solution. While other approaches suffer from the fact that additional constraints make the problem and its solution harder, our approach delivers its results faster if constraints are added. In addition, our approach is complete and sound for railway systems, i.e., it generates neither false positives nor false negatives.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Kronecker Algebra-based Deadlock Analysis for Railway Systems


    Beteiligte:


    Erscheinungsdatum :

    2012




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    ENHANCING PERFORMANCE IN RAILWAY OPERATION BY APPLICATION OF KRONECKER ALGEBRA

    Schöbel, Andreas / Schöbel, Christian / Stefan, Mark et al. | TIBKAT | 2018


    Deadlock Avoidance and Detection in Railway Simulation Systems

    Simon, Bertrand / Jaumard, Brigitte / Le, Thai Hoa | Transportation Research Record | 2014


    Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich

    Volcic, Mark / Blieberger, Johann / Schöbel, Andreas | Tema Archiv | 2014


    JRC2014-3864 Deadlock Avoidance and Detection in Railway Simulation Systems

    Simon, B. / Jaumard, B. / Le, T.H. et al. | British Library Conference Proceedings | 2014