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
Similar Positions
-
Evaluation Et Analyse Du Mecanisme D'action D'inhibiteurs D'oxysterol Binding Protein (Osbp) Pour Le Traitement Des Leishmanioses // Evaluation And Analysis Of The Mechanism Of Action Of Inhibitors Of Oxysterol Binding Protein (Osbp) For The Treatment Of , Université Paris-Saclay GS Santé et médicaments, France, 23 days ago
4 Apr 2024 Job Information Organisation/Company Université Paris-Saclay GS Santé et médicaments Research Field Biological sciences » Biology Medical sciences Researcher Profile Recognised Research...
-
Impact De La Pollution Atmosphérique Sur La Résolution De L'inflammation Dans La Mucoviscidose // Air Pollution Impact On The Resolution Of Inflammation In Cystic Fibrosis Airway Disease, Université Paris-Est Créteil Val de Marne, France, 23 days ago
4 Apr 2024 Job Information Organisation/Company Université Paris-Est Créteil Val de Marne Research Field Medical sciences Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) Firs...
-
Head Of The Histopathology And Imaging Laboratory , Nature Careers, France, 19 days ago
GENETHON recruits: Head of the histopathology and imaging laboratory (H/F) Under the direction of the Head of the Preclinical and Translational Evaluation Department, you lead the realization of s...
-
Assistant/Associate Professor In Digital Transformation/ Management Of Information Systems Permanent Contract, IMT-BS, France, 3 days ago
24 Apr 2024 Job Information Organisation/Company IMT-BS Department TIM Research Field All Researcher Profile First Stage Researcher (R1) Country France Application Deadline 22 May 2024 - 00:00 (Eu...
-
Assistant/Associate Full Time Professor In Natural Language Processing Temporary Contract 36 Months, TSP - Telecom SudParis, France, 11 days ago
16 Apr 2024 Job Information Organisation/Company TSP - Telecom SudParis Department Inf department Research Field Computer science Researcher Profile First Stage Researcher (R1) Country France Appl...
-
Aeroelastic Reduced Order Model For Real Time Data Assimilation., ONERA, France, 17 days ago
10 Apr 2024 Job Information Organisation/Company ONERA Research Field Engineering Mathematics Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage Researcher (R1) Esta...