Detail projektu

Formální přístup k plánování testu číslicových obvodů

Období řešení: 1. 1. 2003 - 31. 12. 2005

Typ projektu: grant

Kód: GP102/03/P176

Agentura: Grantová agentura České republiky

Program:

Název anglicky
Formal approach to digital circuits test scheduling
Typ
grant
Klíčová slova

výpočetní technika, informatika, diagnostika počítačů, číslicové obvody, testovatelnost

Abstrakt

Tématem navrženého projektu je metodika pro plánování testu struktury číslicových obvodů na úrovni meziregistrových přenosů (RT) sestávající z mnoha vzájemně propojených jednotek. Předpokládá se, že struktura obvodu byla již dříve analyzována a navržen způsob aplikace testu na jednotlivé jednotky. K tomuto účelu lze využít metodiku pro analýzu testovatelnosti, která byla vyvinuta v rámci nosného projektu a popsána navrhovatelem v jeho disertační práci. Tam byl též prezentován formální model analyzovaného obvodu a jeho vlastností důležitých z pohledu diagnostiky. Je tedy k dispozici model obvodu a výsledky předchozí analýzy, které říkají, jakým způsobem (po jakých cestách, s využitím kterých jednotek) bude probíhat aplikace testu každé konkrétní jednotky. V rámci tohoto projektu by se řešily otázky testu obvodu jako celku, tj. nejvýhodnější pořadí testu jednotek, možnosti proudového testovaní, synchronizace toku diagnostických dat a možnosti paralelizace testu jednotek obvodu. Řešení těchto otázek má přímý dopad na dobu, která bude pro aplikaci testu na každý vyrobený kus obvodu potřebná. Díky formálnímu přístupu a využitím formálních modelů dojde k převedení problémů diagnostiky do oblasti diskrétní matematiky a teoretické informatiky a bude možné hledat řešení mezi již známými a řešenými úlohami těchto disciplín. Spolu s již dříve vyřešenou analýzou testovatelnosti a nástroji pro generování testu se tak uživatelům dostane komplexního řešení diagnostiky i složitějších celků (vestavěných systémů).

Řešitelé
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , hlavní řešitel
Publikace

2005

2004

2003

Nahoru