Industrial communication plays an important role in industrial measurement and control and particularly in process automation due to trend of decentralization of control systems. Process automation generally includes many areas of engineering (HW, SW, mechanical, chemical...) therefore close cooperation between them is necessary. But generally engineers from different branches use different descriptions and analyzing tools. Even the same areas of engineering use different description tools. The contribution show one of the possible ways how to solve this problem-using formal method. This methodology is demonstrated on a railway model. Model represents a typical system of logic control with voltage inputs and outputs, two different physical interfaces and serial communication subsystems and two control systems. Control architecture is designed as a fault tolerant system, what is common in process automation. Process variables are measured and controlled by both control systems (Masters). Two applications run inside both master. They ensure basic information exchange between appropriate master and slave station. This information exchange is based on developed protocol FTCP (fault tolerant control protocol) providing correct behaviour of the system if unexpected event is occurred-e.g. disjunction of the control bus, change of the control signal due to EMI, failing of the control element due to unexpected design error etc.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal methods for higher reliability of the industrial automation


    Beteiligte:
    Zezulka, F. (Autor:in) / Bradac, Z. (Autor:in) / Kucera, P. (Autor:in)


    Erscheinungsdatum :

    2003


    Format / Umfang :

    5 Seiten, 6 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018


    Formal Specification Method for Systems Automation

    Petin, J.-F. / Morel, G. / Panetto, H. | British Library Online Contents | 2006


    Constructing Human-Automation Interfaces: A Formal Approach

    Heymann, M. / Degani, A. / Eurisco (Organization) | British Library Conference Proceedings | 2002


    Discussion on: "Formal Specification Method for Systems Automation"

    Zaytoon, J. / Valero, V. / Cambronero, M. E. | British Library Online Contents | 2006


    Integration of Formal Methods into System Safety and Reliability Analysis

    Akerlund, O. / Nadjm-Tehrani, S. / Stalmarck, G. et al. | British Library Conference Proceedings | 1999