Ce diaporama a bien été signalé.
Nous utilisons votre profil LinkedIn et vos données d’activité pour vous proposer des publicités personnalisées et pertinentes. Vous pouvez changer vos préférences de publicités à tout moment.
IoT Software Verification
Hita Barasm Mamagani
Spring 2019 - Dependable Software Systems Course (By Dr. R. Entezari)
Iran ...
Introduction
 30 billion connected devices by 2020
 46 billion connected devices by 2021
 We are always facing problems...
A Simple IoT Example
SmartHome
 A motion sensor
 Sensor hub
 Program running on cloud
 An smart bulb
 Smart bulb hub
Traditional Approach for FT
 Triple modular redundancy and majority consensus
Traditional App. Problems
 Each SmartThings device only connects to one hub
 Some systems support only one hub per home
...
A New Approach
 One spare is enough for hardware fault-
tolerance.
 Use different type of each device for each
functiona...
uSFI: Ultra-Lightweight Software
Fault Isolation
 Provides isolation between modules via MPU.
 Only a single module is a...
uSFI System Architecture
 uSFI Compiler and Verifier
Frama-C Platform
 Static analysis on code via EVA plugin
 Deductive verification using plugin WP
 Dynamic (runtime) ver...
Runtime Verification
Resources
 Terry, Doug. "Toward a new approach to IoT fault
tolerance." Computer 49, no. 8 (2016): 80-83.
 Aweke, Zelale...
The END!
Any
Questions?
Thanks for giving your time. 
Prochain SlideShare
Chargement dans…5
×

sur

IoT Software Verification Slide 1 IoT Software Verification Slide 2 IoT Software Verification Slide 3 IoT Software Verification Slide 4 IoT Software Verification Slide 5 IoT Software Verification Slide 6 IoT Software Verification Slide 7 IoT Software Verification Slide 8 IoT Software Verification Slide 9 IoT Software Verification Slide 10 IoT Software Verification Slide 11 IoT Software Verification Slide 12
Prochain SlideShare
What to Upload to SlideShare
Suivant
Télécharger pour lire hors ligne et voir en mode plein écran

0 j’aime

Partager

Télécharger pour lire hors ligne

IoT Software Verification

Télécharger pour lire hors ligne

These slides were presented at the Iran University of Science and Technology. It was for Dependable Software Systems course in Spring 2019.

Livres associés

Gratuit avec un essai de 30 jours de Scribd

Tout voir
  • Soyez le premier à aimer ceci

IoT Software Verification

  1. 1. IoT Software Verification Hita Barasm Mamagani Spring 2019 - Dependable Software Systems Course (By Dr. R. Entezari) Iran University of Science and Technology
  2. 2. Introduction  30 billion connected devices by 2020  46 billion connected devices by 2021  We are always facing problems like network failure, energy power down and other environmental defects. The challenge is how to do IoT software fault tolerable and secure.
  3. 3. A Simple IoT Example SmartHome  A motion sensor  Sensor hub  Program running on cloud  An smart bulb  Smart bulb hub
  4. 4. Traditional Approach for FT  Triple modular redundancy and majority consensus
  5. 5. Traditional App. Problems  Each SmartThings device only connects to one hub  Some systems support only one hub per home  Very difficult even for a skilled programmer to build a fault-tolerant application
  6. 6. A New Approach  One spare is enough for hardware fault- tolerance.  Use different type of each device for each functionality.  It is not necessary to use special-purpose hubs.  Use different types of WAN to have reliable connectivity.  IoT Smart apps are stateless event handlers, that they respond to events and take action at the time.
  7. 7. uSFI: Ultra-Lightweight Software Fault Isolation  Provides isolation between modules via MPU.  Only a single module is active at a time.  Inter-module calls are managed by the uSFI runtime.  Kernel is sandboxed then it only has access to memory regions assigned to it.  Forcing kernel to run at unprivileged and calling the trusted runtime for privileged operations.  But uSFI incurs less than a 10% code size overhead and roughly a 1% performance overhead.
  8. 8. uSFI System Architecture  uSFI Compiler and Verifier
  9. 9. Frama-C Platform  Static analysis on code via EVA plugin  Deductive verification using plugin WP  Dynamic (runtime) verification E-ACSL2C
  10. 10. Runtime Verification
  11. 11. Resources  Terry, Doug. "Toward a new approach to IoT fault tolerance." Computer 49, no. 8 (2016): 80-83.  Aweke, Zelalem Birhanu, and Todd Austin. "uSFI: Ultra-lightweight software fault isolation for IoT- class devices." In 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1015-1020. IEEE, 2018.  Blanchard, Allan, Nikolai Kosmatov, and Frédéric Loulergue. "A Lesson on Verification of IoT Software with Frama-C." In 2018 International Conference on High Performance Computing & Simulation (HPCS), pp. 21-30. IEEE, 2018.
  12. 12. The END! Any Questions? Thanks for giving your time. 

These slides were presented at the Iran University of Science and Technology. It was for Dependable Software Systems course in Spring 2019.

Vues

Nombre de vues

56

Sur Slideshare

0

À partir des intégrations

0

Nombre d'intégrations

1

Actions

Téléchargements

0

Partages

0

Commentaires

0

Mentions J'aime

0

×