The Design of On-line Checkers and Their Use in Verification and Testing

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82660" target="_blank" >RIV/00216305:26230/09:PU82660 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

The Design of On-line Checkers and Their Use in Verification and Testing

Original language description

</a></a></a><i>In the article, a survey of our research activities the goal of which is to develop a methodology allowing to design on-line checkers for digital components and communication protocols are described. First, our experiments with PSL language and FoCs tool are demonstrated for simple RT circuits and communication protocols. It is shown how PSL can be used to describe conditions to be checked by an on-line checker of a digital component. It is demonstrated that on-line checkers generated from PSL description demand more sources than the unit under check which is seen as unacceptable result. The principle of our methodology for generating VHDL descriptions of hardware checkers from the formal model is presented, too. </i></a></a></a><i>The results and compare of both methodologies are described.</i></a><i> The possibilities of utilizing these approaches in the design of Fault Tolerant Systems are described in conclusion.</i>

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Acta Electrotechnica et Informatica

ISSN

1335-8243

e-ISSN

—

Volume of the periodical

2009

Issue of the periodical within the volume

3

Country of publishing house

SK - SLOVAKIA

Number of pages

8

Pages from-to

—

UT code for WoS article

—

EID of the result in the Scopus database

—