Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Partitioning Graphs to Speed Up Dijkstra's Algorithm

In this paper, we consider Dijkstra's algorithm for the point-to-point shortest path problem in large and sparse graphs with a given layout. Lauther presented a method that uses a partitioning of the graph to perform a preprocessing which allows to speed-up Dijkstra's algorithm considerably. We present an experimental study that evaluates which partitioning methods are suited for this approach. In particular, we examine partitioning algorithms from computational geometry and compare their impact on the speed-up of the shortest-path algorithm. Using a suited partitioning algorithm speed-up factors of 500 and more were achieved. Furthermore, we present an extension of this speed-up technique to multiple levels of partitionings. With this multi-level variant, the same speed-up factors can be achieved with smaller space requirements. It can therefore be seen as a compression of the precomputed data that conserves the correctness of the computed shortest paths

Data from: Integrating the pace-of-life syndrome across species, sexes and individuals: covariation of life history and personality under pesticide exposure

The pace-of-life syndrome (POLS) hypothesis integrates covariation of life-history traits along a fast–slow continuum and covariation of behavioural traits along a proactive–reactive personality continuum. Few studies have investigated these predicted life-history/personality associations among species and between sexes. Furthermore, whether and how contaminants interfere with POLS patterns remains unexplored. We tested for covariation patterns in life history and in behaviour, and for life-history/personality covariation among species, among individuals within species and between sexes. Moreover, we investigated whether pesticide exposure affects covariation between life history and behaviour and whether species and sexes with a faster POLS strategy have a higher sensitivity to pesticides. We reared larvae of four species of Ischnura damselflies in a common garden experiment with an insecticide treatment (chlorpyrifos absent/present) in the final instar. We measured four life-history traits (larval growth rate during the pesticide treatment, larval development time, adult mass and life span) and two behavioural traits (larval feeding activity and boldness, each before and after the pesticide treatment). At the individual level, life-history traits and behavioural traits aligned along a fast–slow and a proactive–reactive continuum, respectively. Species-specific differences in life history, with fast-lived species having a faster larval growth and development, a lower mass at emergence and a shorter life span, suggested that time constraints in the larval stage were predictably driving life-history evolution both in the larval stage and across metamorphosis in the adult stage. Across species, females were consistently more slow-lived than males, reflecting that a large body size and a long life span are generally more important for females. In contrast to the POLS hypothesis, there was only little evidence for the expected positive coupling between life-history pace and proactivity. Pesticide exposure decreased larval growth rate and affected life-history/personality covariation in the most fast-lived species. Our study supports the existence of life-history and behavioural continua with limited support for life-history/personality covariation. Variation in digestive physiology may explain this decoupling of life history and behaviour and provide valuable mechanistic insights to understand and predict the occurrence of life-history/personality covariation patterns

Focus on African freshwaters: Hotspots of dragonfly diversity and conservation concern

This is the first continent-wide overview of insect diversity and status sufficiently fine-scaled to be used in conservation planning. We analyze patterns of richness and the conservation status of African dragonflies and damselflies (Insecta: Odonata), commonly referred to as dragonflies, to determine threats to species and freshwater habitats, location of diversity hotspots, necessary conservation actions, and research gaps. Major centers of dragonfly diversity in Africa are tropical forest areas that include highlands. Most threatened species - as classified by the International Union for Conservation of Nature global Red List - are concentrated in highlands from Kenya to South Africa (together with the Cape Floristic Region), western Africa (including mountains on the Cameroon-Nigeria border), and Ethiopia. Currently available knowledge can be applied throughout Africa's freshwater systems to help minimize or mitigate the impact of future development actions, allowing dragonflies to act as "guardians of the watershed". The private sector can be advised to safeguard sensitive habitats and species when selecting sites for development. Key sites and species for monitoring can be identified by checking the distribution of threatened species at www.iucnredlist.org. © The Ecological Society of America