Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing

International audienceIn the context of maintenance testing and diagnosis of faulty boards, a functional FSM (Finite State Machine)- based model for mixed-signal boards has been introduced in a precedent paper. It has been extended for dealing with time sequences aspects. In this paper, the new modeling technique is presented

Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing: A Case Study

In the context of maintenance testing and diagnosis of faulty boards, a functional FSM (Finite State Machine)- based model for mixed-signal boards has been introduced in a precedent paper. It has been extended for dealing with time sequences aspects. In this paper, the new modeling technique is presented

Towards a New Modelling of Mixed-Signal Boards For Maintenance Testing

International audienceWe are introducing a new method for the test of mixed signal boards. The emphasis is on the functional modelling and test vectors generation. A prototype implementation of the method has been used and validated in an industrial case study

Maintenance Testing of Mixed-Signal Boards

In the context of maintenance and diagnosis of faulty boards, we introduce a functional FSM-based model for mixed-signal circuits. We target effi cient test sequences generation for ATE based on a high-level, functional modeling of components assemblies. The approach is flexible, allows to handle digital as well as analog and mixed-signal components in a similar way. A primary prototype has been developped, and two industrial cases partially processed

Maintenance Testing of Mixed-Signal Boards: the FCB case study

We present an ongoing work in the domain of mixed-signal board maintenance testing, supported by an industrial case study. We propose a method providing a semi-automation and an help for the board maintenance testing and diagnosis stages. It is validated by the implementation of a prototype tool

Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures

Real-time critical systems have to comply with stringent timing constraints, otherwise, disastrous consequences can occur at runtime. A large effort has been made to propose models and tools to verify timing constraints by schedulability analysis at the early stages of system designs. Fewer efforts have been made on verifying the security properties in these systems despite the fact that sinister consequences can also happen if these properties are compromised. In this article, we investigate how to jointly verify security and timing constraints. We show how to model a security architecture (MILS) and how to verify both timing constraints and security properties. Schedulability is investigated by the mean of scheduling analysis methods implemented into the Cheddar scheduling analyzer. Experiments are conducted to show the impact that improving security has on the schedulability analysis

New detection criteria and shunting monitoring in railway track circuit receivers

IWSHM-RS 2018, 2nd International Workshop on Structural Health Monitoring for Railway Systems, Qingdao, CHINE, 17-/10/2018 - 19/10/2018Track circuits play a major role in railway signaling. In some exceptional conditions, poor rail/wheel contact conditions may lead to a non-detection of the train on the zone. A presentation of the principle of detection by track circuits is proposed to introduce the existing detection criterion. The aim of the paper is first to present new detection approaches based on signal processing on an experiment with a dedicated train running on a track equipped with a track circuit. The second objective is to present a strategy to test new detection criteria on commercial zones over a long period of time (a few months) with the help of the PEGASE acquisition board. PEGASE has been developed by IFSTTAR and the presented work is the result of SNCF/IFSTTAR collaboration

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

Philippe d’Orléans, la cour et les lettres (1713-1723)

Contrairement à une idée bien établie, la Régence ne procéda à la suppression ni de l’absolutisme ni de sa politique culturelle. Philippe d’Orléans traita la crise du premier, héritage mortifère du pouvoir louisquatorzien, notamment par la réforme de la seconde. Celle-ci répondit aux exigences nouvelles de la société parisienne, surtout à la diffusion des pouvoirs et de la cour dans la ville. Des formes inédites de participation et d’expression des élites surgirent alors, ainsi avec la polysynodie ou le bal de l’Opéra, voire avec la naissance de l’opinion publique. L’ouverture du pouvoir fut aussi manifeste dans le domaine culturel, avec la promotion des « cours princières », la rénovation de la Librairie royale, l’investissement des premiers salons des Lumières et de véritables politiques des lettres et des sciences. Mais le tout se fit souvent au profit de la monarchie, participant ainsi du renforcement de l’absolutisme