Simulační verifikace aplikací pracujících v oblasti reálného času

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F99%3A00039555" target="_blank" >RIV/49777513:23520/99:00039555 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Simulační verifikace aplikací pracujících v oblasti reálného času

Popis výsledku v původním jazyce

Příspevek prezentuje metodu funkčního ověření vestavěného real-time programu, který pracuje v definovaném operačním prostředí. Ověření je realizováno s využitím principů procesově orientované dikrétní simulace. Metoda předpokládá využití jednoduchého simulačního nástroje založeného na programovacím jazyce C. Ověřovaný program je součástí simulačního modelu.

Název v anglickém jazyce

Verification of real-time programs by means of simulation

Popis výsledku anglicky

The paper presents a method of functional validation of an embedded real-time program which is working in a well defined environment . The validation of the program function i s based on the process/oriented discrete simulation. It is possible to model indenpendent activity of separate program' s tasks in simulation time. The method assumes an utilization of a simple C-based process-oriented simulation tool which allows to utilize slightly modified C-written program code.

Druh

C - Kapitola v odborné knize

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

1999

Kód důvěrnosti údajů

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

Název knihy nebo sborníku

Simulační verifikace aplikací pracujících v oblasti reálného času

ISBN

808598833X

Počet stran výsledku

8

Strana od-do

—

Počet stran knihy

—

Název nakladatele

MARQ

Místo vydání

Ostrava

Kód UT WoS kapitoly

—