SlideShare une entreprise Scribd logo
1  sur  70
Télécharger pour lire hors ligne
©
Le logiciel dévore le monde
— Marc Andreessen
• s
Embedded Software
Made Easy
The GNU Debugger
for the benefit of
Embedded Engineering
Embedded Software
Made Easy 2
Embedded Software Engineering
Embedded Software
Made Easy 3
The State of Embedded Engineering
1. Extra
Hardware
Embedded Software
Made Easy 3
The State of Embedded Engineering
1. Extra
Hardware
2. Task-Specific
Setup
Embedded Software
Made Easy 3
The State of Embedded Engineering
1. Extra
Hardware
3. Manual Setup
2. Task-Specific
Setup
Embedded Software
Made Easy 3
The State of Embedded Engineering
1. Extra
Hardware
3. Manual Setup
2. Task-Specific
Setup
4. Task-Specific
Tools &
Environment
Embedded Software
Made Easy
Unified Embedded Software Engineering
6
MIPS
PowerPC
Filter & Select
the Hardware
1
Embedded Software
Made Easy
Unified Embedded Software Engineering
6
MIPS
PowerPC
Filter & Select
the Hardware
1
Lock the Hardware
2
Embedded Software
Made Easy
Unified Embedded Software Engineering
6
MIPS
PowerPC
Filter & Select
the Hardware
1
Lock the Hardware
2
Interface with the
Hardware Ports
3
Embedded Software
Made Easy
Unified Embedded Software Engineering
6
MIPS
PowerPC
Filter & Select
the Hardware
1
Lock the Hardware
2
Prototype, Program,
Debug or Test
4
Interface with the
Hardware Ports
3
Embedded Software
Made Easy
Unified Embedded Software Engineering
6
MIPS
PowerPC
Filter & Select
the Hardware
1
Lock the Hardware
2
Prototype, Program,
Debug or Test
4
Interface with the
Hardware Ports
3
Unlock the Hardware
5
7
How much time to blink a LED?
https://youtu.be/niSBhjHa22I
Embedded Software
Made Easy 8
Alpha
Embedded System-Level GDB Server
Embedded Software
Made Easy 8
Alpha
Embedded System-Level GDB Server
Embedded Software
Made Easy 8
GDB
Alpha
Embedded System-Level GDB Server
Embedded Software
Made Easy 8
GDB GDB Protocol
Alpha
Embedded System-Level GDB Server
Embedded Software
Made Easy 9
Alpha
Embedded System-Level GDB Server
Baremetal
Software
Hardware
Embedded Software
Made Easy 9
Alpha
Embedded System-Level GDB Server
Software
Hardware
User Space
Kernel Space
OS Drivers
DriversKernel
Services
Applications
Embedded Software
Made Easy10
Maestro
Hardware-as-a-Service
Server
Integrations
Engineers
Legacy Tools Hardware
Systems
USB
Ethernet
Switch
Serial
Embedded Software
Made Easy10
Maestro
Hardware-as-a-Service
Server
Integrations
Engineers
Legacy Tools Hardware
Systems
USB
Ethernet
Switch
Serial
Embedded Software
Made Easy10
Maestro
Hardware-as-a-Service
Shell
Command-Line
Interface
Server
Integrations
Engineers
Legacy Tools Hardware
Systems
USB
Ethernet
Switch
Serial
Embedded Software
Made Easy10
Maestro
Hardware-as-a-Service
Shell
Command-Line
Interface
Programming
Library
{API}
Server
Integrations
Engineers
Legacy Tools Hardware
Systems
USB
Ethernet
Switch
Serial
Embedded Software
Made Easy10
Maestro
Hardware-as-a-Service
Shell
Command-Line
Interface
Programming
Library
{API}
Virtual
Interfaces
Server
Integrations
Engineers
Legacy Tools Hardware
Systems
USB
Ethernet
Switch
Serial
Embedded Software
Made Easy 11
Maestro
Hardware-as-a-Service
Hardware
Targets
Microcontrollers,
SoCs, FPGAs, DSPs,
development
boards, etc.
Embedded Software
Made Easy
Ports
11
Maestro
Hardware-as-a-Service
Maestro Server
Maestro’s configuration file
describing the targets it is
connected to.
Hardware
Targets
Microcontrollers,
SoCs, FPGAs, DSPs,
development
boards, etc.
Ethernet, Serial,
Switch, USB
Embedded Software
Made Easy
PortsTCP
Networking
11
Maestro Clients
• CLI: day-to-day target
management and access;
fast shell scripting.
• API: software integration
of Maestro features into
new or existing software
tools.
Maestro
Hardware-as-a-Service
Maestro Server
Maestro’s configuration file
describing the targets it is
connected to.
Hardware
Targets
Microcontrollers,
SoCs, FPGAs, DSPs,
development
boards, etc.
Ethernet, Serial,
Switch, USB
Embedded Software
Made Easy 12
Targets General-Purpose Server
running Maestro in
server mode
General-Purpose HUBs to connect
the Targets to the Server: USB
HUBs, ethernet switch, relays
Embedded Software
Made Easy
Targets
General-Purpose Server
running Maestro in
server mode
General-Purpose HUBs to connect
the Targets to the Server: USB
HUBs, ethernet switch, relays
Embedded Software
Made Easy 14
Server running Maestro
in server mode
HUBs to connect the
Targets to the Server: USB
HUBs, ethernet switch,
relays
Targets
Embedded Software
Made Easy 15
Demo Time !
© 16
Listing Targets
© 16
DEVICE ID NAME DRIVER BOUNDARY
d49c1819 KMTronic U8CR relay device
41b5177c USB-Serial Converter serial device
5e57e906 USB-Serial Converter serial port
9b2c4cda USB-Serial Converter serial port
a4922b30 USB-Serial Converter serial port
bae537e2 USB-Serial Converter serial port
10e84693 USB-Serial Converter serial port
$ maestro device list
© 17
Server-side Configuration
© 17
[…]
"mpc5567evb-1": {
"ports": {
"ethernet": {
"type": "ethernet",
"ports": {
"ip-1": {
"type": "ip",
"device":
"192.168.255.1",
"ports": {
"alpha": {
"gdb": {
"type":
"udp",
"port": 1234
}
}
}
}
}
},
"serials": {
"alpha": {
"type": "serial",
"device": "41b5177c",
"config": {
"bps": 115200
}
}
},
"switches": {
"power": {
"type": "relay",
"relay": 5,
"device": "d49c1819"
},
"debug": {
"type": "relay",
"relay": 6,
"device": "d49c1819"
}
}
}
}
[…]
$ cat targets.json
© 18
[…]
"mpc5567evb-1": {
[…]
"scenarios": {
"modes": {
"power": {
"states": {
"switches.power": "on"
},
"debug": {
"states": {
"switches.reset": "on",
"switches.debug": "on"
}
}
}
}
}
}
[…]
$ cat targets.json
© 19
[…]
"mpc5567evb-1": {
[…]
"labels": {
"arch": "powerpc",
"cpu": "e200",
"board": "mpc5567evb"
}
}
[…]
$ cat targets.json
© 20
Selecting Targets
© 20
TARGET ID NAME LOCKED COMMENT
c4333646 mpc5567evb-1 false
24d58d09 qemu-powerpc-e500mc false
f52c26de rpi-1 false
9cf2b38a rpi-2 false
03d1ecd9 rpi-3 false
fc5e2193 rpi-4 false
7ecb7faa rpi-5 false
$
$ maestro target list
© 20
TARGET ID NAME LOCKED COMMENT
c4333646 mpc5567evb-1 false
24d58d09 qemu-powerpc-e500mc false
f52c26de rpi-1 false
9cf2b38a rpi-2 false
03d1ecd9 rpi-3 false
fc5e2193 rpi-4 false
7ecb7faa rpi-5 false
$
$ maestro target list
$ maestro target list --label arch=powerpc
TARGET ID NAME LOCKED COMMENT
c4333646 mpc5567evb-1 false
24d58d09 qemu-powerpc-e500mc false
$
© 20
TARGET ID NAME LOCKED COMMENT
c4333646 mpc5567evb-1 false
24d58d09 qemu-powerpc-e500mc false
f52c26de rpi-1 false
9cf2b38a rpi-2 false
03d1ecd9 rpi-3 false
fc5e2193 rpi-4 false
7ecb7faa rpi-5 false
$
$ maestro target list
$ maestro target list --label arch=powerpc
TARGET ID NAME LOCKED COMMENT
c4333646 mpc5567evb-1 false
24d58d09 qemu-powerpc-e500mc false
$$ maestro target list --label arch=powerpc --label cpu=e200
TARGET ID NAME LOCKED COMMENT
c4333646 mpc5567evb-1 false
© 21
Locking a Target
© 21
$ maestro target lock --expiration=12h mpc5567evb-1
mpc5567evb-1
$
© 21
$ maestro target lock --expiration=12h mpc5567evb-1
mpc5567evb-1
$
[
{
"id": "c4333646",
"name": "mpc5567evb-1",
"lock": {
"timestamp": "2017-12-18T14:48:40.579543034Z",
"expiration": 43200000000000,
"user": {
"id": "julio"
}
},
"configuration": {
[…]
}
}
]
$ maestro target inspect mpc5567evb-1
© 22
Waiting for a Target
© 22
mpc5567evb-1
$
$ maestro target lock --expiration=12h mpc5567evb-1
© 22
mpc5567evb-1
$$ maestro target lock mpc5567evb-1
Couldn’t lock the target mpc5567evb-1
$
$ maestro target lock --expiration=12h mpc5567evb-1
© 22
mpc5567evb-1
$$ maestro target lock mpc5567evb-1
Couldn’t lock the target mpc5567evb-1
$
12 hours later
mpc5567evb-1
$ maestro target lock mpc5567evb-1 --wait=13h
$ maestro target lock --expiration=12h mpc5567evb-1
© 23
Managing Target Modes
© 23
MODE STATE
.
!"" power OFF
!"" debug INHERITED
$
$ maestro target mode get -r mpc5567evb-1
© 23
MODE STATE
.
!"" power OFF
!"" debug INHERITED
$
$ maestro target mode get -r mpc5567evb-1
MODE STATE
.
!"" power ON
!"" debug ON
$
$ maestro target mode set -r mpc5567evb-1 debug on
© 23
MODE STATE
.
!"" power OFF
!"" debug INHERITED
$
$ maestro target mode get -r mpc5567evb-1
MODE STATE
.
!"" power ON
!"" debug ON
$
$ maestro target mode set -r mpc5567evb-1 debug on
MODE STATE
.
!"" power ON
!"" debug OFF
$ maestro target mode set -r mpc5567evb-1 debug off
© 24
Listing Target Ports
© 24
PORT TYPE
#"" serials
$ !"" alpha serial
#"" switches
$ #"" reset switch
$ #"" power switch
$ !"" debug switch
!"" ethernet ethernet
!"" ip-1 ip
!"" alpha
!"" gdb udp
$
$ maestro target port list mpc5567evb-1
© 24
PORT TYPE
#"" serials
$ !"" alpha serial
#"" switches
$ #"" reset switch
$ #"" power switch
$ !"" debug switch
!"" ethernet ethernet
!"" ip-1 ip
!"" alpha
!"" gdb udp
$
$ maestro target port list mpc5567evb-1
$ maestro target port list mpc5567evb-1 --label fj.alpha.debug
PORT TYPE
!"" ethernet ethernet
!"" ip-1 ip
!"" alpha
!"" gdb udp
$
© 24
PORT TYPE
#"" serials
$ !"" alpha serial
#"" switches
$ #"" reset switch
$ #"" power switch
$ !"" debug switch
!"" ethernet ethernet
!"" ip-1 ip
!"" alpha
!"" gdb udp
$
$ maestro target port list mpc5567evb-1
$ maestro target port list mpc5567evb-1 --label fj.alpha.debug
PORT TYPE
!"" ethernet ethernet
!"" ip-1 ip
!"" alpha
!"" gdb udp
$$ maestro target port list mpc5567evb-1 --label fj.alpha.console
PORT TYPE
!"" serials
!"" alpha serial
© 25
Driving Target Ports
© 25
Usage: maestro target port drive mpc5567evb-1 serials.alpha [command]
Available Commands:
attach Attach local standard intput and output streams to a serial device
read Read data from a serial device.
virtual Create a virtual serial device
write Write data to a serial device.
Flags:
--bps=uint Serial line baudrate in bytes per second.
--min=uint Minimum read size. Block until this amount of bytes is received.
(defaults to "1")
$
$ maestro target port drive mpc5567evb-1 serials.alpha --help
© 25
Usage: maestro target port drive mpc5567evb-1 serials.alpha [command]
Available Commands:
attach Attach local standard intput and output streams to a serial device
read Read data from a serial device.
virtual Create a virtual serial device
write Write data to a serial device.
Flags:
--bps=uint Serial line baudrate in bytes per second.
--min=uint Minimum read size. Block until this amount of bytes is received.
(defaults to "1")
$
$ maestro target port drive mpc5567evb-1 serials.alpha --help
12 bytes written in 176.031µs
$ echo 'hello world' | maestro target port drive mpc5567evb-1 serials.alpha write
© 26
Creating Virtual Target Ports

