Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk

Piotr Kawalec , Marcin Rżysko

Abstract

W artykule przedstawiono propozycję stworzenia metody formalnego zapisu algorytmów działania urządzeń zabezpieczenia ruchu kolejowego z wykorzystaniem grafów przejść automatów skończonych. Przegląd stosowanych obecnie metod opisu urządzeń srk wskazuje, że nie istnieje jednolita platforma opisu wszelkiego rodzaju dyskretnych układów sterowania. Większość stosowanych metod nie pozwala na wykorzystanie wspomagania komputerowego na etapie specyfikacji i weryfikacji tego typu układów. Na przykładzie stworzonego modelu przykładowego urządzenia zostało pokazane, że zastosowanie do tego celu grafów przejść pozwala stworzyć kompletną platformę specyfikacji algorytmów działania urządzeń srk, pozwalając dodatkowo na statyczną i dynamiczną weryfikację poprawności opisu z wykorzystaniem języków opisu sprzętu.
Author Piotr Kawalec (FT / DTC)
Piotr Kawalec,,
- Department of Traffic Control
, Marcin Rżysko
Marcin Rżysko,,
-
Journal seriesPrace Naukowe Politechniki Warszawskiej. Transport, ISSN 1230-9265
Issue year2013
No95
Pagesstr. 221 – 230
Languagepl polski
Score (nominal)7
ScoreMinisterial score = 4.0, 05-09-2019, ArticleFromJournal
Ministerial score (2013-2016) = 7.0, 05-09-2019, ArticleFromJournal
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?