Asynchronous Testing of Synchronous Components in GALS Systems

International audienceGALS (Globally Asynchronous Locally Synchronous) systems, such as the Internet of Things or autonomous cars, integrate reactive synchronous components that interact asynchronously. The complexity induced by combining synchronous and asynchronous aspects makes GALS systems difficult to develop and debug. Ensuring their functional correctness and reliability requires rigorous design methodologies, based on formal methods and assisted by validation tools. In this paper we propose a testing methodology for GALS systems integrating: (1) synchronous and asynchronous concurrent models; (2) functional unit testing and behavioral conformance testing; and (3) various formal methods and their tool equipments. We leverage the conformance test generation for asynchronous systems to automatically derive realistic scenarios (input constraints and oracle), which are necessary ingredients for the unit testing of individual synchronous components, and are difficult and error-prone to design manually. We illustrate our approach on a simple, but relevant example inspired by autonomous cars

SB9: The Ninth Catalogue of Spectroscopic Binary Orbits

The Ninth Catalogue of Spectroscopic Binary Orbits (http://sb9.astro.ulb.ac.be) continues the series of compilations of spectroscopic orbits carried out over the past 35 years by Batten and collaborators. As of 2004 May 1st, the new Catalogue holds orbits for 2,386 systems. Some essential differences between this catalogue and its predecessors are outlined and three straightforward applications are presented: (1) Completeness assessment: period distribution of SB1s and SB2s; (2) Shortest periods across the H-R diagram; (3) Period-eccentricity relation.Comment: Accepte for publication in A&A, 6 pages, 6 figure

A Renaissance study of Am stars. I. The mass ratio distribution

Triggered by the study of Carquillat & Prieur (2007, MNRAS, 380, 1064) of Am binaries, I reanalyse their sample of 60 orbits to derive the mass ratio distribution (MRD), assuming as they did a priori functional forms, i.e. a power law or a Gaussian. The sample is then extended using orbits published by several groups and a full analysis of the MRD is made, without any assumption on the functional form. I derive the MRD using a Richardson-Lucy inversion method, assuming a fixed mass of the Am primary and randomly distributed orbital inclinations. Using the large sub-sample of double-lined spectroscopic binaries, I show that this methodology is indeed perfectly adequate. Using the inversion method, applied to my extended sample of 162 systems, I find that the final MRD can be approximated by a uniform distribution.Comment: 7 pages, 9 figures; Accepted by A&

Crossing the Brown Dwarf Desert Using Adaptive Optics: A Very Close L-Dwarf Companion to the Nearby Solar Analog HR 7672

We have found a very faint companion to the active solar analog HR 7672 (HD 190406; GJ 779; 15 Sge). Three epochs of high resolution imaging using adaptive optics (AO) at the Gemini-North and Keck II Telescopes demonstrate that HR 7672B is a common proper motion companion, with a separation of 0.79" (14 AU) and a 2.16 um flux ratio of 8.6 mags. Using follow-up K-band spectroscopy from Keck AO+NIRSPEC, we measure a spectral type of L4.5+/-1.5. This is the closest ultracool companion around a main sequence star found to date by direct imaging. We estimate the primary has an age of 1-3 Gyr. Assuming coevality, the companion is most likely substellar, with a mass of 55-78 Mjup based on theoretical models. The primary star shows a long-term radial velocity trend, and we combine the radial velocity data and AO imaging to set a firm (model-independent) lower limit of 48 Mjup. In contrast to the paucity of brown dwarf companions at <~4 AU around FGK dwarfs, HR 7672B implies that brown dwarf companions do exist at separations comparable to those of the giant planets in our own solar system. Its presence is at variance with scenarios where brown dwarfs form as ejected stellar embryos. Moreover, since HR 7672B is likely too massive to have formed in a circumstellar disk as planets are believed to, its discovery suggests that a diversity of physical processes act to populate the outer regions of exoplanetary systems.Comment: Astrophysical Journal, in pres

A Strategy for Identifying the Grid Stars for the Space Interferometry Mission (SIM)

We present a strategy to identify several thousand stars that are astrometrically stable at the micro-arcsecond level for use in the SIM (Space Interferometry Mission) astrometric grid. The requirements on the grid stars make this a rather challenging task. Taking a variety of considerations into account we argue for K giants as the best type of stars for the grid, mainly because they can be located at much larger distances than any other type of star due to their intrinsic brightness. We show that it is possible to identify suitable candidate grid K giants from existing astrometric catalogs. However, double stars have to be eliminated from these candidate grid samples, since they generally produce much larger astrometric jitter than tolerable for the grid. The most efficient way to achieve this is probably by means of a radial velocity survey. To demonstrate the feasibility of this approach, we repeatedly measured the radial velocities for a pre-selected sample of 86 nearby Hipparcos K giants with precisions of 5-8 m/s. The distribution of the intrinsic radial velocity variations for the bona-fide single K giants shows a maximum around 20 m/s, which is small enough not to severely affect the identification of stellar companions around other K giants. We use the results of our observations as input parameters for Monte-Carlo simulations on the possible design of a radial velocity survey of all grid stars. Our favored scenario would result in a grid which consists to 68% of true single stars and to 32% of double or multiple stars with periods mostly larger than 200 years, but only 3.6% of all grid stars would display astrometric jitter larger than 1 microarcsecond. This contamination level is probably tolerable.Comment: LaTeX, 21 pages, 8 figures, accepted by PASP (February 2001 issue). Also available at http://beehive.ucsd.edu/ftp/pub/grid/kgiants.htm

From Stars to Super-planets: the Low-Mass IMF in the Young Cluster IC348

We investigate the low-mass population of the young cluster IC348 down to the deuterium-burning limit, a fiducial boundary between brown dwarf and planetary mass objects, using a new and innovative method for the spectral classification of late-type objects. Using photometric indices, constructed from HST/NICMOS narrow-band imaging, that measure the strength of the 1.9 micron water band, we determine the spectral type and reddening for every M-type star in the field, thereby separating cluster members from the interloper population. Due to the efficiency of our spectral classification technique, our study is complete from approx 0.7 Msun to 0.015 Msun. The mass function derived for the cluster in this interval, dN/dlogM \propto M^{0.5}, is similar to that obtained for the Pleiades, but appears significantly more abundant in brown dwarfs than the mass function for companions to nearby sun-like stars. This provides compelling observational evidence for different formation and evolutionary histories for substellar objects formed in isolation vs. as companions. Because our determination of the IMF is complete to very low masses, we can place interesting constraints on the role of physical processes such as fragmentation in the star and planet formation process and the fraction of dark matter in the Galactic halo that resides in substellar objects.Comment: 37 pages, 16 figs, 6 tables (Table 4 is a separate LaTeX file) Accepted for publication in Astrophysical Journal (Oct 1, 2000 issue

Measurement of the Surface Gravity of η\eta Boo

Direct angular size measurements of the G0IV subgiant $\eta$ Boo from the Palomar Testbed Interferometer are presented, with limb-darkened angular size of $\theta_{LD}= 2.1894^{+0.0055}_{-0.0140}$ mas, which indicate a linear radius of $R=2.672 \pm 0.028 R_\odot$. A bolometric flux estimate of $F_{BOL} = 22.1 \pm 0.28\times 10^{-7}$ erg cm$^{-2}$s$^{-1}$ is computed, which indicates an effective temperature of $T_{EFF}=6100 \pm 28$ K and luminosity of $L = 8.89 \pm 0.16 L_\odot$ for this object. Similar data are established for a check star, HD 121860. The $\eta$ Boo results are compared to, and confirm, similar parameters established by the {\it MOST} asteroseismology satellite. In conjunction with the mass estimate from the {\it MOST} investigation, a surface gravity of $\log g=3.817 \pm 0.016$ [cm s$^{-2}$] is established for $\eta$ Boo.Comment: To appear in March 1, 2007 ApJ v657 n

How Dry is the Brown Dwarf Desert?: Quantifying the Relative Number of Planets, Brown Dwarfs and Stellar Companions around Nearby Sun-like Stars

Sun-like stars have stellar, brown dwarf and planetary companions. To help constrain their formation and migration scenarios, we analyse the close companions (orbital period < 5 years) of nearby Sun-like stars. By using the same sample to extract the relative numbers of stellar, brown dwarf and planetary companions, we verify the existence of a very dry brown dwarf desert and describe it quantitatively. With decreasing mass, the companion mass function drops by almost two orders of magnitude from 1 M_Sun stellar companions to the brown dwarf desert and then rises by more than an order of magnitude from brown dwarfs to Jupiter-mass planets. The slopes of the planetary and stellar companion mass functions are of opposite sign and are incompatible at the 3 sigma level, thus yielding a brown dwarf desert. The minimum number of companions per unit interval in log mass (the driest part of the desert) is at M = 31^{+25}_{-18} M_Jup. Approximately 16% of Sun-like stars have close (P < 5 years) companions more massive than Jupiter: 11% +- 3% are stellar, <1% are brown dwarf and 5% +- 2% are giant planets. The steep decline in the number of companions in the brown dwarf regime, compared to the initial mass function of individual stars and free-floating brown dwarfs, suggests either a different spectrum of gravitational fragmentation in the formation environment or post-formation migratory processes disinclined to leave brown dwarfs in close orbits.Comment: Conforms to version accepted by ApJ. 13 pages formatted with emulateapj.cl

A planet-sized transiting star around OGLE-TR-122 - Accurate mass and radius near the Hydrogen-burning limit

We report the discovery and characterisation of OGLE-TR-122b, the smallest main-sequence star to date with a direct radius determination. OGLE-TR-122b transits around its solar-type primary every 7.3-days. With M=0.092+-0.009 Mo and R=0.120 +0.024-0.013 Ro, it is by far the smallest known eclipsing M-dwarf. The derived mass and radius for OGLE-TR-122b are in agreement with the theoretical expectations. OGLE-TR-122b is the first observational evidence that stars can indeed have radii comparable or even smaller than giant planets. In such cases, the photometric signal is exactly that of a transiting planet and the true nature of the companion can only be determined with high-resolution spectroscopy.Comment: 4 pages, 3 figures, A&A letters, in Press. Revise

Masses of the components of SB2 binaries observed with Gaia. II. Masses derived from PIONIER interferometric observations for Gaia validation

In anticipation of the Gaia astrometric mission, a sample of spectroscopic binaries is being observed since 2010 with the Sophie spectrograph at the Haute--Provence Observatory. Our aim is to derive the orbital elements of double-lined spectroscopic binaries (SB2s) with an accuracy sufficient to finally obtain the masses of the components with relative errors as small as 1 % when combined with Gaia astrometric measurements. In order to validate the masses derived from Gaia, interferometric observations are obtained for three SB2s in our sample with F-K components: HIP 14157, HIP 20601 and HIP 117186. The masses of the six stellar components are derived. Due to its edge-on orientation, HIP 14157 is probably an eclipsing binary. We note that almost all the derived masses are a few percent larger than the expectations from the standard spectral-type-mass calibration and mass-luminosity relation. Our calculation also leads to accurate parallaxes for the three binaries, and the Hipparcos parallaxes are confirmed.Comment: 10 pages, 3 figures, accepted by MNRA