Návrh a testování softwaru pro systémy s vysokými nároky na bezpečnost a spolehlivost

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F03%3A03091784" target="_blank" >RIV/68407700:21230/03:03091784 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Návrh a testování softwaru pro systémy s vysokými nároky na bezpečnost a spolehlivost

Popis výsledku v původním jazyce

The article concerns the problems of reactive systems software design which are used e.g. in control applications. Such systems can be described by a simple mathematical model, what gives opportunities to conduct automated prooving of the system design correctness as well as testing of it's final implementation.

Název v anglickém jazyce

Design and Testing of Software for Safety and Availability High Demnding Systems

Popis výsledku anglicky

The article concerns the problems of reactive systems software design which are used e.g. in control applications. Such systems can be described by a simple mathematical model, what gives opportunities to conduct automated prooving of the system design correctness as well as testing of it's final implementation.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

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í

2003

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 periodika

Automa

ISSN

1210-9592

e-ISSN

—

Svazek periodika

9

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

3

Strana od-do

34-36

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—