FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2309903448> ?p ?o ?g. }

• W2309903448 abstract "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. 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. 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. 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." @default.
• W2309903448 created "2016-06-24" @default.
• W2309903448 creator A5056833152 @default.
• W2309903448 creator A5062869270 @default.
• W2309903448 date "2009-01-01" @default.
• W2309903448 modified "2023-10-04" @default.
• W2309903448 title "Software failure avoidance using discrete control theory" @default.
• W2309903448 cites W1496111390 @default.
• W2309903448 cites W1496620875 @default.
• W2309903448 cites W1504928013 @default.
• W2309903448 cites W1507112383 @default.
• W2309903448 cites W1515479921 @default.
• W2309903448 cites W1525451871 @default.
• W2309903448 cites W1542873808 @default.
• W2309903448 cites W1556549343 @default.
• W2309903448 cites W1560664245 @default.
• W2309903448 cites W1561267729 @default.
• W2309903448 cites W1572571795 @default.
• W2309903448 cites W1576549127 @default.
• W2309903448 cites W1587663028 @default.
• W2309903448 cites W1591458180 @default.
• W2309903448 cites W1604551772 @default.
• W2309903448 cites W1698851783 @default.
• W2309903448 cites W19350695 @default.
• W2309903448 cites W1963520590 @default.
• W2309903448 cites W1964430979 @default.
• W2309903448 cites W1964718922 @default.
• W2309903448 cites W1972544179 @default.
• W2309903448 cites W1973417083 @default.
• W2309903448 cites W1975102717 @default.
• W2309903448 cites W1979349468 @default.
• W2309903448 cites W1980149643 @default.
• W2309903448 cites W1985787415 @default.
• W2309903448 cites W1988926301 @default.
• W2309903448 cites W1993836075 @default.
• W2309903448 cites W1996109622 @default.
• W2309903448 cites W2015244008 @default.
• W2309903448 cites W2016141914 @default.
• W2309903448 cites W2020841721 @default.
• W2309903448 cites W2031607581 @default.
• W2309903448 cites W2040637509 @default.
• W2309903448 cites W2041329792 @default.
• W2309903448 cites W2051539487 @default.
• W2309903448 cites W2054961017 @default.
• W2309903448 cites W2061951107 @default.
• W2309903448 cites W2062073399 @default.
• W2309903448 cites W2068354234 @default.
• W2309903448 cites W2088445166 @default.
• W2309903448 cites W2096285729 @default.
• W2309903448 cites W2101161997 @default.
• W2309903448 cites W2101431901 @default.
• W2309903448 cites W2104367108 @default.
• W2309903448 cites W2104508180 @default.
• W2309903448 cites W2110137598 @default.
• W2309903448 cites W2110169180 @default.
• W2309903448 cites W2113418311 @default.
• W2309903448 cites W2115540709 @default.
• W2309903448 cites W2119750672 @default.
• W2309903448 cites W2122502383 @default.
• W2309903448 cites W2124877509 @default.
• W2309903448 cites W2125752926 @default.
• W2309903448 cites W2127825616 @default.
• W2309903448 cites W2130047697 @default.
• W2309903448 cites W2131195907 @default.
• W2309903448 cites W2132484060 @default.
• W2309903448 cites W2138509363 @default.
• W2309903448 cites W2138567239 @default.
• W2309903448 cites W2140872435 @default.
• W2309903448 cites W2141222493 @default.
• W2309903448 cites W2145385214 @default.
• W2309903448 cites W2146738006 @default.
• W2309903448 cites W2148040372 @default.
• W2309903448 cites W2149030441 @default.
• W2309903448 cites W2149984854 @default.
• W2309903448 cites W2157514610 @default.
• W2309903448 cites W2159939299 @default.
• W2309903448 cites W2162331092 @default.
• W2309903448 cites W2165460259 @default.
• W2309903448 cites W2169093943 @default.
• W2309903448 cites W2169611673 @default.
• W2309903448 cites W2170523074 @default.
• W2309903448 cites W2171448137 @default.
• W2309903448 cites W2293756656 @default.
• W2309903448 cites W2311033460 @default.
• W2309903448 cites W2340530615 @default.
• W2309903448 cites W2340735175 @default.
• W2309903448 cites W2913459036 @default.
• W2309903448 cites W2955325419 @default.
• W2309903448 cites W2485149744 @default.
• W2309903448 hasPublicationYear "2009" @default.
• W2309903448 type Work @default.
• W2309903448 sameAs 2309903448 @default.
• W2309903448 citedByCount "3" @default.
• W2309903448 countsByYear W23099034482012 @default.
• W2309903448 countsByYear W23099034482016 @default.
• W2309903448 crossrefType "journal-article" @default.
• W2309903448 hasAuthorship W2309903448A5056833152 @default.
• W2309903448 hasAuthorship W2309903448A5062869270 @default.
• W2309903448 hasConcept C120314980 @default.
• W2309903448 hasConcept C167822520 @default.

• next