Students will have to choose 12 UEs organized by themes. These themes are :
- Systems engineering and model-driven engineering (“Architecture systeme et ingénierie dirigée par les modèles”)
- Distributed systems (“Systèmes distribués”)
- Security (“Sécurité”)
- Signal processing, optimization and control (“Traitement du signal, optimisation et contrôle”)
- Hardware and software platforms (“Plateforme matérielle et logicielle”)
- Verification and validation (“Vérification et validation”)
- Continuous time models and simulation (“Modélisation à temps continu et simulation”)
- Applications (“Spécialisation”)
On top of that, students will have to choose 3 compulsory UEs : 1 UE of foreign language (english), 1 UE for a project, and 1 UE for “formation à la recherche” (for academic oriented students) or “formation à la vie en entreprise” (for industry oriented students).
Students from engineering schools will not be compelled to follow the foreign language UE nor the “formation à la vie en entreprise”, but will be allowed to replace them by any other UEs.
Students will have to engage into an internship at the end of the masters programme, which typically lasts for 4 to 5 months, and takes place either in an academic research lab, or an industrial research lab.
A seminar, and a reading group (linked with the foreign language UE) will be organized, with guests from academia and industry.
Agenda 2017-2018 is available
Information to access the different institution where lectures take place :
– Ecole polytechnique : bus stop 91-06 line is “Lozère” or “Laboratoires”
– ENSTA ParisTech : bus stop 91-06 line is “Les Joncherettes”
– INSTN : bus stop 91-06 line is “CEA porte 306”
– Université Paris-Sud, PUIO : bus stop 91-06 line is “Moulon”
– Télécom ParisTech : 46 Rue Barrault, 75013 Paris (Métro 7 – Tolbiac ou Métro 6 – Corvisart ou Métro 5 – Place d’Italie)
Thèmes
Architecture systeme et ingénierie dirigée par les modèles (2 UE parmi 3)
Vérification et validation (2 UE)
Plateforme matérielle et logicielle (2 UE parmi 3)
Traitement du signal et contrôle (2 UE)
Systèmes distribués (1 UE parmi 2)
- Réseaux de capteurs
- Algorithmique répartie
Sécurité (1 UE)
Modélisation à temps continu et simulation (1 UE)
Spécialisation(1 UE au choix)
- Modélisation métier : systèmes de transport
- Systèmes temps-réels de contrôle-commande
- Ingénierie des exigences
- Recherche: cours de professeurs internationaux invités
Faculty

Eric Goubault
Professor, Ecole Polytechnique
Eric co-coordinates the COMASIC Masters program.

Sylvie Putot
Professor, Ecole Polytechnique
Sylvie co-coordinates the COMASIC Masters program.
Sylvie Putot teaches the following in M1:
Laurent Pautet
Professor, Telecom-ParisTech
Laurent co-coordinates the master M2 COMASIC

Alexandre Chapoutot
Assistant Professor, ENSTA ParisTech
Alexandre co-coordinates the master M2 COMASIC







Mathieu Jan
Researcher, CEA INSTN
Mathieu Jan received his engineer and master diplomas in 2003 and his Ph.D in 2006 from the University of Rennes, France, on the subject of data management over grid architectures. He then made a joined postdoc between the Technical University of Delft and INRIA Saclay and is an engineer-researcher at CEA LIST (the French DoE) since 2007, senior expert since 2015. His research interests now include real-time scheduling (hard and mixed-criticality), real-time networked systems and execution models for real-time systems. He (co-)authored 5 articles in international journals, 13 articles in international conferences, 8 articles in international workshops and 3 patents. One of his paper got an Outstanding Paper Award at RTNS 2013 conference and he was co-general chair of RTNS 2014.

Michalis Vazirgiannis
Professor, Ecole Polytechnique


Frédéric Boulanger
Professor, Centrale Supélec and LRI
Research: Multiparadigm modeling and Verification of the behavior of heterogeneous systems
Teaching: Algorithms, Modeling and Model Driven Engineering, Computer architecture, Formal semantics of languages and models




Daniel Krob
Professor, Ecole Polytechnique
Former student of Ecole Normale Supérieure, Daniel Krob got a Ph.D. (1988) and an Habilitation (1991) in Computer Science from University Paris 7. He is presently Institute Professor at Ecole Polytechnique. He was head of the Dassault Aviation - DCNS - DGA - Thales - Ecole Polytechnique - ENSTA ParisTech - Telecom ParisTech Chair "Engineering of Complex Systems" from 2003 to 2014. Daniel Krob worked in algebraic & enumerative combinatorics, algorithms for mobile telecommunications and finite automata & formal languages, before specializing nowadays in systems architecture, systems engineering and systems modeling.
He is the author of more than 100 scientific papers, 4 books and holds 4 patents. Daniel Krob founded and directed the "Laboratoire d’Informatique Algorithmique: Fondements et Applications" ( LIAFA) of University Paris 7 during 6 years. He was also head, during several years, of the steering committees of two major international conferences in combinatorics & theoretical computer science (FPSAC & STACS). Daniel Krob was chairman of the evaluation commitees of the "Information Management & Modelling" departement of the French Aerospace lab (ONERA) and of the "Architecture & Evaluation of Systems of Systems" group of the technical expertise department of the French ministry of defense (DGA). At international level, he is also one of the 15 founding members of the Omega-Alpha honour association in Systems Engineering and one of the 70 INCOSE Fellows, the highest recognition in Systems Engineering in the world.

Nikolai Kosmatov
Researcher, CEA
Nikolai Kosmatov is researcher at CEA LIST. His research interests include software testing, constraint solving and combinations of various software verification techniques.
Nikolai gave several theoretical courses and exercise sessions on software testing and proof of programs in 2009-2015 and co-organized several successful tutorials on testing and proof of programs at several international events (TAP 2012, TAROT 2012, ASE 2012, QSIC 2012, TAP 2013, iFM 2013, SAC 2013, RV 2013, TAP 2014). He is the main author of the online testing service pathcrawler-online.com.





