Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie pakietu Active-HDL

Piotr Kawalec , Marcin Rżysko

Abstract

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
Author Piotr Kawalec (FT / DTC)
Piotr Kawalec,,
- Department of Traffic Control
, Marcin Rżysko
Marcin Rżysko,,
-
Journal seriesTTS Technika Transportu Szynowego, ISSN 1232-3829
Issue year2013
No10
Pages1587-1596
Publication size in sheets0.5
Languagepl polski
Score (nominal)5
ScoreMinisterial score = 4.0, 05-09-2019, ArticleFromJournal
Ministerial score (2013-2016) = 5.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?