Description

Model-Based Systems Engineering (MBSE) expert with 20+ years designing and analyzing complex systems in safety-critical domains — aerospace, defense, rail, finance, healthcare. Author of Model-Based Systems Engineering: Theoretical Foundations (Wiley, 2025), first volume of a planned trilogy endorsed by Bran Selic, creator of UML Real-Time and co-architect of the OMG MARTE standard. Volume 2, focused on practical SysML v2, currently in writing.

Career built at Thales Airborne Systems (airborne radar design), Thales Research & Technology (formal methods, component frameworks, contributions to the OMG MARTE and SPEM standards) and IRT SystemX, leading the Systems & Software Engineering team — driving the safe-railway FSF project (CENELEC-oriented methodology) and the autonomous-mobility EVA SoSE project alongside Alstom, Renault, Safran and Thales.

Deep methodological coverage across SysML (v1 and v2), UML, MARTE, Arcadia/Capella, Harmony-SE, OOSEM, UPES and MCSE, with mastery of leading tools (Cameo, Rhapsody, Capella, Sparx EA, SysON, Simulink/Stateflow/System Composer). Strong V&V expertise leveraging B Method, Coq, Isabelle/HOL, Uppaal, TLA+, Alloy and Z3. Solid grasp of requirements engineering and traceability (DOORS, OSLC, semantic web), enterprise frameworks (TOGAF, NAF) and agile-at-scale (Scrum, SAFe).

Co-founder of Cénotélie (2018) and WEUS (2024), operating as senior consultant and trainer through Janus Academy. Active in expertise dissemination: upcoming INCOSE webinar on Volume 1, ongoing professional training, PhD co-supervision (multi-artifact traceability, PLM interoperability), publications at DAC, DATE, MODELS, ICECCS.

PhD in Computer Science (Université de Lille, 2009). Native French, professional English. Based in Paris, available for international assignments and remote engagements.

Domaines d’expertise

Langues

Français
Bilingue ou natif
Anglais
Capacité professionnelle complète

Préférences en matière de lieu de travail

Accepte de travailler sur site

Paris (jusqu’à 50 km)

Janus Academy
Author, Senior Consultant & Trainer
AÉRONAUTIQUE & AÉROSPATIALE
janvier 2018 - Aujourd'hui (8 ans et 5 mois)
Palaiseau, France
Co-founder of Cénotélie (2018-2025), then WEUS (since 2024) and missions via ITG France
▸ Authoritative book : writing of Model-Based Systems Engineering: Theoretical Foundations, Wiley(2025) - 352 pages covering the semantic foundations, models of computation and methodology of MBSE. First volume of a trilogy; Volume 2 on SysML v2 in progress.
▸ MBSE consulting & architecture : targeted engagements with systems engineering departments on methodology deployment, tooling trade-offs, formalization of critical requirements.
▸ Professional training : dedicated catalog of MBSE modules - SysML, Capella/Arcadia, Matlab/Simulink for systems engineering, requirements engineering, configuration management, value analysis, model
engineering (EMF, Sirius, Xtext).
▸ Industrial engagements with systems-complexity component : eCollab (SaaS B2B collaborative engineering platform), Collins Aerospace (Semantic Web Knowledge Management), Finsec H2020 (real-time data architecture), TLTI (healthcare), WEUS / EcoDeals (marketplace), CGOS (DevSecOps).
▸ Co-founder of Cénotélie and WEUS : creation of two structures with direct recruitment and operational management of engineers.
CTO Agent IA MBSE Requirements Engineering Systems Engineering
IRT SystemX
Systems & Software Engineering Team Lead
DÉFENSE & ARMÉE
janvier 2014 - janvier 2019 (5 ans)
Palaiseau, France
▸ Led a multidisciplinary team (5 engineers + PhD students) and coordinated industrial consortia (Alstom, Renault, Safran, Thales) and academic partners. Technical governance, delivery follow-up, trade-off arbitration.
▸ FSF project - safe railway applications : defined and implemented a tooled methodology combining MBSE and formal methods, targeting CENELEC safety certification.
▸ EVA project - autonomous-mobility System of Systems (SoSE) : formal specification of an autonomous-vehicle SoS combining machine learning and formal methods; orchestrated cross-discipline technical trade-offs.
▸ PhD co-supervision : multi-artifact traceability via semi-supervised learning (E. Bella, 2019); multi-level PLM interoperability in a collaborative environment (E. Moones, 2017).
Thales R&T
Senior Systems Engineer
DÉFENSE & ARMÉE
janvier 2010 - janvier 2014 (4 ans)
Palaiseau, France
▸ VERDE project : specified and implemented a tool for integrating verified software components within critical embedded systems.
▸ iFEST & Gemoc projects : Electronic System Level (ESL) tool-integration frameworks and heterogeneous multi-model simulation. Worked within the Thales R&T components-and-containers ecosystem.
▸ Aniketos project : formal methods applied to critical distributed systems - air-traffic management (safety, security, availability).
▸ SPEAR DE project : multi-core parallelization of algorithms in embedded real-time contexts.
▸ Radar system : design and analysis (UML, SysML, MARTE, SystemC) - modeling of hardware architectures and characterization of real-time constraints.