Embedded insecurity: just how much is at risk ?

Dans cet article publié chez Embedded Control, Robert Dewar de AdaCore estime que la sécurité n'est pas suffisamment prise en compte lors de la conception d'un système embarqué. Il estime qu'il faudra adopter une approche beaucoup plus formelle tant au niveau de l'élaboration que de la vérification du logiciel.

Télécharger l'article