Matches in SemOpenAlex for { <https://semopenalex.org/work/W37096083> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W37096083 endingPage "44" @default.
- W37096083 startingPage "25" @default.
- W37096083 abstract "In immediate or hard real-time systems the correctness of an operation depends not only upon its logical correctness, but also on the time in which it is computed. In such systems, it is imperative that operations are performed within a given deadline because missing this deadline constitutes the failure of the complete system. Such systems include medical systems, flight control systems and other systems whose failure in responding punctually results in a high economical loss or even in the loss of human lives. These systems are usually analyzed in a sequence of steps in which first, a so-called control flow graph (CFG) is constructed that represents possible program flows. Furthermore, bounds on the time necessary to execute small code blocks are computed along with bounds on the number of possible executions of the program loops. Depending on the type of the analysis, these loop bounds can either be numerical values or symbolic variables, corresponding to inputs given for instance by a user or by sensors. In the last step, in such a CFG the weight of a longest path with respect to the loop bounds is computed, reflecting a bound on the worst case execution time. In this paper, we will show how to compute such symbolic longest path weights in CFGs of software with a rather regular structure like software developed for hard real-time systems. We will present the first algorithm that is capable of computing such paths in time polynomial in the size of both the input and the output. Our approach replaces the application of integer linear programming solvers in the case of purely numerical loop bounds. Furthermore, it improves upon the speed and accuracy of existing approaches in the case of symbolic bounds." @default.
- W37096083 created "2016-06-24" @default.
- W37096083 creator A5042086373 @default.
- W37096083 creator A5046779403 @default.
- W37096083 creator A5058146975 @default.
- W37096083 date "2011-01-01" @default.
- W37096083 modified "2023-10-18" @default.
- W37096083 title "Symbolic Worst Case Execution Times" @default.
- W37096083 cites W1567692042 @default.
- W37096083 cites W2076285066 @default.
- W37096083 cites W2087629375 @default.
- W37096083 cites W2156120741 @default.
- W37096083 cites W4301216918 @default.
- W37096083 doi "https://doi.org/10.1007/978-3-642-23283-1_5" @default.
- W37096083 hasPublicationYear "2011" @default.
- W37096083 type Work @default.
- W37096083 sameAs 37096083 @default.
- W37096083 citedByCount "0" @default.
- W37096083 crossrefType "book-chapter" @default.
- W37096083 hasAuthorship W37096083A5042086373 @default.
- W37096083 hasAuthorship W37096083A5046779403 @default.
- W37096083 hasAuthorship W37096083A5058146975 @default.
- W37096083 hasBestOaLocation W370960832 @default.
- W37096083 hasConcept C11413529 @default.
- W37096083 hasConcept C132525143 @default.
- W37096083 hasConcept C134306372 @default.
- W37096083 hasConcept C160191386 @default.
- W37096083 hasConcept C199360897 @default.
- W37096083 hasConcept C27458966 @default.
- W37096083 hasConcept C2777735758 @default.
- W37096083 hasConcept C2777904410 @default.
- W37096083 hasConcept C2779639559 @default.
- W37096083 hasConcept C33923547 @default.
- W37096083 hasConcept C41008148 @default.
- W37096083 hasConcept C55439883 @default.
- W37096083 hasConcept C77553402 @default.
- W37096083 hasConcept C80444323 @default.
- W37096083 hasConceptScore W37096083C11413529 @default.
- W37096083 hasConceptScore W37096083C132525143 @default.
- W37096083 hasConceptScore W37096083C134306372 @default.
- W37096083 hasConceptScore W37096083C160191386 @default.
- W37096083 hasConceptScore W37096083C199360897 @default.
- W37096083 hasConceptScore W37096083C27458966 @default.
- W37096083 hasConceptScore W37096083C2777735758 @default.
- W37096083 hasConceptScore W37096083C2777904410 @default.
- W37096083 hasConceptScore W37096083C2779639559 @default.
- W37096083 hasConceptScore W37096083C33923547 @default.
- W37096083 hasConceptScore W37096083C41008148 @default.
- W37096083 hasConceptScore W37096083C55439883 @default.
- W37096083 hasConceptScore W37096083C77553402 @default.
- W37096083 hasConceptScore W37096083C80444323 @default.
- W37096083 hasLocation W370960831 @default.
- W37096083 hasLocation W370960832 @default.
- W37096083 hasLocation W370960833 @default.
- W37096083 hasOpenAccess W37096083 @default.
- W37096083 hasPrimaryLocation W370960831 @default.
- W37096083 hasRelatedWork W1507793640 @default.
- W37096083 hasRelatedWork W2096067805 @default.
- W37096083 hasRelatedWork W2363886702 @default.
- W37096083 hasRelatedWork W2366403765 @default.
- W37096083 hasRelatedWork W2467283682 @default.
- W37096083 hasRelatedWork W2979210705 @default.
- W37096083 hasRelatedWork W3158993832 @default.
- W37096083 hasRelatedWork W3212528926 @default.
- W37096083 hasRelatedWork W37096083 @default.
- W37096083 hasRelatedWork W1489697166 @default.
- W37096083 isParatext "false" @default.
- W37096083 isRetracted "false" @default.
- W37096083 magId "37096083" @default.
- W37096083 workType "book-chapter" @default.