DocumentCode
2186067
Title
Modelling and analysis of a commercial field bus protocol
Author
David, Alexandre ; Yi, Wang
Author_Institution
Dept. of Comput. Sci., Uppsala Univ., Sweden
fYear
2000
fDate
2000
Firstpage
165
Lastpage
172
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 2000. Euromicro RTS 2000. 12th Euromicro Conference on
Conference_Location
Stockholm
ISSN
1068-3070
Print_ISBN
0-7695-0734-4
Type
conf
DOI
10.1109/EMRTS.2000.854004
Filename
854004
Link To Document