of their remote physical counterparts
© 26
/dev/pts/23
$
$ maestro target port drive mpc5567evb-1 serials.alpha virtual
© 26
/dev/pts/23
$
$ maestro target port drive mpc5567evb-1 serials.alpha virtual
udp://127.0.0.1:43840
$ maestro target port drive mpc5567evb-1 ethernet.ip-1.alpha.gdb virtual
27
Hello, GDB!

https://youtu.be/TYnD03A8cZM
28
GDB Scripting Example
Embedded Program’s Execution Benchmark

https://youtu.be/iFvImG3TzFc
29
GDB Scripting Example
Embedded Program’s Awareness

https://youtu.be/LJ88V5lfcsM
30
Semihosting
Host/Target Communication

https://youtu.be/9I7oOMmzuVo
31
Porting Test Frameworks

https://youtu.be/uzIuUaknSDg
32
Continuous Integration

https://youtu.be/77IdADA9J3U
33
Embedded Software
Made Easy
github.com/farjump/raspberry-pi
Start Now!

Contenu connexe

Tendances

Crash_Report_Mechanism_In_Tizen
Crash_Report_Mechanism_In_TizenCrash_Report_Mechanism_In_Tizen
Crash_Report_Mechanism_In_Tizen
Lex Yu
 
SiliconFailsafeForIoT_Doin
SiliconFailsafeForIoT_DoinSiliconFailsafeForIoT_Doin
SiliconFailsafeForIoT_Doin
Jonny Doin
 
