• EN
  • FR
Site carrière CEA : toutes nos offres d'emploi
CEA

Suivez nous

  •  

  • Accueil
  • Déposer une candidature spontanée
  • Ma recherche, mon alerte
  • Offres CDI/CDD ouvertes aux alternants CEA
  • Consulter nos sujets de Thèses
  • Un souci ? Contactez-nous
 

Connexion Espace candidat

J'ai déjà un espace candidat

Connexion à l'espace candidat




Mot de passe perdu

S'inscrire Je me crée un espace candidat

Vous n'avez pas encore votre propre espace candidat. Créez-le en cliquant ici.
Un souci ? Contactez-nous à
admin-poem@cea.fr

 

Vous êtes ici :  Accueil  ›  Liste des offres  ›  Détail de l'offre

Ma sélection : 0 offre(s)
Site carrière CEA : toutes nos offres d'emploi
CEA

Suivez nous

  •  

Menu Site carrière CEA

  • Accueil
  • Déposer une candidature spontanée
  • Ma recherche, mon alerte
  • Offres CDI/CDD ouvertes aux alternants CEA
  • Consulter nos sujets de Thèses
  • Un souci ? Contactez-nous
Pause
Lecture
Moteur de recherche d'offres d'emploi CEA
Voir toutes les offres
Flux RSS et autres flux
Information

A library for designing monitoring architectures dedicated to distributed systems H/F

  • Envoyer cette offre à un ami
  • Imprimer cette offre (nouvelle fenêtre)
  •  


Vacancy details

General information

CEA (logo)

Organisation

The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
• defence and security,
• nuclear energy (fission and fusion),
• technological research for industry,
• fundamental research in the physical sciences and life sciences.

Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.

The CEA is established in ten centers spread throughout France
  

Reference

2023-28269  

Position description

Category

Mathematics, information, scientific, software

Contract

Fixed-term contract

Job title

A library for designing monitoring architectures dedicated to distributed systems H/F

Socio-professional category

Executive

Contract duration (months)

36

Job description

Runtime Verification (RV) is at the crossroads of formal verification and monitoring. It consists in analyzing system executions, as observed by means of a monitoring architecture, in order to verify their conformity to a formal reference model, characterizing the set of acceptable behaviors of the system. When dealing with distributed systems, the ability of an RV technique to analyze the communication flows between the subsystems is a central element, since distributed systems are composed of subsystems deployed on different machines and interacting by message passing to perform services. This ability relies first on the expressivity of the language used to specify the formal reference models. It is essentially a question of being able to model asynchronous communications between concurrent processes. This is possible in a wide variety of formalisms, including formalisms derived from Message Sequence Charts (MSC) and UML sequence diagrams (UML-SD). We refer to such models as "interactions".

CEA LIST is developing the MAAT IAT (Interaction Analysis Tool) to analyze distributed system executions and confront them with interactions.  When the system is running, execution traces are logged on each of the subsystems.  The traces of all the subsystems are gathered in a trace tuple, which is then analyzed by an RV algorithm. The principles of this approach are detailed in several publications [1,2].

There are two types of RV approaches: offline and online approaches. In offline approaches, the observed executions are collected a priori during a logging phase, while in online approaches, the verification process continuously interacts with the monitoring architecture. 

* Your mission:

The preciseness of the information computed by an RV algorithm depends on how precise the observations of the system executions are. When dealing with online runtime verification such observations are realized via a so-called monitoring architecture. The monitoring architecture should be reliable, that is avoid losing information, and rapid enough to allow the RV algorithm to perform its analysis as soon as possible, trying to cope with the frequency of observations imposed by the system execution. One of the practical limitations of online RV is that, for economic reasons, it is often not possible to design and implement a complete monitoring architecture from scratch, for each new system to be verified. It is therefore desirable to design a generic library of monitoring functionalities that can be used for that purpose. You will contribute to the design and implementation of such a library for the MAAT IAT tool.

 

[1] Mahe, E., Gaston, C., Le Gall, P.: Revisiting semantics of interactions for trace validity analysis. FASE 2020. Springer.

[2] Mahe, E., Bannour, B., Gaston, C., Lapitre, A., Le Gall, P.: A small-step approach to multi-trace checking against interactions. SAC 2021. ACM.

Applicant Profile

You have a PhD in computer science in the field of formal methods, ideally, with knowledge in Runtime Verification or Model-Based Testing. You also have an interest in software engineering and on applying formal methods on concrete use cases to evaluate their scaling. You enjoy developing software tools and have programming experience (experience in C++ or Rust would be a plus).

Position location

Site

Saclay

Job location

France

Location

Saclay

Candidate criteria

Languages

English (Fluent)

Recommended training

PhD formal methods

Requester

Position start date

01/10/2023


Autres offres

Ces offres pourraient vous intéresser

Technicien microélectronique chimie matériaux - CDD 2x9 mois - Grenoble H/F

Ajouter cette offre à ma sélection : Technicien microélectronique chimie matériaux - CDD 2x9 mois - Grenoble H/F (2023-28941)
  • Réf. : 2023-28941
  • CDD
  • Isère (38)
  • Grenoble

Ingénieur de Recherche en Cybersécurité Réseau & IA F/H

Ajouter cette offre à ma sélection : Ingénieur de Recherche en Cybersécurité Réseau & IA F/H (2023-28236)
  • Réf. : 2023-28236
  • CDD
  • Essonne (91)
  • Palaiseau (Nano-Innov)

Stage - Bac+5 - Etude de la durabilité chimique de matériaux céramiques en milieu sel fondu - H/F

Ajouter cette offre à ma sélection : Stage - Bac+5 - Etude de la durabilité chimique de matériaux céramiques en milieu sel fondu - H/F (2023-28163-S1189)
  • Réf. : 2023-28163-S1189
  • Stage
  • Cote d'Or (21)
  • SALIVES
  • Mentions légales
  • Cookies
  • Paramétrer vos cookies
  • Accessibilité : partiellement conforme
  • Plan du site
Aller en haut