La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Centre des Technologies du Logiciel Formation au CTL Yassine Lakhnech Prof. UJF Verimag.

Présentations similaires


Présentation au sujet: "Centre des Technologies du Logiciel Formation au CTL Yassine Lakhnech Prof. UJF Verimag."— Transcription de la présentation:

1 Centre des Technologies du Logiciel Formation au CTL Yassine Lakhnech Prof. UJF Verimag

2 Centre des Technologies du Logiciel Besoin de formations? Besoin constant en compétences informatiques, en particulier, dans des domaines pointus (systèmes embarqués, télécommunication,…). Départ des jeunes diplômés (concurrence entre les regions). Rapide évolution des technologies (nouveaux standards, langages et outils) -> besoin de mise à niveau. Besoin de redéploiements de ressources humaines.

3 Centre des Technologies du Logiciel Contribution du CTL Formations: aux technologies de pointe (systèmes temps-réel, IHM, Middle-ware, méthodes à base de composantes) accélérées pour des ingénieurs en exercice avec un contenu et méthodes définit par des experts industriels et académiques -> transfert des compétences.

4 Centre des Technologies du Logiciel Contact - Responsable Formation Concepts de l Automatique Schémas de Blocs Systèmes Échantillonnés Circuits Synchrones Langage Lustre - Principes Fondateurs Flot des Données, Cycles Opérateurs Temporels Encapsulation Apports de l Informatique Structuration Typage Vérifications Statiques Sémantique Formelle Principes de Base Génération de Code Vérification SCADE : Formaliser Valider Générer Programmation Synchrone des Systèmes Réactifs Environnement SCADE Interface Utilisateur Programmation LUSTRE Outils externes Méthodologie Validation Formelle Vérification Génération de Tests Architectures Quasi-Synchrones Origines Simulation SCADE Conception Robuste Cas Continu Confirmateurs Tolérance aux Fautes 2 jours (Paul Caspi) (Nicolas Halbwachs / Pascal Raymond) (Paul Caspi) (Nicolas Halbwachs / Pascal Raymond) (Paul Caspi) (Esterel Technologies) Laboratoire VERIMAG Formations Professionnelles

5 Centre des Technologies du Logiciel 2 jours Resp : Yassine Lakhnech Contact - Responsable Formation SDL : Modéliser Programmer Tester Modèles et Théories de la Concurrence Modèles de Communication Modèles d Exécution Méthodologie et Méthodes de Validation Spécification de Contraintes Model Checking Outils de Vérification Tests de Conformité Simulation Programmation Temporelle pour lIngénierie des Protocoles Télécoms SDL Diagrammes SDL et Programmation de Base Primitives de Modélisation Temps-Réelle Intégration de code C en SDL Les Types de Données Abstraites Message Sequence Charts (MSC) Environnement de Dév : ObjectGeode Interface Utilisateur Simulation Discrète et Temps-Réel Débogage du modèle SDL Génération de Code Environnements de Test TestComposer (Susanne Graf / JC Fernandez) (Laurent Mounier) (Alain Kerbrat) Laboratoire VERIMAG - Équipe Systèmes Distribués & Complexes Formations Professionnelles


Télécharger ppt "Centre des Technologies du Logiciel Formation au CTL Yassine Lakhnech Prof. UJF Verimag."

Présentations similaires


Annonces Google