Title :
Modelling and analysis of a commercial field bus protocol
Author :
David, Alexandre ; Yi, Wang
Author_Institution :
Dept. of Comput. Sci., Uppsala Univ., Sweden
Abstract :
We report on an industrial application of UPPAAL, in which a commercial field bus protocol (AF100) is modelled and analysed using the tool. During the case study, a number of imperfections in the protocol logic and its implementation are found and the error sources are debugged based on abstract models of the protocol; respective improvements have been suggested. The authors summarize their experiences in dealing with the complexity of the protocol using various modelling and abstraction features provided in UPPAAL. As an example, they study the bus coupler of AF100, which serves as the data link layer of the protocol
Keywords :
field buses; program debugging; protocols; real-time systems; AF100; UPPAAL; abstract models; abstraction features; bus coupler; commercial field bus protocol analysis; data link layer; debugging; error sources; industrial application; protocol logic; Application software; Automata; Communication industry; Computer industry; Computer science; Debugging; Electrical capacitance tomography; Logic; Protocols; Real time systems;
Conference_Titel :
Real-Time Systems, 2000. Euromicro RTS 2000. 12th Euromicro Conference on
Conference_Location :
Stockholm
Print_ISBN :
0-7695-0734-4
DOI :
10.1109/EMRTS.2000.854004
