東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

A simulation-based software developm...

Hu, Xiaolin.

FindBook

Google Book

Amazon

博客來

A simulation-based software development methodology for distributed real-time systems.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	A simulation-based software development methodology for distributed real-time systems./
作者:	Hu, Xiaolin.
面頁冊數:	210 p.
附註:	Source: Dissertation Abstracts International, Volume: 65-04, Section: B, page: 1953.
Contained By:	Dissertation Abstracts International65-04B.
標題:	Computer Science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3131605
ISBN:	0496788469

A simulation-based software development methodology for distributed real-time systems.
Hu, Xiaolin.

A simulation-based software development methodology for distributed real-time systems. - 210 p.

Source: Dissertation Abstracts International, Volume: 65-04, Section: B, page: 1953.

Thesis (Ph.D.)--The University of Arizona, 2004.

Powered by the rapid advance of computer, network, and sensor/actuator technologies, distributed real-time systems that continually and autonomously control and react to the environment have been widely used. The combination of temporal requirements, concurrent environmental entities, and high reliability requirements, together with distributed processing make the software to control these systems extremely hard to design and difficult to verify.

ISBN: 0496788469Subjects--Topical Terms:

626642
Computer Science.

A simulation-based software development methodology for distributed real-time systems.
LDR:03044nmm 2200301 4500 001 1849543
005 20051203080712.5
008 130614s2004 eng d
020 $a 0496788469
035 $a (UnM)AAI3131605
035 $a AAI3131605
040 $a UnM $c UnM
100 1 $a Hu, Xiaolin. $3 1282485
245 1 2 $a A simulation-based software development methodology for distributed real-time systems.
300 $a 210 p.
500 $a Source: Dissertation Abstracts International, Volume: 65-04, Section: B, page: 1953.
500 $a Director: Bernard P. Zeigler.
502 $a Thesis (Ph.D.)--The University of Arizona, 2004.
520 $a Powered by the rapid advance of computer, network, and sensor/actuator technologies, distributed real-time systems that continually and autonomously control and react to the environment have been widely used. The combination of temporal requirements, concurrent environmental entities, and high reliability requirements, together with distributed processing make the software to control these systems extremely hard to design and difficult to verify.
520 $a In this work, we developed a simulation-based software development methodology to manage the complexity of distributed real-time software. This methodology, based on discrete event system specification (DEVS), overcomes the "incoherence problem" between different design stages by emphasizing "model continuity" through the development process. Specifically, techniques have been developed so that the same control models that are designed can be tested and analyzed by simulation methods and then easily deployed to the distributed target system for execution. To improve the traditional software testing process where real-time embedded software needs to be hooked up with real sensor/actuators and placed in a physical environment for meaningful test and analysis, we developed a virtual test environment that allows software to be effectively tested and analyzed in a virtual environment, using virtual sensor/actuators. Within this environment, stepwise simulation methods have been developed so that different aspects, such as logic and temporal behaviors, of a real-time system can be tested and analyzed incrementally.
520 $a Based on this methodology, a simulation and testing environment for distributed autonomous robotic systems is developed. This environment has successfully supported the development and investigation of several distributed autonomous robotic systems. One of them is a "dynamic team formation" system in which mobile robots search for each other, and then form a team dynamically through self-organization. Another system is a scalable robot convoy system in which robots convoy and maintain a line formation in a coordinated way.
590 $a School code: 0009.
650 4 $a Computer Science. $3 626642
650 4 $a Engineering, Electronics and Electrical. $3 626636
690 $a 0984
690 $a 0544
710 2 0 $a The University of Arizona. $3 1017508
773 0 $t Dissertation Abstracts International $g 65-04B.
790 1 0 $a Zeigler, Bernard P., $e advisor
790 $a 0009
791 $a Ph.D.
792 $a 2004
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3131605