Stage - Développement d'un générateur automatique d'applications PsyC F/H

Description de l'offre

Stage - Développement d'un générateur automatique d'applications PsyC F/H

Job field : Software

Location : Massy , Ile de France , France

Contract type : Internship / Student

Contract duration : Full-time

Required degree : Master Degree

Required experience : First experience

Spoken language(s) :

English Fluent

# 2024-149147

Apply with one click Any questions ?

Job Description

Asterios Technologies développe et commercialise une chaîne d'outils appelée ASTERIOS permettant le développement et l'intégration d'applications temps réel critiques, en utilisant notamment un langage de définition d'architecture temporelle : le PsyC.

Cette chaîne d'outils inclut ASTERIOS Checker, un outil qualifié (TQL-5), qui permet la certification des applications PsyC conçues avec la chaîne de compilation d'ASTERIOS.

L'équipe en charge du développement et de l'évolution de cet outil a également développé un prototype de génération d'application PsyC. Cependant, de nombreuses possibilités du langage ne sont pas prises en compte.

L'objectif principal du stage est d'arriver à une génération qui couvre l'ensemble de la grammaire du langage, soit en améliorant le prototype existant, soit en proposant une nouvelle solution basée sur d'autres principes d'implémentation.

Vos missions seront les suivantes :

· 
Étudier le besoin, comprendre les problématiques du sujet, et réaliser un état de l'art sur l'évolution du domaine des outils de génération de code.

· 
Se familiariser avec le prototype existant et le langage OCaml. Possibilité de spécifier, architecturer, et développer un nouveau prototype en partant sur des choix techniques différents, ou des améliorations pour l'existant qui répondent aux besoins.

· 
Mettre en place une alimentation automatisée de la machine d'intégration continue d'ASTERIOS Checker par des applications de tests générées.

Les objectifs du stage sont les suivants :

· 
Génération d'applications respectueuse de leurs contraintes temporelles (qui soient ordonnançables),

· 
Génération d'applications qui couvrent l'ensemble du domaine d'usage et de la grammaire du PsyC,

· 
Découverte d'ambiguïté ou d'erreur dans la grammaire ou la définition du PsyC, et détection d'éventuelles défaillances d'ASTERIOS Checker.

Complementary Description

Asterios Technologies est un fournisseur de solutions logicielles complètes pour le développement de systèmes temps-réel critiques complexes, qui développe et commercialise une solution innovante, à la pointe de la technologie, offrant :

· 
Des méthodes et outils de conception pour la mise au point des applications temps-réel critiques à forte contrainte de sûreté de fonctionnement ;

· 
Une plateforme d'exécution temps-réel incluant un micro-noyau sur cible matérielle multi-cœurs.

Basée à Massy (91), Asterios Technologies est présent principalement dans les secteurs de l'aérospatial, la défense, et l'automobile ; et cherche également à s'étendre dans les secteurs ferroviaire, nucléaire et médical.

Créée en 2011, et filiale à 100% de Safran Electronics & Defense depuis juin 2023, Asterios Technologies est une entreprise à taille humaine, évoluant dans un environnement de type start-up avec une agilité qui lui est propre, tout en bénéficiant du rayonnement de Safran.

Dans ce contexte, Asterios Technologies offre la possibilité de s'épanouir au sein d'une équipe R&D autonome et créative, où les méthodes de travail y sont basées sur la collaboration inter-équipes, et où l'ambiance de travail y est dynamique et sympathique. Asterios Technologies offre également des perspectives d'évolutions professionnelles.

Job Requirements

En fin de cursus Bac+5, spécialité développement logiciel ou équivalente, vous présentez les compétences suivantes :

· 
Bonnes connaissances des outils de développement logiciel (e.g. Git), et connaissance d'un ou plusieurs langages de programmation (Python serait un plus).

· 
Des connaissances de bases sur les bonnes pratiques de tests et les outils d'intégration continue (e.g. Jenkins) serait un plus.

· 
Sens de la communication, goût pour le travail en équipe, motivé-e, et rigoureux-se.

· 
Autonomie et prise d'initiative.

Specificity of the job

La compréhension de l'anglais technique est requise pour ce stage.

Locate your future workplace

16 avenue Carnot91300

Massy

Ile de France France

Safran is an Equal Opportunity Employer

All qualified applicants will receive consideration for employment without regard to race, color, sex, sexual orientation, gender identity, religion, national origin, disability, veteran status, or other legally protected status.