Validation of embedded systems - 5PMIVSE1
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
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
Date of update July 29, 2020