Informations générales
Entité de rattachement
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
Référence
2024-31239
Description de l'unité
Le CEA est le Commissariat à l'énergie atomique et aux énergies alternatives. Leader français en recherche, développement et innovation, le CEA concentre ses programmes sur le développement de technologies innovantes pour systèmes complexes et intelligents dans différents domaines: énergies à faibles émissions de carbone, défense et sécurité, technologies de l'information et technologies de la santé.
Le Laboratoire pour la conception de Systèmes Embarqués et Autonomes (LSEA), au sein du CEA, mène des activités interdisciplinaires sur les systèmes physiques sûrs, fiables et dignes de confiance, en collaboration avec des partenaires industriels, gouvernementaux ou internationaux. Le laboratoire recherche des candidats très motivés qui souhaitent évoluer dans le domaine de la fiabilité et de l'ingénierie dirigée par les modèles (MDE) en étroite collaboration avec nos partenaires académiques et industriels.
Description du poste
Domaine
Mathématiques, information scientifique, logiciel
Contrat
Stage
Intitulé de l'offre
Developping an IDE for writing pattern-based and formal requirements H/F
Sujet de stage
The objective of this project is to develop an interactive editor and associated library for writing safety requirements. This requires study of (1) existing requirement patterns and related work, (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262. Then the safety-related concepts should be mapped to the proposed requirement patterns to constitute a library. The editor should refer to a pre-defined library of safety requirement patterns and enable interactive specification of new safety requirements. The editor should be integrated to Sophia, a safety modeling and analysis environment based on Eclipse Papyrus modelling framework.
Durée du contrat (en mois)
6
Description de l'offre
Objective
The objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262 [2]. Then the safety-related concepts should be mapped to the proposed requirement patterns to constitute a library. The editor should refer to a pre-defined library of safety requirement patterns and enable interactive specification of new safety requirements. The editor should be integrated to Sophia [3], a safety modeling and analysis environment based on Papyrus [4].
Expected Results
The candidate will help:
- Define a library of safety requirement patterns:
o (1) select the keywords/concepts from the syntax of requirements patterns to be specialized for safety,
o (2) specialize selected requirement keywords for automotive context using the vocabulary of ISO26262 (part 1),
o (3) link requirement concepts with Sophia safety metamodel/profile.
- Develop an interactive editor for creating [different levels of] safety requirements according to pre-defined library of safety requirement patterns.
- Develop support to translate the defined safety requirements in formal specification like STL, CTL, LTL formula at lower level of requirements definition
- Validate the work by interpreting an Autonomous system safety requirements written in natural language according to the defined safety requirement patterns and show a traceability of safety information.
References
[1] Alistair Mavin et al., « EARS (Easy Approach to Requirements Syntax) », RE09, August, 2009.
[2] https://www.iso.org/standard/43464.html
[3] Nataliya Yakymets, Matthieu Perin, Agnes Lanusse, “Methodology and Framework for Model-Driven Multi-Level Safety Analysis of Critical Systems”, Proc. of the 9th Annual IEEE International Systems Conference (SysCon), Vancouver, Canada, 2015, pp. 570 – 577.
[4] Papyrus Modelling environment, https://www.eclipse.org/papyrus/
Moyens / Méthodes / Logiciels
Eclipse, Papyrus, Sophia, Formal grammar
Profil du candidat
The ideal candidate will meet the following requirements:
Technical skills: Modeling, Java programming, Python, Logic modelling,
Soft skills: English writing and speaking, Autonomy, rigour, organisation
Desired formation: Engineer / Master
Localisation du poste
Site
Saclay
Localisation du poste
France, Ile-de-France, Essonne (91)
Ville
Palaiseau
Critères candidat
Langues
- Français (Courant)
- Anglais (Courant)
Diplôme préparé
Bac+5 - Diplôme École d'ingénieurs
Formation recommandée
Informatique
Possibilité de poursuite en thèse
Oui
Demandeur
Disponibilité du poste
01/07/2024
Je me crée un espace candidat
