Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Validation of embedded systems - 5MMVSE7

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In
  • Number of hours

    • Lectures : 12.0
    • Laboratory works : 6.0
    ECTS : 1.5

Goals

The objective of this course is to present a panorama of existing methods and tools that can be used for the automatic validation of hardware and software computer systems, in particular embedded systems.

Contact Florence MARANINCHI

Content

  • General introduction to the validation of hardware and software systems
  • Modeling problems in the context of automatic validation
  • General interpreted automata
  • Model-checking and BDDs (Binary-Decision-Diagrams)
  • Introduction to abstract interpretation


Prerequisites
  • Fluency with an imperative programming language
  • Digital circuit design
  • Formal languages, compilation
  • Operating systems
  • Graphs

Tests

Give kind of exam for session 1 and session 2: written, allowed documents or not, oral, practical work, reports, plan, vivas



Session 1: écrit de 2 h, note E1, TP, note C, note calculée = (2*E1 + C)/3
Session 2: écrit 1h, note E2, note calculée = E2

Additional Information

Curriculum->Embedded Systems & Connect. Devices->Semester 9

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In

Date of update June 18, 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes