國立高雄大學圖資館 |

Language: English

Back

Software failure avoidance using dis...

University of Michigan.

Software failure avoidance using discrete control theory.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Software failure avoidance using discrete control theory.
Author:	Wang, Yin.
Description:	113 p.
Notes:	Source: Dissertation Abstracts International, Volume: 70-04, Section: B, page: 2401.
Notes:	Adviser: Stephane Lafortune.
Contained By:	Dissertation Abstracts International70-04B.
Subject:	Engineering, Electronics and Electrical.
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3354227
ISBN:	9781109119831

Software failure avoidance using discrete control theory.
Wang, Yin.

Software failure avoidance using discrete control theory. - 113 p.

Source: Dissertation Abstracts International, Volume: 70-04, Section: B, page: 2401.

Thesis (Ph.D.)--University of Michigan, 2009.

Software reliability is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Many existing approaches to software failure are ad hoc, based on best-practice heuristics. Often these approaches impose onerous burdens on developers, entail high runtime performance overheads, or offer no help for unmodified legacy code. We demonstrate that discrete control theory can be applied to software failure avoidance problems.

ISBN: 9781109119831Subjects--Topical Terms:

226981
Engineering, Electronics and Electrical.

Software failure avoidance using discrete control theory.
LDR:03432nmm 2200313 4500 001 240204
005 20100310090820.5
008 100410s2009 ||||||||||||||||| ||eng d
020 $a 9781109119831
035 $a (UMI)AAI3354227
035 $a AAI3354227
040 $a UMI $c UMI
100 1 $a Wang, Yin. $3 384231
245 1 0 $a Software failure avoidance using discrete control theory.
300 $a 113 p.
500 $a Source: Dissertation Abstracts International, Volume: 70-04, Section: B, page: 2401.
500 $a Adviser: Stephane Lafortune.
502 $a Thesis (Ph.D.)--University of Michigan, 2009.
520 $a Software reliability is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Many existing approaches to software failure are ad hoc, based on best-practice heuristics. Often these approaches impose onerous burdens on developers, entail high runtime performance overheads, or offer no help for unmodified legacy code. We demonstrate that discrete control theory can be applied to software failure avoidance problems.
520 $a Discrete control theory is a branch of control engineering that addresses the control of systems with discrete state spaces and event-driven dynamics. Typical modeling formalisms used in discrete control theory include automata and Petri nets, which are well suited for modeling software systems. In order to use discrete control theory for software failure avoidance problems, formal models of computer programs must first be constructed. Next, control logic must be synthesized from the model and given behavioral specifications. Finally, the control logic must be embedded into the execution engine or the program itself. At runtime, the provably correct control logic guarantees that the given failure-avoidance specifications are enforced.
520 $a This thesis employs the above methodology in two different application domains: failure avoidance in information technology automation workflows and deadlock avoidance in multithreaded C programs. In the first application, we model workflows using finite-state automata and synthesize controllers for safety and nonblocking specifications expressed as regular languages using an automata-based discrete control technique, called Supervisory Control. The second application addresses the problem of deadlock avoidance in multithreaded C programs that use lock primitives. We exploit compiler technology to model programs as Petri nets and establish a correspondence between deadlock avoidance in the program and the absence of reachable empty siphons in its Petri net model. The technique of Supervision Based on Place Invariants is then used to synthesize the desired control logic, which is implemented using source-to-source translation.
520 $a Empirical evidence confirms that the algorithmic techniques of Discrete Control Theory employed scale to programs of practical size in both application domains. Furthermore, comprehensive experiments in the deadlock avoidance problem demonstrate tolerable runtime overhead, no more than 18%, for a benchmark and several real-world C programs.
590 $a School code: 0127.
650 4 $a Engineering, Electronics and Electrical. $3 226981
650 4 $a Computer Science. $3 212513
690 $a 0544
690 $a 0984
710 2 $a University of Michigan. $3 212464
773 0 $t Dissertation Abstracts International $g 70-04B.
790 1 0 $a Lafortune, Stephane, $e advisor
790 $a 0127
791 $a Ph.D.
792 $a 2009
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3354227