Specyfikacja formalna protokołów prostych magistral polowych

• Autorzy: Pelc L. , Trybus L.

Warianty tytułu

EN

Formal specyfication of small fieldbus protocols

• Języki publikacji: PL

Abstrakty

PL

Scharakteryzowano problem formalnego specyfikowania protokołów komunikacyjnych dla magistral polowych. Wskazano dwa sposoby uwzględniania upływu czasu oraz omówiono zagadnienie jawnego specyfikowania ograniczeń czasowych komunikacji. Weryfikację poprawności systemu ze specyfikowanym protokołem ograniczono do testów. Zastosowano język specyfikacji LOTOS oraz jego czasowe rozszerzenie RT-LOTOS. Rozważania zilustrowano prostym przykładem protokołu Master-Slave, powszechnie stosowanym w małych systemach rozproszonych.

EN

The problem of fieldbus protocol formal specification is characterized. Two techniques of time elapsing are indicated. Explicit specification of time constraints is described. Verification of a system that uses specified protocol is carried out by means of tests, LOTOS specification language and its RT-LOTOS real time extension is used. Considerations are illustrated by simple example of Master-Slave protocol employed for vertical communication in small distributed system.

Słowa kluczowe

PL

protokoły polowe; metody formalne; język LOTOS

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2005
• Tom: R. 51, nr 1
• Strony: 14--15
• Opis fizyczny: Bibliogr. 10 poz., rys., tab., wzory

Twórcy

autor

Pelc L.

• Katedra Informatyki i Automatyki, Politechnika Rzeszowska

autor

Trybus L.

• Katedra Informatyki i Automatyki, Politechnika Rzeszowska

Bibliografia

• [1] Pimentel J. R.: Communication Networks for Manufacturing, Prentice-Hall Int., 1990.
• [2] FIP Toolbox, General Introduction. Reference Manual. WorldFIP.,Nancy, 1995.
• [3] Sacha K.: Sieci miejscowe PROFIBUS. Wydawnictwo MIKOM, Warszawa. 1998.
• [4] Turner J. K.: Using Formal Description Techniques. John Wiley & Sons, 1993.
• [5] Petalidis N. C.: Formal specification of a service Fieldbus. A case studies. Technical Report. University of Brighton, August 1996.
• [6] Z. Huzar: Real Time LOTOS. Computer Networks'91, WydawnictwoPolitechniki Wrocławskiej, Wrocław, 1991
• [7] Courtiat J-P., Santos C. A . S.. Lohr C, Benaceur O.: Experience with RT-LOTOS. a temporal extension of the LOTOS formal description technique. Technical Report, Toulouse. 1999.
• [8] Pelc L.: Model protokołu MODBUS RTU w języku LOTOS. KKDPP. Kazimierz Dolny 1999
• [9] Trybus L.: Regulatory wielofunkcyjne. WNT. Warszawa. 1998.
• [10] Pelc L.: Specyfikacja pewnego przemysłowego protokołu komunikacyjnego w RT-LOTOS. VII SCR'01, Krynica, 2001.