IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2009 · 227 citations · 34 references
EngineeringReal-time System DesignComputer ArchitectureSoftware EngineeringTime-critical Embedded SystemsEmbedded SystemsEmbedded ArchitectureProcessor ArchitectureSoftware AnalysisHardware ArchitectureHardware SecurityHigh-performance ArchitectureTiming AnalysisSystems EngineeringParallel ComputingStatic Timing AnalysisComputer EngineeringComputer ScienceMemory HierarchiesPerformance Analysis ToolReal-time ComputingMemory ArchitectureHard Real-time SystemsProgram AnalysisFuture ArchitecturesSoftware TestingMulticore ArchitecturesParallel ProgrammingReal-time SystemsSystem Performance AnalysisSystem Software
Embedded hard real-time systems need reliable guarantees for the satisfaction of their timing constraints. Experience with the use of static timing-analysis methods and the tools based on them in the automotive and the aeronautics industries is positive. However, both the precision of the results and the efficiency of the analysis methods are highly dependent on the predictability of the execution platform. In fact, the architecture determines whether a static timing analysis is practically feasible at all and whether the most precise obtainable results are precise enough. Results contained in this paper also show that measurement-based methods still used in industry are not useful for quite commonly used complex processors. This dependence on the architectural development is of growing concern to the developers of timing-analysis tools and their customers, the developers in industry. The problem reaches a new level of severity with the advent of multicore architectures in the embedded domain. This paper describes the architectural influence on static timing analysis and gives recommendations as to profitable and unacceptable architectural features.
34
Patrick Cousot, Radhia Cousot · 1977 · 6.1K citations
Programming Language Theory, Actual Computations, Declarative Programming +10
Computer architecture: a quantitative approach
Martin Shute · Microelectronics Journal · 1993 · 3.4K citations
Performance analysis of embedded software using implicit path enumeration
Yau-Tsun Steven Li, Sharad Malik · 1995 · 405 citations · Full text
WCET analysis of probabilistic hard real-time systems
Guillem Bernat, A. Colin, Stefan M. Petters · 2003 · 337 citations