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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods for higher reliability of the industrial automation


    Contributors:
    Zezulka, F. (author) / Bradac, Z. (author) / Kucera, P. (author)


    Publication date :

    2003


    Size :

    5 Seiten, 6 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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