Generating VHDL Source Code from UML Models of Embedded Systems

Selected from 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, ProceedingsInternational audienceEmbedded systems' complexity and amount of distinct functionalities have increased over the last years. To cope with such issues, the projects' abstraction level is being continuously raised, and, in addition, new design techniques have also been used to shorten design time. In this context, Model-Driven Engineering approaches that use UML models are interesting options to design embedded systems, aiming at code generation of software and hardware components. Source code generation from UML is already supported by several commercial tools for software. However, there are only few tools addressing generation code using hardware description languages, such as VHDL. This work proposes an approach to generate automatically VHDL source code from UML specifications. This approach is supported by the GenERTiCA tool, which has been extended to support VHDL code generation. To validate this work, a use case focused in maintenance systems attended by embedded systems is presented

Recent Advances in Understanding Particle Acceleration Processes in Solar Flares

We review basic theoretical concepts in particle acceleration, with particular emphasis on processes likely to occur in regions of magnetic reconnection. Several new developments are discussed, including detailed studies of reconnection in three-dimensional magnetic field configurations (e.g., current sheets, collapsing traps, separatrix regions) and stochastic acceleration in a turbulent environment. Fluid, test-particle, and particle-in-cell approaches are used and results compared. While these studies show considerable promise in accounting for the various observational manifestations of solar flares, they are limited by a number of factors, mostly relating to available computational power. Not the least of these issues is the need to explicitly incorporate the electrodynamic feedback of the accelerated particles themselves on the environment in which they are accelerated. A brief prognosis for future advancement is offered.Comment: This is a chapter in a monograph on the physics of solar flares, inspired by RHESSI observations. The individual articles are to appear in Space Science Reviews (2011

Young and Intermediate-age Distance Indicators

Distance measurements beyond geometrical and semi-geometrical methods, rely mainly on standard candles. As the name suggests, these objects have known luminosities by virtue of their intrinsic proprieties and play a major role in our understanding of modern cosmology. The main caveats associated with standard candles are their absolute calibration, contamination of the sample from other sources and systematic uncertainties. The absolute calibration mainly depends on their chemical composition and age. To understand the impact of these effects on the distance scale, it is essential to develop methods based on different sample of standard candles. Here we review the fundamental properties of young and intermediate-age distance indicators such as Cepheids, Mira variables and Red Clump stars and the recent developments in their application as distance indicators.Comment: Review article, 63 pages (28 figures), Accepted for publication in Space Science Reviews (Chapter 3 of a special collection resulting from the May 2016 ISSI-BJ workshop on Astronomical Distance Determination in the Space Age

Titan's cold case files - Outstanding questions after Cassini-Huygens

Abstract The entry of the Cassini-Huygens spacecraft into orbit around Saturn in July 2004 marked the start of a golden era in the exploration of Titan, Saturn's giant moon. During the Prime Mission (2004–2008), ground-breaking discoveries were made by the Cassini orbiter including the equatorial dune fields (flyby T3, 2005), northern lakes and seas (T16, 2006), and the large positive and negative ions (T16 & T18, 2006), to name a few. In 2005 the Huygens probe descended through Titan's atmosphere, taking the first close-up pictures of the surface, including large networks of dendritic channels leading to a dried-up seabed, and also obtaining detailed profiles of temperature and gas composition during the atmospheric descent. The discoveries continued through the Equinox Mission (2008–2010) and Solstice Mission (2010–2017) totaling 127 targeted flybys of Titan in all. Now at the end of the mission, we are able to look back on the high-level scientific questions from the start of the mission, and assess the progress that has been made towards answering these. At the same time, new scientific questions regarding Titan have emerged from the discoveries that have been made. In this paper we review a cross-section of important scientific questions that remain partially or completely unanswered, ranging from Titan's deep interior to the exosphere. Our intention is to help formulate the science goals for the next generation of planetary missions to Titan, and to stimulate new experimental, observational and theoretical investigations in the interim

Modified structure of protons and neutrons in correlated pairs

The atomic nucleus is made of protons and neutrons (nucleons), which are themselves composed of quarks and gluons. Understanding how the quark–gluon structure of a nucleon bound in an atomic nucleus is modified by the surrounding nucleons is an outstanding challenge. Although evidence for such modification—known as the EMC effect—was first observed over 35 years ago, there is still no generally accepted explanation for its cause1,2,3. Recent observations suggest that the EMC effect is related to close-proximity short-range correlated (SRC) nucleon pairs in nuclei4,5. Here we report simultaneous, high-precision measurements of the EMC effect and SRC abundances. We show that EMC data can be explained by a universal modification of the structure of nucleons in neutron–proton SRC pairs and present a data-driven extraction of the corresponding universal modification function. This implies that in heavier nuclei with many more neutrons than protons, each proton is more likely than each neutron to belong to an SRC pair and hence to have distorted quark structure. This universal modification function will be useful for determining the structure of the free neutron and thereby testing quantum chromodynamics symmetry-breaking mechanisms and may help to discriminate between nuclear physics effects and beyond-the-standard-model effects in neutrino experiments

Exploring the Bimodal Solar System via Sample Return from the Main Asteroid Belt: The Case for Revisiting Ceres

Abstract: Sample return from a main-belt asteroid has not yet been attempted, but appears technologically feasible. While the cost implications are significant, the scientific case for such a mission appears overwhelming. As suggested by the “Grand Tack” model, the structure of the main belt was likely forged during the earliest stages of Solar System evolution in response to migration of the giant planets. Returning samples from the main belt has the potential to test such planet migration models and the related geochemical and isotopic concept of a bimodal Solar System. Isotopic studies demonstrate distinct compositional differences between samples believed to be derived from the outer Solar System (CC or carbonaceous chondrite group) and those that are thought to be derived from the inner Solar System (NC or non-carbonaceous group). These two groups are separated on relevant isotopic variation diagrams by a clear compositional gap. The interface between these two regions appears to be broadly coincident with the present location of the asteroid belt, which contains material derived from both groups. The Hayabusa mission to near-Earth asteroid (NEA) (25143) Itokawa has shown what can be learned from a sample-return mission to an asteroid, even with a very small amount of sample. One scenario for main-belt sample return involves a spacecraft launching a projectile that strikes an object and flying through the debris cloud, which would potentially allow multiple bodies to be sampled if a number of projectiles are used on different asteroids. Another scenario is the more traditional method of landing on an asteroid to obtain the sample. A significant range of main-belt asteroids are available as targets for a sample-return mission and such a mission would represent a first step in mineralogically and isotopically mapping the asteroid belt. We argue that a sample-return mission to the asteroid belt does not necessarily have to return material from both the NC and CC groups to viably test the bimodal Solar System paradigm, as material from the NC group is already abundantly available for study. Instead, there is overwhelming evidence that we have a very incomplete suite of CC-related samples. Based on our analysis, we advocate a dedicated sample-return mission to the dwarf planet (1) Ceres as the best means of further exploring inherent Solar System variation. Ceres is an ice-rich world that may be a displaced trans-Neptunian object. We almost certainly do not have any meteorites that closely resemble material that would be brought back from Ceres. The rich heritage of data acquired by the Dawn mission makes a sample-return mission from Ceres logistically feasible at a realistic cost. No other potential main-belt target is capable of providing as much insight into the early Solar System as Ceres. Such a mission should be given the highest priority by the international scientific community