Running real time distributed simulations under Linux and CERTI

This paper presents some experiments and some results to enforce real time distributed simulations in accordance with the High Level Architecture (HLA). Simulations were run by using CERTI, an open source middleware, as the Run Time Infrastructure (RTI). Models were distributed over computers under various available versions of the 2.6 Linux kernel. Studies and experiments relied on a real case study. The chosen case study was the simulation of an "in formation" flight of observation satellites. This case study brings up some real applicative needs in real time distributed simulations and real configurations of simulators and models. Two simulations of "in formation" flight of satellites were studied. The study consisted in modeling the behaviour of the simulators and in running these models by using various kernel or middleware operating mechanisms and services. Time measurements were performed at each test giving some results on the ability of the simulation to meet its real time requirements

PERFOSIM: a performance evaluation tool for HLA distributed simulations

With distributed simulation, existing simulations, even from different disciplines, can be reused or made to interoperate. The efficiency of this technique is however not firmly established and it depends on the ability to satisfy a number of requirements, especially concerning simulation performance. The performance depends to a large extent on the structure and scaling of architectural components of the simulation execution platform. In this paper, we present an approach to address this problem: the design of models to capture the main characteristics of distributed simulations, run-time infrastructures and network architectures, and the development of a tool to predict performances. This tool, which is a simulator of HLA simulations is written by using HLA, and is evaluated on three test applications

Formal development process of safety critical embedded human machine interface systems

International audienceThis paper presents a formal development process for safety-critical embedded Human-Machine Interface (HMI) systems. This formal approach is centered on the LIDL formal language and the S3 verification toolset. It is aimed at blurring the boundaries between modeling, design, verification and implementation for the development of HMI. From textual requirements to safety-critical embedded software, the development process integrates the following formal activities: modeling the behavioral aspect of user interfaces (UIs) using the LIDL language; translating LIDL to Lustre, with which we combine the functional library in Lustre; translating the Lustre design models into the HLL verification models; verifying formal properties expressed in HLL against the HLL model using the S3 toolset, and diagnosing design errors with the help of counterexample scenarios and debug tools. This formal development process is illustrated on a simple use case of part of the display component of an alert management system embedded in a three-wheeled robot