Ensimag Rubrique Formation 2022

Validation of embedded systems - 5MMVSE7

  • Number of hours

    • Lectures 12.0
    • Projects -
    • Tutorials -
    • Internship -
    • Laboratory works 6.0
    • Written tests -

    ECTS

    ECTS 1.5

Goal(s)

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.

Responsible(s)

Florence MARANINCHI

Content(s)

  • 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

Test

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

Calendar

The course exists in the following branches:

  • Curriculum - Embedded Systems & Connect. Devices - Semester 9
see the course schedule for 2020-2021

Additional Information

Course ID : 5MMVSE7
Course language(s): FR

The course is attached to the following structures:

You can find this course among all other courses.