Detail publikace

The Test Controller Model Based on The Timed Automaton

MIKA, D.; KOTÁSEK, Z. The Test Controller Model Based on The Timed Automaton. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 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
anglicky
Autoři
Mika Daniel, Ing., Ph.D.
Kotásek Zdeněk, doc. Ing., CSc.
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
ISBN
80-85988-86-0
Místo
Ostrava
BibTeX 
@inproceedings{BUT13967,
  author="Daniel {Mika} and Zdeněk {Kotásek}",
  title="The Test Controller Model Based on The Timed Automaton",
  booktitle="Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems",
  year="2003",
  pages="107--114",
  address="Ostrava",
  isbn="80-85988-86-0"
}
Nahoru