Henrick Deschamps [ɛnʁik deʃɑ̃]

Henrick Deschamps [ɛnʁik deʃɑ̃]

Software Engineer

ISAE Supaero

Biography

French 🇫🇷 computer science and network Ph.D. and engineer👨‍💻, I am Interested in real-time distributed software and systems 💻☁️💻🛫.

Distributed systems are nowadays inevitable in the field of engineering, no system lives alone isolated from its environment, even among systems that were historically considered monolithic, which raises questions about resource sharing, reliability, and data partitioning.

Although each problem requires a customized solution, my preferred approach consists in respecting the partitions and dividing a system into components that can be interconnected by a framework, whatever the scale of this interconnection, from embedded networks to international distribution. Such an approach makes it possible to apply good industrial software practices while addressing emerging problems from networks and system states.

I have experienced this modular approach in software and systems, and I had the opportunity to develop it on the simulation of critical cyber-physical systems that can integrate humans, software and hardware.

Interests
  • Critical Distributed Systems
  • Simulation, Test and Validation
  • Real-Time systems
  • Programming Languages
Education
  • Ph.D. in Mathematics, Computer Architecture and Telecommunication Networks, 2019

    ISAE-SUPAERO

  • Engineering degree in Computer Engineering and Telecommunication Networks, 2014

    INSA Toulouse

Skills

Operating Systems
Critical Systems
Programming
Communication Networks
Versionning
Design
Automation
Integrating
Teaching

Experience

 
 
 
 
 
Software Engineer
July 2021 – July 2023 Paris, France
 
 
 
 
 
Software Engineer and Integration and Validation Engineer
September 2019 – July 2021 Toulouse, France
  • Contribution to the analysis and validation of the implementation of a big data distributed system
  • Identification of problems within a defined perimeter and reporting
  • Responsibility for the design and development of inspection tools
  • Supervision of junior associates for the implementation of inspection tools
 
 
 
 
 
ATER (Temporary Teaching and Research Assistant), Ph.D. candidate
February 2016 – July 2019 Toulouse, France
Teaching assistant in C, Java, Real-time systems, SysML, and numerical analysis.
 
 
 
 
 
Software Engineer for simulation architecture, Ph.D. Candidate
February 2016 – February 2019 Toulouse, France
  • Formalization of the execution of a distributed simulation for the a priori validation of a simulation scheduling respecting aerospatial-specific constraints
  • Analyzis of existing simulations and technical documentations for formalizing of aerospatial-specific distributed simulation constraints
  • Implementation of RROSACE – a simple flight controller case study from ROSACE, in Matlab and C
  • Implementation of seaplanes – a simulation framework in C++ based on HLA, a publish-subscribe-based data exchange standard, with Qt interface
  • Implementation of a modulable and extensible allocation tool in Python, with multiple heuristics
  • Presentation of results and demonstrators in international conferences
 
 
 
 
 
Software Engineer for satellite ground segment communications
November 2014 – January 2016 Toulouse, France
  • Implementation of a DVB-RCS2 communication protocol in satellite communications ground segment for Thalès Alenia Space / CNES
  • Development and integration of network modules in multi-threaded telecommunication kernel device.
  • Development of Quality of Service library for the satellite simulation environment, based on the libns
  • Development of test tools for continuous integration in Python, Ruby and Perl
  • Analysis of network packet scheduling for QoS validation" Open-source library available at hnrck/librle

Projects

*
Ph.D.
Scheduling of a Cyber-Physical System Simulation
Allocation tool
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. Sed ac faucibus dolor, scelerisque sollicitudin nisi. Cras purus urna, suscipit quis sapien eu, pulvinar tempor diam.
Allocation tool
BATMAN on Drones
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. Sed ac faucibus dolor, scelerisque sollicitudin nisi. Cras purus urna, suscipit quis sapien eu, pulvinar tempor diam.
BATMAN on Drones
librle
An example of linking directly to an external project website using external_link.
OMNet
An example of linking directly to an external project website using external_link.
Pretended-blockchain
An example of linking directly to an external project website using external_link.
Pretended-blockchain
rrosace
An example of using the in-built project page.
rrosace
seaplanes
An example of using the in-built project page.
seaplanes
secret santa
An example of linking directly to an external project website using external_link.
secret santa
sftp
An example of using the in-built project page.
Simple IoT
An example of using the in-built project page.
Simple IoT

Recent Publications

Quickly discover relevant content by filtering publications.
(2018). Implementation of a Cyber-Physical Systems simulation components allocation tool. Proceedings of the 2018 32nd European Simulation and Modelling Conference.

PDF

(2018). Coincidence Problem in CPS Simulations: the R-ROSACE Case Study. Proceedings of the 2018 9th European Congress Embedded Real Time Software and Systems.

PDF

(2017). Distributing Cyber-Physical Systems Simulation: The Satellite Constellation Case. Proceedings of the 2017 5th International Federated and Fractionated Satellite Systems Workshop.

PDF

(2017). Toward a formalism to study the scheduling of cyber-physical systems simulations. Proceedings of the 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications.

PDF

(2017). R-ROSACE: adding redundancy to the ROSACE case study.

PDF

Contact