Detail publikace

The Test Controller Model Based on The Timed Automaton

MIKA Daniel a KOTÁSEK Zdeněk. The Test Controller Model Based on The Timed Automaton. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: MARQ, 2003, s. 107-114. ISBN 80-85988-86-0.
Název česky
Model řadiče testu založený na časovaném automatu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Mika Daniel, Ing. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Klíčová slova

Úroveň meziregistrových přenosů, obvod určený pro test, model řadiče testu

Abstrakt

V článku je prezentován proces návrhu modelu činnosti řadiče testu na úrovni meziregistrových přenosů. Je diskutován princip aplikace testu na prvky uvnitř obvodu a vysvětlen pojem i-cest. Pro modelování aplikace testu je použit formální prostředek - časovaný automat. V závěru příspěvku lze nalézt jednoduchý příklad činnosti řadiče testu formou časovaného automatu.

Rok
2003
Strany
107-114
Sborník
Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems
Konference
MOSIS 2003 - Modelling and Simulation of Systems, Brno, CZ
ISBN
80-85988-86-0
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7172,
   author = "Daniel Mika and Zden\v{e}k Kot\'{a}sek",
   title = "The Test Controller Model Based on The Timed Automaton",
   pages = "107--114",
   booktitle = "Proceedings of 37th International Conference MOSIS03 Modelling and Simulation of Systems",
   year = 2003,
   location = "Ostrava, CZ",
   ISBN = "80-85988-86-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7172"
}
Nahoru