loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
23rd EUROMICRO Conference '97 New Frontiers of Information Technology
Formal specification applied to industrial LAN's design
Budapest, HUNGARY
September 01-September 04
ISBN: 0-8186-8129-2
ASCII Text
x 
 
P. Marino, F. Poza, M. Dominguez, J. Nogueira, "Formal specification applied to industrial LAN's design," EUROMICRO Conference, pp. 215, 23rd EUROMICRO Conference '97 New Frontiers of Information Technology, 1997.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.1997.617271,
author = {P. Marino and F. Poza and M. Dominguez and J. Nogueira},
title = {Formal specification applied to industrial LAN's design},
journal ={EUROMICRO Conference},
volume = {0},
year = {1997},
issn = {1089-6503},
pages = {215},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1997.617271},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - Formal specification applied to industrial LAN's design
SN - 1089-6503
SP
EP
A1 - P. Marino,
A1 - F. Poza,
A1 - M. Dominguez,
A1 - J. Nogueira,
PY - 1997
KW - formal specification; formal specification; industrial LAN design; real-time field bus; PROFIBUS; industrial communication networks; formal specification language; LOTOS; software tools; data link layer; methodology; data types; performance tests; FDL; prototyping
VL - 0
JA - EUROMICRO Conference
ER -
 
P. Marino, Dept. of Electron. Technol., Vigo Univ., Spain
F. Poza, Dept. of Electron. Technol., Vigo Univ., Spain
M. Dominguez, Dept. of Electron. Technol., Vigo Univ., Spain
J. Nogueira, Dept. of Electron. Technol., Vigo Univ., Spain
In this work the real-time field bus PROFIBUS for industrial communication networks, is specified with the formal specification language LOTOS and its associated tools. The paper introduces the general characteristics of LOTOS and its related tools, and the main features of PROFIBUS, particularly related to its data link layer. The methodology and data types implemented are explained, with an instance of performance tests developed for the specification. With LOTOS specification of the PROFIBUS protocol, FDL based techniques will contribute to achieve more accurate designs and fast prototyping in the field of industrial communications.
Index Terms:
formal specification; formal specification; industrial LAN design; real-time field bus; PROFIBUS; industrial communication networks; formal specification language; LOTOS; software tools; data link layer; methodology; data types; performance tests; FDL; prototyping
Citation:
P. Marino, F. Poza, M. Dominguez, J. Nogueira, "Formal specification applied to industrial LAN's design," euromicro, pp.215, 23rd EUROMICRO Conference '97 New Frontiers of Information Technology, 1997
Usage of this product signifies your acceptance of the Terms of Use.