Developping an IDE for writing pattern-based and formal requirements H/F

Job description: 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/

Institute description: 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.

Your profile: 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

Level of qualification studied: Bac+5 - Diplôme École d'ingénieurs

Languages: French Fluent,English Fluent