PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  dependence system
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active-HDL
Kawalec P., Rżysko M.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1587--1596, CD
PL
W artykule przedstawiona została problematyka weryfikacji logiki zależnościowej współczesnych systemów sterowania ruchem kolejowym. Złożoność zagadnienia rośnie w ostatnich latach w wyniku wielu istotnych czynników, takich jak konieczność zapewnienia interoperacyjności systemów, czy tendencja do obejmowania sterowaniem z jednej nastawni coraz większych obszarów. Utrudniona staje się więc manualna analiza poprawności działania projektowanych systemów. W związku z tym do weryfikacji zaproponowane zostało wykorzystanie nowoczesnego, zintegrowanego pakietu programistycznego Active-HDL. Na przykładzie zestawu równań zależnościowych opracowanego w języku VHDL przedstawione zostały możliwości pakietu w zakresie weryfikacji projektu.
EN
This paper presents a formal method for railway interlocking logic verification. After decomposing the railway control system into objects and algorithms, interlocking functions were described using formal methods. This allowed the use of integrated design environment - Active-HDL, for verification of the whole design and building VHDL code as a final description. Various methods of manual and automated simulation are presented, showing the capabilities of the described design and verification method.
2
Content available Innowacyjna metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym
Kawalec P., Koliński D.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1575--1586, CD
PL
W artykule omówiono zasadnicze ograniczenia wynikające z cech technologii mikroprocesorowej zastosowanej w urządzeniach srk. Następnie przedstawiono nową metodę formalnego opisu funkcji zależnościowych, z wykorzystaniem teorii grafów, analizy systemowej, rachunku macierzowego oraz teorii automatów. Uwzględniając uniwersalność obiektów, zdekomponowano je na rozłączne części, tak, aby każda z nich realizowała jedną z funkcji zależnościowych realizowanych przez obiekt. Przedstawione działania zilustrowano przykładami.
EN
The paper presented general limitations of microprocessor technology used nowadays in railway control systems. Then a new formal description method for interlocking functions was developed using graphs theory, system analysis, matrix formulae and automata theory. Considering versatility of objects they were decomposed into separate parts, so that every part executes a single interlocking function. The design process was shown on several examples.
3
Content available remote Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu
Koliński D.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2012
|
z. 86
35-52
PL
W artykule podjęto próbę opracowania formalnego opisu funkcji zależnościowych. Wychodząc z odwzorowania systemu zależnościowego w postaci obiektów, zaproponowano formalny opis funkcji zależnościowych, obiektów tworzonych z opracowanych funkcji oraz opis systemu zależnościowego tworzonego z obiektów. Zastosowanie elementów teorii grafów, automatów, zbiorów pozwoliło na opracowanie opisu formalnego, umożliwiającego opis funkcji zależnościowych.
EN
The article indicates the need for designing a formal description of interlocking functions. Based on the currently used representation of interlocking system in the form of objects, a formal description of interlocking functions has been proposed of objects created from designed functions and a description of interlocking system created of objects. The application of some elements of the theory of graphs, automata and sets allowed for designing a formal description in which interlocking system is no longer a “black box”. The designed description method allows for tracking the history of changes within interlocking system. The division of objects of interlocking system into interlocking functions has also been presented.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.