東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

A requirement verification framework...

Zhu, Feng.

FindBook

Google Book

Amazon

博客來

A requirement verification framework for real-time embedded systems.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	A requirement verification framework for real-time embedded systems./
作者:	Zhu, Feng.
面頁冊數:	218 p.
附註:	Adviser: Wei-Tek Tsai.
Contained By:	Dissertation Abstracts International63-05B.
標題:	Computer Science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3052815
ISBN:	0493677437

A requirement verification framework for real-time embedded systems.
Zhu, Feng.

A requirement verification framework for real-time embedded systems. - 218 p.

Adviser: Wei-Tek Tsai.

Thesis (Ph.D.)--University of Minnesota, 2002.

Failures in real-time embedded reactive applications including safety-critical devices such as cardiac rhythm management devices can be costly and have to be avoided. Software plays the important role of controlling system components in many safety-critical systems and therefore its testing is essential to ensure the high levels of reliability and availability of the products. Requirement verification is one of the critical phases of the product development where the product is checked for its compliance with its requirements through its execution.

ISBN: 0493677437Subjects--Topical Terms:

626642
Computer Science.

A requirement verification framework for real-time embedded systems.
LDR:03194nam 2200301 a 45 001 928274
005 20110426
008 110426s2002 eng d
020 $a 0493677437
035 $a (UnM)AAI3052815
035 $a AAI3052815
040 $a UnM $c UnM
100 1 $a Zhu, Feng. $3 1057539
245 1 0 $a A requirement verification framework for real-time embedded systems.
300 $a 218 p.
500 $a Adviser: Wei-Tek Tsai.
500 $a Source: Dissertation Abstracts International, Volume: 63-05, Section: B, page: 2465.
502 $a Thesis (Ph.D.)--University of Minnesota, 2002.
520 $a Failures in real-time embedded reactive applications including safety-critical devices such as cardiac rhythm management devices can be costly and have to be avoided. Software plays the important role of controlling system components in many safety-critical systems and therefore its testing is essential to ensure the high levels of reliability and availability of the products. Requirement verification is one of the critical phases of the product development where the product is checked for its compliance with its requirements through its execution.
520 $a Object-oriented application frameworks are large and sophisticated systems that provide the structure and functionality for rapid development of applications within the framework's domain through design and code reuse. Frameworks provide this significant improvement in design and code reuse through mechanisms and most frequently used domain functionality in a context-independent architecture. systems provide the necessary flexibility and extensibility to develop different types of custom applications around the framework architecture.
520 $a In this thesis, we establish an object-oriented framework for the requirement verification of real-time embedded systems. The main contribution of this thesis is the requirement-centered, pattern-based requirement verification framework for real-time embedded systems. Different from any other existing test approaches and test frameworks, our verification framework makes the requirement an essential component. This basic idea is further developed and enhanced by requirement patterns and verification patterns provided with the framework. Further, the verification framework is not limited to those patterns described in this thesis. New patterns can be added to enrich the framework and all the existing patterns can even be replaced by new patterns that are more appropriate in classifying requirements in a specific application domain.
520 $a The requirement patterns presented in this thesis are created based on the survey of actual requirement specifications for real-time embedded systems. The concepts of requirement patterns and verification patterns, together with the framework have been proved to be efficient and effective in verify timing-related requirement specifications at an industrial site.
590 $a School code: 0130.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 0 $a University of Minnesota. $3 676231
773 0 $t Dissertation Abstracts International $g 63-05B.
790 $a 0130
790 1 0 $a Tsai, Wei-Tek, $e advisor
791 $a Ph.D.
792 $a 2002
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3052815