語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Verificare: A platform for composabl...
~
Skowyra, Richard William.
FindBook
Google Book
Amazon
博客來
Verificare: A platform for composable verification with application to SDN-enabled systems.
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Verificare: A platform for composable verification with application to SDN-enabled systems./
作者:
Skowyra, Richard William.
面頁冊數:
171 p.
附註:
Source: Dissertation Abstracts International, Volume: 75-10(E), Section: B.
Contained By:
Dissertation Abstracts International75-10B(E).
標題:
Computer Science. -
電子資源:
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3625763
ISBN:
9781321000993
Verificare: A platform for composable verification with application to SDN-enabled systems.
Skowyra, Richard William.
Verificare: A platform for composable verification with application to SDN-enabled systems.
- 171 p.
Source: Dissertation Abstracts International, Volume: 75-10(E), Section: B.
Thesis (Ph.D.)--Boston University, 2014.
Software-Defined Networking (SDN) has become increasing prevalent in both the academic and industrial communities. A new class of system built on SDNs, which we refer to as SDN-Enabled, provide programmatic interfaces between the SDN controller and the larger distributed system. Existing tools for SDN verification and analysis are insufficiently expressive to capture this composition of a network and a larger distributed system. Generic verification systems are an infeasible solution, due to their monolithic approach to modeling and rapid state-space explosion.
ISBN: 9781321000993Subjects--Topical Terms:
626642
Computer Science.
Verificare: A platform for composable verification with application to SDN-enabled systems.
LDR
:02692nmm a2200313 4500
001
2055682
005
20150217125034.5
008
170521s2014 ||||||||||||||||| ||eng d
020
$a
9781321000993
035
$a
(MiAaPQ)AAI3625763
035
$a
AAI3625763
040
$a
MiAaPQ
$c
MiAaPQ
100
1
$a
Skowyra, Richard William.
$3
3169363
245
1 0
$a
Verificare: A platform for composable verification with application to SDN-enabled systems.
300
$a
171 p.
500
$a
Source: Dissertation Abstracts International, Volume: 75-10(E), Section: B.
500
$a
Adviser: Azer Bestavros.
502
$a
Thesis (Ph.D.)--Boston University, 2014.
520
$a
Software-Defined Networking (SDN) has become increasing prevalent in both the academic and industrial communities. A new class of system built on SDNs, which we refer to as SDN-Enabled, provide programmatic interfaces between the SDN controller and the larger distributed system. Existing tools for SDN verification and analysis are insufficiently expressive to capture this composition of a network and a larger distributed system. Generic verification systems are an infeasible solution, due to their monolithic approach to modeling and rapid state-space explosion.
520
$a
In this thesis we present a new compositional approach to system modeling and verification that is particularly appropriate for SDN-Enabled systems. Compositional models may have sub-components (such as switches and end-hosts) modified, added, or removed with only minimal, isolated changes. Furthermore, invariants may be defined over the composed system that restrict its behavior, allowing assumptions to be added or removed and for components to be abstracted away into the service guarantee that they provide (such as guaranteed packet arrival). Finally, compositional modeling can minimize the size of the state space to be verified by taking advantage of known model structure.
520
$a
We also present the Verificare platform, a tool chain for building compositional models in our modeling language and automatically compiling them to multiple off-the-shelf verification tools. The compiler outputs a minimal, calculus-oblivious formalism, which is accessed by plugins via a translation API. This enables a wide variety of requirements to be verified. As new tools become available, the translator can easily be extended with plugins to support them.
590
$a
School code: 0017.
650
4
$a
Computer Science.
$3
626642
650
4
$a
Engineering, Computer.
$3
1669061
650
4
$a
Engineering, General.
$3
1020744
690
$a
0984
690
$a
0464
690
$a
0537
710
2
$a
Boston University.
$b
Computer Science GRS.
$3
3169364
773
0
$t
Dissertation Abstracts International
$g
75-10B(E).
790
$a
0017
791
$a
Ph.D.
792
$a
2014
793
$a
English
856
4 0
$u
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3625763
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9288161
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入