Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication analysis of embedded software processes. Embedded software timing, power and communication are typically not unique but occur in intervals which result from data dependent behavior, environment timing and target system properties.
In system design, these intervals are used in many ways. In some cases, only the worst case is of interest, e.g. for single processor schedulability analysis, in another context both best and worst cases are relevant, such as for multiprocessor scheduling. In all these cases, these behavioral intervals of the individual software processes are fundamental data needed to analyze system behavior. With growing importance of embedded software, formal analysis of behavioral intervals has met increasing interest. Major contributions were the introduction of implicit path enumeration and the inclusion of cache analysis. While all approaches are conservative, i.e. all possible timing behavior (or communication, power consumption) is included in the resulting intervals, the main differences are in the architecture features that are covered by the hardware model and the width of the conservative interval. The closer this interval to the real timing bounds, the higher is the practical use of formal analysis.
The current analysis techniques leverage on previous work in compiler technology by using basic blocks as elementary units for architecture modeling and path analysis. The work presented here opens a new direction moving from basic block based analysis to an analysis based on larger program segments with a single execution path. Such program segmentsfrequently extend over many basic blocks, in particular in embedded system applications.
The approach combines the generality and accuracy of formal analysis with the modeling precision of cycle true simulation without compromising formal completeness. The results show that with this combination of tracing and formal analysis both higher precision than previous approaches leading to tighter and more realistic intervals can be obtained and easier adaptation due to the use of standard off-the-shelf cache simulators, cycle-true processor models or evaluation boards is possible.
Behavioral Intervals in Embedded Software will be a useful reference for academics as well as research scientists who are active in the field of Design Automation and Embedded Systems.

Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication analysis of embedded software processes. Embedded software timing, power and communication are typically not unique but occur in intervals which result from data dependent behavior, environment timing and target system properties.
In system design, these intervals are used in many ways. In some cases, only the worst case is of interest, e.g. for single processor schedulability analysis, in another context both best and worst cases are relevant, such as for multiprocessor scheduling. In all these cases, these behavioral intervals of the individual software processes are fundamental data needed to analyze system behavior. With growing importance of embedded software, formal analysis of behavioral intervals has met increasing interest. Major contributions were the introduction of implicit path enumeration and the inclusion of cache analysis. While all approaches are conservative, i.e. all possible timing behavior (or communication, power consumption) is included in the resulting intervals, the main differences are in the architecture features that are covered by the hardware model and the width of the conservative interval. The closer this interval to the real timing bounds, the higher is the practical use of formal analysis.
The current analysis techniques leverage on previous work in compiler technology by using basic blocks as elementary units for architecture modeling and path analysis. The work presented here opens a new direction moving from basic block based analysis to an analysis based on larger program segments with a single execution path. Such program segments frequently extend over many basic blocks, in particular in embedded system applications.
The approach combines the generality and accuracy of formal analysis with the modeling precision of cycle true simulation without compromising formal completeness. The results show that with this combination of tracing and formal analysis both higher precision than previous approaches leading to tighter and more realistic intervals can be obtained and easier adaptation due to the use of standard off-the-shelf cache simulators, cycle-true processor models or evaluation boards is possible.
Behavioral Intervals in Embedded Software will be a useful reference for academics as well as research scientists who are active in the field of Design Automation and Embedded Systems.

The collection catalogue is dedicated to a hitherto barely explored part of the holdings of the Stadel Museum. All the works-including paintings by Adam Elsheimer, Georg Flegel, or Johann Heinrich Roos-have been examined in detail from the perspective of both art history and painting technology based on the most recent scientific methods. The incorporation of the respective cultural-historical background gives rise to new insights regarding the creation, attribution, identification, or interpretation of the individual paintings. The overview provides fascinating insights into the history of the collection, exhibitions, and research, and opens up a panorama of multi-layered art production in early modern Germany.

Magisterarbeit aus dem Jahr 2009 im Fachbereich Sport - Sportpadagogik, Didaktik, Note: 1,3, Technische Universitat Chemnitz (Institut fur Sportwissenschaft), Sprache: Deutsch, Abstract: Durch die aktuell in den Medien verstarkte Debatte um eine veranderte Kindheit" geraten zum einen das Bewegungsverhalten, die motorische Leistungsfahigkeit heutiger Kinder und die Bildungspolitik in den Mittelpunkt der Diskussionen. Bewegung gehort dennoch zu den fundamentalen Grundbedurfnissen von Menschen, insbesondere zu denen von Kindern. Dabei dient die Bewegung nicht nur zum Selbstzweck, sondern druckt das elementare Verlangen aus, sich mit der Welt auseinander zu setzen und sich somit zu bilden. Gleichzeitig lernen die Kinder durch Bewegung die Welt, sich selbst und andere kennen und einzuschatzen. Durch die vielen Diskussionen um eine Abnahme der Schulleistungen sowie der motorischen Leistungsfahigkeit gerat ein Forschungsthema immer weiter in den Vordergrund. Hierbei wird der Einfluss der korperlichen Aktivitat auf die Gehirnleistungsfahigkeit untersucht. Kubesch beispielsweise stellt heraus, dass uber den Sportunterricht weiter auf die Struktur, Funktion und Vernetzung von Nervenzellen im Gehirn eingewirkt werden kann. Ausserdem besteht die berechtigte Annahme, dass der Sportunterricht nicht nur die korperliche Entwicklung der Schuler positiv beeinflusst, sondern auch ihre Lern- und Gedachtnisleistungen in anderen Unterrichtsfachern. Allerdings wird dem Sportunterricht nicht die entsprechende Bedeutung zugewiesen. Dies zeigt sich zum Beispiel darin, dass die dritte Sportstunde in vielen Bundeslandern nicht gewahrleistet wird. In der Vergangenheit wurden vor allem Kinder und Jugendliche im Schulalter in Bezug auf ihre motorische Leistungsfahigkeit sowie ihrer Schulleistungen gepruft. Die Frage nach der Wirksamkeit von bewegtem Forderunterricht blieb da zumeist unbeantwortet. Diese Arbeit geht der Frage nach, inwiefern sich ein bewegter mathematischer Forderkurs auf die m