語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Analysis-Aware Design of Embedded Sy...
~
Florian, Mihai.
FindBook
Google Book
Amazon
博客來
Analysis-Aware Design of Embedded Systems Software.
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Analysis-Aware Design of Embedded Systems Software./
作者:
Florian, Mihai.
面頁冊數:
153 p.
附註:
Source: Dissertation Abstracts International, Volume: 75-06(E), Section: B.
Contained By:
Dissertation Abstracts International75-06B(E).
標題:
Computer Science. -
電子資源:
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3613690
ISBN:
9781303770449
Analysis-Aware Design of Embedded Systems Software.
Florian, Mihai.
Analysis-Aware Design of Embedded Systems Software.
- 153 p.
Source: Dissertation Abstracts International, Volume: 75-06(E), Section: B.
Thesis (Ph.D.)--California Institute of Technology, 2014.
This item must not be sold to any third party vendors.
In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are "analysis-agnostic." They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.
ISBN: 9781303770449Subjects--Topical Terms:
626642
Computer Science.
Analysis-Aware Design of Embedded Systems Software.
LDR
:02475nmm a2200301 4500
001
2056369
005
20150526083642.5
008
170521s2014 ||||||||||||||||| ||eng d
020
$a
9781303770449
035
$a
(MiAaPQ)AAI3613690
035
$a
AAI3613690
040
$a
MiAaPQ
$c
MiAaPQ
100
1
$a
Florian, Mihai.
$3
3170122
245
1 0
$a
Analysis-Aware Design of Embedded Systems Software.
300
$a
153 p.
500
$a
Source: Dissertation Abstracts International, Volume: 75-06(E), Section: B.
500
$a
Advisers: Gerard J. Holzmann; Mani K. Chandy.
502
$a
Thesis (Ph.D.)--California Institute of Technology, 2014.
506
$a
This item must not be sold to any third party vendors.
520
$a
In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are "analysis-agnostic." They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.
520
$a
In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.
590
$a
School code: 0037.
650
4
$a
Computer Science.
$3
626642
650
4
$a
Engineering, Computer.
$3
1669061
690
$a
0984
690
$a
0464
710
2
$a
California Institute of Technology.
$b
Computer Science.
$3
2092455
773
0
$t
Dissertation Abstracts International
$g
75-06B(E).
790
$a
0037
791
$a
Ph.D.
792
$a
2014
793
$a
English
856
4 0
$u
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3613690
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9288858
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入
(1)帳號:一般為「身分證號」;外籍生或交換生則為「學號」。 (2)密碼:預設為帳號末四碼。
帳號
.
密碼
.
請在此電腦上記得個人資料
取消
忘記密碼? (請注意!您必須已在系統登記E-mail信箱方能使用。)