An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F12%3A00377611" target="_blank" >RIV/67985807:_____/12:00377611 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Popis výsledku v původním jazyce
Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present anmodeling formalism and safety verification algorithm for such heterogeneous systems.
Název v anglickém jazyce
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Popis výsledku anglicky
Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present anmodeling formalism and safety verification algorithm for such heterogeneous systems.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/OC10048" target="_blank" >OC10048: Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2012
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing
ISBN
978-80-214-4507-9
ISSN
—
e-ISSN
—
Počet stran výsledku
11
Strana od-do
457-467
Název nakladatele
Litera
Místo vydání
Brno
Místo konání akce
Brno
Datum konání akce
13. 6. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—