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
- 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
Additional Information
Course ID : 5MMVSE7
Course language(s):
The course is attached to the following structures:
You can find this course among all other courses.