Detail publikace

On the Petri Net Based Test Scheduling

RŮŽIČKA Richard. On the Petri Net Based Test Scheduling. In: Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005. Linz: Johannes Kepler University Linz, 2005, s. 18-19. ISBN 3-902457-09-0.
Název česky
K plánování testu založeném na Petriho sítích
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT)
Abstrakt

Článek řeší některé problémy optimalizace plánování testu číslicového obvodu na úrovni RT. Pro tyto účely je nyní použit model založený na Petriho sítích, který byl již dříve navržen pro účely verifikace testovatelnosti. Model je základem C/E systému, modelujícího proces aplikace testu. Pro optimalizaci rozvržení testu jsou významné zejména možnosti paralelní aplikace testu na více prvků současně. Užití paralelismu při aplikaci testu může výrazně snížit dobu testu. Výhodou popsaného přístupu je čistě formální popis a ověření správnosti formou matematických důkazů.

Rok
2005
Strany
18-19
Sborník
Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005
Konference
8th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, Faculdade de Engenharia da Universidade do Porto, Rua Dr. Roberto Frias, s/n, 4200-465 Porto, PT
ISBN
3-902457-09-0
Vydavatel
Johannes Kepler University Linz
Místo
Linz, DE
BibTeX 
@INPROCEEDINGS{FITPUB7847,
   author = "Richard R\r{u}\v{z}i\v{c}ka",
   title = "On the Petri Net Based Test Scheduling",
   pages = "18--19",
   booktitle = "Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005",
   year = 2005,
   location = "Linz, DE",
   publisher = "Johannes Kepler University Linz",
   ISBN = "3-902457-09-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7847"
}
Nahoru