A Presentation Format of Architecture Description Based on The Concept of Multilayer Networks

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00237586" target="_blank" >RIV/68407700:21230/15:00237586 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.itu.int/en/ITU-T/academia/kaleidoscope/2015/Documents/Proceedings%20Kaleidoscope-2015.pdf" target="_blank" >http://www.itu.int/en/ITU-T/academia/kaleidoscope/2015/Documents/Proceedings%20Kaleidoscope-2015.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/Kaleidoscope.2015.7383623" target="_blank" >10.1109/Kaleidoscope.2015.7383623</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Presentation Format of Architecture Description Based on The Concept of Multilayer 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 possible appropriate presentation format of architecture descriptions as a part of detailed design documentation that could allow automated development of trusted formal models for analysis and verifying of complex computer networks.

Název v anglickém jazyce

A Presentation Format of Architecture Description Based on The Concept of Multilayer 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 possible appropriate presentation format of architecture descriptions as a part of detailed design documentation that could allow automated development of trusted formal models for analysis and verifying of complex computer networks.

Druh

D - Stať ve sborníku

CEP obor

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

OECD FORD obor

—

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)

Rok uplatnění

2015

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 statě ve sborníku

ITU Kaleidoscope Academic Conference: Trust in the Information Society, Proceedings of the 2015

ISBN

978-92-61-15821-7

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

227-232

Název nakladatele

International Telecommunication Union

Místo vydání

Geneva

Místo konání akce

Barcelona

Datum konání akce

9. 12. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—