Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097973125> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2097973125 abstract "Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based on the underlying hypothesis, where the computation/communication associated with the processing of all events occurring within the same clock tick are assumed to happen instantaneously (or in zero time). In reality, Esterel specifications get compiled to implementations (such as C code) which do not satisfy the perfect synchrony assumption. Hence, platform-specific timing analysis of such implementations is an important research topic. Interest in this area has lately been renewed with the recent advances in Worst-case Execution Time (WCET)analysis techniques. In this paper we perform WCET analysis on sequential C code and exploit the structure of the code generated from Esterel specifications to obtain tight WCET estimates. Such estimates can validate Esterel-level assumptions on the instantaneous processing of signals or events that occur together. More importantly, they can be used to identify parts of the specification which might pose as timing/performance bottlenecks with respect to the underlying platform. This is done by exploiting traceability links between Esterel specifications and the generated C code, which map the time-critical computations at the C-level back to the Esterel-level. This not only allows a designer to optimize or simplify Esterel specifications, but also choose/configure suitable implementation platforms. We show the results of our WCET analysis on a set of standard Esterel benchmarks and illustrate the utility of our model-code traceability technique using an Esterel specification of a reflex game application." @default.
- W2097973125 created "2016-06-24" @default.
- W2097973125 creator A5060115298 @default.
- W2097973125 creator A5063104755 @default.
- W2097973125 creator A5067427828 @default.
- W2097973125 creator A5083958929 @default.
- W2097973125 date "2008-10-19" @default.
- W2097973125 modified "2023-09-24" @default.
- W2097973125 title "Performance debugging of Esterel specifications" @default.
- W2097973125 cites W2055295051 @default.
- W2097973125 cites W2076285066 @default.
- W2097973125 cites W2080875873 @default.
- W2097973125 cites W2116912109 @default.
- W2097973125 cites W2125415493 @default.
- W2097973125 cites W2127335869 @default.
- W2097973125 cites W2162969303 @default.
- W2097973125 cites W2163529295 @default.
- W2097973125 doi "https://doi.org/10.1145/1450135.1450175" @default.
- W2097973125 hasPublicationYear "2008" @default.
- W2097973125 type Work @default.
- W2097973125 sameAs 2097973125 @default.
- W2097973125 citedByCount "26" @default.
- W2097973125 countsByYear W20979731252012 @default.
- W2097973125 countsByYear W20979731252013 @default.
- W2097973125 countsByYear W20979731252014 @default.
- W2097973125 countsByYear W20979731252015 @default.
- W2097973125 countsByYear W20979731252016 @default.
- W2097973125 countsByYear W20979731252020 @default.
- W2097973125 countsByYear W20979731252023 @default.
- W2097973125 crossrefType "proceedings-article" @default.
- W2097973125 hasAuthorship W2097973125A5060115298 @default.
- W2097973125 hasAuthorship W2097973125A5063104755 @default.
- W2097973125 hasAuthorship W2097973125A5067427828 @default.
- W2097973125 hasAuthorship W2097973125A5083958929 @default.
- W2097973125 hasBestOaLocation W20979731252 @default.
- W2097973125 hasConcept C115903868 @default.
- W2097973125 hasConcept C136388014 @default.
- W2097973125 hasConcept C168065819 @default.
- W2097973125 hasConcept C199360897 @default.
- W2097973125 hasConcept C41008148 @default.
- W2097973125 hasConceptScore W2097973125C115903868 @default.
- W2097973125 hasConceptScore W2097973125C136388014 @default.
- W2097973125 hasConceptScore W2097973125C168065819 @default.
- W2097973125 hasConceptScore W2097973125C199360897 @default.
- W2097973125 hasConceptScore W2097973125C41008148 @default.
- W2097973125 hasLocation W20979731251 @default.
- W2097973125 hasLocation W20979731252 @default.
- W2097973125 hasOpenAccess W2097973125 @default.
- W2097973125 hasPrimaryLocation W20979731251 @default.
- W2097973125 hasRelatedWork W1536968357 @default.
- W2097973125 hasRelatedWork W1544341893 @default.
- W2097973125 hasRelatedWork W1579177548 @default.
- W2097973125 hasRelatedWork W1587224678 @default.
- W2097973125 hasRelatedWork W1601811574 @default.
- W2097973125 hasRelatedWork W1608234008 @default.
- W2097973125 hasRelatedWork W201088255 @default.
- W2097973125 hasRelatedWork W2608612765 @default.
- W2097973125 hasRelatedWork W2680688245 @default.
- W2097973125 hasRelatedWork W1894736207 @default.
- W2097973125 isParatext "false" @default.
- W2097973125 isRetracted "false" @default.
- W2097973125 magId "2097973125" @default.
- W2097973125 workType "article" @default.