Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL

International audienceThe Architecture Analysis & Design Language, (AADL), Society of Automotive Engineers (SAE), AS5506, was developed to support quantitative analysis of the runtime architecture of the embedded software system in computer systems with multiple critical operational properties, such as responsiveness, safety-criticality, security, and reliability by allowing a model of the system to be annotated with information relevant to each of these quality concerns and AADL to be extended with analysis-specific properties. It supports modelling of the embedded software runtime architecture, the computer system hardware, and the interface to the physical environment of embedded computer systems and system of systems. It was designed to support a full Model Based Engineering lifecycle including system specification, analysis, system tuning, integration, and upgrade by supporting modelling and analysis at multiple levels of fidelity. A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components

A versatile standard for bathochromic fluorescence based on intramolecular FRET.

A perylene and a terrylene tetracarboxylic bisimide dyad was prepared in which an efficient energy transfer from the former to the latter is observed. The absorption spectrum of this compound covers a broad range. Bathochromic fluorescence with a high quantum yield was obtained independent of excitation wavelengths (λ < 655 nm). The dyad can be recommended for the use of calibrating fluorescence spectrometers, as well as a fluorescence standard in the bathochromic region

Cyber-physical systems design: transition from functional to architectural models

Normally, the design process of Cyber-Physical Systems (CPSs) starts with the creation of functional models that are used for simulation purposes. However, most of the time such models are not directly reused for the design of the architecture of the target CPS. As a consequence, more efforts than strictly necessary are spent during the CPS architecture design phase. This paper presents an approach called Assisted Transformation of Models (AST), which aims at transforming functional (simulation) models designed in the Simulink environment into architectural models represented in the Architecture Analysis and Design Language. Using AST, designers can perform a smooth transition between these two design phases, with an additional advantage of assuring the coupling between functional and architectural models. The use and benefits of AST are exemplified in the paper in a study devoted to for the design of a typical CPS: an Unmanned Aerial Vehicle.CAPE

Survey of Planetary Nebulae at 30 GHz with OCRA-p

We report the results of a survey of 442 planetary nebulae at 30 GHz. The purpose of the survey is to develop a list of planetary nebulae as calibration sources which could be used for high frequency calibration in future. For 41 PNe with sufficient data, we test the emission mechanisms in order to evaluate whether or not spinning dust plays an important role in their spectra at 30 GHz. The 30-GHz data were obtained with a twin-beam differencing radiometer, OCRA-p, which is in operation on the Torun 32-m telescope. Sources were scanned both in right ascension and declination. We estimated flux densities at 30 GHz using a free-free emission model and compared it with our data. The primary result is a catalogue containing the flux densities of 93 planetary nebulae at 30 GHz. Sources with sufficient data were compared with a spectral model of free-free emission. The model shows that free-free emission can generally explain the observed flux densities at 30 GHz thus no other emission mechanism is needed to account for the high frequency spectra.Comment: 10 pages, 7 Postscript figures, to be published in A&

Double radio peak and non-thermal collimated ejecta in RS Ophiuchi following the 2006 outburst

We report Multi-Element Radio-Linked Interferometer Network, Very Large Array, One-Centimetre Radio Array, Very Long Baseline Array (VLBA), Effelsberg and Giant Metrewave Radio Telescope observations beginning 4.5 days after the discovery of RS Ophiuchi undergoing its 2006 recurrent nova outburst. Observations over the first 9 weeks are included, enabling us to follow spectral development throughout the three phases of the remnant development. We see dramatic brightening on days 4 to 7 at 6 GHz and an accompanying increase in other bands, particularly 1.46 GHz, consistent with transition from the initial ‘free expansion’ phase to the adiabatic expansion phase. This is complete by day 13 when the flux density at 5 GHz is apparently declining from an unexpectedly early maximum (compared with expectations from observations of the 1985 outburst). The flux density recovered to a second peak by approximately day 40, consistent with behaviour observed in 1985. At all times the spectral index is consistent with mixed non-thermal and thermal emission. The spectral indices are consistent with a non-thermal component at lower frequencies on all dates, and the spectral index changes show that the two components are clearly variable. The estimated extent of the emission at 22 GHz on day 59 is consistent with the extended east and west features seen at 1.7 GHz with the VLBA on day 63 being entirely non-thermal. We suggest a two-component model, consisting of a decelerating shell seen in mixed thermal and non-thermal emission plus faster bipolar ejecta generating the non-thermal emission, as seen in contemporaneous VLBA observations. Our estimated ejecta mass of 4 ± 2 × 10−7 M⊙ is consistent with a white dwarf (WD) mass of 1.4 M⊙. It may be that this ejecta mass estimate is a lower limit, in which case a lower WD mass would be consistent with the data

RoboPol: First season rotations of optical polarization plane in blazars

We present first results on polarization swings in optical emission of blazars obtained by RoboPol, a monitoring program of an unbiased sample of gamma-ray bright blazars specially designed for effective detection of such events. A possible connection of polarization swing events with periods of high activity in gamma rays is investigated using the dataset obtained during the first season of operation. It was found that the brightest gamma-ray flares tend to be located closer in time to rotation events, which may be an indication of two separate mechanisms responsible for the rotations. Blazars with detected rotations have significantly larger amplitude and faster variations of polarization angle in optical than blazars without rotations. Our simulations show that the full set of observed rotations is not a likely outcome (probability $\le 1.5 \times 10^{-2}$) of a random walk of the polarization vector simulated by a multicell model. Furthermore, it is highly unlikely ($\sim 5 \times 10^{-5}$) that none of our rotations is physically connected with an increase in gamma-ray activity.Comment: 16 pages, 9 figure

Reconstructing the infrared spectrum of a peptide from representative conformers of the full canonical ensemble

Leucine enkephalin (LeuEnk), a biologically active endogenous opioid pentapeptide, has been under intense investigation because it is small enough to allow efficient use of sophisticated computational methods and large enough to provide insights into low-lying minima of its conformational space. Here, we reproduce and interpret experimental infrared (IR) spectra of this model peptide in gas phase using a combination of replica-exchange molecular dynamics simulations, machine learning, and ab initio calculations. In particular, we evaluate the possibility of averaging representative structural contributions to obtain an accurate computed spectrum that accounts for the corresponding canonical ensemble of the real experimental situation. Representative conformers are identified by partitioning the conformational phase space into subensembles of similar conformers. The IR contribution of each representative conformer is calculated from ab initio and weighted according to the population of each cluster. Convergence of the averaged IR signal is rationalized by merging contributions in a hierarchical clustering and the comparison to IR multiple photon dissociation experiments. The improvements achieved by decomposing clusters containing similar conformations into even smaller subensembles is strong evidence that a thorough assessment of the conformational landscape and the associated hydrogen bonding is a prerequisite for deciphering important fingerprints in experimental spectroscopic data.</p

CORDATA: an open data management web application to select corrosion inhibitors

The large amount of corrosion inhibition efficiencies in literature, calls for a more efficient way to organize, access and compare this information. The CORDATA open data management application (https://datacor.shinyapps.io/cordata/) can help select appropriate corrosion inhibitors for application specific challenges.publishe