A Trusted Model of Complex Computer Networks
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F16%3A00301065" target="_blank" >RIV/68407700:21230/16:00301065 - isvavai.cz</a>
Výsledek na webu
<a href="http://riverpublishers.com/journal/journal_articles/RP_Journal_2245-800X_332.pdf" target="_blank" >http://riverpublishers.com/journal/journal_articles/RP_Journal_2245-800X_332.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.13052/jicts2245-800X.332" target="_blank" >10.13052/jicts2245-800X.332</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A Trusted Model of Complex Computer Networks
Popis výsledku v původním jazyce
Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a formal model based on the concept of multilayer networks for applying a system methodology to network analysis and an appropriate presentation format of architecture descriptions as a possible part of detailed design documentation that could allow automated generation of trusted formal multilayer models based on this documentation.
Název v anglickém jazyce
A Trusted Model of Complex Computer Networks
Popis výsledku anglicky
Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a formal model based on the concept of multilayer networks for applying a system methodology to network analysis and an appropriate presentation format of architecture descriptions as a possible part of detailed design documentation that could allow automated generation of trusted formal multilayer models based on this documentation.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/VI20152020008" target="_blank" >VI20152020008: Komplexní bezpečnost kritických infrastruktur a objektů řešená optovláknovými senzory s užitím moderních informačních systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2016
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 periodika
Journal of ICT Standardization
ISSN
2245-800X
e-ISSN
—
Svazek periodika
3
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
DK - Dánské království
Počet stran výsledku
30
Strana od-do
201-230
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—