Université Bordeaux 1 - Master S&T Informatique - Spécialité Ingénierie des Systèmes Critiques
La recherche d'un stage ISC en entreprise
Les types de stages
- Développeur : Pour ceux qui aurait préférer le parcours GL, et qui ont bien aimer l'ue TV.
- Étude de cas : Vous modélisez un système réel (déjà existant et ayant posé des problèmes), et vous devrez montrer l'intérêt des méthodes formelles, et éventuellement étudier l'intégration dans leurs méthodes de travail.
- Comparaison d'outils : En fonction du métier de l'entreprise, de son organisation, de son attente des méthodes formelles, vous devrez dresser un panorama des techniques existantes et les comparer.
- Autres : Pourquoi pas, si vous réussissez à utiliser des méthodes formelles en phase de conception.
Les catégories d'entreprise
- Spécialistes : Ces entreprises croient aux méthodes formelles. Autour de ce thème, elles développent des outils, font du conseil et des expertises.
- Aonix développe et commercialise des outils pour gérer la complexité du développement d'applications critiques.
- ARBoost Technologies développe et commercialise des outils basés sur les langages AltaRica et Aralia.
- Bayesia développe et commercialise des outils basés sur les Réseaux Bayésiens.
- B-Core(UK) Ltd développe et commercialise B-Toolkit un outil basé sur le langage B.
- Clearsy développe et commercialise L'atelier B basé sur le langage B.
- Esterel Technologies développe et commercialise les outils basés sur les langages Esterel et Lustre.
- FormalSystems développe et commercialise les outils basés sur les langages CSP et Z pour l'étude des protocoles sécurisés.
- IAR Systems développe et commercialise des outils dédiés à la conception de systèmes embarqués.
- I-Logix développe et commercialise entre autre l'outil StateMate basé sur le langage StateCharts.
- Ligeron fait beaucoup de formations, de conseils et d'études en sûreté de fonctionnement..
- Mathix d'une part développe et commercialise des outils; d'autre part fait beaucoup de formations, de conseils et d'études en sûreté de fonctionnement..
- MathWorks développe et commercialise les outils MathLab et Simulink.
- PolySpace développe et commercialise des outils de vérification logicielle basés sur l'interprétation abstraite.
- Prover développe et commercialise entre autres des plugs-in pour Lustre.
- Sector développe et commercialise des outils et des méthodes dédiés à la sûreté et à la fiabilité du logiciel.
- Surlog développe et commercialise des outils dédiés à la sûreté de fonctionnement.et à
- Systerel est une société spécialisée dans les systèmes embarqués à fortes contraintes temps réel ou de sécurité.
- Telelogic développe et commercialise les outils Telelogic TAU basés sur les langages SDL et TTCN.
- Trusted Logics développe et commercialise des outils basés sur la preuve et le système Coq. Les domaines sont principalement ceux de la carte à puces et des systèmes embarqués. La page des stages
- Valiosys développe et commercialise des outils dédiés à la conception et à la vérification de systèmes logiciels et matériels.
- Verify Soft est une société spécialisée dans les tests de logiciels écrits en C/C++ et Java.
- ...
- Grandes entreprises :
Elles s'intéressent aux méthodes formelles pour la raison suivante~: elles conçoivent des systèmes critiques, et les techniques issues de la sûreté de fonctionnement qu'elles maîtrisent ne sont pas toujours suffisantes pour les systèmes dynamiques très réactifs. Suivant la culture de l'entreprise, elles utilisent des produits commerciaux, ou bien développent en interne des produits spécifiques.
- Conception de systèmes :
- Domaine du transport.
- Domaine du nucléaire.
- Domaine des cartes à puces.
- ...
- Recherche et développement :
- Dassault Data Services développe l'atelier Cecilia OCAS basé sur le langage AltaRica.
- EADS APSYS développe ses propres outils pour la sûreté de fonctionnement.
- EDF R&D développe ses propres outils pour la sûreté de fonctionnement avec la plate-forme KB3.
- ...
- SSII et équipementiers :
Confrontés aux exigences de leurs clients : partage des risques en cas de problème, assurance sur la qualité des produits, respect des normes... Les fournisseurs (SSII pour le logiciel et équipementiers pour des cartes) s'intéressent de plus en plus aux outils et méthodologies associées aux techniques formelles.
- Autres :
Les interlocuteurs
En fonction des entreprises, votre interlocuteur peut avoir des profils très différent :
- DRH : Votre lettre de motivation ne doit pas être trop technique, mais suffisamment ciblée pour qu'il puisse trouver le service potentiellement intéressé.
- Responsable informaticien : Expliquez vos compétences et vos projets.
- Responsable qualité, sûreté de fonctionnement : Expliquez en quoi vos compétences d'informaticien spécialiste en modélisation et analyse de systèmes, peuvent apporter un regard nouveau dans ses études d'analyse système.
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 30 octobre 2008.