TY - GEN
T1 - Modelling and analysis of a commercial field bus protocol
AU - David, A.
AU - Yi, Wang
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/33751032788
U2 - 10.1109/EMRTS.2000.854004
DO - 10.1109/EMRTS.2000.854004
M3 - 会议稿件
AN - SCOPUS:33751032788
SN - 0769507344
SN - 9780769507347
T3 - Proceedings - Euromicro Conference on Real-Time Systems
SP - 165
EP - 172
BT - Proceedings - 12th Euromicro Conference on Real-Time Systems, ECRTS 2000
T2 - 12th Euromicro Conference on Real-Time Systems, ECRTS 2000
Y2 - 19 June 2000 through 21 June 2000
ER -