IT Link accompanies you from architecture to industrialization, in compliance with standards and deadlines.
In aeronautics, railways, automobiles, space, space, energy or even medical, software cannot break down. A failure can impact the safety of people, the availability of an essential service, or regulatory compliance.
By “high constraints”, we refer to the convergence of requirements that add up: temporal determinism, demonstrable safety, robust cybersecurity, environmental sustainability and life cycle management. The challenge is not only to “make” the system work, but to prove that it works predictably in all relevant situations.
Integrity levels (SIL/ASIL) guide architecture and verification. Our experts deal with dangers through analysis (FMEA/FTA), fault tolerance (detection/diagnosis, degraded modes, fail-safe or fail-operational) and the independence of validation activities. The expected evidence is planned from the start and consolidated in a structured safety case.
Latencies must be limited (strict deadlines, WCRT/WCET as required). This involves controlled scheduling, control of critical sections (priorities, inversions), memory/CPU and I/O optimization (DMA, queues, buffers), as well as network predictability (e.g. real-time windows, TSN when relevant). Margins are measured and monitored over time.
Connected systems require an in-depth defense approach, including secure boot, secret protection (TPM, SE, HSM), encryption of communications and artifacts, signed OTA updates with a rollback mechanism, as well as software partitioning and a rigorous key management policy.
Security is integrated by design (threat modeling) and validated throughout the life cycle through tests, code reviews and continuous operational supervision.
The requirements are fully traceable, from the expression of need to the verification activities and associated evidence. The test plans cover all levels (unitary, integration, system and non-regression) with coverage objectives aligned with the applicable framework (up to the MC/DC if required) and include, where appropriate, the qualification of the tools used. Documentation is produced and maintained on an ongoing basis in order to ensure compliance and to prepare for audits without risk.
The product must remain reliable over time and in its operational environment, while respecting EMC constraints, shocks and vibrations, extended temperature ranges, humidity and energy requirements. Component choices and design rules (derating, margins, etc.) are oriented towards sustainability. Industrialization and maintenance in operational conditions integrate the management of obsolescence and ensure safety throughout the life cycle.
Conseil et architecture
Nous cadrons les objectifs et les risques, consolidons les exigences et définissons une architecture cible alignée sur vos marges (latence, sûreté, sécurité, énergie).
Le choix des plateformes (MCU/SoC/FPGA), des bus (CAN, ARINC 429, AFDX, Ethernet TSN…) et de l’OS/RTOS (Linux embarqué, QNX, VxWorks, FreeRTOS, Zephyr, AUTOSAR) est argumenté et documenté.
La conception suit un cycle en V outillé, avec partitionnement fonctionnel et security by design.
Développement logiciel embarqué
Nous réalisons les couches basses (drivers, BSP, HAL), les middlewares et les applications temps réel, en appliquant des règles de code (MISRA/CERT C) et des pratiques d’optimisation C/C++/Rust adaptées aux contraintes mémoire/CPU.
L’intégration des piles de communication et des frameworks (AUTOSAR Classic/Adaptive, POSIX) est maîtrisée et testée sur banc.
Validation, tests et certification
Nous établissons une stratégie de vérification conforme à votre référentiel (SIL/ASIL/DO‑178C/EN 50128/IEC 62304), couvrant l’unitaire, l’intégration, le système, la non‑régression et le HIL/SIL.
La couverture (jusqu’au MC/DC si requis) et la traçabilité exigences↔tests sont pilotées et nous préparons l’ensemble des pièces du dossier de conformité et des audits.
Cybersécurité embarquée
Nous concevons des architectures sécurisées (thread modeling, durcissement), mettons en place le secure boot, la protection des secrets (TEE/TPM/HSM) et des mises à jour OTA signées avec stratégie de retour arrière.
La conformité aux cadres ISO 21434 et IEC 62443 est adressée avec SBOM et gestion des vulnérabilités.
Industrialisation et MCO
Nous mettons en œuvre une usine logicielle adaptée aux environnements contraints (CI/CD, builds reproductibles, artefacts signés), intégrons les tests déterministes au pipeline et organisons l’exploitation et le MCO (rétro‑ingénierie, gestion d’obsolescences, supervision).
Votre plateforme est conçue pour durer et être opérée.
Systems where software failure impacts security, availability, or regulatory compliance. We aim for deterministic and provable behaviors.
An RTOS offers strict predictability (limited latencies) for fine control. Linux is suitable for complex processing (networks, AI) with adapted hardening. Hybrid architectures are common.
Depending on the sector: DO‑178C, ISO 26262, EN 50128/50657, EN 50128/50657, IEC 62304, IEC 61508, ISO 21434, IEC 62443, MISRA... We align our deliverables with these frameworks.
Security‑by‑design (threats, attack surface), secure boot, SBOM, secure updates, hardening, integrity monitoring, and vulnerability management.
