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 - 5MMVSE

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

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

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 and Software->Semester 5
Team->Programming and Software

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

Date of update January 15, 2017

French
Grenoble INP - Ensimag
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
 
 
République Française         Groupe INP
    Université Grenoble Alpes