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

Mathématiques, information  scientifique, logiciel

Stage

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

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.

6

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/

Eclipse, Papyrus, Sophia, Formal grammar

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