Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112209440> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2112209440 abstract "Traditionally, implementations of dependable real-time systems have targeted CPUs, with application level concurrency implemented as pseudo-concurrency on the CPU. For such systems, much research has addressed timing and resource analysis to enable offline guarantees regarding actual worst-case run-time performance. Three major weaknesses exist with the traditional implementation method. Firstly, analysis is post-hoc, after application compilation and worst-case execution time analysis. Secondly, timing analysis is pessimistic and difficult, due to the unpredictable nature of complex CPUs. Thirdly, the compilation process is largely non-traceable, in that it is difficult to relate object code back to source code (which introduces verification difficulties in safety-critical systems). This paper addresses these three problems with an implementation approach and analysis method that: enables timing and space properties to be established directly from source (not after compilation); provides a deterministic and traceable implementation to ease verification; and enables non-pessimistic timing analysis of the implementation as no CPU is utilised. As an exemplar of the approach, the compilation of a standard real-time safety-critical subset of Ada to a circuit (implemented on field programmable gate array) is presented." @default.
- W2112209440 created "2016-06-24" @default.
- W2112209440 creator A5049147939 @default.
- W2112209440 creator A5086605034 @default.
- W2112209440 date "2007-08-01" @default.
- W2112209440 modified "2023-09-25" @default.
- W2112209440 title "A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis" @default.
- W2112209440 cites W1711245081 @default.
- W2112209440 cites W2042979415 @default.
- W2112209440 cites W2061604444 @default.
- W2112209440 cites W2108056055 @default.
- W2112209440 cites W2108748002 @default.
- W2112209440 cites W2145329258 @default.
- W2112209440 cites W2146218445 @default.
- W2112209440 cites W2162717942 @default.
- W2112209440 doi "https://doi.org/10.1109/rtcsa.2007.6" @default.
- W2112209440 hasPublicationYear "2007" @default.
- W2112209440 type Work @default.
- W2112209440 sameAs 2112209440 @default.
- W2112209440 citedByCount "2" @default.
- W2112209440 crossrefType "proceedings-article" @default.
- W2112209440 hasAuthorship W2112209440A5049147939 @default.
- W2112209440 hasAuthorship W2112209440A5086605034 @default.
- W2112209440 hasConcept C111919701 @default.
- W2112209440 hasConcept C127413603 @default.
- W2112209440 hasConcept C199360897 @default.
- W2112209440 hasConcept C201995342 @default.
- W2112209440 hasConcept C2778572836 @default.
- W2112209440 hasConcept C41008148 @default.
- W2112209440 hasConcept C98045186 @default.
- W2112209440 hasConceptScore W2112209440C111919701 @default.
- W2112209440 hasConceptScore W2112209440C127413603 @default.
- W2112209440 hasConceptScore W2112209440C199360897 @default.
- W2112209440 hasConceptScore W2112209440C201995342 @default.
- W2112209440 hasConceptScore W2112209440C2778572836 @default.
- W2112209440 hasConceptScore W2112209440C41008148 @default.
- W2112209440 hasConceptScore W2112209440C98045186 @default.
- W2112209440 hasLocation W21122094401 @default.
- W2112209440 hasOpenAccess W2112209440 @default.
- W2112209440 hasPrimaryLocation W21122094401 @default.
- W2112209440 hasRelatedWork W1980483417 @default.
- W2112209440 hasRelatedWork W2324884470 @default.
- W2112209440 hasRelatedWork W2358051984 @default.
- W2112209440 hasRelatedWork W2368010167 @default.
- W2112209440 hasRelatedWork W2370652759 @default.
- W2112209440 hasRelatedWork W2625434675 @default.
- W2112209440 hasRelatedWork W3121705221 @default.
- W2112209440 hasRelatedWork W3159939286 @default.
- W2112209440 hasRelatedWork W4309560601 @default.
- W2112209440 hasRelatedWork W831794578 @default.
- W2112209440 isParatext "false" @default.
- W2112209440 isRetracted "false" @default.
- W2112209440 magId "2112209440" @default.
- W2112209440 workType "article" @default.