東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | 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