Getting Started With Raspberry Pi - UCSD 2013
Getting Started With Raspberry Pi - UCSD 2013Getting Started With Raspberry Pi - UCSD 2013
Getting Started With Raspberry Pi - UCSD 2013
Tom Paulus
 

Tendances (20)

DWX2015 Code Generierung
DWX2015 Code GenerierungDWX2015 Code Generierung
DWX2015 Code Generierung
 
Crash_Report_Mechanism_In_Tizen
Crash_Report_Mechanism_In_TizenCrash_Report_Mechanism_In_Tizen
Crash_Report_Mechanism_In_Tizen
 
Ipsec
IpsecIpsec
Ipsec
 
HackLU 2018 Make ARM Shellcode Great Again
HackLU 2018 Make ARM Shellcode Great AgainHackLU 2018 Make ARM Shellcode Great Again
HackLU 2018 Make ARM Shellcode Great Again
 
Presentation fpgakit
Presentation fpgakitPresentation fpgakit
Presentation fpgakit
 
Configure Switch Nortel 8600
Configure Switch Nortel 8600Configure Switch Nortel 8600
Configure Switch Nortel 8600
 
Dx diag
Dx diagDx diag
Dx diag
 
Writing bios
Writing biosWriting bios
Writing bios
 
Make ARM Shellcode Great Again
Make ARM Shellcode Great AgainMake ARM Shellcode Great Again
Make ARM Shellcode Great Again
 
