Stage : génération automatique de rapports de vérification de performance - Thales Research & Technology (H/F)

Description de l'offre

QUI SOMMES-NOUS ?

Rejoignez Thales, leader mondial des technologies de sûreté et de sécurité pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité . Fort de 62 000 collaborateurs dans 56 pays , le Groupe bénéficie d'une implantation internationale qui lui permet d'agir au plus près de ses clients, partout dans le monde .

Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, le site de Palaiseau est le centre de recherche du Groupe.

Grâce aux nombreux partenariats avec le monde académique et un réseau international d'entreprises innovantes, nos équipes de recherche développent des technologies de rupture au service des unités opérationnelles du Groupe.

Le stage s'exécutera au sein du Laboratoire Systèmes embarqués critiques (LSEC).

Nous recherchons un/une stagiaire sur le sujet de la «génération automatique de rapports de vérification de performance», basé(e) à Palaiseau.


QUI ETES-VOUS ?



Vous préparez un bac +5 à l'université ou en école d'ingénieur, avec une spécialité dans le domaine du logiciel, du temps réel, et/ou des mathématiques et vous avez des connaissances solides en Java, C++ et/ou Python.

Des connaissances en Eclipse/EMF, JavaDoc, Acceleo, HTML seraient un plus significatif.

De plus, vous êtes à l'aise en anglais.

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :



THALES conçoit et développe des systèmes temps-réel de plus en complexe et critique. En conséquence, les ingénieurs doivent faire face à des difficultés grandissantes lors de leurs conceptions pour identifier l'architecture logicielle la plus adaptée et adéquate pour chaque système.

Aujourd'hui, des outils d'évaluation d'architecture logicielle temps-réel existent et permettent de donner des retours assez fins aux ingénieurs sur les choix de leur architecture ; ils peuvent donc corriger leurs architectures en conséquence. Un moyen de s'assurer que l'architecture choisie respecte les performances désirées est l'utilisation de techniques de vérifications temporelles. Ces vérifications génèrent de nombreuses données souvent hétérogènes et non ordonnées.

L'objectif de ce stage est de concevoir un outil de génération automatique de rapports de vérifications temporelles depuis un outil de conception de systèmes temps-réel existant en vue de documenter les performances du système en conception. En particulier, nous nous intéresserons aux résultats liés aux temps de latence minimale et maximale, aux taux d'utilisation des ressources, et une compréhension des scénarios aux pires cas, etc…

Dans ce contexte, nous allons nous intéresser à concevoir et à développer cette solution en interconnectant les outils de conception basés sur Eclipse/EMF et les outils de vérifications temporelles.

EN NOUS REJOIGNANT, VOUS VOUS VERREZ CONFIER LES MISSIONS SUIVANTES :

· Prise en main d'un outil de génération de documents/rapports
· Identification et proposition d'un outil
· Spécification et conception de la solution logicielle
· Développement et mise au point de cette solution
· Expérimentation de la solution sur la base d'un cas d'étude THALES mettant en avant l'apport de la solution.

La perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre .

Vous souhaitez en savoir plus sur les activités de Thales ? Cliquez ici .