FRINK Linked Data Fragments server

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

• W2912226647 endingPage "289" @default.
• W2912226647 startingPage "289" @default.
• W2912226647 abstract "Hard real-time systems are already common in aerospace, automobiles, and industrial robotics, and they will become even more prevalent with the emergence of new domains such as computer-assisted surgery. Perpetual concerns over safety and overall mission success require a guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to place an upper bound on the worst-case execution time (WCET) of hard real-time software. Without knowledge of WCET, the timing behavior of a program cannot be guaranteed. Although substantial research has been applied to the problem of WCET analysis, virtually all prior work has focused on increasing accuracy without regard to speed. The resulting implementations are often too slow to be integrated into the development cycle, requiring WCET analysis to be postponed until a final validation phase. Fixing timing errors after the code has been written is expensive, time-consuming, and may necessitate a redesign of the system. A new approach, interactive WCET analysis, would prevent such problems. Its novelty lies in making timeliness a fundamental concern of system design from the moment the first line of code is written. Rather than waiting until an implementation is complete before starting the analysis, it incorporates knowledge of worst-case time into the development cycle continuously and dynamically, allowing early detection and removal of timing errors. This dissertation proposes a variety of methods for making WCET analysis interactive. It begins with a simplification of the problem by relying on Java-based microprocessors to eliminate many sources of unpredictability. It then presents contributions in a bottom-up fashion, starting with a technique for annotating control flow graphs with decompiled source code. These graphs are used to map the results of WCET analysis to source code as it is written, a process known as interactive back-annotation. Additional contributions include compiler support for type-safe WCET annotations, statically analyzable collection classes, and a fast tree-based analysis algorithm with method cache support. Each contribution is implemented within a suite of extensible, modular, open-source tools that demonstrate how interactive WCET analysis can be integrated into a traditional software development environment." @default.
• W2912226647 created "2019-02-21" @default.
• W2912226647 creator A5027593592 @default.
• W2912226647 creator A5054190919 @default.
• W2912226647 date "2009-01-01" @default.
• W2912226647 modified "2023-09-23" @default.
• W2912226647 title "Interactive worst-case execution time analysis of hard real-time systems" @default.
• W2912226647 cites W109695533 @default.
• W2912226647 cites W1488202922 @default.
• W2912226647 cites W1493688518 @default.
• W2912226647 cites W1500069729 @default.
• W2912226647 cites W1500224124 @default.
• W2912226647 cites W1500855193 @default.
• W2912226647 cites W1507495123 @default.
• W2912226647 cites W1533493347 @default.
• W2912226647 cites W1545238651 @default.
• W2912226647 cites W1549668409 @default.
• W2912226647 cites W1558804725 @default.
• W2912226647 cites W156767209 @default.
• W2912226647 cites W1569079162 @default.
• W2912226647 cites W1598886868 @default.
• W2912226647 cites W1606583766 @default.
• W2912226647 cites W1651395156 @default.
• W2912226647 cites W170222289 @default.
• W2912226647 cites W1795705608 @default.
• W2912226647 cites W1971061874 @default.
• W2912226647 cites W1977708885 @default.
• W2912226647 cites W1985395048 @default.
• W2912226647 cites W1998062517 @default.
• W2912226647 cites W2006053872 @default.
• W2912226647 cites W2011697140 @default.
• W2912226647 cites W2019818186 @default.
• W2912226647 cites W2021607696 @default.
• W2912226647 cites W2021611532 @default.
• W2912226647 cites W2023917752 @default.
• W2912226647 cites W2044638745 @default.
• W2912226647 cites W2046699259 @default.
• W2912226647 cites W2066744234 @default.
• W2912226647 cites W2079524903 @default.
• W2912226647 cites W2080696000 @default.
• W2912226647 cites W2082669734 @default.
• W2912226647 cites W2087629375 @default.
• W2912226647 cites W2089757303 @default.
• W2912226647 cites W2090659503 @default.
• W2912226647 cites W2096137988 @default.
• W2912226647 cites W2097120616 @default.
• W2912226647 cites W2103082432 @default.
• W2912226647 cites W2104626020 @default.
• W2912226647 cites W2109488193 @default.
• W2912226647 cites W2110018014 @default.
• W2912226647 cites W2113000322 @default.
• W2912226647 cites W2113982188 @default.
• W2912226647 cites W2114168752 @default.
• W2912226647 cites W2118064488 @default.
• W2912226647 cites W2119699246 @default.
• W2912226647 cites W2123511180 @default.
• W2912226647 cites W2124057877 @default.
• W2912226647 cites W2127036198 @default.
• W2912226647 cites W2129075596 @default.
• W2912226647 cites W2130133810 @default.
• W2912226647 cites W2131789575 @default.
• W2912226647 cites W2137033503 @default.
• W2912226647 cites W2139780771 @default.
• W2912226647 cites W2141479704 @default.
• W2912226647 cites W2141939160 @default.
• W2912226647 cites W2144984544 @default.
• W2912226647 cites W2148403317 @default.
• W2912226647 cites W2150404114 @default.
• W2912226647 cites W2152161795 @default.
• W2912226647 cites W2152177301 @default.
• W2912226647 cites W2154762660 @default.
• W2912226647 cites W2156949270 @default.
• W2912226647 cites W2160504889 @default.
• W2912226647 cites W2162034554 @default.
• W2912226647 cites W2164404626 @default.
• W2912226647 cites W2165864406 @default.
• W2912226647 cites W2166157680 @default.
• W2912226647 cites W2166894669 @default.
• W2912226647 cites W2170609026 @default.
• W2912226647 cites W2252547287 @default.
• W2912226647 cites W2746505796 @default.
• W2912226647 cites W3145818753 @default.
• W2912226647 cites W55841110 @default.
• W2912226647 cites W80367563 @default.
• W2912226647 cites W92888174 @default.
• W2912226647 cites W110640738 @default.
• W2912226647 hasPublicationYear "2009" @default.
• W2912226647 type Work @default.
• W2912226647 sameAs 2912226647 @default.
• W2912226647 citedByCount "6" @default.
• W2912226647 crossrefType "proceedings-article" @default.
• W2912226647 hasAuthorship W2912226647A5027593592 @default.
• W2912226647 hasAuthorship W2912226647A5054190919 @default.
• W2912226647 hasConcept C113775141 @default.
• W2912226647 hasConcept C115903868 @default.
• W2912226647 hasConcept C138885662 @default.
• W2912226647 hasConcept C149635348 @default.
• W2912226647 hasConcept C167740415 @default.

• next