» Download Article

Authors
Gerber, Christian; Ivanova-Vasileva, Ioanna; Hanisch, Hans-Michael

Digital Object Identifier (DOI)
10.3182/20081205-2-CL-4009.00032

Page Numbers:
175-180

Index Terms
verification,NCES,IEC 61499,Carry-Lookahead-Adder,comparison

Abstract
To prove the correct behaviour of a distributed control system in any case is to do a closed-loop verification of the control system connected with the plant. Since controller interact with the plant not only via boolean values but via integer-valued data as well, a model of the data processing inside the controller is needed. As formal model we will use the known Net Condition/Event Systems (NCES) and it will be shown exemplarily at the basic arithmetical operations adding and subtracting as well as at the comparison of boolean and integer-valued data how the statements inside the algorithms have to be transformed to the formal model. Consequential, rules will be defined for the transformation of statements with boolean and integer-valued data processing. These will be embedded into the approach of transforming IEC 61499 control system but are not limited to this.

References

[1] Becker, B., Drechsler, R., and Molitor, P. (2005). Technische
    Informatik - Eine Einführung. Pearson Studium
    München.
[2] Bonfe, M. and Fantuzzi, C. (2003). Design and verification
    of mechatronic object-oriented models for industrial
    control systems. In IEEE Conference on Emerging Technologies
    and Factory Automation (ETFA'03), volume
    vol. II, 253-260. Proceedings, Lisbon, Protugal.
[3] Frey, G. and Hussain, T. (2006). Modeling techniques
    for distributed control systems based on the iec 61499
    standard current approaches and open problems. In
    8th International Workshop for Discrete Event Systems
    (WODES 2006), 176-181. Ann Arbor, Michigan, USA.
[4] Heiner, M. and Menzel, T. (1998). Instruction list verification
    using petri net semantics. In IEEE Int. Conference
    on Systems, Man, and Cybernetics, 716-721. Proceedings,
    San Diego.
[5] Ivanova-Vasileva, I., Gerber, C., and Hanisch, H.M. (2007).
    Transformation of iec 61499 control systems to formal
    models. In International Conference AUTOMATICS
    AND INFORMATICS (CAI'07), V-5-V-10. Sofia.
[6] Ivanova-Vasileva, I., Gerber, C., and Hanisch, H.M. (2008).
    Transformation of the execution control proposed by the
    iec 61499 to formal models with the focus on integervalued
    data types. In 9th IFAC Workshop on Intelligent
    Manufacturing Systems. unpublished.
[7] Pinzon, L., Jafari, M.A., Hanisch, H.M., and Zhao, P.
    (2004). Modelling admissible behavior using event
    signals. In IEEE Transactions on Systems, Man, and
    Cybernetics Part B: Cybernetics, volume 34, 1435-1448.
[8] Schiffmann, W. and Schmitz, R. (2001). Technische
    Informatik 1. Springer Verlag.
[9] Stanica, M. and Gueguen, H. (2003). A timed automata
    model of iec 61499 basic function blocks semantic. In
    Euromicro European Conference on Real-Time Systems
    (ECRTS'03). Proceedings, Porto, Portugal.
[10] Suender, C., Zoitl, A., Christensen, J.H., Vyatkin, V.,
     Brennan, R.W., Valentini, A., Ferrarini, L., Strasser, T.,
     Martinez-Lastra, J.L., and Auinger, F. (2006). Usability
     and interoperability of iec 61499 based distributed
     automation systems. In IEEE International Conference
     on Industrial Informatics(INDIN), 31-37.
[11] Vyatkin, V. and Hanisch, H.M. (2000). Modelling of
     iec61499 function blocks as a clue to their verification.
     In Design and optimization of intelligent machine tools.
     Proceedings, Karpacz, Poland.