Modeling and verification of memory architectures with AADL and REAL

Real-Time Embedded systems must respect a wide range of non-functional properties, including safety, respect of deadlines, power or memory consumption. We note that correct hardware resource dimensioning requires taking into account the impact of the whole software, both the user code and the underlying runtime environment. AADL allows one to precisely capture all of them. In this article, we evaluate the AADL modeling to define memory architectures, and then verification rules to assess that the memory is correctly dimensioned. We use the REAL domain-specific language to express memory requirements (such as layout or size) and then validate them on a case-study using the VxWorks real-time kernel

Teaching Real-Time Scheduling Analysis with Cheddar

National audienceThis article is a presentation of the Cheddar toolset.Cheddar is a GPL open-source scheduling analysis tool.It has been designed and distributed to allow students to understand the main concepts of the real-time scheduling theory.The tool is built around a simplified ADL (Architecture Description Language)devoted to real-time scheduling theory. Students can directly build their real-time systems models with this ADL andits associated editor, however, it is expected that they use modeling tools to illustrate how scheduling analysis fits in an engineering process.In this article, we introduce the Cheddar ADL and the scheduling analysis features of Cheddar. We alsopresent how Cheddar is implemented and how it can be adapted to specific requirements.Two examples of use of Cheddar are then described.Finally, in the annex of this article, teachers may find a sample of hand-outs that may be used to illustrate real-time scheduling theory with their students

Timing analysis of TASTE models for reconfigurable software

International audienc

About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL

International audienc

JEM-X: The X-ray monitor aboard INTEGRAL

The JEM–X monitor provides X-ray spectra and imaging with arcminute angular resolution in the 3 to 35 keV band. The good angular resolution and the low energy response of JEM–X plays an important role in the identification of gamma ray sources and in the analysis and scientific interpretation of the combined X-ray and gamma ray data. JEM–X is a coded aperture instrument consisting of two identical, coaligned telescopes. Each of the detectors has a sensitive area of 500 cm2, and views the sky through its own coded aperture mask. The two coded masks are inverted with respect to each other and provides an angular resolution of 3' across an effective field of view of about 10° diameter