Stage : Outil d'aide à la conception de la performance des systèmes temps-réel embarqués - Thales Research & Technology (H/F)

Stage Par Thales S.A.
  • Palaiseau
  • Master, Bac +5
  • A négocier

Description

Site internet: http://www.thalesgroup.com

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 pour la réalisation d'un « outil d'aide à la conception de la performance des systèmes temps-réel embarqués», basé(e) à Palaiseau.  

Stage : Outil d'aide à la conception de la performance des systèmes temps-réel embarqués - Thales Research & Technology (H/F)

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

THALES conçoit et développe des systèmes temps-réel de plus en complexes et critiques. 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.   Un moyen d'explorer des architectures avec des performances désirées est l'utilisation de techniques d'analyses formelles et de sensibilités. En particulier, les outils de model-checking paramétriques semblent prometteurs pour proposer des solutions d'architectures. Cependant, ces outils fournissent des résultats sous forme de d'intervalles pour les valeurs accompagnées de contraintes sous formes d'inéquations. Il revient donc à l'architecte de résoudre manuellement ces inéquations pour trouver les paramètres temps-réel de son architecture.   L'objectif de ce stage est de concevoir un outil d'aide à la conception assisté l'architecte à résoudre les inéquations en fonction de ses besoins et objectifs et de générer le modèle de l'architecture temps-réel avec les valeurs retenues par l'architecte.   Par exemple, il s'agira d'être en mesure de modéliser les différents choix d'architecture et de proposer une interface utilisateur innovante permettant à l'architecte d'apprécier au mieux les choix qui lui sont proposés. En particulier, l'outil mettra en avant les différents choix par rapport 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 afin de démontrer son applicabilité sur un cas d'étude réel THALES.   EN NOUS REJOIGNANT, VOUS VOUS VERREZ CONFIER LES MISSIONS SUIVANTES : * Prise en main d'un outil d'analyse d'architecture temps-réel
* Identifier et proposer un outil de représentation des choix
* Spécifier et concevoir la solution logicielle
* Développer et mettre au point cette solution
* Expérimenter 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.


--
Pour postuler :
http://thales.contactrh.com/jobs/4529/16208246

Niveau d'études: Master, Bac +5

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++, Python et en langage d'Interface Homme-machine.   Des connaissances en Eclipse/EMF, méthodes formelles, outillage ROMEO et en analyses statistiques seraient un plus significatif.   De plus, vous êtes à l'aise en anglais.  

Découvrir la Page Entreprise

  • Thales S.A.
  • 41 abonnés
  • Thales S.A.