語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
An exploration of formal methods and...
~
Grover, Russell J.
FindBook
Google Book
Amazon
博客來
An exploration of formal methods and tools applied to a small satellite software system.
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
An exploration of formal methods and tools applied to a small satellite software system./
作者:
Grover, Russell J.
面頁冊數:
134 p.
附註:
Source: Masters Abstracts International, Volume: 49-01, page: 0561.
Contained By:
Masters Abstracts International49-01.
標題:
Engineering, Computer. -
電子資源:
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=1480477
ISBN:
9781124188164
An exploration of formal methods and tools applied to a small satellite software system.
Grover, Russell J.
An exploration of formal methods and tools applied to a small satellite software system.
- 134 p.
Source: Masters Abstracts International, Volume: 49-01, page: 0561.
Thesis (M.S.)--Utah State University, 2010.
Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in an unambiguous manner. The second tool is a graphical modeling language that allows a designer to create a model using traditional block diagram descriptions. These block diagrams can be translated to the formal descriptions using the layer created as part of this thesis work. The software of a small satellite, and the additions made to it as part of this thesis work, is also described. Approaches to modeling this software formally are discussed, as are the problems that were encountered that led to expansions of the formal description library to allow better system description.
ISBN: 9781124188164Subjects--Topical Terms:
1669061
Engineering, Computer.
An exploration of formal methods and tools applied to a small satellite software system.
LDR
:02129nam 2200301 4500
001
1403375
005
20111115085225.5
008
130515s2010 ||||||||||||||||| ||eng d
020
$a
9781124188164
035
$a
(UMI)AAI1480477
035
$a
AAI1480477
040
$a
UMI
$c
UMI
100
1
$a
Grover, Russell J.
$3
1682631
245
1 3
$a
An exploration of formal methods and tools applied to a small satellite software system.
300
$a
134 p.
500
$a
Source: Masters Abstracts International, Volume: 49-01, page: 0561.
500
$a
Adviser: Brandon Eames.
502
$a
Thesis (M.S.)--Utah State University, 2010.
520
$a
Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in an unambiguous manner. The second tool is a graphical modeling language that allows a designer to create a model using traditional block diagram descriptions. These block diagrams can be translated to the formal descriptions using the layer created as part of this thesis work. The software of a small satellite, and the additions made to it as part of this thesis work, is also described. Approaches to modeling this software formally are discussed, as are the problems that were encountered that led to expansions of the formal description library to allow better system description.
590
$a
School code: 0241.
650
4
$a
Engineering, Computer.
$3
1669061
650
4
$a
Engineering, Aerospace.
$3
1018395
690
$a
0464
690
$a
0538
710
2
$a
Utah State University.
$b
Electrical and Computer.
$3
1022501
773
0
$t
Masters Abstracts International
$g
49-01.
790
1 0
$a
Eames, Brandon,
$e
advisor
790
1 0
$a
Spencer, Edmund
$e
committee member
790
1 0
$a
Gunther, Jacob
$e
committee member
790
$a
0241
791
$a
M.S.
792
$a
2010
856
4 0
$u
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=1480477
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9166514
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入