Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2005

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: protokoły polowe

Sortuj według:

Ogranicz wyniki do:

Specyfikacja formalna protokołów prostych magistral polowych

Pelc L., Trybus L.

Pomiary Automatyka Kontrola

2005

R. 51, nr 1

14-15

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.

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.