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