Restitution de la méthodologie suivie dans le cadre du cours de conception innovante suivi à Strate Collège.
Travail réalisé par Paul Haverlan et Rémi Rivas.
Restitué le 9 janvier 2014.
Sécurité informatique : le Retour sur Investissement que vous n'attendiez pasMaxime ALAY-EDDINE
Présentation sur la cybersécurité réalisée pour la DFCG
Comment passer d'une approche Annualized Loss Expectancy (ALE) sur l'évaluation de ses risques informatiques, à une approche portant sur la valeur commerciale créée par des outils de cyber-protection ?
Enjeux et évolutions de la sécurité informatique - Présentation Centrale NantesMaxime ALAY-EDDINE
Centrale Nantes - Conférence du 08 Octobre 2015
Présentation sur les enjeux et les évolutions de la sécurité informatique.
Comment passer d'une vision de la sécurité informatique qui préserve la valeur, à une vision génératrice de valeur ajoutée pour l'entreprise ?
Restitution de la méthodologie suivie dans le cadre du cours de conception innovante suivi à Strate Collège.
Travail réalisé par Paul Haverlan et Rémi Rivas.
Restitué le 9 janvier 2014.
Sécurité informatique : le Retour sur Investissement que vous n'attendiez pasMaxime ALAY-EDDINE
Présentation sur la cybersécurité réalisée pour la DFCG
Comment passer d'une approche Annualized Loss Expectancy (ALE) sur l'évaluation de ses risques informatiques, à une approche portant sur la valeur commerciale créée par des outils de cyber-protection ?
Enjeux et évolutions de la sécurité informatique - Présentation Centrale NantesMaxime ALAY-EDDINE
Centrale Nantes - Conférence du 08 Octobre 2015
Présentation sur les enjeux et les évolutions de la sécurité informatique.
Comment passer d'une vision de la sécurité informatique qui préserve la valeur, à une vision génératrice de valeur ajoutée pour l'entreprise ?
Gestion des vulnérabilités dans l'Internet des Objets : comment atteindre la cyber-résilience ?
Objectif : Être résilient « by design » face à de nouvelles vulnérabilités, en intégrant la gestion des vulnérabilités dans la maintenance du constructeur.
Enjeux et évolutions de la sécurité informatique
- Evolution des attaques informatiques
- Etude des attaques récentes
- Métiers de la sécurité informatique
- Prospective
This document summarizes a presentation about the role of social media in healthcare given by Lee Aase from the Mayo Clinic Social Media Network. The presentation discusses how social media has become an important part of Mayo Clinic's operations and patient outreach over time. It also highlights two Canadian collaborations, including developing an online social media curriculum with Hootsuite and hiring a community director. The presentation promotes the Mayo Clinic Social Media Network as a resource for healthcare professionals to learn best practices in using social media.
La formation complète est disponible ici:
http://www.alphorm.com/tutoriel/formation-en-ligne-uml
Cette formation UML va vous présenter les différents diagrammes de cette notation graphique ainsi que leur usage raisonnable.
Faire des diagrammes UML ne se résume pas effectivement à créer de chouette diagrammes qui ne serviront qu’à remplir les documents d’illustrations aussi beaux qu’inutiles. Il faut créer le diagramme lorsqu’il est nécessaire, avec justesse et en visant le maximum d’efficacité.
Après avoir présenté chacun des diagrammes, Fabien Brissonneau vous apprends à les utiliser dans un rôle de maîtrise d’ouvrage, puis dans un rôle d’analyse, enfin pour le concepteur.
Outils de construction pour la rechercheJohan Moreau
Le but de cette présentation est de découvrir les outils de construction d’applications dans le contexte d’un laboratoire de recherche : autoconf, cmake, scons
Comment récupérer un projet Web pourri ... et réussir à travailler dessus.Guillaume RICHARD
Présentation pour Blendwebmix 2017, sur le thème de la récupération de projet Web.
Je présente les principales raisons de fails de projets, et comment réussir quand même à travailler dessus.
Développer des codes de simulation numérique avec une équipe "non geek" à l'ULgRomain Boman
Cette présentation a été faite aux "Geeks Anonymes" de l'Université de Liège le 17 juin 2016.
J'y présente les techniques de développement de logiciels vers lesquelles notre groupe de recherche a convergé après 20 ans de pratique. En particulier, je détaille les compromis qui ont dû être trouvés pour aider les thésards et ingénieurs de recherche peu à l'aise avec l'informatique.
Groupe des Geeks Anonymes de l'ULg: https://www.linkedin.com/grp/home?gid=8279308
Gestion des vulnérabilités dans l'Internet des Objets : comment atteindre la cyber-résilience ?
Objectif : Être résilient « by design » face à de nouvelles vulnérabilités, en intégrant la gestion des vulnérabilités dans la maintenance du constructeur.
Enjeux et évolutions de la sécurité informatique
- Evolution des attaques informatiques
- Etude des attaques récentes
- Métiers de la sécurité informatique
- Prospective
This document summarizes a presentation about the role of social media in healthcare given by Lee Aase from the Mayo Clinic Social Media Network. The presentation discusses how social media has become an important part of Mayo Clinic's operations and patient outreach over time. It also highlights two Canadian collaborations, including developing an online social media curriculum with Hootsuite and hiring a community director. The presentation promotes the Mayo Clinic Social Media Network as a resource for healthcare professionals to learn best practices in using social media.
La formation complète est disponible ici:
http://www.alphorm.com/tutoriel/formation-en-ligne-uml
Cette formation UML va vous présenter les différents diagrammes de cette notation graphique ainsi que leur usage raisonnable.
Faire des diagrammes UML ne se résume pas effectivement à créer de chouette diagrammes qui ne serviront qu’à remplir les documents d’illustrations aussi beaux qu’inutiles. Il faut créer le diagramme lorsqu’il est nécessaire, avec justesse et en visant le maximum d’efficacité.
Après avoir présenté chacun des diagrammes, Fabien Brissonneau vous apprends à les utiliser dans un rôle de maîtrise d’ouvrage, puis dans un rôle d’analyse, enfin pour le concepteur.
Outils de construction pour la rechercheJohan Moreau
Le but de cette présentation est de découvrir les outils de construction d’applications dans le contexte d’un laboratoire de recherche : autoconf, cmake, scons
Comment récupérer un projet Web pourri ... et réussir à travailler dessus.Guillaume RICHARD
Présentation pour Blendwebmix 2017, sur le thème de la récupération de projet Web.
Je présente les principales raisons de fails de projets, et comment réussir quand même à travailler dessus.
Développer des codes de simulation numérique avec une équipe "non geek" à l'ULgRomain Boman
Cette présentation a été faite aux "Geeks Anonymes" de l'Université de Liège le 17 juin 2016.
J'y présente les techniques de développement de logiciels vers lesquelles notre groupe de recherche a convergé après 20 ans de pratique. En particulier, je détaille les compromis qui ont dû être trouvés pour aider les thésards et ingénieurs de recherche peu à l'aise avec l'informatique.
Groupe des Geeks Anonymes de l'ULg: https://www.linkedin.com/grp/home?gid=8279308
Enrichir Ses Méthodes Avec des Processus Unifiés AgilesRomain Couturier
Les méthodes agiles mettent au placard de nombreuses méthodes de projet dont les défauts (lourdeur, incompréhension des attentes finales, manque de priorités) ont marqué de leur empreinte l\'échec ou le demi-succès des projets. Longtemps associé à cette image, le “Processus Unifié” s\'accorde pourtant avec le manifeste agile et complète les méthodes connues comme Scrum ou XP sur les moyens et gros projets. Cette session vous propose de parcourir d’autres interprétations et applications du “Processus Unifié” à travers ses différentes versions simplifiées et agiles : Agile Unified Process, Open UP et EssUP.
Drupagora 2013 : Drupal8 et Symfony2, quel impact ?ekino
Nombreuses sont les directions digitales ayant aussi bien des besoins éditoriaux que métiers. D'un point de vue business, il n'est pas possible de séparer les deux.
Basiquement, quels choix avons-nous ?
- partir sur un CMS et coder en "CMS"...
- partir sur un framework et réinventer le CMS...
Aujourd'hui, une des solutions est d'alier le meilleur des 2 mondes, mais a aussi ses problématiques :
- comment faire communiquer les 2 solutions ?
- où trouver les bons profils compte tenu de expertise différentes ?
- comment ne pas complexifier la maintenance et l'exploitation ?
Bref, pour ce qui est d'aujourd'hui, c'est possible, mais difficile... Mais demain ?
Sorties le 9 septembre 2021, les versions 11 Alexandria de RAD Studio, Delphi et C++Builder contiennent leur lot de nouveautés, de mises à jours et de correctif.
Les fonctionnalités essentielles ont été présentées par Embarcadero lors de plusieurs sessions en ligne ayant suscité un grand nombre de questions de la part des spectateurs et développeurs.
Plutôt que de se contenter de traduire la présentation de départ, Patrick Prémartin vous propose une revue des documents de sortie avec bien entendu un point sur chaque nouveauté mais aussi sur les choses un peu moins visibles et quelques points potentiellement bloquants.
Liens, sources et rediffusion sont disponibles sur le site https://serialstreameur.fr/webinaire-20210924.php
Revue des différents types de menaces informatiques, analyse de l'évolution des attaques informatiques, étude de cas avec WannaCry, psychologie du marché de la sécurité informatique, évolution de la réglementation
Internet : Comprendre les opportunités et les dangers des réseaux cachésMaxime ALAY-EDDINE
Cyberwatch - cybersecurity training
Formation en sécurité informatique délivrée par CYBERWATCH SAS
Module de sensibilisation
Internet : Comprendre les opportunités et les dangers des réseaux cachés
Powerpoint - Comment optimiser la stratégie d’un établissement au travers des...Maxime ALAY-EDDINE
Etablissements d’enseignement supérieur et MOOCs : présentation et analyse des différentes stratégies possibles.
Project Collectif, Master Affaires Publiques de Sciences Po
Maxime ALAY-EDDINE, Natacha BRIOIST, Alazaïs RAYNAL, Philippe WEN
Présentation associée au rapport suivant :
http://fr.slideshare.net/MaximeALAYEDDINE/comment-optimiser-la-stratgie-dun-tablissement-au-travers-des-moocs
Comment optimiser la stratégie d’un établissement au travers des MOOCs ?Maxime ALAY-EDDINE
Etablissements d’enseignement supérieur et MOOCs : présentation et analyse des différentes stratégies possibles.
Project Collectif, Master Affaires Publiques de Sciences Po
Maxime ALAY-EDDINE, Natacha BRIOIST, Alazaïs RAYNAL, Philippe WEN
Nés aux États-Unis dans les années 2000, les MOOCs (Massive Open Online Courses, ou Cours en Ligne Ouverts et Massifs) se sont développés en France durant l’été 2013 avec la création de FUN (France Université Numérique).
Aujourd’hui, c’est plus de 1 200 cours dispensés par 200 universités que l’on peut retrouver en ligne, et qui accueillent un public de plus de 10 millions d’étudiants.
Ces MOOCs sont à l’origine de multiples interrogations dans le milieu universitaire : s’agit-il d’une révolution numérique et pédagogique ou d’un simple phénomène de mode ? Vont-ils participer à la création de grands pôles universitaires et/ou remplacer les cours en présentiels ?
S’ils n’apportent pas encore de réponse claire à cette question, les MOOCs se développent et sont de véritables vecteurs de changement et d’innovation au sein des établissements d’enseignement. Il est à ce jour déjà possible de dresser un bilan de l’insertion des MOOCs dans le paysage académique et professionnel français, et de voir comment en faire des outils efficaces au service de la stratégie d’un établissement.
Ce rapport a été réalisé sur la base des premiers retours d’expérience des principaux experts des MOOCs en France. Le cadre de cette étude porte en particulier sur les établissements d’enseignement supérieur, et s’intéresse aussi bien aux aspects financiers ou logistiques qu’aux enjeux stratégiques de ces nouveaux objets pédagogiques.
Si l’État a mis en place une plateforme d’accueil et d’hébergement des MOOCs français avec FUN, il est important de réfléchir aux conséquences de la création d’un MOOC, et de voir de quelle manière un établissement peut optimiser sa stratégie par leur intermédiaire. Cela mène aux questions suivantes : quelles raisons poussent des universités à se lancer dans la création d’un MOOC et par conséquent quel public visent-elles ? Par l’intermédiaire de quels cours, quels professeurs ? Quels sont les modèles économiques émergents ? Quels sont les enjeux pratiques et financiers soulevés, quelles évolutions sont à prévoir ?
Notre rapport a pour objectif de porter un éclairage, sur la manière dont les établissements d'enseignement supérieur en France peuvent optimiser leur stratégie au travers des MOOCs, et avec quel modèle économique. Ce projet, réalisé dans le cadre des Projets Collectifs du Master Affaires Publiques de Sciences Po, propose de répondre à cette question en trois temps. Nous étudierons d’abord la manière dont les MOOCs peuvent s’inscrire dans la stratégie d’un établissement, puis les moyens disponibles pour amortir les coûts de développement, et enfin les enjeux opérationnels qui interviennent lors de leur mise en oeuvre.
Soutenance du mémoire "Identité numérique, identités numériques" réalisé dans le cadre du cours Etat et Révolution Numérique, Master Affaires Publiques de Sciences Po.
La neutralité du net - Etat et révolution numérique - Sciences Po Master Affa...Maxime ALAY-EDDINE
Exposé sur la neutralité du net - Master Affaires Publiques de Sciences Po 2013-2014
"L'imprimerie a permis au peuple de lire, Internet va lui permettre d'écrire" (Benjamin Bayart).
La neutralité du net est un sujet récurrent dans les débats de notre société.
Pourtant, il est rare que l'on rentre dans les détails et que l'on explique réellement les enjeux de ce thème.
Au travers de cet exposé, nous tenterons de combler ces lacunes en voyant tout d'abord en quoi Internet est neutre par essence, puis les atteintes portées à cette neutralité et les moyens de lutter contre celles-ci.
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...M2i Formation
Améliorez l'intégration de vos nouveaux collaborateurs grâce à notre formation flash sur l'onboarding. Découvrez des stratégies éprouvées et des outils pratiques pour transformer l'intégration en une expérience fluide et efficace, et faire de chaque nouvelle recrue un atout pour vos équipes.
Les points abordés lors de la formation :
- Les fondamentaux d'un onboarding réussi
- Les outils et stratégies pour un onboarding efficace
- L'engagement et la culture d'entreprise
- L'onboarding continu et l'amélioration continue
Formation offerte animée à distance avec notre expert Eric Collin
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24BenotGeorges3
Les informations et évènements agricoles en province du Luxembourg et en Wallonie susceptibles de vous intéresser et diffusés par le SPW Agriculture, Direction de la Recherche et du Développement, Service extérieur de Libramont.
Le fichier :
Les newsletters : https://agriculture.wallonie.be/home/recherche-developpement/acteurs-du-developpement-et-de-la-vulgarisation/les-services-exterieurs-de-la-direction-de-la-recherche-et-du-developpement/newsletters-des-services-exterieurs-de-la-vulgarisation/newsletters-du-se-de-libramont.html
Bonne lecture et bienvenue aux activités proposées.
#Agriculture #Wallonie #Newsletter #Recherche #Développement #Vulgarisation #Evènement #Information #Formation #Innovation #Législation #PAC #SPW #ServicepublicdeWallonie
Cycle de Formation Théâtrale 2024 / 2025Billy DEYLORD
Pour la Saison 2024 / 2025, l'association « Le Bateau Ivre » propose un Cycle de formation théâtrale pour particuliers amateurs et professionnels des arts de la scène enfants, adolescents et adultes à l'Espace Saint-Jean de Melun (77). 108 heures de formation, d’octobre 2024 à juin 2025, à travers trois cours hebdomadaires (« Pierrot ou la science de la Scène », « Montage de spectacles », « Le Mime et son Répertoire ») et un stage annuel « Tournez dans un film de cinéma muet ».
2. Problématique
• Conception des systèmes
o Complexe
o Beaucoup d’acteurs
• 1989 : Consortium d’industriels, création de l’OMG
o Définition des standards de modélisation
o Forte participation des entreprises
• En parallèle, émergence du Model-Checking
o Vérification de modèles
o Analyse formelle
4. Plan
• Introduction & Problématique
• Langages de haut niveau
o UML
o SysML
o AADL
• Analyse formelle
o Fiacre
o Tina
o Chaîne globale de vérification
• Conclusion
7. Unified Modeling Language
• Objectif :
Fournir des outils d’analyse, de conception
et d’implémentation pour les systèmes à
dominante logicielle ou similaires
9. Unified Modeling Language
• Pour faire simple
o Langage facile à lire…
o mais dur à écrire !
• Différence théorie / pratique
o Peu de diagrammes sont réellement employés en entreprise
o En théorie, tous sont nécessaires pour modéliser un système
• Problèmes
o Trop orienté ingénierie logicielle
o Manque de formalisme
o Bases solides adaptées à chaque entreprise
10. Systems Modeling Language
• Créé en 2001 par l’OMG et l’INCOSE
• Validé par l’OMG en 2006 comme Profil UML
• Objectif :
Etendre la modélisation UML à des
systèmes génériques à composantes
physiques
12. Systems Modeling Language
• Premier pas vers de la vérification de propriétés
• Plus simple à adopter qu’UML
o Moins de diagrammes
o Langage orienté métier
• Manque encore de formalisme (héritage d’UML)
13. Architecture Analysis and Design Language
• Débuté en 1999 par Peter Feiler
• Publié en 2004 avec SAE comme profil UML
14. Architecture Analysis and Design Language
• Objectif :
Modélisation des interactions
logiciel/matériel pour les systèmes
embarqués
• Langage de description d’architecture
o ≠ langage de modélisation !
18. Architecture Analysis and Design Language
• Principe :
Composant 2
Composant 1
Instance Comp2
Instance Comp1
Instance Comp1
19. Architecture Analysis and Design Language
• Principe :
Composant 2
Composant 1
Instance Comp2
Instance Comp1
Système
Instance Comp1
20. Architecture Analysis and Design Language
• Sémantique forte, étape clé vers Model Checking
• Long à mettre en place
o Création des bibliothèques de composants de base
o Nécessite d’apprendre un nouveau langage textuel
• Réutilisation efficace
o Plus simple une fois la base de composants classiques définie
o Equivalence langages textuel et graphique
o Véritable ciment entre UML et SysML
22. Format Intermédiaire pour les Architectures de Composants Répartis
• Article fondateur de Bernard Berthomieu en 2008
• Transforme un ensemble de langages de
modélisation distincts en un langage intermédiaire
unique
• Conserve les propriétés définies dans chaque
langage
23. Format Intermédiaire pour les Architectures de Composants Répartis
• Langage fortement typé (robustesse)
• Agit en « Back-End » pour l’utilisateur
• Ne sera donc pas plus développé ici
24. Time Petri Net Analyzer
• Article fondateur de Bernard Berthomieu en 2004
• Boîte à outil pour l’édition et l’analyse de RDP et
RDP temporels.
• Contient :
o Editeur graphique
o Construction de comportements
o Analyse et vérification formelle
25. Time Petri Net Analyzer
• Analyse formelle
o Basée sur l’outil « selt » (2006)
• Extension de la LTL : S/E LTL
o State/Event Linear Temporal Logic
o => Analyse LTL sur les états et les transitions !
26. Time Petri Net Analyzer
• Syntaxe
o – p négation de p
o p / q conjonction de p et q
o () p p vérifiée à l’état suivant (Next)
o [] p p vérifiée dans tout état du chemin (Always)
o <> p p vérifiée dans un état futur du chemin étudié (Eventually)
o p U q vérifiée si p vérifiée jusqu’à q vérifiée (Until)
27. Chaîne globale de vérification
• Utilisation de Tina avec Fiacre
• Fonctionnement de Fiacre
o Processus communiquant avec des ports typés (entiers, booléens…)
o Pour faire simple : programmation fonctionnelle fortement typée
• 1 processus = 1 fonction
let square x = x *. x;;
Illustration avec Caml
square : float -> float = <fun>
let int_square x = int_of_float (square (float_of_int x));;
int_square : int -> int = <fun>
28. Chaîne globale de vérification
• Utilisation de Tina avec Fiacre
• Avec Fiacre :
o 2 processus : process1 et process2
o Ajout d’états sur ces processus :
• cs_* (entrée en zone critique)
• w_* (mode attente)
• Objectif : non-famine
o w_process1 doit donc entraîner cs_process1
o De même pour process2
29. Chaîne globale de vérification
• Utilisation de Tina avec Fiacre
• Avec Tina :
o Utilisation de S/E-LTL avec selt
• Analyse formelle :
o [](
(w_process 1 => <> cs_process 1)
/
(w_process 2 => <> cs_process 2)
)
33. Analyse de la chaîne
• 2 outils à utiliser
o Eclipse (UML/SysML/AADL et conversion vers Fiacre) + Tina
o Chaîne simple en termes de logistique
• Courbe d’apprentissage élevée
o Logique temporelle
o Syntaxes des différents langages à maîtriser
• Améliorations possibles
o Analyse formelle graphique : suppression des prérequis en LTL (Tina)
o Problèmes de représentation des architectures paramétriques (Fiacre)
35. Bibliographie
• UML
o [1] Allison June Barlow Chaney. Object management group.
http://www.princeton.edu/~achaney/tmve/wiki100k/docs/Object_Managemen_Group.html. [En ligne ; dernier accès
04 Février 2013].
o [2] Armin Biere. Tutorial on model checking modelling and verification in computer science.
http://fmv.jku.at/papers/Biere-AB08.pdf, 2008.
o [3] Omg unified modeling language tm (omg uml), superstructure version 2.4.1, 2011.
o [4] P.A. Muller and N. Gaertner. Modélisation objet avec UML, volume 514. Eyrolles, 2000.
o [5] Lispy. Why uml fails to add value to the design and development process.
http://lispy.wordpress.com/2008/10/29/why-uml-fails-to-add-value-to-the-design-and-development-process/. [En ligne
; dernier accès 04 Février 2013].
o [6] Yohann Poiron. Les raisons d’utiliser ou non l’uml dans vos phases de conception pour un développeur.
http://www.blog-nouvelles-technologies.fr/archives/1038/les-raisons-dutiliser-ou-non-luml-dans-vos-phases-de-
conception-pour-un-developpeur/. [En ligne ; dernier accès 04 Février 2013].
• SysML
o [7] T. Weilkiens. Systems engineering with SysML/UML : modeling, analysis, design. Morgan Kaufmann, 2008.
o [8] Pascal Roques. Comparatif des diagrammes uml et sysml. http://www.uml-sysml.org/sysml. [En ligne ; dernier accès
09 Décembre 2012].
o [9] Hélène Mollère Youssef Srour Raphaël Sudre Karen Lavignasse, Nathalie Lépine. Génération de fichiers de
paramétrage. 2007.
• AADL
o [10] Peter H. Feiler and David P. Gluch. Model-Based Engineering with AADL - An Introduction to the SAE Architecture
Analysis and Design Language. SEI series in software engineering. Addison-Wesley, 2012.
36. Bibliographie
• Fiacre & Tina
o [11] Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frederic
Lang, and François Vernadat. Fiacre : an Intermediate Language for Model Verification in the Topcased Environment.
In ERTS 2008, Toulouse, France, 2008.
o [12] Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Zilio, Mamoun Filali, and François Vernadat.
Formal verification of aadl specifications in the topcased environment. In Proceedings of the 14th Ada-Europe
International Conference on Reliable Software Technologies , Ada-Europe ’09, pages 207–221, Berlin, Heidelberg, 2009.
Springer-Verlag.
o [13] B. Berthomieu, P.-O. Ribet, and F. Vernadat. The tool tina – construction of abstract state spaces for petri nets and
time petri nets. Journal of Production Research, 42(14) :2741–2756, 2004.
o [14] Bernard Berthomieu. The tina toolbox home page. http://projects.laas.fr/tina//news.php. [En ligne ; dernier accès
09 Décembre 2012].
o [15] S. Chaki, E. Clarke, J. Ouaknine, N. Sharygina, and N. Sinha. State/event based software model checking. In
Integrated Formal Methods, pages 128–147. Springer, 2004.