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 testuna prvky uvnitř obvodu a vysvětlen pojem i-cest. Pro modelováníaplikace testu je použit formální prostředek - časovaný automat. Vzávěru příspěvku lze nalézt jednoduchý příklad činnosti řadiče testuformou č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
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