Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894006600> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2894006600 abstract "Predictability is of paramount importance in real-time and safety-critical systems, where non-functional properties --such as the timing behavior -- have high impact on the system's correctness. As many safety-critical systems have agrowing performance demand, classical architectures, such as single-cores, are not sufficient anymore. One increasinglypopular solution is the use of multi-core systems, even in the real-time domain. Recent many-core architectures, such asthe Kalray MPPA, were designed to take advantage of the performance benefits of a multi-core architecture whileoffering certain predictability. It is still hard, however, to predict the execution time due to interferences on sharedresources (e.g., bus, memory, etc.).To tackle this challenge, Time Division Multiple Access (TDMA) buses are often advocated. In the first part of thisthesis, we are interested in the timing analysis of accesses to shared resources in such environments. Our approach usesSatisfiability Modulo Theory (SMT) to encode the semantics and the execution time of the analyzed program. To estimatethe delays of shared resource accesses, we propose an SMT model of a shared TDMA bus. An SMT-solver is used to find asolution that corresponds to the execution path with the maximal execution time. Using examples, we show how theworst-case execution time estimation is enhanced by combining the semantics and the shared bus analysis in SMT.In the second part, we introduce a response time analysis technique for Synchronous Data Flow programs. These are mappedto multiple parallel dependent tasks running on a compute cluster of the Kalray MPPA-256 many-core processor. Theanalysis we devise computes a set of response times and release dates that respect the constraints in the taskdependency graph. We derive a mathematical model of the multi-level bus arbitration policy used by the MPPA. Further,we refine the analysis to account for (i) release dates and response times of co-runners, (ii)task execution models, (iii) use of memory banks, (iv) memory accesses pipelining. Furtherimprovements to the precision of the analysis were achieved by considering only accesses that block the emitting core inthe interference analysis. Our experimental evaluation focuses on randomly generated benchmarks and an avionics casestudy." @default.
- W2894006600 created "2018-10-05" @default.
- W2894006600 creator A5024028939 @default.
- W2894006600 date "2017-12-01" @default.
- W2894006600 modified "2023-09-23" @default.
- W2894006600 title "Many-Core Timing Analysis of Real-Time Systems" @default.
- W2894006600 hasPublicationYear "2017" @default.
- W2894006600 type Work @default.
- W2894006600 sameAs 2894006600 @default.
- W2894006600 citedByCount "0" @default.
- W2894006600 crossrefType "dissertation" @default.
- W2894006600 hasAuthorship W2894006600A5024028939 @default.
- W2894006600 hasConcept C117313154 @default.
- W2894006600 hasConcept C120314980 @default.
- W2894006600 hasConcept C121332964 @default.
- W2894006600 hasConcept C149635348 @default.
- W2894006600 hasConcept C164155591 @default.
- W2894006600 hasConcept C173608175 @default.
- W2894006600 hasConcept C184337299 @default.
- W2894006600 hasConcept C197640229 @default.
- W2894006600 hasConcept C199360897 @default.
- W2894006600 hasConcept C200130814 @default.
- W2894006600 hasConcept C2989134064 @default.
- W2894006600 hasConcept C31258907 @default.
- W2894006600 hasConcept C41008148 @default.
- W2894006600 hasConcept C55439883 @default.
- W2894006600 hasConcept C62520636 @default.
- W2894006600 hasConcept C78766204 @default.
- W2894006600 hasConcept C93682380 @default.
- W2894006600 hasConceptScore W2894006600C117313154 @default.
- W2894006600 hasConceptScore W2894006600C120314980 @default.
- W2894006600 hasConceptScore W2894006600C121332964 @default.
- W2894006600 hasConceptScore W2894006600C149635348 @default.
- W2894006600 hasConceptScore W2894006600C164155591 @default.
- W2894006600 hasConceptScore W2894006600C173608175 @default.
- W2894006600 hasConceptScore W2894006600C184337299 @default.
- W2894006600 hasConceptScore W2894006600C197640229 @default.
- W2894006600 hasConceptScore W2894006600C199360897 @default.
- W2894006600 hasConceptScore W2894006600C200130814 @default.
- W2894006600 hasConceptScore W2894006600C2989134064 @default.
- W2894006600 hasConceptScore W2894006600C31258907 @default.
- W2894006600 hasConceptScore W2894006600C41008148 @default.
- W2894006600 hasConceptScore W2894006600C55439883 @default.
- W2894006600 hasConceptScore W2894006600C62520636 @default.
- W2894006600 hasConceptScore W2894006600C78766204 @default.
- W2894006600 hasConceptScore W2894006600C93682380 @default.
- W2894006600 hasOpenAccess W2894006600 @default.
- W2894006600 hasRelatedWork W1549916137 @default.
- W2894006600 hasRelatedWork W1980511909 @default.
- W2894006600 hasRelatedWork W2095051555 @default.
- W2894006600 hasRelatedWork W2102938079 @default.
- W2894006600 hasRelatedWork W2155627962 @default.
- W2894006600 hasRelatedWork W2158425047 @default.
- W2894006600 hasRelatedWork W2168757018 @default.
- W2894006600 hasRelatedWork W2252489337 @default.
- W2894006600 hasRelatedWork W2267268515 @default.
- W2894006600 hasRelatedWork W2291081441 @default.
- W2894006600 hasRelatedWork W2492564116 @default.
- W2894006600 hasRelatedWork W2529424151 @default.
- W2894006600 hasRelatedWork W2651054100 @default.
- W2894006600 hasRelatedWork W2658062866 @default.
- W2894006600 hasRelatedWork W2767641756 @default.
- W2894006600 hasRelatedWork W3037418201 @default.
- W2894006600 hasRelatedWork W3166673447 @default.
- W2894006600 hasRelatedWork W3208252432 @default.
- W2894006600 hasRelatedWork W845584669 @default.
- W2894006600 hasRelatedWork W98165043 @default.
- W2894006600 isParatext "false" @default.
- W2894006600 isRetracted "false" @default.
- W2894006600 magId "2894006600" @default.
- W2894006600 workType "dissertation" @default.