Aller au menu Aller au contenu
Grenoble INP - UGA
Our engineering & Master degrees


School of engineering in Physics, Applied Physics, Electronics & Materials
Science
Our engineering & Master degrees
Our engineering & Master degrees

> Studies

Validation of embedded systems - 5PMIVSE1

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
    • Tutorials : 0
    • Laboratory works : 6.0
    • Projects : 0
    • Internship : 0
    • Written tests : 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 2h, note E1, note calculée = E1
Session 2: écrit de 1h, note E2, note calculée = E2

Additional Information

Curriculum->Engineering degree->Semester 9

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 July 29, 2020

Version française

Voir la version française de cette page

Contribuer





Vous voyez cet encadré, car vous avez des droits d'édition sur la page
Université Grenoble Alpes