Watching And Manipulating Your Network Traffic
Watching And Manipulating Your Network TrafficWatching And Manipulating Your Network Traffic
Watching And Manipulating Your Network Traffic
 
44CON 2014 - Simple Hardware Sidechannel Attacks for 10 GBP or Less, Joe Fitz...
44CON 2014 - Simple Hardware Sidechannel Attacks for 10 GBP or Less, Joe Fitz...44CON 2014 - Simple Hardware Sidechannel Attacks for 10 GBP or Less, Joe Fitz...
44CON 2014 - Simple Hardware Sidechannel Attacks for 10 GBP or Less, Joe Fitz...
 
SiliconFailsafeForIoT_Doin
SiliconFailsafeForIoT_DoinSiliconFailsafeForIoT_Doin
SiliconFailsafeForIoT_Doin
 
LA Micro stock report 9.9.13
LA Micro stock report 9.9.13LA Micro stock report 9.9.13
LA Micro stock report 9.9.13
 
LA Micro Stock Report 30th October 2013
LA Micro Stock Report 30th October 2013LA Micro Stock Report 30th October 2013
LA Micro Stock Report 30th October 2013
 
LA Micro Stock Report 26th February 2014
 LA Micro Stock Report 26th February 2014 LA Micro Stock Report 26th February 2014
