Współczesne systemy sterowania z zastosowaniem techniki cyfrowej, ze względu na znaczne zwiększenie stopnia integracji wymagają weryfikacji poprawności układu cyfrowego już na etapie projektu wstępnego. Jest to realizowane przez symulację opisu logicznego układu. W artykule przedstawiono metody symulacji systemów cyfrowych.
1. WSTĘP
Od współczesnych systemów sterowania cyfrowego wymaga się aby działały niezawodnie. Szczególnie istotne jest bezawaryjne działanie cyfrowych systemów SRK (Sterowanie Ruchem Kolejowym). Systemy te charakteryzują się dużą redundancją, niezbędną ze względu na wymagane bezpieczeństwo (poprawne działanie lub doprowadzenie do stanu bezpiecznego przy dowolnym uszkodzeniu). Dodatkowo, rozbudowa układów sterowania cyfrowego znacznie utrudnia weryfikację poprawności działania systemów. Opracowanie niezawodnych systemów cyfrowych wymaga weryfikacji poprawności działania układu już we wstępnej fazie projektu, wykorzystuje się do tego celu symulację sieci cyfrowej zamodelowanej z wykorzystaniem algebry Boole’a.
W artykule omówiono metody symulacji systemów cyfrowych. Na podstawie przedstawionych algorytmów został opracowany program pozwalający na wykrywanie hazardów w układach cyfrowych. (…)
Artykuł zawiera 11218 znaków.
Źródło: Czasopismo Logistyka
Algorytmy symulacji układów cyfrowych – plik PDF do pobrania