UE Industrial processes for high-confidence design

User information

Please note that you are curently looking at the ongoing Academic Programs. Applications are now closed for this academic year (2020-2021) for licences, professional licences, masters, DUT and regulated health training. If you are interested for an application in 2021-2022, please click on this link for the appropriate Academic Programs.

Degrees incorporating this pedagocial element :


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

Recommended prerequisite

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