ALF - A Language for WCET Flow Analysis

Static Worst-Case Execution Time (WCET) analysis derives upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component in static WCET analysis is the flow analysis, which derives bounds on the number of times different code entities can be executed. Examples of flow information derived by a flow analysis are loop bounds and infeasible paths. Flow analysis can be performed on source code, intermediate code, or binary code: for the latter, there is a proliferation of instruction sets. Thus, flow analysis must deal with many code formats. However, the basic flow analysis techniques are more or less the same regardless of the code format. Thus, an interesting option is to define a common code format for flow analysis, which also allows for easy translation from the other formats. Flow analyses for this common format will then be portable, in principle supporting all types of code formats which can be translated to this format. Further, a common format simplifies the development of flow analyses, since only one specific code format needs to be targeted. This paper presents such a common code format, the ALF language (ARTIST2 Language for WCET Flow Analysis)

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis

Static Worst-Case Execution Time (WCET) analysis is a technique to derive upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component for static derivation of precise WCET estimates is upper bounds on the number of times different loops can be iterated. In this paper we present an approach for deriving upper loop bounds based on a combination of standard program analysis techniques. The idea is to bound the number of different states in the loop which can influence the exit conditions. Given that the loop terminates, this number provides an upper loop bound. An algorithm based on the approach has been implemented in our WCET analysis tool SWEET. We evaluate the algorithm on a number of standard WCET benchmarks, giving evidence that it is capable to derive valid bounds for many types of loops

Comparing Auditory Noise Treatment with Stimulant Medication on Cognitive Task Performance in Children with Attention Deficit Hyperactivity Disorder: Results from a Pilot Study

Background: Recent research has shown that acoustic white noise (80 dB) can improve task performance in people with attention deficits and/or Attention Deficit Hyperactivity Disorder (ADHD). This is attributed to the phenomenon of stochastic resonance in which a certain amount of noise can improve performance in a brain that is not working at its optimum. We compare here the effect of noise exposure with the effect of stimulant medication on cognitive task performance in ADHD. The aim of the present study was to compare the effects of auditory noise exposure with stimulant medication for ADHD children on a cognitive test battery. A group of typically developed children (TDC) took the same tests as a comparison. Methods: Twenty children with ADHD of combined or inattentive subtypes and twenty TDC matched for age and gender performed three different tests (word recall, spanboard and n-back task) during exposure to white noise (80 dB) and in a silent condition. The ADHD children were tested with and without central stimulant medication. Results: In the spanboard- and the word recall tasks, but not in the 2-back task, white noise exposure led to significant improvements for both non-medicated and medicated ADHD children. No significant effects of medication were found on any of the three tasks. Conclusion: This pilot study shows that exposure to white noise resulted in a task improvement that was larger than the one with stimulant medication thus opening up the possibility of using auditory noise as an alternative, non-pharmacological treatment of cognitive ADHD symptoms

Climate change related urban transformation and the role of cultural heritage

Starting with a systemic understanding of cultural heritage, climate-change related urban transformation processes are analyzed through a multi-disciplinary lens and methods that blend the arts, humanities, and sciences. Governance-specific topics range from relevant cultural markers and local policies to stimulate resilience, to a typology of heritage-related governance and the vulnerability of historic urban landscapes. A variety of contributions from the Americas, Asia, and Europe describe and analyze challenges and potential solutions for climate-change related urban transformation and the role of cultural heritage. Contributions focusing on innovation, adaptation, and reuse introduce the concept of urban acupuncture, adaptive reuse of industrial heritage, and how a historical spatial-functional network system can be related to a smart city approach. The potential role of cultural traditions for resilience is analyzed, as is the integration of sustainable energy production tools in a historic urban landscape. Examples of heritage-based urban resilience from around the world are introduced, as well as the path of medium-technology to address climate adaptation and prevention in historic buildings. The contributions emphasize the need for an updated narrative that cultural heritage can also contribute to climate adaptation and mitigation

Climate change related urban transformation and the role of cultural heritage

Starting with a systemic understanding of cultural heritage, climate-change related urban transformation processes are analyzed through a multi-disciplinary lens and methods that blend the arts, humanities, and sciences. Governance-specific topics range from relevant cultural markers and local policies to stimulate resilience, to a typology of heritage-related governance and the vulnerability of historic urban landscapes. A variety of contributions from the Americas, Asia, and Europe describe and analyze challenges and potential solutions for climate-change related urban transformation and the role of cultural heritage. Contributions focusing on innovation, adaptation, and reuse introduce the concept of urban acupuncture, adaptive reuse of industrial heritage, and how a historical spatial-functional network system can be related to a smart city approach. The potential role of cultural traditions for resilience is analyzed, as is the integration of sustainable energy production tools in a historic urban landscape. Examples of heritage-based urban resilience from around the world are introduced, as well as the path of medium-technology to address climate adaptation and prevention in historic buildings. The contributions emphasize the need for an updated narrative that cultural heritage can also contribute to climate adaptation and mitigation

The innovative response of cultural and creative industries to major European societal challenges: toward a knowledge and competence base

In this paper we highlight the importance of culture, cultural heritage and creative industries (CCI) in current European policies in relation to a number of societal challenges, and how the CCI are called to innovatively respond to such challenges. We distinguish four main societal challenges to which the CCI can strategically respond and significantly unlock the potential for innovation and smart growth in the EU. These societal challenges are addressed by four main pillars of the CCI, namely: (1) Europeans’ creativity, cultural diversity and values; (2) European identity and cohesion; (3) European employment, economic resilience and smart growth; and (4) Europe’s external relations. We address each societal challenge from the CCI perspective, indicating how the CCI can provide innovative responses to such challenges and enable strategic crossovers through networking and collaboration, but also referring to some criticalities. We further discuss how this CCI capacity needs public support and provide an overview of how this is undertaken via the main EU, national and international policies, with a focus on the latest trends

The Open Access Scientific Journal: An Empirical Study

The open access (OA) model for journals is compared to the open source principle for computer software. Since the early 1990s nearly 1,000 OA scientific journals have emerged – mostly as voluntary community efforts, although recently some professionally operating publishers have used author charges or institutional membership. This study of OA journals without author charges shows that their impact is still relatively small, but awareness of it is increasing. The average number of research articles per year is lower than for major scientific journals but the publication times are shorter

The popular model annelid Enchytraeus albidus is only one species in a complex of seashore white worms (Clitellata, Enchytraeidae)

n/