| | AIDE A LA VERIFICATION DE LA FONCTION DE CONTROLE DE VITESSE EN SCADE - Stage / VIE |
| | THALES
Thales Rail Signalling Solutions SAS est le leader mondial du pilotage automatique des métros et un des leader de la Commande des itinéraires, des Systèmes d'enclenchement, du Contrôle des trains à grande vitesse et régionaux. Dans le cadre du programme OURAGAN L13 du métro parisien, l'équipe sûreté logicielle au sein du pôle assurance système qui est en charge des activités de vérification et de validation recherche un(e) stagiaire. L'équipe travaille sur les logiciels applicatifs des sous-systèmes critiques CBTC (Communication Based Train Control) qui sont développés à l'aide de l'atelier SCADE, utilisé notamment dans les phases de spécification et de conception des composants logiciels. Le stage s'inscrit dans le cadre des recherches visant à mettre en place l'outillage qui permettra de faciliter les tâches de modélisation et de vérification de modèles SCADE. Le but de ce stage est d'aider à la mise en place d'une méthodologie de vérification de la fonction de contrôle de vitesse du sous-système bord (VOBC) développé en SCADE. Le titulaire devra contribuer au paramétrage et à la configuration de l'environnement de simulation SCADE. Puis, la conformité des modèles SCADE implémentant la fonction de contrôle de vitesse doit être vérifiée vis-à -vis de la spécification fonctionnelle, par analyse statique (relecture) et par analyse dynamique (tests). Le stage doit permettre d'affiner la stratégie de test à l'aide de l'environnement de simulation SCADE dans le cadre des activités de vérification de sécurité. Ce travail comportera une phase de recherche, une phase d'analyse et une phase de simulation (à l'aide du Simulateur SCADE) qui permettra de vérifier les résultats obtenus. Le candidat retenu sera encadré par un Ingénieur Sécurité Logiciel qui le guidera tout au long de son stage. | | | D'après hobsons | Ajouter un commentaire | Signaler un abus |
| | | ETUDE DES MODES DE DEFAILLANCES DES CONSTRUCTIONS SCADE A RISQUE - Stage / VIE |
| | THALES
Thales Rail Signalling Solutions SAS est le leader mondial du pilotage automatique des métros et un des leader de la Commande des itinéraires, des Systèmes d'enclenchement, du Contrôle des trains à grande vitesse et régionaux. Dans le cadre du programme OURAGAN L13 du métro parisien, l'équipe sûreté logicielle au sein du pôle assurance système qui est en charge des activités de vérification et de validation recherche un(e) stagiaire. L'équipe travaille sur les logiciels applicatifs des sous-systèmes critiques CBTC (Communication Based Train Control) qui sont développés à l'aide de l'atelier SCADE, utilisé notamment dans les phases de spécification et de conception des composants logiciels. Le stage s'inscrit dans le cadre des recherches visant à mettre en place l'outillage qui permettra de faciliter les tâches de modélisation et de vérification de modèles SCADE. Le but de ce stage est de contribuer à l'identification des constructions SCADE à risque et à l'analyse de leurs modes de défaillance effectifs pouvant mener à des évènements redoutés pour l'application logicielle dans laquelle elles sont intégrées. Les operateurs à étudier sont ceux participant aux diagrammes de flot de données et aux machines d'états-transitions. Ce travail comportera une phase de recherche, une phase d'analyse et une phase de simulation (à l'aide du Simulateur SCADE) qui permettra de vérifier les résultats trouvés. Le candidat retenu sera encadré par un Ingénieur Sécurité Logiciel qui le guidera tout au long de son stage. Le titulaire du stage devra proposer des règles de vérification SCADE, permettant de limiter l'utilisation des constructions à risque. Un outillage permettant l'automatisation des règles de vérification sur les modèles SCADE (à l'aide de scripts TCL) devra également être étudié. | | | D'après hobsons | Ajouter un commentaire | Signaler un abus |
| | | AIDE A LA VERIFICATION OUTILLEE DE CODE C - Stage / VIE |
| | THALES
Thales Rail Signalling Solutions SAS est le leader mondial du pilotage automatique des métros et un des leader de la Commande des itinéraires, des Systèmes d'enclenchement, du Contrôle des trains à grande vitesse et régionaux. Dans le cadre du programme OURAGAN L13 du métro parisien, l'équipe sûreté logicielle au sein du pôle assurance système qui est en charge des activités de vérification et de validation recherche un(e) stagiaire. L'équipe travaille sur les logiciels applicatifs des sous-systèmes critiques CBTC (Communication Based Train Control) qui sont développés à l'aide de l'atelier SCADE, utilisé notamment dans les phases de spécification et de conception des composants logiciels. Le stage s'inscrit dans le cadre des recherches visant à mettre en place l'outillage qui permettra de faciliter les tâches de modélisation et de vérification de modèles SCADE. Le stage s'inscrit dans le cadre des recherches visant à mettre en place l'outillage qui permettra de faciliter les activités de vérification de code C, notamment du code produit manuellement. Cependant, il est à noter que la vérification d'un composant peut porter simultanément sur des sous composants codés manuellement et des sous composants générés automatiquement. Le stage consiste à contribuer à la mise en place des outils de vérification de code C et devra comporter les tâches suivantes : · Etude des règles de codage critiques parmi celles actuellement définies dans les guides de programmation Thales. Complétion éventuelle de ces règles. · Etude des outils d'analyse statique de code C permettant la vérification des règles de codage critiques. Cette activité doit être effectuée en collaboration avec les équipes de développement. Plusieurs outils sont actuellement utilisés au sein de l'équipe. · Aide à la mise en place et configuration des outils pour être utilisés par l'équipe sûreté logicielle (C Test, Polyspace, etc.). · Aide à la création des check-lists à utiliser par les équipes sûreté afin de vérifier l'application des règles de conception non couvertes par les outils : vérification manuelle par Lecture Critique de Code. Le titulaire du stage pourra également proposer d'autres moyens permettant l'analyse et la vérification de code C. | | | D'après hobsons | Ajouter un commentaire | Signaler un abus |
| | | A-P COBOL Assurance Vie |
| | Début : ASAP | Durée : 3 mois renouvelables | Région : IDF | Budjet : neg
------------
Description :
Besoin 2 : A-P COBOL Assurance Vie
Mission : Analyse et développement
Compétences requises
- Prévoyance
- Retraite
Démarrage : ASAP
Durée : 3 mois renouvelables
Lieu : IDF | | | D'après freelance-info | Ajouter un commentaire | Signaler un abus |
| | | COMMERCIAL SEDENTAIRE IDF - STAGE - Stage / VIE |
| | Chèque Déjeuner
Le GROUPE CHEQUE DEJEUNER, numéro 3 mondial sur le marché des titres de paiement à vocation sociale et culturelle, 1700 collaborateurs, 40 sociétés, recherche pour sa société LE CHEQUE DEJEUNER, un(e) : COMMERCIAL SEDENTAIRE - IDF (H/F) STAGE Au sein de la Direction des Ventes, vous travaillerez en étroite collaboration avec le Directeur Régional et l?équipe commerciale. A ce titre, votre mission consistera à : - Gérer les demandes prospects et clients, - Mener des opérations spécifiques sur différents secteurs (clients, prospects, prescripteurs), - Organiser et participer à des congrès et salons (invitations, relances, remerciements), - Effectuer une veille économique et concurrentielle, - Mettre à jour la base de données clients. | | | D'après hobsons | Ajouter un commentaire | Signaler un abus |
| | |
| | |
| | | | | | |
|