LA Micro Stock Report 26th February 2014
 
Getting Started With Raspberry Pi - UCSD 2013
Getting Started With Raspberry Pi - UCSD 2013Getting Started With Raspberry Pi - UCSD 2013
Getting Started With Raspberry Pi - UCSD 2013
 
LA Micro Stock Report 20th February 2014
 LA Micro Stock Report 20th February 2014 LA Micro Stock Report 20th February 2014
LA Micro Stock Report 20th February 2014
 
DEF CON 27 - GRICHTER - reverse engineering 4g hotspots for fun bugs net fina...
DEF CON 27 - GRICHTER - reverse engineering 4g hotspots for fun bugs net fina...DEF CON 27 - GRICHTER - reverse engineering 4g hotspots for fun bugs net fina...
DEF CON 27 - GRICHTER - reverse engineering 4g hotspots for fun bugs net fina...
 
LA Micro Stock Report 7th October 2013
LA Micro Stock Report 7th October 2013LA Micro Stock Report 7th October 2013
LA Micro Stock Report 7th October 2013
 
Evaluation of OpenFlow in RB750GL
Evaluation of OpenFlow in RB750GLEvaluation of OpenFlow in RB750GL
Evaluation of OpenFlow in RB750GL
 

Similaire à OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio GUERRA (Farjump)

在Aix6.1上安装11g r2 rac grid infrastructure集群
在Aix6.1上安装11g r2 rac grid infrastructure集群在Aix6.1上安装11g r2 rac grid infrastructure集群
在Aix6.1上安装11g r2 rac grid infrastructure集群
maclean liu
 

Similaire à OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio GUERRA (Farjump) (20)

Multihomed Linux router
Multihomed Linux routerMultihomed Linux router
Multihomed Linux router
 
“Automation Testing for Embedded Systems”
“Automation Testing for Embedded Systems” “Automation Testing for Embedded Systems”
“Automation Testing for Embedded Systems”
 
hacking-embedded-devices.pptx
hacking-embedded-devices.pptxhacking-embedded-devices.pptx
hacking-embedded-devices.pptx
 
