UE Industrial processes for high-confidence design

Diplômes intégrant cet élément pédagogique :


The objective of this course is to present the cutting-edge industrial practices for the design and analysis of complex software and hardware systems. It presents an overview of state-of-the-art design flows and modeling techniques. It also describes some currently widespread methods for the specification and verification of properties (validation by simulation, conformance testing, runtime verification), thus identifying their distinctive capabilities in comparison with formal methods.


Target skills:

- Software design: understand well-known methodologies (component-based design, model-based design) and theoretical aspects of requirements analysis; put into practice runtime verification and conformance testing

- Design flows for systems on chip (SoC) and embedded systems: discover languages and methods for system modeling, requirements analysis, formal specification of temporal properties; understand some fundamental issues (design space exploration, performance, safety,...); put into practice simulation and runtime verification

- Multidisciplinary systems: grasp the key concepts of systems engineering; understand the main features of some associated modeling languages and simulators

- Critical systems: understand the essence of the certification process and the interest of some international standards


Object-oriented design, programming languages (C, Java, C++), basic knowledge of propositional logic and first-order logic, basic knowledge of hardware architecture.

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Anglais