Ajout schémas
This commit is contained in:
parent
b31953ec48
commit
01b5cc552c
3 changed files with 99 additions and 65 deletions
BIN
présentation.pdf
BIN
présentation.pdf
Binary file not shown.
162
présentation.tex
162
présentation.tex
|
|
@ -72,26 +72,6 @@
|
|||
\end{center}
|
||||
\end{frame}
|
||||
|
||||
\subsection{Produits informatiques sur étagère}
|
||||
\begin{frame}
|
||||
\begin{block}{}
|
||||
\textit{La définition admise par tous est qu’un COTS (}Commercial Off The Shelf\textit{) est un composant issu du marché ou plus communément appelé un composant sur étagère.}
|
||||
|
||||
\vspace{0.25cm}
|
||||
|
||||
\scriptsize \rightline{Philippe Roose. \textit{SI-COTS : Aide à l’intégration de COTS Products}, 2009.}
|
||||
\end{block}
|
||||
|
||||
\begin{block}{}
|
||||
\textit{A general-purpose mobile computing device (e.g., smartphone or tablet) that is not designed solely for the purposes of payment acceptance.}
|
||||
|
||||
\vspace{0.25cm}
|
||||
|
||||
\scriptsize \rightline{PCI Security Standards Council. \textit{Mobile Payments on COTS}, 2023.}
|
||||
\end{block}
|
||||
\note{Citation de PCI intéressante car ça fait le lien avec le phénomène décrit ensuite sur les systèmes embarqués.}
|
||||
\end{frame}
|
||||
|
||||
\subsection{Attentes autour des systèmes embarqués sur étagère}
|
||||
\begin{frame}
|
||||
\begin{columns}
|
||||
|
|
@ -160,50 +140,6 @@
|
|||
\note{Authentification: étatique ou non. Il y a le double facteur d'authentification aussi.\\ Webauthn: prononcer Webauthen en anglais, ouèbe-offène en français.\\ Introduire la suite: pour faire tout ça on a besoin de confiance -> racine de confiance -> point d'ancrage quelconque avec lequel on est serein. SPoC: 2018. CPoC: 2019. MPoC:2022.}
|
||||
\end{frame}
|
||||
|
||||
\subsection{Systèmes embarqués}
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
\begin{block}{}
|
||||
\textit{Embedded microprocessor applications all share one common trait: the end product is not a computer. The user may not realize that a computer is included (...). The teenager watching MTV is unaware that embedded computers control the cable box and the television. (...)\\
|
||||
For the purpose of this book, an embedded system is any application where a dedicated computer is built right into the system.}
|
||||
|
||||
\vspace{0.25cm}
|
||||
|
||||
\scriptsize \rightline{Jack G. Ganssle. \textit{The Art of Programming Embedded Systems}, 1991.}
|
||||
\end{block}
|
||||
|
||||
\begin{block}{}
|
||||
\textit{Embedded systems are computing systems dedicated to specific tasks. In many cases, the work being done was originally done by custom logic.}
|
||||
|
||||
\vspace{0.25cm}
|
||||
|
||||
\scriptsize \rightline{Alfredo Romagosa. \textit{Embedded Systems Journal: Cache}} \rightline{\textit{Coherence Issues for Real-Time Multiprocessing}, 1997.}
|
||||
\end{block}
|
||||
\end{center}
|
||||
\note{Citation de Romagosa: Embedded Systems Journal, Vol.10, No.2}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
\begin{block}{}
|
||||
\textit{Un système embarqué est un système informatique logiciel et matériel enfoui dans un objet afin de contrôler son activité et sa sécurité, d'offrir des services à ses utilisateurs et de communiquer avec d'autres objets.}
|
||||
|
||||
\vspace{0.25cm}
|
||||
|
||||
\scriptsize \rightline{Gérard Berry. \textit{Pourquoi et comment le monde devient numérique}, 2008.}
|
||||
\end{block}
|
||||
|
||||
\begin{block}{}
|
||||
\textit{Un objet communicant permet à l'utilisateur d'accéder à des services via cet objet grâce à un échange d'informations avec le monde qui l'entoure.\\ Les dispositifs numériques qui permettent d'offrir ces services sont appelés systèmes embarqués.}
|
||||
|
||||
\vspace{0.25cm}
|
||||
|
||||
\scriptsize \rightline{Didier Hallépée. \textit{La sécurité du smartphone et des systèmes embarqués}, 2012.}
|
||||
\end{block}
|
||||
\end{center}
|
||||
\note{Citer la potentielle contrainte de batterie pour préparer la contribution Android. Leçon inaugurale de Berry au Collège de France.}
|
||||
\end{frame}
|
||||
|
||||
\subsection{Environnements sécurisés}
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
|
|
@ -257,6 +193,104 @@ For the purpose of this book, an embedded system is any application where a dedi
|
|||
\note{Introduit en 2004 et essentiellement perpétré par Arm. Tentatives de portage vers x86 par la suite pas toujours fructueuses. Pas de puce supplémentaire. Présent dans les systèmes sur étagères mais pas utilisable par tout le monde.}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
\begin{tikzpicture}
|
||||
\pgfmathsetmacro{\hauteur}{7}
|
||||
\pgfmathsetmacro{\largeur}{7}
|
||||
\pgfmathsetmacro{\marge}{0.25}
|
||||
\pgfmathsetmacro{\largeurPetit}{(\largeur - 4*\marge)/3}
|
||||
\pgfmathsetmacro{\hauteurPetit}{(\hauteur - 3*\marge)/2}
|
||||
|
||||
\draw [fill=Gray!20] (0,0) rectangle ++(\largeur, \hauteur);
|
||||
\draw [fill=white] (1*\marge + 0*\largeurPetit, \marge) rectangle ++(\largeurPetit, \hauteurPetit) node[pos=0.5] {SE};
|
||||
\draw [fill=white] (2*\marge + 1*\largeurPetit, \marge) rectangle ++(\largeurPetit, \hauteurPetit) node[pos=0.5] {HSM};
|
||||
\draw [fill=white] (3*\marge + 2*\largeurPetit, \marge) rectangle ++(\largeurPetit, \hauteurPetit) node[pos=0.5] {TPM};
|
||||
\draw [fill=white] (1*\marge, 2*\marge + \hauteurPetit) rectangle ++(\largeur - 2*\marge, \hauteurPetit) node[pos=0.35] {REE} node[pos=0.65] {TEE};
|
||||
\draw [dotted] (\marge, 2*\hauteurPetit+2*\marge) -- (\largeur - \marge, 2*\marge + \hauteurPetit);
|
||||
\end{tikzpicture}
|
||||
\end{center}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
\begin{tikzpicture}
|
||||
\pgfmathsetmacro{\hauteurTel}{8}
|
||||
\pgfmathsetmacro{\largeurTel}{(323/620)*\hauteurTel}
|
||||
\pgfmathsetmacro{\bordureTel}{(23/646)*\largeurTel}
|
||||
|
||||
\pgfmathsetmacro{\marge}{0.25}
|
||||
\pgfmathsetmacro{\hauteur}{7}
|
||||
\pgfmathsetmacro{\largeur}{\largeurTel - 2*\marge - 2*\bordureTel}
|
||||
\pgfmathsetmacro{\largeurPetit}{(\largeur - 4*\marge)/3}
|
||||
\pgfmathsetmacro{\hauteurPetit}{(\hauteur - 3*\marge)/2}
|
||||
|
||||
\pgfmathsetmacro{\xshiftTel}{0.5*\largeurTel - \bordureTel - \marge}
|
||||
\pgfmathsetmacro{\yshiftTel}{0.5*\hauteurTel - \bordureTel - \marge}
|
||||
|
||||
\node[xshift= \xshiftTel cm, yshift= \yshiftTel cm] at (0,0) {\includegraphics[height= \hauteurTel cm]{ressources/téléphone.png}};
|
||||
|
||||
\draw [fill=Gray!20] (0,0) rectangle ++(\largeur, \hauteur);
|
||||
\draw [fill=white] (1*\marge + 0*\largeurPetit, \marge) rectangle ++(\largeur - 2*\marge, \hauteurPetit - 1) node[pos=0.5] {SE};
|
||||
\draw [fill=white] (1*\marge, 2*\marge + \hauteurPetit - 1) rectangle ++(\largeur - 2*\marge, \hauteurPetit + 1) node[pos=0.35] {REE} node[pos=0.65] {TEE};
|
||||
\draw [dotted] (\marge, 2*\hauteurPetit+2*\marge) -- (\largeur - \marge, 2*\marge + \hauteurPetit - 1);
|
||||
\end{tikzpicture}
|
||||
\end{center}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
\begin{tikzpicture}
|
||||
\pgfmathsetmacro{\hauteurOrdi}{8}
|
||||
\pgfmathsetmacro{\largeurOrdi}{(1111/915)*\hauteurOrdi}
|
||||
\pgfmathsetmacro{\bordureOrdi}{(2/10)*\largeurOrdi} % 10/101
|
||||
|
||||
\pgfmathsetmacro{\marge}{0.25}
|
||||
\pgfmathsetmacro{\hauteur}{4.0}
|
||||
\pgfmathsetmacro{\largeur}{\largeurOrdi - 2*\marge - 2*\bordureOrdi}
|
||||
\pgfmathsetmacro{\largeurPetit}{(\largeur - 3*\marge)/2}
|
||||
\pgfmathsetmacro{\hauteurPetit}{(\hauteur - 3*\marge)/2}
|
||||
|
||||
\pgfmathsetmacro{\xshiftOrdi}{0.5*\largeurOrdi - \bordureOrdi - \marge}
|
||||
\pgfmathsetmacro{\yshiftOrdi}{0.70*\hauteurOrdi - \bordureOrdi - \marge}
|
||||
|
||||
\node[xshift= \xshiftOrdi cm, yshift= \yshiftOrdi cm] at (0,0) {\includegraphics[height= \hauteurOrdi cm]{ressources/ordinateur.png}};
|
||||
|
||||
\draw [fill=Gray!20, fill opacity=0.90] (0,0) rectangle ++(\largeur, \hauteur);
|
||||
\draw [fill=white, fill opacity=0.90] (1*\marge + 0*\largeurPetit, \marge) rectangle ++(\largeurPetit, \hauteurPetit - 0.5) node[pos=0.5] {HSM};
|
||||
\draw [fill=white, fill opacity=0.90] (2*\marge + 1*\largeurPetit, \marge) rectangle ++(\largeurPetit, \hauteurPetit - 0.5) node[pos=0.5] {TPM};
|
||||
\draw [fill=white, fill opacity=0.90] (1*\marge, 2*\marge + \hauteurPetit - 0.5) rectangle ++(\largeur - 2*\marge, \hauteurPetit + 0.5) node[pos=0.35] {REE} node[pos=0.65] {TEE};
|
||||
\draw [dotted] (\marge, 2*\hauteurPetit+2*\marge) -- (\largeur - \marge, 2*\marge + \hauteurPetit - 0.5);
|
||||
\end{tikzpicture}
|
||||
\end{center}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
\begin{tikzpicture}
|
||||
\pgfmathsetmacro{\hauteurOrdi}{8}
|
||||
\pgfmathsetmacro{\largeurOrdi}{(1111/915)*\hauteurOrdi}
|
||||
\pgfmathsetmacro{\bordureOrdi}{(2/10)*\largeurOrdi} % 10/101
|
||||
|
||||
\pgfmathsetmacro{\marge}{0.25}
|
||||
\pgfmathsetmacro{\hauteur}{4.0}
|
||||
\pgfmathsetmacro{\largeur}{\largeurOrdi - 2*\marge - 2*\bordureOrdi}
|
||||
\pgfmathsetmacro{\largeurPetit}{(\largeur - 3*\marge)/2}
|
||||
\pgfmathsetmacro{\hauteurPetit}{(\hauteur - 3*\marge)/2}
|
||||
|
||||
\pgfmathsetmacro{\xshiftOrdi}{0.5*\largeurOrdi - \bordureOrdi - \marge}
|
||||
\pgfmathsetmacro{\yshiftOrdi}{0.70*\hauteurOrdi - \bordureOrdi - \marge}
|
||||
|
||||
\node[xshift= \xshiftOrdi cm, yshift= \yshiftOrdi cm] at (0,0) {\includegraphics[height= \hauteurOrdi cm]{ressources/ordinateur.png}};
|
||||
|
||||
\draw [fill=Gray!20, fill opacity=0.90] (0,0) rectangle ++(\largeur, \hauteur);
|
||||
\draw [fill=white, fill opacity=0.90] (1*\marge + 0*\largeurPetit, \marge) rectangle ++(\largeur - 2*\marge, \hauteurPetit - 0.5) node[pos=0.5] {TPM};
|
||||
\draw [fill=white, fill opacity=0.90] (1*\marge, 2*\marge + \hauteurPetit - 0.5) rectangle ++(\largeur - 2*\marge, \hauteurPetit + 0.5) node[pos=0.35] {REE} node[pos=0.65] {TEE};
|
||||
\draw [dotted] (\marge, 2*\hauteurPetit+2*\marge) -- (\largeur - \marge, 2*\marge + \hauteurPetit - 0.5);
|
||||
\end{tikzpicture}
|
||||
\end{center}
|
||||
\end{frame}
|
||||
|
||||
\subsection{Problématique industrielle}
|
||||
\begin{frame}
|
||||
\begin{center}
|
||||
|
|
|
|||
BIN
ressources/ordinateur.png
Normal file
BIN
ressources/ordinateur.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 115 KiB |
Loading…
Reference in a new issue