Description

I'm embedded software engineer since 20 years. I've done also some developments in SysML/UML models (MBSE), micro-electronic software, Augmented reality, Ontology applied to data model transformation, cybersecurity, dependability.

If possible, I would like develop my skills in formal software development especially with B-Method.

I'm located to Grenoble (France) and I'm not mobile for the moment.

Languages

French
Native or bilingual
English
Fluent

Workplace preferences

Can work on-site

Grenoble (up to 50km)

ITC
Embedded Software Engineer
TECH
January 2024 - Today (2 years and 5 months)
Grenoble, France
Architecture, development, test for new medium voltage digital protection relay.
Requirement set on Jama
Model (UML/SysML) on Cameo
TI SoC AM64
FreeRTOS (TI)
Test with Python
IEC61850 services

C C++ Python system on ship Ethernet TSN UML SysML jama cameo Linux Yocto Real Time IEC61850
EXPLEO
Embedded Software Engineer
TECH
January 2013 - December 2023 (11 years)
Grenoble, France
System and software specification and architecture for a lift digital safety (SIL3) chain (PES). PESSRAL and IEC61508 norm analysis in order to determine the safety coverage of the real time kernel KronOS (Kronosage company).

Support for the MIND toolchain development.
• C++ code generation from Fractal-C ADL code.

Artisan Studio evaluation (UML, SysML Modeler).
• Code generation and reverse engineering.
• Simulation (SySim).
• Verification rule coding in order to check the compliance with the ontology.
• Asset Library usage for MBSE development.

Continuous integration building for the generation of RTXC (Quadros) firmaware on CycloneV microcontroller.

Augmenter reality application development (Vuforia).

Ontology (SPRITE, DREAD) description for a system security analysis with SysML tools.

Interface development between multiphysic tools (ANSYS) and system modeler tool (PTC).

Tool development for MIND framework (Fractal-c implementation).
C++ Generator development from ADL and IDL description.
Application development in MIND for innovation department at Schneider Electric.

System modeling for Schneider Electric use cases.

Connection from SysML and multiphysic simulation.

Development of augmented reality applications with PTC framework.

Requirement modeling with STIMULUS (Argosim) for Alstom.
Requirement debug and simulation with logical and temporal functions.

Development of an OPC-UA connector for embedded devices.
Development and alignment of ontologies from/to IEC62850 and OPC-UA for electrical industry purpose.
PoC development (C++, .NET)

Integration of Frama-c in DevOps and Sonarqube CI environment.

Architecture and implementation of T300 configuration feature following IEC61850 standard.

Critical Trip function development following adaptation of existing switch control (T300) device for Chinese market.
- Self-test specification and implementation
- Unit test
- Architecture and development of the logic control

C C++ Real Time Python UML SysML OPC UA .NET IEC61508 Linux frama-c GitHub fractal MBSE Cybersécurité
OPEN
Embedded Software Engineer
TECH
January 2006 - December 2013 (8 years)
Grenoble, France
Mobile phone application development (call, messaging, multimedia).

Real time embedded Linux generation for PowerPC processor.

For STMICROLECTRONICS
Video chip driver development (ST7100, ST7200).
• New feature development.
• Test scripting.
• Debug DIVX and VC1.

Electric protection algorithm portage in Java (real time micro JVM).

Real time JVM performance evaluation on SPEAr Plus600 and STR710.

ZigBee application development with Fractal-C technologies on AVR RAVEN devices for the project FlexEware (ANR).

Real time application development on STR7 with deterministic kernel from CEA (OASIS).

Embedded Linux configuration and generation (OpenWRT) and software development for M2M applications.

Service bus development for embedded devices (DPWS, C, EXI).
Java Real Time Drivers str7 exi dpws C Zigbee