Optimizing Methods in Digital Systems Diagnosis
Project goals
In both digital circuit design area and diagnosis area a feasible trade-off among various constraints is to be investigated for the purposes of a successful solving of partial problems. The quality of the trade-off has a real impact on competition abilities of a result product. Usually, simple trade-offs can be resolved by a human, while the complex ones by an automated process. In this project, selected optimization problems from the area of digital circuit diagnosis will be dealt and solved; they willbe formally described and utilized to speed-up the optimization process by injecting a very deep knowledge about the problem to the process (e.g., the speed-up can be done by a proper reduction of the problem search space). Further goals of theproject are: algorithmization of the proposed methods, their implementation and verification on a set of digital systems, presentation and publication of gained results on conferences and workshops from digital circuit design and diagnosis area.
Keywords
optimizing methodstrade-offdiagnosisdesign constraintsdigital system
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 5 (SGA02005GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
102/05/P193
Alternative language
Project name in Czech
Optimalizační postupy v diagnostice číslicových systémů
Annotation in Czech
Obdobně jako v oblasti návrhu, tak i v oblasti diagnostiky číslicových systémů je pro úspěšné řešení dílčích problémů třeba hledat vhodný kompromis mezi řadou parametrů. Kvalita nalezeného kompromisu pak podstatným způsobem určuje konkurenceschopnost výsledného produktu. Jednodušší kompromisy může učinit člověk, složitější jsou výsledkem automatizovaného postupu. Tento projekt se bude zaměřovat na vybrané problémy z oblasti diagnostiky číslicových systémů, na jejich formální popis a snažit se o to, abyzískané hluboké znalosti o těchto problémech byly využity k tomu, aby do optimalizačního procesu pro hledání daného kompromisu byla vnesena informace, která podstatně urychlí nalezení přijatelného kompromisu - např. vhodným zúžením prohledávacího prostoru. Dalším z cílů projektu bude algoritmizace navržených optimalizačních postupů, jejich ověření na vhodných číslicových systémech a publikace výzkumných výsledků na konferencích z oblasti návrhu a diagnostiky číslicových systémů.
Scientific branches
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Results of the project can be sectioned into several groups. First, results related to implementation and generalization of an initial model of diagnostic properties of basic circuit components can be distinguished. Based on the idea of analysing applica
Solution timeline
Realization period - beginning
Jan 1, 2005
Realization period - end
Dec 31, 2007
Project status
U - Finished project
Latest support payment
May 2, 2007
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP08-GA0-GP-U/03:2
Data delivery date
Oct 17, 2008
Finance
Total approved costs
352 thou. CZK
Public financial support
352 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
352 CZK thou.
Public support
352 CZK thou.
100%
Provider
Czech Science Foundation
CEP
JC - Computer hardware and software
Solution period
01. 01. 2005 - 31. 12. 2007