Sökning: "Timing-analysis"

Visar resultat 1 - 5 av 32 avhandlingar innehållade ordet Timing-analysis.

1. 1. Enabling Timing Analysis of Complex Embedded Software Systems

   Författare :Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded-systems; Real-time-systems; Timing-analysis; Simulation; Simulation-optimization; Simulation-Model-Extraction; Source-code-analysis; Run-time-monitoring; Model-validation; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Sammanfattning : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. LÄS MER

3. 2. Raising Abstraction of Timing Analysis through Model-Driven Engineering

   Författare :Alessio Bucaioni; De-Jiu Chen; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning :  The complexity of software running on vehicular embedded systems is constantlyincreasing and this negatively affects its development costs and time tomarket. One way to deal with these issues is to boost abstraction in the formof models to (i) ease the reasoning about the system architecture, (ii) automatecertain stages of the development, (iii) early detect flaws in the system architecturethrough fundamental analysis and (iv) take appropriate countermeasuresbefore the system is implemented. LÄS MER

4. 3. Static Timing Analysis of Parallel Systems Using Abstract Execution

   Författare :Andreas Gustavsson; Björn Lisper; Jan Gustafsson; Andreas Ermedahl; Nan Guan; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; WCET analysis; parallel systems; multi-core; multicore; threaded programming language; Computer Science; datavetenskap;

   Sammanfattning : The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. LÄS MER

5. 4. Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems

   Författare :Yue Lu; Thomas Nolte; Christer Norström; Anders Wall; Enrico Bini; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Many industrial real-time embedded systems are very large, flexible and highly configurable software systems. Such systems are becoming ever more complex, and we are reaching the stage in which even if existing timing analysis was feasible from a cost and technical perspective, the analysis results are overly pessimistic, making them less useful to practitioners. LÄS MER

7. 5. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories

   Författare :Thomas Lundqvist; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; real-time systems; data cache; infeasible paths; pipeline; instruction cache; dynamically scheduled processor; worst-case execution time; timing analysis; path analysis; timing anomaly;

   Sammanfattning : When constructing real-time systems, safe and tight estimations of the worst case execution time (WCET) of programs are needed. To obtain tight estimations, a common approach is to do path and timing analyses. LÄS MER