Our Puppet Story – Patterns and Learnings (sage@guug, March 2014)
Our Puppet Story – Patterns and Learnings (sage@guug, March 2014)Our Puppet Story – Patterns and Learnings (sage@guug, March 2014)
Our Puppet Story – Patterns and Learnings (sage@guug, March 2014)
 
A deep dive about VIP,HAIP, and SCAN
A deep dive about VIP,HAIP, and SCAN A deep dive about VIP,HAIP, and SCAN
A deep dive about VIP,HAIP, and SCAN
 
Debugging TV Frame 0x13
Debugging TV Frame 0x13Debugging TV Frame 0x13
Debugging TV Frame 0x13
 
Labs_BT_20221017.pptx
Labs_BT_20221017.pptxLabs_BT_20221017.pptx
Labs_BT_20221017.pptx
 
[CB20] Vulnerabilities of Machine Learning Infrastructure by Sergey Gordeychik
[CB20] Vulnerabilities of Machine Learning Infrastructure by Sergey Gordeychik[CB20] Vulnerabilities of Machine Learning Infrastructure by Sergey Gordeychik
[CB20] Vulnerabilities of Machine Learning Infrastructure by Sergey Gordeychik
 
Network Test Automation - Net Ops Coding 2015
Network Test Automation - Net Ops Coding 2015Network Test Automation - Net Ops Coding 2015
Network Test Automation - Net Ops Coding 2015
 
Secrets of building a debuggable runtime: Learn how language implementors sol...
Secrets of building a debuggable runtime: Learn how language implementors sol...Secrets of building a debuggable runtime: Learn how language implementors sol...
Secrets of building a debuggable runtime: Learn how language implementors sol...
 
A Developer’s Guide to Kubernetes Security
A Developer’s Guide to Kubernetes SecurityA Developer’s Guide to Kubernetes Security
A Developer’s Guide to Kubernetes Security
 
Nodejs Performance Debug
Nodejs Performance DebugNodejs Performance Debug
Nodejs Performance Debug
 
在Aix6.1上安装11g r2 rac grid infrastructure集群
在Aix6.1上安装11g r2 rac grid infrastructure集群在Aix6.1上安装11g r2 rac grid infrastructure集群
在Aix6.1上安装11g r2 rac grid infrastructure集群
 
