ºÝºÝߣshows by User: PoleSystematicParisRegion / http://www.slideshare.net/images/logo.gif ºÝºÝߣshows by User: PoleSystematicParisRegion / Wed, 19 Jun 2019 12:05:58 GMT ºÝºÝߣShare feed for ºÝºÝߣshows by User: PoleSystematicParisRegion OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Natalya Rozhnova /slideshow/osis19iot-transparent-remote-connectivity-to-shortrange-iot-devices-by-natalya-rozhnova/150604200 osis2019-190619120558
Short-range wireless communication technologies such as Bluetooth or ZigBee represent an important part of the Internet of Things ecosystem. By design, this category of smart devices has physically limited reachability inside their Wireless Personal Area Network (WPAN) and are not directly compatible with the TCP/IP stack. However, users may need to access them from anywhere at any moment. To address this problem, we design a new application-agnostic approach called RCM (Remote Connection Manager) enabling transparent communication between an application and out-of-range devices. It creates new IoT use cases by seamlessly mixing remote and local devices. We implemented an open-source prototype for Bluetooth Low Energy (BLE) technology on top of Linux and Android BLE stacks and demonstrated its efficiency through experiments performed on real devices.]]>
Short-range wireless communication technologies such as Bluetooth or ZigBee represent an important part of the Internet of Things ecosystem. By design, this category of smart devices has physically limited reachability inside their Wireless Personal Area Network (WPAN) and are not directly compatible with the TCP/IP stack. However, users may need to access them from anywhere at any moment. To address this problem, we design a new application-agnostic approach called RCM (Remote Connection Manager) enabling transparent communication between an application and out-of-range devices. It creates new IoT use cases by seamlessly mixing remote and local devices. We implemented an open-source prototype for Bluetooth Low Energy (BLE) technology on top of Linux and Android BLE stacks and demonstrated its efficiency through experiments performed on real devices.]]> Wed, 19 Jun 2019 12:05:58 GMT /slideshow/osis19iot-transparent-remote-connectivity-to-shortrange-iot-devices-by-natalya-rozhnova/150604200 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Natalya Rozhnova PoleSystematicParisRegion Short-range wireless communication technologies such as Bluetooth or ZigBee represent an important part of the Internet of Things ecosystem. By design, this category of smart devices has physically limited reachability inside their Wireless Personal Area Network (WPAN) and are not directly compatible with the TCP/IP stack. However, users may need to access them from anywhere at any moment. To address this problem, we design a new application-agnostic approach called RCM (Remote Connection Manager) enabling transparent communication between an application and out-of-range devices. It creates new IoT use cases by seamlessly mixing remote and local devices. We implemented an open-source prototype for Bluetooth Low Energy (BLE) technology on top of Linux and Android BLE stacks and demonstrated its efficiency through experiments performed on real devices. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis2019-190619120558-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Short-range wireless communication technologies such as Bluetooth or ZigBee represent an important part of the Internet of Things ecosystem. By design, this category of smart devices has physically limited reachability inside their Wireless Personal Area Network (WPAN) and are not directly compatible with the TCP/IP stack. However, users may need to access them from anywhere at any moment. To address this problem, we design a new application-agnostic approach called RCM (Remote Connection Manager) enabling transparent communication between an application and out-of-range devices. It creates new IoT use cases by seamlessly mixing remote and local devices. We implemented an open-source prototype for Bluetooth Low Energy (BLE) technology on top of Linux and Android BLE stacks and demonstrated its efficiency through experiments performed on real devices.
OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Natalya Rozhnova from Pµ£le Systematic Paris-Region
]]> 690 2 https://cdn.slidesharecdn.com/ss_thumbnails/osis2019-190619120558-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a Cloud Environment, by Tarek Menouer https://fr.slideshare.net/slideshow/osis19cloud-safc-scheduling-and-allocation-framework-for-containers-in-a-cloud-environment-by-tarek-menouer/150592112 tarekmenouer-190619101229
SAFC est un nouveau framework d¡¯ordonnancement des conteneurs dans le cloud bas¨¦ sur un mod¨¨le ¨¦conomique. La nouveaut¨¦ de SAFC est qu¡¯il permet de d¨¦cider automatiquement quel est le nombre de ressources allou¨¦es pour chaque conteneur.]]>
SAFC est un nouveau framework d¡¯ordonnancement des conteneurs dans le cloud bas¨¦ sur un mod¨¨le ¨¦conomique. La nouveaut¨¦ de SAFC est qu¡¯il permet de d¨¦cider automatiquement quel est le nombre de ressources allou¨¦es pour chaque conteneur.]]> Wed, 19 Jun 2019 10:12:28 GMT https://fr.slideshare.net/slideshow/osis19cloud-safc-scheduling-and-allocation-framework-for-containers-in-a-cloud-environment-by-tarek-menouer/150592112 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a Cloud Environment, by Tarek Menouer PoleSystematicParisRegion SAFC est un nouveau framework d¡¯ordonnancement des conteneurs dans le cloud bas¨¦ sur un mod¨¨le ¨¦conomique. La nouveaut¨¦ de SAFC est qu¡¯il permet de d¨¦cider automatiquement quel est le nombre de ressources allou¨¦es pour chaque conteneur. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tarekmenouer-190619101229-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> SAFC est un nouveau framework d¡¯ordonnancement des conteneurs dans le cloud bas¨¦ sur un mod¨¨le ¨¦conomique. La nouveaut¨¦ de SAFC est qu¡¯il permet de d¨¦cider automatiquement quel est le nombre de ressources allou¨¦es pour chaque conteneur.
from Pµ£le Systematic Paris-Region
]]> 296 3 https://cdn.slidesharecdn.com/ss_thumbnails/tarekmenouer-190619101229-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS19_Cloud : Qu¡¯apporte l¡¯observabilit¨¦ ¨¤ la gestion de configuration? par Nicolas Charles /PoleSystematicParisRegion/osis19cloud-quapporte-lobservabilit-la-gestion-de-configuration-par-nicolas-charles rudderosis2019-190619080255
On parle d¡¯observabilit¨¦ des services lorsque ceux-ci exposent des ¨¦tats et m¨¦triques internes pour am¨¦liorer la disponibilit¨¦ globale. Qu¡¯en est-il de l¡¯observabilit¨¦ des infrastructures sur lesquelles ils sont d¨¦ploy¨¦s, configur¨¦s et maintenus ? Les diff¨¦rents logs (centralis¨¦s, agr¨¦g¨¦s) permettent un bon d¨¦but d¡¯analyse mais il faut aussi observer les syst¨¨mes au fil de l¡¯eau pour tracer chaque changement et les corr¨¦ler avec le monitoring. Aujourd¡¯hui, ces ¨¦tapes de configuration IT devraient ¨ºtre prises en charge par les outils de gestion de configuration, qui deviennent la passerelle vers l¡¯observabilit¨¦ des op¨¦rations. Nous montrerons l'int¨¦r¨ºt de cette approche pour la gestion IT moderne avec un retour d¡¯exp¨¦rience sur les challenges de leur mise en place dans Rudder, notre solution libre d¡¯audit et de gestion de configuration en continu.]]>
On parle d¡¯observabilit¨¦ des services lorsque ceux-ci exposent des ¨¦tats et m¨¦triques internes pour am¨¦liorer la disponibilit¨¦ globale. Qu¡¯en est-il de l¡¯observabilit¨¦ des infrastructures sur lesquelles ils sont d¨¦ploy¨¦s, configur¨¦s et maintenus ? Les diff¨¦rents logs (centralis¨¦s, agr¨¦g¨¦s) permettent un bon d¨¦but d¡¯analyse mais il faut aussi observer les syst¨¨mes au fil de l¡¯eau pour tracer chaque changement et les corr¨¦ler avec le monitoring. Aujourd¡¯hui, ces ¨¦tapes de configuration IT devraient ¨ºtre prises en charge par les outils de gestion de configuration, qui deviennent la passerelle vers l¡¯observabilit¨¦ des op¨¦rations. Nous montrerons l'int¨¦r¨ºt de cette approche pour la gestion IT moderne avec un retour d¡¯exp¨¦rience sur les challenges de leur mise en place dans Rudder, notre solution libre d¡¯audit et de gestion de configuration en continu.]]> Wed, 19 Jun 2019 08:02:55 GMT /PoleSystematicParisRegion/osis19cloud-quapporte-lobservabilit-la-gestion-de-configuration-par-nicolas-charles PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_Cloud : Qu¡¯apporte l¡¯observabilit¨¦ ¨¤ la gestion de configuration? par Nicolas Charles PoleSystematicParisRegion On parle d¡¯observabilit¨¦ des services lorsque ceux-ci exposent des ¨¦tats et m¨¦triques internes pour am¨¦liorer la disponibilit¨¦ globale. Qu¡¯en est-il de l¡¯observabilit¨¦ des infrastructures sur lesquelles ils sont d¨¦ploy¨¦s, configur¨¦s et maintenus ? Les diff¨¦rents logs (centralis¨¦s, agr¨¦g¨¦s) permettent un bon d¨¦but d¡¯analyse mais il faut aussi observer les syst¨¨mes au fil de l¡¯eau pour tracer chaque changement et les corr¨¦ler avec le monitoring. Aujourd¡¯hui, ces ¨¦tapes de configuration IT devraient ¨ºtre prises en charge par les outils de gestion de configuration, qui deviennent la passerelle vers l¡¯observabilit¨¦ des op¨¦rations. Nous montrerons l'int¨¦r¨ºt de cette approche pour la gestion IT moderne avec un retour d¡¯exp¨¦rience sur les challenges de leur mise en place dans Rudder, notre solution libre d¡¯audit et de gestion de configuration en continu. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/rudderosis2019-190619080255-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> On parle d¡¯observabilit¨¦ des services lorsque ceux-ci exposent des ¨¦tats et m¨¦triques internes pour am¨¦liorer la disponibilit¨¦ globale. Qu¡¯en est-il de l¡¯observabilit¨¦ des infrastructures sur lesquelles ils sont d¨¦ploy¨¦s, configur¨¦s et maintenus ? Les diff¨¦rents logs (centralis¨¦s, agr¨¦g¨¦s) permettent un bon d¨¦but d¡¯analyse mais il faut aussi observer les syst¨¨mes au fil de l¡¯eau pour tracer chaque changement et les corr¨¦ler avec le monitoring. Aujourd¡¯hui, ces ¨¦tapes de configuration IT devraient ¨ºtre prises en charge par les outils de gestion de configuration, qui deviennent la passerelle vers l¡¯observabilit¨¦ des op¨¦rations. Nous montrerons l&#39;int¨¦r¨ºt de cette approche pour la gestion IT moderne avec un retour d¡¯exp¨¦rience sur les challenges de leur mise en place dans Rudder, notre solution libre d¡¯audit et de gestion de configuration en continu.
OSIS19_Cloud : Qu¡¯apporte l¡¯observabilit¨¦ ¨¤ la gestion de configuration? par Nicolas Charles from P?le Systematic Paris-Region
]]> 350 1 https://cdn.slidesharecdn.com/ss_thumbnails/rudderosis2019-190619080255-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS19_Cloud : Performance and power management in virtualized data centers, by Alain Tchana /slideshow/osis19cloud-performance-and-power-management-in-virtualized-data-centers-by-alain-tchana/150410613 alaintchanadrowsydc-19-190618154704
My research is in virtualized infrastructure domain. I aim at minimizing electricity consumption while improving application performance. To achieve the first goal, I work both at the entire datacenter level (by providing better VM placement strategies) and at the physical machine level (by providing better power management policies). Concerning the second goal, I work both at the VM monitor level (for minimizing its overhead) and at the VM's operating system (OS) level (for making it aware of the fact that it is virtualized). In this talk I present two contributions of my research team, one for each objective. The first contribution presents Drowsy-DC, a novel way to reduce data center power consumption inspired by smartphones. The second contribution presents XPV (eXtended Para-Virtualization), a new principle for well virtualizing NUMA machines.]]>
My research is in virtualized infrastructure domain. I aim at minimizing electricity consumption while improving application performance. To achieve the first goal, I work both at the entire datacenter level (by providing better VM placement strategies) and at the physical machine level (by providing better power management policies). Concerning the second goal, I work both at the VM monitor level (for minimizing its overhead) and at the VM's operating system (OS) level (for making it aware of the fact that it is virtualized). In this talk I present two contributions of my research team, one for each objective. The first contribution presents Drowsy-DC, a novel way to reduce data center power consumption inspired by smartphones. The second contribution presents XPV (eXtended Para-Virtualization), a new principle for well virtualizing NUMA machines.]]> Tue, 18 Jun 2019 15:47:04 GMT /slideshow/osis19cloud-performance-and-power-management-in-virtualized-data-centers-by-alain-tchana/150410613 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_Cloud : Performance and power management in virtualized data centers, by Alain Tchana PoleSystematicParisRegion My research is in virtualized infrastructure domain. I aim at minimizing electricity consumption while improving application performance. To achieve the first goal, I work both at the entire datacenter level (by providing better VM placement strategies) and at the physical machine level (by providing better power management policies). Concerning the second goal, I work both at the VM monitor level (for minimizing its overhead) and at the VM's operating system (OS) level (for making it aware of the fact that it is virtualized). In this talk I present two contributions of my research team, one for each objective. The first contribution presents Drowsy-DC, a novel way to reduce data center power consumption inspired by smartphones. The second contribution presents XPV (eXtended Para-Virtualization), a new principle for well virtualizing NUMA machines. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/alaintchanadrowsydc-19-190618154704-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> My research is in virtualized infrastructure domain. I aim at minimizing electricity consumption while improving application performance. To achieve the first goal, I work both at the entire datacenter level (by providing better VM placement strategies) and at the physical machine level (by providing better power management policies). Concerning the second goal, I work both at the VM monitor level (for minimizing its overhead) and at the VM&#39;s operating system (OS) level (for making it aware of the fact that it is virtualized). In this talk I present two contributions of my research team, one for each objective. The first contribution presents Drowsy-DC, a novel way to reduce data center power consumption inspired by smartphones. The second contribution presents XPV (eXtended Para-Virtualization), a new principle for well virtualizing NUMA machines.
OSIS19_Cloud : Performance and power management in virtualized data centers, by Alain Tchana from Pµ£le Systematic Paris-Region
]]> 291 1 https://cdn.slidesharecdn.com/ss_thumbnails/alaintchanadrowsydc-19-190618154704-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'exp¨¦rience du d¨¦veloppement de CRESON, support pour des objets distants fortement coh¨¦rents dans Infinispan /slideshow/osis19cloud-des-objets-dans-le-cloud-et-qui-y-restent-lexprience-du-dveloppement-de-creson-support-pour-des-objets-distants-fortement-cohrents-dans-infinispan/150395606 osis2019riviere-public-190618144450
L'exp¨¦rience du d¨¦veloppement de CRESON, support pour des objets distants fortement coh¨¦rents dans Infinispan, par Etienne Riviere (UCLouvain). Cet expos¨¦ pr¨¦sentera des r¨¦sultats obtenus dans le cadre du projet europ¨¦en LEADS que j'ai coordonn¨¦ et o¨´ l'entreprise Red Hat ¨¦tait partenaire. Le code produit a ¨¦t¨¦ int¨¦gr¨¦ dans le ¡°staging" de la base de donn¨¦es NoSQL Infinispan, et ¨¦valu¨¦ avec un ¨¦quivalent open source de Dropbox d¨¦velopp¨¦ par CloudSpaces, un autre projet europ¨¦en.]]>
L'exp¨¦rience du d¨¦veloppement de CRESON, support pour des objets distants fortement coh¨¦rents dans Infinispan, par Etienne Riviere (UCLouvain). Cet expos¨¦ pr¨¦sentera des r¨¦sultats obtenus dans le cadre du projet europ¨¦en LEADS que j'ai coordonn¨¦ et o¨´ l'entreprise Red Hat ¨¦tait partenaire. Le code produit a ¨¦t¨¦ int¨¦gr¨¦ dans le ¡°staging" de la base de donn¨¦es NoSQL Infinispan, et ¨¦valu¨¦ avec un ¨¦quivalent open source de Dropbox d¨¦velopp¨¦ par CloudSpaces, un autre projet europ¨¦en.]]> Tue, 18 Jun 2019 14:44:50 GMT /slideshow/osis19cloud-des-objets-dans-le-cloud-et-qui-y-restent-lexprience-du-dveloppement-de-creson-support-pour-des-objets-distants-fortement-cohrents-dans-infinispan/150395606 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'exp¨¦rience du d¨¦veloppement de CRESON, support pour des objets distants fortement coh¨¦rents dans Infinispan PoleSystematicParisRegion L'exp¨¦rience du d¨¦veloppement de CRESON, support pour des objets distants fortement coh¨¦rents dans Infinispan, par Etienne Riviere (UCLouvain). Cet expos¨¦ pr¨¦sentera des r¨¦sultats obtenus dans le cadre du projet europ¨¦en LEADS que j'ai coordonn¨¦ et o¨´ l'entreprise Red Hat ¨¦tait partenaire. Le code produit a ¨¦t¨¦ int¨¦gr¨¦ dans le ¡°staging" de la base de donn¨¦es NoSQL Infinispan, et ¨¦valu¨¦ avec un ¨¦quivalent open source de Dropbox d¨¦velopp¨¦ par CloudSpaces, un autre projet europ¨¦en. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis2019riviere-public-190618144450-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> L&#39;exp¨¦rience du d¨¦veloppement de CRESON, support pour des objets distants fortement coh¨¦rents dans Infinispan, par Etienne Riviere (UCLouvain). Cet expos¨¦ pr¨¦sentera des r¨¦sultats obtenus dans le cadre du projet europ¨¦en LEADS que j&#39;ai coordonn¨¦ et o¨´ l&#39;entreprise Red Hat ¨¦tait partenaire. Le code produit a ¨¦t¨¦ int¨¦gr¨¦ dans le ¡°staging&quot; de la base de donn¨¦es NoSQL Infinispan, et ¨¦valu¨¦ avec un ¨¦quivalent open source de Dropbox d¨¦velopp¨¦ par CloudSpaces, un autre projet europ¨¦en.
OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expÞ{rience du dÞ{veloppement de CRESON, support pour des objets distants fortement cohÞ{rents dans Infinispan from Pµ£le Systematic Paris-Region
]]> 279 2 https://cdn.slidesharecdn.com/ss_thumbnails/osis2019riviere-public-190618144450-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alter way https://fr.slideshare.net/slideshow/osis19cloud-attribution-automatique-de-ressources-pour-microservices-alter-way/150386908 osislip6aw-ressourcesauto1-190618140228
L'approche de virtualisation en micro-services entraine des difficult¨¦s natives dans le capacity planning. La consommation de ressources des services d¨¦ploy¨¦s ¨¦tant ¨¦lastique et fonction du volume de requ¨ºtes / appels re?us par ce service.]]>
L'approche de virtualisation en micro-services entraine des difficult¨¦s natives dans le capacity planning. La consommation de ressources des services d¨¦ploy¨¦s ¨¦tant ¨¦lastique et fonction du volume de requ¨ºtes / appels re?us par ce service.]]> Tue, 18 Jun 2019 14:02:28 GMT https://fr.slideshare.net/slideshow/osis19cloud-attribution-automatique-de-ressources-pour-microservices-alter-way/150386908 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alter way PoleSystematicParisRegion L'approche de virtualisation en micro-services entraine des difficult¨¦s natives dans le capacity planning. La consommation de ressources des services d¨¦ploy¨¦s ¨¦tant ¨¦lastique et fonction du volume de requ¨ºtes / appels re?us par ce service. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osislip6aw-ressourcesauto1-190618140228-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> L&#39;approche de virtualisation en micro-services entraine des difficult¨¦s natives dans le capacity planning. La consommation de ressources des services d¨¦ploy¨¦s ¨¦tant ¨¦lastique et fonction du volume de requ¨ºtes / appels re?us par ce service.
from Pµ£le Systematic Paris-Region
]]> 229 1 https://cdn.slidesharecdn.com/ss_thumbnails/osislip6aw-ressourcesauto1-190618140228-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pierre Ficheux https://fr.slideshare.net/slideshow/osis19iot-state-of-the-art-in-security-for-embedded-systems-and-iot-by-pierre-ficheux/150378841 secuiotpf-190618125142
The conference will describe the main concepts of security for embedded and IoT solutions : security vs safety, IT vs OT, main standards, level of security of available operating systems (Linux, Android, etc.), examples of attacks and secure solutions.]]>
The conference will describe the main concepts of security for embedded and IoT solutions : security vs safety, IT vs OT, main standards, level of security of available operating systems (Linux, Android, etc.), examples of attacks and secure solutions.]]> Tue, 18 Jun 2019 12:51:42 GMT https://fr.slideshare.net/slideshow/osis19iot-state-of-the-art-in-security-for-embedded-systems-and-iot-by-pierre-ficheux/150378841 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pierre Ficheux PoleSystematicParisRegion The conference will describe the main concepts of security for embedded and IoT solutions : security vs safety, IT vs OT, main standards, level of security of available operating systems (Linux, Android, etc.), examples of attacks and secure solutions. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/secuiotpf-190618125142-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> The conference will describe the main concepts of security for embedded and IoT solutions : security vs safety, IT vs OT, main standards, level of security of available operating systems (Linux, Android, etc.), examples of attacks and secure solutions.
from Pµ£le Systematic Paris-Region
]]> 360 3 https://cdn.slidesharecdn.com/ss_thumbnails/secuiotpf-190618125142-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick Moy /slideshow/osis19iot-proof-of-pointer-programs-with-ownership-in-spark-by-yannick-moy/150378348 pointersinspark-190618124440
Pointers are a notorious "defect attractor", in particular when dynamic memory management is involved. Ada mitigates these issues by having much less need for pointers overall (thanks to first-class arrays, parameter modes, generics) and stricter rules for pointer manipulations that limit access to dangling memory. Still, dynamic memory management in Ada may lead to use-after-free, double-free and memory leaks, and dangling memory issues may lead to runtime exceptions. The SPARK subset of Ada is focused on making it possible to guarantee properties of the program statically, in particular the absence of programming language errors, with a mostly automatic analysis. For that reason, and because static analysis of pointers is notoriously hard to automate, pointers have been forbidden in SPARK until now. We are working at AdaCore since 2017 on including pointer support in SPARK by restricting the use of pointers in programs so that they respect "ownership" constraints, like what is found in Rust. In this talk, I will present the current state of the ownership rules for pointer support in SPARK, and the current state of the implementation in the GNAT compiler and GNATprove prover, as well as our roadmap for the future.]]>
Pointers are a notorious "defect attractor", in particular when dynamic memory management is involved. Ada mitigates these issues by having much less need for pointers overall (thanks to first-class arrays, parameter modes, generics) and stricter rules for pointer manipulations that limit access to dangling memory. Still, dynamic memory management in Ada may lead to use-after-free, double-free and memory leaks, and dangling memory issues may lead to runtime exceptions. The SPARK subset of Ada is focused on making it possible to guarantee properties of the program statically, in particular the absence of programming language errors, with a mostly automatic analysis. For that reason, and because static analysis of pointers is notoriously hard to automate, pointers have been forbidden in SPARK until now. We are working at AdaCore since 2017 on including pointer support in SPARK by restricting the use of pointers in programs so that they respect "ownership" constraints, like what is found in Rust. In this talk, I will present the current state of the ownership rules for pointer support in SPARK, and the current state of the implementation in the GNAT compiler and GNATprove prover, as well as our roadmap for the future.]]> Tue, 18 Jun 2019 12:44:40 GMT /slideshow/osis19iot-proof-of-pointer-programs-with-ownership-in-spark-by-yannick-moy/150378348 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick Moy PoleSystematicParisRegion Pointers are a notorious "defect attractor", in particular when dynamic memory management is involved. Ada mitigates these issues by having much less need for pointers overall (thanks to first-class arrays, parameter modes, generics) and stricter rules for pointer manipulations that limit access to dangling memory. Still, dynamic memory management in Ada may lead to use-after-free, double-free and memory leaks, and dangling memory issues may lead to runtime exceptions. The SPARK subset of Ada is focused on making it possible to guarantee properties of the program statically, in particular the absence of programming language errors, with a mostly automatic analysis. For that reason, and because static analysis of pointers is notoriously hard to automate, pointers have been forbidden in SPARK until now. We are working at AdaCore since 2017 on including pointer support in SPARK by restricting the use of pointers in programs so that they respect "ownership" constraints, like what is found in Rust. In this talk, I will present the current state of the ownership rules for pointer support in SPARK, and the current state of the implementation in the GNAT compiler and GNATprove prover, as well as our roadmap for the future. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pointersinspark-190618124440-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Pointers are a notorious &quot;defect attractor&quot;, in particular when dynamic memory management is involved. Ada mitigates these issues by having much less need for pointers overall (thanks to first-class arrays, parameter modes, generics) and stricter rules for pointer manipulations that limit access to dangling memory. Still, dynamic memory management in Ada may lead to use-after-free, double-free and memory leaks, and dangling memory issues may lead to runtime exceptions. The SPARK subset of Ada is focused on making it possible to guarantee properties of the program statically, in particular the absence of programming language errors, with a mostly automatic analysis. For that reason, and because static analysis of pointers is notoriously hard to automate, pointers have been forbidden in SPARK until now. We are working at AdaCore since 2017 on including pointer support in SPARK by restricting the use of pointers in programs so that they respect &quot;ownership&quot; constraints, like what is found in Rust. In this talk, I will present the current state of the ownership rules for pointer support in SPARK, and the current state of the implementation in the GNAT compiler and GNATprove prover, as well as our roadmap for the future.
Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick Moy from Pµ£le Systematic Paris-Region
]]> 208 4 https://cdn.slidesharecdn.com/ss_thumbnails/pointersinspark-190618124440-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Osis18_Cloud : Pas de commun sans communaute? ? https://fr.slideshare.net/slideshow/osis18cloud-pas-de-commun-sans-communaute/102317227 osis18cloud-laurentchemla-180613162412
Durant ce talk Laurent Chemla revient sur l'exp¨¦rience au niveau du projet Open Source Caliopen pour la cr¨¦ation d'un commun et la mise en place d'une communaut¨¦. Il abordera plusieurs questions essentielles dans la vie un projet Open Source tel que: - Qu'est-ce qu'un commun et comment il na?t? - Qui vient en premier le commun ou la communaut¨¦ qui soutient ce commun?]]>
Durant ce talk Laurent Chemla revient sur l'exp¨¦rience au niveau du projet Open Source Caliopen pour la cr¨¦ation d'un commun et la mise en place d'une communaut¨¦. Il abordera plusieurs questions essentielles dans la vie un projet Open Source tel que: - Qu'est-ce qu'un commun et comment il na?t? - Qui vient en premier le commun ou la communaut¨¦ qui soutient ce commun?]]> Wed, 13 Jun 2018 16:24:12 GMT https://fr.slideshare.net/slideshow/osis18cloud-pas-de-commun-sans-communaute/102317227 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) Osis18_Cloud : Pas de commun sans communaute? ? PoleSystematicParisRegion Durant ce talk Laurent Chemla revient sur l'exp¨¦rience au niveau du projet Open Source Caliopen pour la cr¨¦ation d'un commun et la mise en place d'une communaut¨¦. Il abordera plusieurs questions essentielles dans la vie un projet Open Source tel que: - Qu'est-ce qu'un commun et comment il na?t? - Qui vient en premier le commun ou la communaut¨¦ qui soutient ce commun? <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis18cloud-laurentchemla-180613162412-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Durant ce talk Laurent Chemla revient sur l&#39;exp¨¦rience au niveau du projet Open Source Caliopen pour la cr¨¦ation d&#39;un commun et la mise en place d&#39;une communaut¨¦. Il abordera plusieurs questions essentielles dans la vie un projet Open Source tel que: - Qu&#39;est-ce qu&#39;un commun et comment il na?t? - Qui vient en premier le commun ou la communaut¨¦ qui soutient ce commun?
from P?le Systematic Paris-Region
]]> 659 4 https://cdn.slidesharecdn.com/ss_thumbnails/osis18cloud-laurentchemla-180613162412-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Osis18_Cloud : Projet Wolphin https://fr.slideshare.net/slideshow/osis18cloud-projet-wolphin/102316720 osis-wolphin-complet2-180613162031
Gandi, Objectif Libre, Alter Way]]>
Gandi, Objectif Libre, Alter Way]]> Wed, 13 Jun 2018 16:20:31 GMT https://fr.slideshare.net/slideshow/osis18cloud-projet-wolphin/102316720 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) Osis18_Cloud : Projet Wolphin PoleSystematicParisRegion Gandi, Objectif Libre, Alter Way <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis-wolphin-complet2-180613162031-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Gandi, Objectif Libre, Alter Way
from Pµ£le Systematic Paris-Region
]]> 233 3 https://cdn.slidesharecdn.com/ss_thumbnails/osis-wolphin-complet2-180613162031-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Osis18_Cloud : Virtualisation efficace d¡¯architectures NUMA https://fr.slideshare.net/slideshow/osis18cloud-virtualisation-efficace-darchitectures-numa/102316502 osis-2018-gauthier-voron-180613161901
La virtualisation est une technologie mature dont le surco?t est aujourd¡¯hui marginal sur les machines grand public. N¨¦amoins, ce surco?t augmente radicalement pour les machines reposant sur une architecture Non Uniform Memory Access (NUMA), omnipr¨¦sentes dans les data centers. Les techniques de virtualisation actuelles exploitent mal cette architecture et causent une d¨¦gradation des performances des applications allant jusqu¡¯¨¤ 700%. Cette pr¨¦sentation d¨¦taille les causes de telles d¨¦gradations et propose une m¨¦thode qui permet la virtualisation efficace d¡¯architectures NUMA. Une ¨¦valuation de cette m¨¦thode montre qu¡¯il est possible de multiplier par 2 ou plus la performance de 9 des 29 applications test¨¦es.]]>
La virtualisation est une technologie mature dont le surco?t est aujourd¡¯hui marginal sur les machines grand public. N¨¦amoins, ce surco?t augmente radicalement pour les machines reposant sur une architecture Non Uniform Memory Access (NUMA), omnipr¨¦sentes dans les data centers. Les techniques de virtualisation actuelles exploitent mal cette architecture et causent une d¨¦gradation des performances des applications allant jusqu¡¯¨¤ 700%. Cette pr¨¦sentation d¨¦taille les causes de telles d¨¦gradations et propose une m¨¦thode qui permet la virtualisation efficace d¡¯architectures NUMA. Une ¨¦valuation de cette m¨¦thode montre qu¡¯il est possible de multiplier par 2 ou plus la performance de 9 des 29 applications test¨¦es.]]> Wed, 13 Jun 2018 16:19:01 GMT https://fr.slideshare.net/slideshow/osis18cloud-virtualisation-efficace-darchitectures-numa/102316502 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) Osis18_Cloud : Virtualisation efficace d¡¯architectures NUMA PoleSystematicParisRegion La virtualisation est une technologie mature dont le surco?t est aujourd¡¯hui marginal sur les machines grand public. N¨¦amoins, ce surco?t augmente radicalement pour les machines reposant sur une architecture Non Uniform Memory Access (NUMA), omnipr¨¦sentes dans les data centers. Les techniques de virtualisation actuelles exploitent mal cette architecture et causent une d¨¦gradation des performances des applications allant jusqu¡¯¨¤ 700%. Cette pr¨¦sentation d¨¦taille les causes de telles d¨¦gradations et propose une m¨¦thode qui permet la virtualisation efficace d¡¯architectures NUMA. Une ¨¦valuation de cette m¨¦thode montre qu¡¯il est possible de multiplier par 2 ou plus la performance de 9 des 29 applications test¨¦es. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis-2018-gauthier-voron-180613161901-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> La virtualisation est une technologie mature dont le surco?t est aujourd¡¯hui marginal sur les machines grand public. N¨¦amoins, ce surco?t augmente radicalement pour les machines reposant sur une architecture Non Uniform Memory Access (NUMA), omnipr¨¦sentes dans les data centers. Les techniques de virtualisation actuelles exploitent mal cette architecture et causent une d¨¦gradation des performances des applications allant jusqu¡¯¨¤ 700%. Cette pr¨¦sentation d¨¦taille les causes de telles d¨¦gradations et propose une m¨¦thode qui permet la virtualisation efficace d¡¯architectures NUMA. Une ¨¦valuation de cette m¨¦thode montre qu¡¯il est possible de multiplier par 2 ou plus la performance de 9 des 29 applications test¨¦es.
from P¥Æ¥¨le Systematic Paris-Region
]]> 205 2 https://cdn.slidesharecdn.com/ss_thumbnails/osis-2018-gauthier-voron-180613161901-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Osis18_Cloud : DeepTorrent Stockage distribu¨¦ perenne bas¨¦ sur Bittorrent /PoleSystematicParisRegion/osis18cloud-deeptorrent-stockage-distribu-perenne-bas-sur-bittorrent osis-2018-gilutard-180613161740
Nous pr¨¦sentons une solution Open Source de stockage et d¡¯archivage distribu¨¦ des donn¨¦es dont l¡¯objectif est la p¨¦rennit¨¦ des donn¨¦es. Il est bas¨¦ sur le protocole BitTorrent et int¨¨gre un haut niveau de redondance, ainsi que d¡¯un m¨¦canisme de r¨¦g¨¦n¨¦ration automatique des donn¨¦es. Il peut ¨ºtre d¨¦ploy¨¦ ¨¤ grande ¨¦chelle en LAN et en WAN. Les agents sont compatibles avec des serveurs et postes clients Linux, Window ou Mac OS.]]>
Nous pr¨¦sentons une solution Open Source de stockage et d¡¯archivage distribu¨¦ des donn¨¦es dont l¡¯objectif est la p¨¦rennit¨¦ des donn¨¦es. Il est bas¨¦ sur le protocole BitTorrent et int¨¨gre un haut niveau de redondance, ainsi que d¡¯un m¨¦canisme de r¨¦g¨¦n¨¦ration automatique des donn¨¦es. Il peut ¨ºtre d¨¦ploy¨¦ ¨¤ grande ¨¦chelle en LAN et en WAN. Les agents sont compatibles avec des serveurs et postes clients Linux, Window ou Mac OS.]]> Wed, 13 Jun 2018 16:17:40 GMT /PoleSystematicParisRegion/osis18cloud-deeptorrent-stockage-distribu-perenne-bas-sur-bittorrent PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) Osis18_Cloud : DeepTorrent Stockage distribu¨¦ perenne bas¨¦ sur Bittorrent PoleSystematicParisRegion Nous pr¨¦sentons une solution Open Source de stockage et d¡¯archivage distribu¨¦ des donn¨¦es dont l¡¯objectif est la p¨¦rennit¨¦ des donn¨¦es. Il est bas¨¦ sur le protocole BitTorrent et int¨¨gre un haut niveau de redondance, ainsi que d¡¯un m¨¦canisme de r¨¦g¨¦n¨¦ration automatique des donn¨¦es. Il peut ¨ºtre d¨¦ploy¨¦ ¨¤ grande ¨¦chelle en LAN et en WAN. Les agents sont compatibles avec des serveurs et postes clients Linux, Window ou Mac OS. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis-2018-gilutard-180613161740-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Nous pr¨¦sentons une solution Open Source de stockage et d¡¯archivage distribu¨¦ des donn¨¦es dont l¡¯objectif est la p¨¦rennit¨¦ des donn¨¦es. Il est bas¨¦ sur le protocole BitTorrent et int¨¨gre un haut niveau de redondance, ainsi que d¡¯un m¨¦canisme de r¨¦g¨¦n¨¦ration automatique des donn¨¦es. Il peut ¨ºtre d¨¦ploy¨¦ ¨¤ grande ¨¦chelle en LAN et en WAN. Les agents sont compatibles avec des serveurs et postes clients Linux, Window ou Mac OS.
Osis18_Cloud : DeepTorrent Stockage distribuÞ{ perenne basÞ{ sur Bittorrent from Pµ£le Systematic Paris-Region
]]> 242 2 https://cdn.slidesharecdn.com/ss_thumbnails/osis-2018-gilutard-180613161740-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Osis18_Cloud : Software-heritage /PoleSystematicParisRegion/osis18cloud-softwareheritage 2018-06-05-osis-cloudsoftwareheritage-180613161515
Le logiciel est au c?ur de notre soci¨¦t¨¦ num¨¦rique et le code source des logiciels contient une part croissante de nos connaissances scientifiques, techniques et organisationnelles, au point d'¨ºtre devenu d¨¦sormais une partie int¨¦grante du patrimoine de l'Humanit¨¦. La mission de ?Software Heritage? est de veiller ¨¤ ce que cette pr¨¦cieuse masse des connaissances soit collect¨¦e, pr¨¦serv¨¦e, organis¨¦e et mise ¨¤ la disposition de tous. Construire une telle infrastructure pose des d¨¦fis importants, ¨¤ la fois techniques et strat¨¦giques, et nous pouvons tous contribuer ¨¤ les r¨¦soudre. ]]>
Le logiciel est au c?ur de notre soci¨¦t¨¦ num¨¦rique et le code source des logiciels contient une part croissante de nos connaissances scientifiques, techniques et organisationnelles, au point d'¨ºtre devenu d¨¦sormais une partie int¨¦grante du patrimoine de l'Humanit¨¦. La mission de ?Software Heritage? est de veiller ¨¤ ce que cette pr¨¦cieuse masse des connaissances soit collect¨¦e, pr¨¦serv¨¦e, organis¨¦e et mise ¨¤ la disposition de tous. Construire une telle infrastructure pose des d¨¦fis importants, ¨¤ la fois techniques et strat¨¦giques, et nous pouvons tous contribuer ¨¤ les r¨¦soudre. ]]> Wed, 13 Jun 2018 16:15:14 GMT /PoleSystematicParisRegion/osis18cloud-softwareheritage PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) Osis18_Cloud : Software-heritage PoleSystematicParisRegion Le logiciel est au c?ur de notre soci¨¦t¨¦ num¨¦rique et le code source des logiciels contient une part croissante de nos connaissances scientifiques, techniques et organisationnelles, au point d'¨ºtre devenu d¨¦sormais une partie int¨¦grante du patrimoine de l'Humanit¨¦. La mission de ?Software Heritage? est de veiller ¨¤ ce que cette pr¨¦cieuse masse des connaissances soit collect¨¦e, pr¨¦serv¨¦e, organis¨¦e et mise ¨¤ la disposition de tous. Construire une telle infrastructure pose des d¨¦fis importants, ¨¤ la fois techniques et strat¨¦giques, et nous pouvons tous contribuer ¨¤ les r¨¦soudre. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2018-06-05-osis-cloudsoftwareheritage-180613161515-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Le logiciel est au c?ur de notre soci¨¦t¨¦ num¨¦rique et le code source des logiciels contient une part croissante de nos connaissances scientifiques, techniques et organisationnelles, au point d&#39;¨ºtre devenu d¨¦sormais une partie int¨¦grante du patrimoine de l&#39;Humanit¨¦. La mission de ?Software Heritage? est de veiller ¨¤ ce que cette pr¨¦cieuse masse des connaissances soit collect¨¦e, pr¨¦serv¨¦e, organis¨¦e et mise ¨¤ la disposition de tous. Construire une telle infrastructure pose des d¨¦fis importants, ¨¤ la fois techniques et strat¨¦giques, et nous pouvons tous contribuer ¨¤ les r¨¦soudre.
Osis18_Cloud : Software-heritage from Pµ£le Systematic Paris-Region
]]> 133 3 https://cdn.slidesharecdn.com/ss_thumbnails/2018-06-05-osis-cloudsoftwareheritage-180613161515-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS18_IoT: L'approche machine virtuelle pour les microcontr?leurs, le projet OMicroB https://fr.slideshare.net/slideshow/osis18iot-lapproche-machine-virtuelle-pour-les-microcontrleurs-le-projet-omicrob/102311355 hello-180613154135
Dans cet expos¨¦, on pr¨¦sentera OMicroB, une machine virtuelle OCaml pour microcontr?leurs ¨¤ faibles ressources, inspir¨¦e des travaux pr¨¦c¨¦dents sur le projet OCaPIC. Cette machine virtuelle, destin¨¦e ¨¤ ¨ºtre ex¨¦cut¨¦e sur diverses architectures mat¨¦rielles (AVR, PIC, ARM, ...) permet ainsi de factoriser le d¨¦veloppement d¡¯applications, mais aussi de g¨¦n¨¦raliser l¡¯analyse et le d¨¦bogage du bytecode associ¨¦, tout en permettant un usage pr¨¦cautionneux de la m¨¦moire. On cible alors des programmes ludiques ou de domotiques destin¨¦s ¨¤ ¨ºtre ex¨¦cut¨¦s sur des microcontr?leurs ¨¤ faibles ressources, en insistant sur les particularit¨¦s inh¨¦rentes ¨¤ la programmation de syst¨¨mes embarqu¨¦s.]]>
Dans cet expos¨¦, on pr¨¦sentera OMicroB, une machine virtuelle OCaml pour microcontr?leurs ¨¤ faibles ressources, inspir¨¦e des travaux pr¨¦c¨¦dents sur le projet OCaPIC. Cette machine virtuelle, destin¨¦e ¨¤ ¨ºtre ex¨¦cut¨¦e sur diverses architectures mat¨¦rielles (AVR, PIC, ARM, ...) permet ainsi de factoriser le d¨¦veloppement d¡¯applications, mais aussi de g¨¦n¨¦raliser l¡¯analyse et le d¨¦bogage du bytecode associ¨¦, tout en permettant un usage pr¨¦cautionneux de la m¨¦moire. On cible alors des programmes ludiques ou de domotiques destin¨¦s ¨¤ ¨ºtre ex¨¦cut¨¦s sur des microcontr?leurs ¨¤ faibles ressources, en insistant sur les particularit¨¦s inh¨¦rentes ¨¤ la programmation de syst¨¨mes embarqu¨¦s.]]> Wed, 13 Jun 2018 15:41:35 GMT https://fr.slideshare.net/slideshow/osis18iot-lapproche-machine-virtuelle-pour-les-microcontrleurs-le-projet-omicrob/102311355 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS18_IoT: L'approche machine virtuelle pour les microcontr?leurs, le projet OMicroB PoleSystematicParisRegion Dans cet expos¨¦, on pr¨¦sentera OMicroB, une machine virtuelle OCaml pour microcontr?leurs ¨¤ faibles ressources, inspir¨¦e des travaux pr¨¦c¨¦dents sur le projet OCaPIC. Cette machine virtuelle, destin¨¦e ¨¤ ¨ºtre ex¨¦cut¨¦e sur diverses architectures mat¨¦rielles (AVR, PIC, ARM, ...) permet ainsi de factoriser le d¨¦veloppement d¡¯applications, mais aussi de g¨¦n¨¦raliser l¡¯analyse et le d¨¦bogage du bytecode associ¨¦, tout en permettant un usage pr¨¦cautionneux de la m¨¦moire. On cible alors des programmes ludiques ou de domotiques destin¨¦s ¨¤ ¨ºtre ex¨¦cut¨¦s sur des microcontr?leurs ¨¤ faibles ressources, en insistant sur les particularit¨¦s inh¨¦rentes ¨¤ la programmation de syst¨¨mes embarqu¨¦s. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/hello-180613154135-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Dans cet expos¨¦, on pr¨¦sentera OMicroB, une machine virtuelle OCaml pour microcontr?leurs ¨¤ faibles ressources, inspir¨¦e des travaux pr¨¦c¨¦dents sur le projet OCaPIC. Cette machine virtuelle, destin¨¦e ¨¤ ¨ºtre ex¨¦cut¨¦e sur diverses architectures mat¨¦rielles (AVR, PIC, ARM, ...) permet ainsi de factoriser le d¨¦veloppement d¡¯applications, mais aussi de g¨¦n¨¦raliser l¡¯analyse et le d¨¦bogage du bytecode associ¨¦, tout en permettant un usage pr¨¦cautionneux de la m¨¦moire. On cible alors des programmes ludiques ou de domotiques destin¨¦s ¨¤ ¨ºtre ex¨¦cut¨¦s sur des microcontr?leurs ¨¤ faibles ressources, en insistant sur les particularit¨¦s inh¨¦rentes ¨¤ la programmation de syst¨¨mes embarqu¨¦s.
from Pµ£le Systematic Paris-Region
]]> 277 4 https://cdn.slidesharecdn.com/ss_thumbnails/hello-180613154135-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riot /slideshow/osis18iot-la-securite-des-objets-connectes-a-bas-cout-avec-los-et-riot/99372468 osis18iotlasecuritedesobjetsconnectesabascoutaveclosetriot-180529132703
RIOT est un syst¨¨me d'exploitation l¨¦ger, libre et performant d¨¦velopp¨¦ par l'INRIA et destin¨¦ aux cibles mat¨¦rielles de faible puissance.]]>
RIOT est un syst¨¨me d'exploitation l¨¦ger, libre et performant d¨¦velopp¨¦ par l'INRIA et destin¨¦ aux cibles mat¨¦rielles de faible puissance.]]> Tue, 29 May 2018 13:27:03 GMT /slideshow/osis18iot-la-securite-des-objets-connectes-a-bas-cout-avec-los-et-riot/99372468 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riot PoleSystematicParisRegion RIOT est un syst¨¨me d'exploitation l¨¦ger, libre et performant d¨¦velopp¨¦ par l'INRIA et destin¨¦ aux cibles mat¨¦rielles de faible puissance. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotlasecuritedesobjetsconnectesabascoutaveclosetriot-180529132703-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> RIOT est un syst¨¨me d&#39;exploitation l¨¦ger, libre et performant d¨¦velopp¨¦ par l&#39;INRIA et destin¨¦ aux cibles mat¨¦rielles de faible puissance.
OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riot from Pµ£le Systematic Paris-Region
]]> 501 3 https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotlasecuritedesobjetsconnectesabascoutaveclosetriot-180529132703-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio GUERRA (Farjump) /slideshow/osis18iot-solution-de-mise-au-point-pour-les-systemes-embarques-par-julio-guerra-farjump/99372046 osis18iotsolutiondemiseaupointpourlessystemesembarques-180529132148
La soci¨¦t¨¦ Farjump propose une solution simple, innovante et bon march¨¦ pour la mise au point des syst¨¨mes embarqu¨¦s utilis¨¦s dans l'IoT. La solution est bas¨¦ sur la mise en place d'agents GDB sur la cible.]]>
La soci¨¦t¨¦ Farjump propose une solution simple, innovante et bon march¨¦ pour la mise au point des syst¨¨mes embarqu¨¦s utilis¨¦s dans l'IoT. La solution est bas¨¦ sur la mise en place d'agents GDB sur la cible.]]> Tue, 29 May 2018 13:21:48 GMT /slideshow/osis18iot-solution-de-mise-au-point-pour-les-systemes-embarques-par-julio-guerra-farjump/99372046 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio GUERRA (Farjump) PoleSystematicParisRegion La soci¨¦t¨¦ Farjump propose une solution simple, innovante et bon march¨¦ pour la mise au point des syst¨¨mes embarqu¨¦s utilis¨¦s dans l'IoT. La solution est bas¨¦ sur la mise en place d'agents GDB sur la cible. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotsolutiondemiseaupointpourlessystemesembarques-180529132148-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> La soci¨¦t¨¦ Farjump propose une solution simple, innovante et bon march¨¦ pour la mise au point des syst¨¨mes embarqu¨¦s utilis¨¦s dans l&#39;IoT. La solution est bas¨¦ sur la mise en place d&#39;agents GDB sur la cible.
OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio GUERRA (Farjump) from Pµ£le Systematic Paris-Region
]]> 169 3 https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotsolutiondemiseaupointpourlessystemesembarques-180529132148-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZE (Nokia) /slideshow/osis18iot-securisation-du-reseau-des-objets-connectes-par-nicolas-le-sauze-nokia/99371760 osis18iotsecurisationdureseaudesobjetsconnectes-180529131809
Le principe est d¡¯appliquer des m¨¦canismes de contr?le dynamiques et fins sur les communications des objets (entre eux ou bien vers le cloud) sous le contr?le des utilisateurs.]]>
Le principe est d¡¯appliquer des m¨¦canismes de contr?le dynamiques et fins sur les communications des objets (entre eux ou bien vers le cloud) sous le contr?le des utilisateurs.]]> Tue, 29 May 2018 13:18:09 GMT /slideshow/osis18iot-securisation-du-reseau-des-objets-connectes-par-nicolas-le-sauze-nokia/99371760 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZE (Nokia) PoleSystematicParisRegion Le principe est d¡¯appliquer des m¨¦canismes de contr?le dynamiques et fins sur les communications des objets (entre eux ou bien vers le cloud) sous le contr?le des utilisateurs. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotsecurisationdureseaudesobjetsconnectes-180529131809-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Le principe est d¡¯appliquer des m¨¦canismes de contr?le dynamiques et fins sur les communications des objets (entre eux ou bien vers le cloud) sous le contr?le des utilisateurs.
OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZE (Nokia) from Pµ£le Systematic Paris-Region
]]> 94 1 https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotsecurisationdureseaudesobjetsconnectes-180529131809-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Programming, by Fabien CHOUTEAU & Yannick MOY (Adacore) /slideshow/osis18iot-ada-and-spark-defense-in-depth-for-safe-microcontroller-programming-by-fabien-chouteau-yannick-moy-adacore/99371520 osis18iotadaandspark-defenseindepthforsafemicro-controllerprogramming-180529131452
The programming language Ada offers unique features to safely program a micro-controller. From the start, Ada was designed to make it difficult to introduce errors, and to make it easy to discover errors that were introduced. For example, language rules enforced at compile time make it possible to have safe concurrency by design. And run-time checking allows immediate detection of what would be "undefined behavior" in C/C++. In the first part of this presentation, we will present the benefits of using Ada for micro-controller programming, including support for debugging on a board. In the second part of this presentation, we will present how the Ada language and its subset SPARK provide a strong foundation for static analyzers, that make it possible to detect errors and provide guarantees on embedded software in Ada/SPARK.]]>
The programming language Ada offers unique features to safely program a micro-controller. From the start, Ada was designed to make it difficult to introduce errors, and to make it easy to discover errors that were introduced. For example, language rules enforced at compile time make it possible to have safe concurrency by design. And run-time checking allows immediate detection of what would be "undefined behavior" in C/C++. In the first part of this presentation, we will present the benefits of using Ada for micro-controller programming, including support for debugging on a board. In the second part of this presentation, we will present how the Ada language and its subset SPARK provide a strong foundation for static analyzers, that make it possible to detect errors and provide guarantees on embedded software in Ada/SPARK.]]> Tue, 29 May 2018 13:14:52 GMT /slideshow/osis18iot-ada-and-spark-defense-in-depth-for-safe-microcontroller-programming-by-fabien-chouteau-yannick-moy-adacore/99371520 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Programming, by Fabien CHOUTEAU & Yannick MOY (Adacore) PoleSystematicParisRegion The programming language Ada offers unique features to safely program a micro-controller. From the start, Ada was designed to make it difficult to introduce errors, and to make it easy to discover errors that were introduced. For example, language rules enforced at compile time make it possible to have safe concurrency by design. And run-time checking allows immediate detection of what would be "undefined behavior" in C/C++. In the first part of this presentation, we will present the benefits of using Ada for micro-controller programming, including support for debugging on a board. In the second part of this presentation, we will present how the Ada language and its subset SPARK provide a strong foundation for static analyzers, that make it possible to detect errors and provide guarantees on embedded software in Ada/SPARK. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotadaandspark-defenseindepthforsafemicro-controllerprogramming-180529131452-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> The programming language Ada offers unique features to safely program a micro-controller. From the start, Ada was designed to make it difficult to introduce errors, and to make it easy to discover errors that were introduced. For example, language rules enforced at compile time make it possible to have safe concurrency by design. And run-time checking allows immediate detection of what would be &quot;undefined behavior&quot; in C/C++. In the first part of this presentation, we will present the benefits of using Ada for micro-controller programming, including support for debugging on a board. In the second part of this presentation, we will present how the Ada language and its subset SPARK provide a strong foundation for static analyzers, that make it possible to detect errors and provide guarantees on embedded software in Ada/SPARK.
OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Programming, by Fabien CHOUTEAU & Yannick MOY (Adacore) from Pµ£le Systematic Paris-Region
]]> 251 2 https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotadaandspark-defenseindepthforsafemicro-controllerprogramming-180529131452-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS) https://fr.slideshare.net/PoleSystematicParisRegion/osis18iot-rtems-pour-liot-professionnel-par-pierre-ficheux-smile-ecs osis18iotrtemspourliotprofessionnel-180529130301
Nous pr¨¦senterons le syst¨¨me d'exploitation RTEMS, ses applications pass¨¦es et actuelles ainsi que les travaux en cours pour son utilisation dans l'IoT professionnel.]]>
Nous pr¨¦senterons le syst¨¨me d'exploitation RTEMS, ses applications pass¨¦es et actuelles ainsi que les travaux en cours pour son utilisation dans l'IoT professionnel.]]> Tue, 29 May 2018 13:03:01 GMT https://fr.slideshare.net/PoleSystematicParisRegion/osis18iot-rtems-pour-liot-professionnel-par-pierre-ficheux-smile-ecs PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS) PoleSystematicParisRegion Nous pr¨¦senterons le syst¨¨me d'exploitation RTEMS, ses applications pass¨¦es et actuelles ainsi que les travaux en cours pour son utilisation dans l'IoT professionnel. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotrtemspourliotprofessionnel-180529130301-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Nous pr¨¦senterons le syst¨¨me d&#39;exploitation RTEMS, ses applications pass¨¦es et actuelles ainsi que les travaux en cours pour son utilisation dans l&#39;IoT professionnel.
from Pµ£le Systematic Paris-Region
]]> 257 1 https://cdn.slidesharecdn.com/ss_thumbnails/osis18iotrtemspourliotprofessionnel-180529130301-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 PyParis 2017 / Un mooc python, by thierry parmentelat /slideshow/pyparis-2017-un-mooc-python-by-thierry-parmentier/79326565 pyparis2017unmoocpythonthierryparmentier-170831153049
PyParis 2017 http://pyparis.org ]]>
PyParis 2017 http://pyparis.org ]]> Thu, 31 Aug 2017 15:30:49 GMT /slideshow/pyparis-2017-un-mooc-python-by-thierry-parmentier/79326565 PoleSystematicParisRegion@slideshare.net(PoleSystematicParisRegion) PyParis 2017 / Un mooc python, by thierry parmentelat PoleSystematicParisRegion PyParis 2017 http://pyparis.org <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pyparis2017unmoocpythonthierryparmentier-170831153049-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> PyParis 2017 http://pyparis.org
PyParis 2017 / Un mooc python, by thierry parmentelat from Pµ£le Systematic Paris-Region
]]> 2459 3 https://cdn.slidesharecdn.com/ss_thumbnails/pyparis2017unmoocpythonthierryparmentier-170831153049-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-PoleSystematicParisRegion-48x48.jpg?cb=1579691206 http://systematic-paris-region.org/ https://cdn.slidesharecdn.com/ss_thumbnails/osis2019-190619120558-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/osis19iot-transparent-remote-connectivity-to-shortrange-iot-devices-by-natalya-rozhnova/150604200 OSIS19_IoT :Transparen... https://cdn.slidesharecdn.com/ss_thumbnails/tarekmenouer-190619101229-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/osis19cloud-safc-scheduling-and-allocation-framework-for-containers-in-a-cloud-environment-by-tarek-menouer/150592112 OSIS19_Cloud : SAFC: S... https://cdn.slidesharecdn.com/ss_thumbnails/rudderosis2019-190619080255-thumbnail.jpg?width=320&height=320&fit=bounds PoleSystematicParisRegion/osis19cloud-quapporte-lobservabilit-la-gestion-de-configuration-par-nicolas-charles OSIS19_Cloud : Qu¡¯appo...