Ces transparents présentent un résumé de l\’offre BIP. BIP est une plateforme pour le développement et l\’analyse des systèmes embarqués critiques temps-réel.
This document discusses the women's suffrage movement in Texas in the early 20th century. It focuses on the accomplishments of Jane McCallum, a Texas suffragette who headed the Petticoat Lobby coalition in the 1920s. The Petticoat Lobby worked to successfully lobby Congress to pass suffrage in Texas. As a result of her successes, McCallum was appointed to a high-level government position as one of Texas's few female officials. The document also provides context on arguments made against women's suffrage and tactics used by suffragists like McCallum to advocate for women's right to vote.
President John F. Kennedy faced many challenges during his short time in office such as the Bay of Pigs invasion, Cuban Missile Crisis, and growing civil rights movement. He established programs like the Peace Corps and pushed for a man on the moon by the end of the decade. Unfortunately, Kennedy's presidency was cut short when he was assassinated in Dallas, Texas on November 22, 1963 at the young age of 46.
Mr. Gil's classroom management philosophy is based on Jacob Kounin's strategies of keeping lessons engaging to minimize behavioral issues. He believes creating an engaging and interactive atmosphere where students can contribute personal stories will encourage appropriate behavior. His approach to misbehavior involves warnings, isolation, follow through, documentation, parent contact, and potential administration involvement if the behavior continues. Motivation comes from connecting lessons to students' lives.
Réutilisation de code entre Windows 8 et Windows Phone 8.Microsoft
Windows 8, Windows Phone 8, le même noyau, je ne code alors qu'une fois ? Dans cette session, nous aborderons les différences et les similitudes entre les deux plates-formes, ainsi que la manière de développer du code qui soit portable.
Une courte présentation à WebAssembly, des avantages et cas d'usages associés, des concepts techniques derrière (cf. AOT vs JIT), de l'état actuel du marché et de l'avenir de cette tendance / technologie
This document discusses the women's suffrage movement in Texas in the early 20th century. It focuses on the accomplishments of Jane McCallum, a Texas suffragette who headed the Petticoat Lobby coalition in the 1920s. The Petticoat Lobby worked to successfully lobby Congress to pass suffrage in Texas. As a result of her successes, McCallum was appointed to a high-level government position as one of Texas's few female officials. The document also provides context on arguments made against women's suffrage and tactics used by suffragists like McCallum to advocate for women's right to vote.
President John F. Kennedy faced many challenges during his short time in office such as the Bay of Pigs invasion, Cuban Missile Crisis, and growing civil rights movement. He established programs like the Peace Corps and pushed for a man on the moon by the end of the decade. Unfortunately, Kennedy's presidency was cut short when he was assassinated in Dallas, Texas on November 22, 1963 at the young age of 46.
Mr. Gil's classroom management philosophy is based on Jacob Kounin's strategies of keeping lessons engaging to minimize behavioral issues. He believes creating an engaging and interactive atmosphere where students can contribute personal stories will encourage appropriate behavior. His approach to misbehavior involves warnings, isolation, follow through, documentation, parent contact, and potential administration involvement if the behavior continues. Motivation comes from connecting lessons to students' lives.
Réutilisation de code entre Windows 8 et Windows Phone 8.Microsoft
Windows 8, Windows Phone 8, le même noyau, je ne code alors qu'une fois ? Dans cette session, nous aborderons les différences et les similitudes entre les deux plates-formes, ainsi que la manière de développer du code qui soit portable.
Une courte présentation à WebAssembly, des avantages et cas d'usages associés, des concepts techniques derrière (cf. AOT vs JIT), de l'état actuel du marché et de l'avenir de cette tendance / technologie
soft-shake.ch - Domotique et robotique avec le micro Framework .NETsoft-shake.ch
Jean-Claude Armici and Philippe Schutz
Le micro Framework .NET offre un environnement de développement et d’exécution complet et innovant. Il offre une programmation de haut niveau, par exemple en C#, permettant de gérer toutes les possibilités offertes par diverses carte électroniques modernes et performantes.
Cette présentation a pour but de faire connaître le micro Framework .NET, son architecture et ses fonctionnalités, au travers d’exemples et de démonstrations dans les domaines de la domotique et de la robotique. La programmation, dans un environnement standard, ainsi que le matériel utilisé, très abordable à tous les points de vue, devraient permettre à chacun de s’initier sans peine à l’utilisation de l’informatique embarquée.
http://soft-shake.ch/2011/conference/sessions/microsoft/2011/09/06/domotique-et-robotique-avec-le-micro-framework-NET.html
Retour d’expérience sur ‘TFS Online’ (VSTS) dans une solution industrielle (c...Microsoft Technet France
"La méthodologie Agile peut être appliquée à des projets de taille modeste, mais également à des projets industriels important. Lors de cette session, nous vous présenterons un projet d’industrialisation développé pendant près de 2 ans en méthodologie Agile et en technologies Web (Single Page Application), grâce à Visual Studio Team Services Online (TFS Online). Nous passerons en vue les moyens mis en œuvre et les solutions logicielles collaboratives utilisées. Nous analyserons les problèmes rencontrés, ainsi que les solutions appliquées pour les contourner, et nous reprendrons les 4 points forts appliqués.
Suite à cette session, vous serez conscient de l’organisation nécessaire pour concevoir une solution industrielle utilisée en permanence (24/7) par des milliers d’utilisateurs. Vous disposerez d’une méthodologie Agile exploitable et déjà éprouvée, y compris l’ensemble des solutions logicielles et techniques permettant d’échafauder une application basée sur la qualité des déploiements continus et sur la maintenance évolutive.
"
Microsoft Experieces 2016 - Retour d’expériences sur TFS OnlineDenis Voituron
Retour d’expériences TFS Online dans une solution industrielle
La méthodologie Agile peut être appliquée à des projets de taille modeste, mais également à des projets industriels important. Lors de cette session, nous vous présenterons un projet d’industrialisation développé pendant près de 2 ans en méthodologie Agile et en technologies Web (Single Page Application), grâce à Visual Studio Team Services Online (TFS Online). Nous passerons en vue les moyens mis en œuvre et les solutions logicielles collaboratives utilisées. Nous analyserons les problèmes rencontrés, ainsi que les solutions appliquées pour les contourner, et nous reprendrons les 4 points forts appliqués.
Suite à cette session, vous serez conscient de l’organisation nécessaire pour concevoir une solution industrielle utilisée en permanence (24/7) par des milliers d’utilisateurs. Vous disposerez d’une méthodologie Agile exploitable et déjà éprouvée, y compris l’ensemble des solutions logicielles et techniques permettant d’échafauder une application basée sur la qualité des déploiements continus et sur la maintenance évolutive.
Ouvrez la porte ou prenez un mur (Agile Tour Genève 2024)Laurent Speyser
(Conférence dessinée)
Vous êtes certainement à l’origine, ou impliqué, dans un changement au sein de votre organisation. Et peut être que cela ne se passe pas aussi bien qu’attendu…
Depuis plusieurs années, je fais régulièrement le constat de l’échec de l’adoption de l’Agilité, et plus globalement de grands changements, dans les organisations. Je vais tenter de vous expliquer pourquoi ils suscitent peu d'adhésion, peu d’engagement, et ils ne tiennent pas dans le temps.
Heureusement, il existe un autre chemin. Pour l'emprunter il s'agira de cultiver l'invitation, l'intelligence collective , la mécanique des jeux, les rites de passages, .... afin que l'agilité prenne racine.
Vous repartirez de cette conférence en ayant pris du recul sur le changement tel qu‘il est généralement opéré aujourd’hui, et en ayant découvert (ou redécouvert) le seul guide valable à suivre, à mon sens, pour un changement authentique, durable, et respectueux des individus! Et en bonus, 2 ou 3 trucs pratiques!
soft-shake.ch - Domotique et robotique avec le micro Framework .NETsoft-shake.ch
Jean-Claude Armici and Philippe Schutz
Le micro Framework .NET offre un environnement de développement et d’exécution complet et innovant. Il offre une programmation de haut niveau, par exemple en C#, permettant de gérer toutes les possibilités offertes par diverses carte électroniques modernes et performantes.
Cette présentation a pour but de faire connaître le micro Framework .NET, son architecture et ses fonctionnalités, au travers d’exemples et de démonstrations dans les domaines de la domotique et de la robotique. La programmation, dans un environnement standard, ainsi que le matériel utilisé, très abordable à tous les points de vue, devraient permettre à chacun de s’initier sans peine à l’utilisation de l’informatique embarquée.
http://soft-shake.ch/2011/conference/sessions/microsoft/2011/09/06/domotique-et-robotique-avec-le-micro-framework-NET.html
Retour d’expérience sur ‘TFS Online’ (VSTS) dans une solution industrielle (c...Microsoft Technet France
"La méthodologie Agile peut être appliquée à des projets de taille modeste, mais également à des projets industriels important. Lors de cette session, nous vous présenterons un projet d’industrialisation développé pendant près de 2 ans en méthodologie Agile et en technologies Web (Single Page Application), grâce à Visual Studio Team Services Online (TFS Online). Nous passerons en vue les moyens mis en œuvre et les solutions logicielles collaboratives utilisées. Nous analyserons les problèmes rencontrés, ainsi que les solutions appliquées pour les contourner, et nous reprendrons les 4 points forts appliqués.
Suite à cette session, vous serez conscient de l’organisation nécessaire pour concevoir une solution industrielle utilisée en permanence (24/7) par des milliers d’utilisateurs. Vous disposerez d’une méthodologie Agile exploitable et déjà éprouvée, y compris l’ensemble des solutions logicielles et techniques permettant d’échafauder une application basée sur la qualité des déploiements continus et sur la maintenance évolutive.
"
Microsoft Experieces 2016 - Retour d’expériences sur TFS OnlineDenis Voituron
Retour d’expériences TFS Online dans une solution industrielle
La méthodologie Agile peut être appliquée à des projets de taille modeste, mais également à des projets industriels important. Lors de cette session, nous vous présenterons un projet d’industrialisation développé pendant près de 2 ans en méthodologie Agile et en technologies Web (Single Page Application), grâce à Visual Studio Team Services Online (TFS Online). Nous passerons en vue les moyens mis en œuvre et les solutions logicielles collaboratives utilisées. Nous analyserons les problèmes rencontrés, ainsi que les solutions appliquées pour les contourner, et nous reprendrons les 4 points forts appliqués.
Suite à cette session, vous serez conscient de l’organisation nécessaire pour concevoir une solution industrielle utilisée en permanence (24/7) par des milliers d’utilisateurs. Vous disposerez d’une méthodologie Agile exploitable et déjà éprouvée, y compris l’ensemble des solutions logicielles et techniques permettant d’échafauder une application basée sur la qualité des déploiements continus et sur la maintenance évolutive.
Ouvrez la porte ou prenez un mur (Agile Tour Genève 2024)Laurent Speyser
(Conférence dessinée)
Vous êtes certainement à l’origine, ou impliqué, dans un changement au sein de votre organisation. Et peut être que cela ne se passe pas aussi bien qu’attendu…
Depuis plusieurs années, je fais régulièrement le constat de l’échec de l’adoption de l’Agilité, et plus globalement de grands changements, dans les organisations. Je vais tenter de vous expliquer pourquoi ils suscitent peu d'adhésion, peu d’engagement, et ils ne tiennent pas dans le temps.
Heureusement, il existe un autre chemin. Pour l'emprunter il s'agira de cultiver l'invitation, l'intelligence collective , la mécanique des jeux, les rites de passages, .... afin que l'agilité prenne racine.
Vous repartirez de cette conférence en ayant pris du recul sur le changement tel qu‘il est généralement opéré aujourd’hui, et en ayant découvert (ou redécouvert) le seul guide valable à suivre, à mon sens, pour un changement authentique, durable, et respectueux des individus! Et en bonus, 2 ou 3 trucs pratiques!
Le Comptoir OCTO - Équipes infra et prod, ne ratez pas l'embarquement pour l'...OCTO Technology
par Claude Camus (Coach agile d'organisation @OCTO Technology) et Gilles Masy (Organizational Coach @OCTO Technology)
Les équipes infrastructure, sécurité, production, ou cloud, doivent consacrer du temps à la modernisation de leurs outils (automatisation, cloud, etc) et de leurs pratiques (DevOps, SRE, etc). Dans le même temps, elles doivent répondre à une avalanche croissante de demandes, tout en maintenant un niveau de qualité de service optimal.
Habitué des environnements développeurs, les transformations agiles négligent les particularités des équipes OPS. Lors de ce comptoir, nous vous partagerons notre proposition de valeur de l'agilité@OPS, qui embarquera vos équipes OPS en Classe Business (Agility), et leur fera dire : "nous ne reviendrons pas en arrière".
Le Comptoir OCTO - Qu’apporte l’analyse de cycle de vie lors d’un audit d’éco...OCTO Technology
Par Nicolas Bordier (Consultant numérique responsable @OCTO Technology) et Alaric Rougnon-Glasson (Sustainable Tech Consultant @OCTO Technology)
Sur un exemple très concret d’audit d’éco-conception de l’outil de bilan carbone C’Bilan développé par ICDC (Caisse des dépôts et consignations) nous allons expliquer en quoi l’ACV (analyse de cycle de vie) a été déterminante pour identifier les pistes d’actions pour réduire jusqu'à 82% de l’empreinte environnementale du service.
Vidéo Youtube : https://www.youtube.com/watch?v=7R8oL2P_DkU
Compte-rendu :
L'IA connaît une croissance rapide et son intégration dans le domaine éducatif soulève de nombreuses questions. Aujourd'hui, nous explorerons comment les étudiants utilisent l'IA, les perceptions des enseignants à ce sujet, et les mesures possibles pour encadrer ces usages.
Constat Actuel
L'IA est de plus en plus présente dans notre quotidien, y compris dans l'éducation. Certaines universités, comme Science Po en janvier 2023, ont interdit l'utilisation de l'IA, tandis que d'autres, comme l'Université de Prague, la considèrent comme du plagiat. Cette diversité de positions souligne la nécessité urgente d'une réponse institutionnelle pour encadrer ces usages et prévenir les risques de triche et de plagiat.
Enquête Nationale
Pour mieux comprendre ces dynamiques, une enquête nationale intitulée "L'IA dans l'enseignement" a été réalisée. Les auteurs de cette enquête sont Le Sphynx (sondage) et Compilatio (fraude académique). Elle a été diffusée dans les universités de Lyon et d'Aix-Marseille entre le 21 juin et le 15 août 2023, touchant 1242 enseignants et 4443 étudiants. Les questionnaires, conçus pour étudier les usages de l'IA et les représentations de ces usages, abordaient des thèmes comme les craintes, les opportunités et l'acceptabilité.
Résultats de l'Enquête
Les résultats montrent que 55 % des étudiants utilisent l'IA de manière occasionnelle ou fréquente, contre 34 % des enseignants. Cependant, 88 % des enseignants pensent que leurs étudiants utilisent l'IA, ce qui pourrait indiquer une surestimation des usages. Les usages identifiés incluent la recherche d'informations et la rédaction de textes, bien que ces réponses ne puissent pas être cumulées dans les choix proposés.
Analyse Critique
Une analyse plus approfondie révèle que les enseignants peinent à percevoir les bénéfices de l'IA pour l'apprentissage, contrairement aux étudiants. La question de savoir si l'IA améliore les notes sans développer les compétences reste débattue. Est-ce un dopage académique ou une opportunité pour un apprentissage plus efficace ?
Acceptabilité et Éthique
L'enquête révèle que beaucoup d'étudiants jugent acceptable d'utiliser l'IA pour rédiger leurs devoirs, et même un quart des enseignants partagent cet avis. Cela pose des questions éthiques cruciales : copier-coller est-il tricher ? Utiliser l'IA sous supervision ou pour des traductions est-il acceptable ? La réponse n'est pas simple et nécessite un débat ouvert.
Propositions et Solutions
Pour encadrer ces usages, plusieurs solutions sont proposées. Plutôt que d'interdire l'IA, il est suggéré de fixer des règles pour une utilisation responsable. Des innovations pédagogiques peuvent également être explorées, comme la création de situations de concurrence professionnelle ou l'utilisation de détecteurs d'IA.
Conclusion
En conclusion, bien que l'étude présente des limites, elle souligne un besoin urgent de régulation. Une charte institutionnelle pourrait fournir un cadre pour une utilisation éthique.
OCTO TALKS : 4 Tech Trends du Software Engineering.pdfOCTO Technology
En cette année 2024 qui s’annonce sous le signe de la complexité, avec :
- L’explosion de la Gen AI
-Un contexte socio-économique sous tensions
- De forts enjeux sur le Sustainable et la régulation IT
- Une archipélisation des lieux de travail post-Covid
Découvrez les Tech trends incontournables pour délivrer vos produits stratégiques.
OCTO TALKS : 4 Tech Trends du Software Engineering.pdf
Bip Résumé (French)
1. La plateforme BIP Développement et analyse de systèmes embarqués critiques temps-réel
2. Domain d’application Le contrôle logiciel de systèmes critiques… Transport (automobile, avionique, etc.) Robotique Appareils médicaux …doit satisfaire des propriétés de sûreté Absence d’interblocages BIP permet Le développement d’applications correctes par construction L’analyse d’applications existantes
3. Maîtriser le parallélisme Les systèmes parallèles sont difficiles à concevoir et à vérifier Cause : explosion combinatoire de l’espace d’états Solution : approche compositionnelle… Composants atomiques séquentielles Colle – coordination sans ajout de comportement …avec BIP Synthèse de la couche de coordination Garanties par construction Analyse indépendante des composants et de la colle
4. Qu’est-ce qu’est BIP ? Langage formel de modélisation par composants Langage de coordination pour leC Outils d’analyse et de transformation Analyse de propriétés de sûreté (absence d’interblocages – D-Finder) Optimisation de performances sous des contraintes architecturales Analyse fonctionnelle et non-fonctionnelle Chaîne de compilation Parseur, générateur de code Noyau de simulation Exécution sur des plateformes multi-cœur et distribuées
5. Pourquoi utiliser BIP ? Expressivité Tout type de coordination sans ajout de comportement Construction par intégration des fonctions élémentaires Généralité Compatible avec différentes modèles de programmation Flots de données synchrones Mémoire partagée Envoi de messages Garanties par construction Synthèse de colle Transformations source-to-source Optimisation de performances sous des contraintes architecturales Génération automatique de modèles distribués
9. Transformation dans BIP réalisée par « l’usine aux langages » – un jeu d’outils de transformation à partir de formalismes existants
10.
11. Componentisation Robot autonome Dala développé au LAAS (Toulouse) http://homepages.laas.fr/matthieu/robots/dala.shtml Couche contrôle : ~300 000 lignes de code initial Componentisation Vérification des propriétés de sûreté Génération de code Le projet MARAE distingué par FNRAE Fondation de Recherche pour l’Aéronautique et l’Espace EADS, Safran, Thalès, … http://www.ujf-grenoble.fr/1274965794187/0/fiche___actualite/
12. Quels bénéfices ? Analyse Réduction de coûts V&V Aide à la qualification et certification Développement Méthodologie de développement appuyé par des résultats théoriques Réduction du cycle de développement (meilleur time-to-market) Déplacement de l’effort sur les problématiques métier Componentisation Simplification et de la base de code et élimination de bugs Réutilisation des composants à travers l’entreprise Facilité de coordination avec partenaires extérieurs
13. Contacts Joseph Sifakis Joseph.Sifakis@imag.fr Simon Bliudze Simon.Bliudze@cea.fr Page web de la plateforme http://www-verimag.imag.fr/BIP,196.html