Introduction to Industrial Control Systems : Pentesting PLCs 101 (BlackHat Eu...
Introduction to Industrial Control Systems : Pentesting PLCs 101 (BlackHat Eu...Introduction to Industrial Control Systems : Pentesting PLCs 101 (BlackHat Eu...
Introduction to Industrial Control Systems : Pentesting PLCs 101 (BlackHat Eu...
 
KVM Security Groups Under the Hood - Wido den Hollander - Your.Online
KVM Security Groups Under the Hood - Wido den Hollander - Your.OnlineKVM Security Groups Under the Hood - Wido den Hollander - Your.Online
KVM Security Groups Under the Hood - Wido den Hollander - Your.Online
 
SR-IOV, KVM and Intel X520 10Gbps cards on Debian/Stable
SR-IOV, KVM and Intel X520 10Gbps cards on Debian/StableSR-IOV, KVM and Intel X520 10Gbps cards on Debian/Stable
SR-IOV, KVM and Intel X520 10Gbps cards on Debian/Stable
 
Make ARM Shellcode Great Again - HITB2018PEK
Make ARM Shellcode Great Again - HITB2018PEKMake ARM Shellcode Great Again - HITB2018PEK
Make ARM Shellcode Great Again - HITB2018PEK
 
Linux networking
Linux networkingLinux networking
Linux networking
 
Metasepi team meeting #20: Start! ATS programming on MCU
Metasepi team meeting #20: Start! ATS programming on MCUMetasepi team meeting #20: Start! ATS programming on MCU
Metasepi team meeting #20: Start! ATS programming on MCU
 
Debugging Tools & Techniques for Persistent Memory Programming
Debugging Tools & Techniques for Persistent Memory ProgrammingDebugging Tools & Techniques for Persistent Memory Programming
Debugging Tools & Techniques for Persistent Memory Programming
 

Plus de Pôle Systematic Paris-Region

Plus de Pôle Systematic Paris-Region (20)

OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Na...
OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Na...OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Na...
OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Na...
 
OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a ...
OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a ...OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a ...
OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a ...
 
OSIS19_Cloud : Qu’apporte l’observabilité à la gestion de configuration? par ...
OSIS19_Cloud : Qu’apporte l’observabilité à la gestion de configuration? par ...OSIS19_Cloud : Qu’apporte l’observabilité à la gestion de configuration? par ...
OSIS19_Cloud : Qu’apporte l’observabilité à la gestion de configuration? par ...
 
OSIS19_Cloud : Performance and power management in virtualized data centers, ...
OSIS19_Cloud : Performance and power management in virtualized data centers, ...OSIS19_Cloud : Performance and power management in virtualized data centers, ...
OSIS19_Cloud : Performance and power management in virtualized data centers, ...
 
OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...
OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...
OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...
 
OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alt...
OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alt...OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alt...
OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alt...
 
OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pi...
OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pi...OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pi...
OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pi...
 
Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick Moy
Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick MoyOsis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick Moy
Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick Moy
 
Osis18_Cloud : Pas de commun sans communauté ?
Osis18_Cloud : Pas de commun sans communauté ?Osis18_Cloud : Pas de commun sans communauté ?
Osis18_Cloud : Pas de commun sans communauté ?
 
Osis18_Cloud : Projet Wolphin
Osis18_Cloud : Projet Wolphin Osis18_Cloud : Projet Wolphin
Osis18_Cloud : Projet Wolphin
 
Osis18_Cloud : Virtualisation efficace d’architectures NUMA
Osis18_Cloud : Virtualisation efficace d’architectures NUMAOsis18_Cloud : Virtualisation efficace d’architectures NUMA
Osis18_Cloud : Virtualisation efficace d’architectures NUMA
 
Osis18_Cloud : DeepTorrent Stockage distribué perenne basé sur Bittorrent
Osis18_Cloud : DeepTorrent Stockage distribué perenne basé sur BittorrentOsis18_Cloud : DeepTorrent Stockage distribué perenne basé sur Bittorrent
Osis18_Cloud : DeepTorrent Stockage distribué perenne basé sur Bittorrent
 
Osis18_Cloud : Software-heritage
Osis18_Cloud : Software-heritageOsis18_Cloud : Software-heritage
Osis18_Cloud : Software-heritage
 
OSIS18_IoT: L'approche machine virtuelle pour les microcontrôleurs, le projet...
OSIS18_IoT: L'approche machine virtuelle pour les microcontrôleurs, le projet...OSIS18_IoT: L'approche machine virtuelle pour les microcontrôleurs, le projet...
OSIS18_IoT: L'approche machine virtuelle pour les microcontrôleurs, le projet...
 
OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riot
OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riotOSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riot
OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riot
 
OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZ...
OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZ...OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZ...
OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZ...
 
OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Progr...
OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Progr...OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Progr...
OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Progr...
 
OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS)
OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS)OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS)
OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS)
 
PyParis 2017 / Un mooc python, by thierry parmentelat
PyParis 2017 / Un mooc python, by thierry parmentelatPyParis 2017 / Un mooc python, by thierry parmentelat
PyParis 2017 / Un mooc python, by thierry parmentelat
 
PyParis2017 / Python pour les enseignants des classes préparatoires, by Olivi...
PyParis2017 / Python pour les enseignants des classes préparatoires, by Olivi...PyParis2017 / Python pour les enseignants des classes préparatoires, by Olivi...
PyParis2017 / Python pour les enseignants des classes préparatoires, by Olivi...
 

Dernier

Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Joaquim Jorge
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
Earley Information Science
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
Enterprise Knowledge
 

Dernier (20)

Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
Advantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessAdvantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your Business
 
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdfUnderstanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘
 

OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio GUERRA (Farjump)