Systèmes temps réel et logiciels embarqués Critiques

Le logiciel embarqué, une expertise complète

NOVASYS Ingénierie, filiale du groupe Pacte Novation, est spécialisée dans le développement de logiciels embarqués temps réel. Nous intervenons dans des secteurs d’activité très variés comme le transport, la banque-finance, les télécommunications, l’énergie, l’industrie et le tertiaire.

Novasys Ingénierie bénéficie de ses compétences et s'engage à :

Maîtriser les fondamentaux du logiciel embarqué

  • Compréhension de l’électronique et  intégration hard/soft
    • Compétences en architecture système et interfaces industrielles
    • Capacités en  protocole de communication  et supervision   
    • Pratique de méthodes et de langages adaptés
    • Connaissance des normes  applicables aux logiciels critiques (EN 50128, ISO 26262, DO 78b)
    • Expertise en logiciel embarqué et système temps réel , distribué, critique, tolérant aux fautes et multicœurs
    • Maîtrise des plateformes d’exécution et des firmwares

Surveiller et se positionner en amont sur les tendances fortes

  • Linux embarqué et ses évolutions, Android, Meego, …
  • Plateformes mobiles
  • Architecture Logicielle, hyperviseur et virtualisation
  • Acteur des partenariats stratégiques (Windriver, Cisco, …)

Evoluer, capitaliser, partager et appliquer les bonnes pratiques du logiciel embarqué

  • Contribuer à l’élaboration d’un référentiel qualité (SEPG / CMMI niv.3 et ISO 9001-2015)
  • Formations ciblées et diffusion interne du savoir sur l’univers temps réel

Novasys Ingénierie peut ainsi vous apporter son expertise quelque soit le niveau d’enfouissement de votre applicatif !

Au cœur de l'innovation des logiciels embarqués avec notre pôle R&D

Une partie des équipes de Novasys Ingénierie s’intéresserait au service Recherche & Développement pour avancer sur les innovations des logiciels embarqués (et temps réel). Composée de docteurs, d’ingénieurs, de stagiaires et d’un doctorant, l’équipe travaille en continu sur des sujets de R&D et de Crédit Impôt Recherche. Depuis 20 ans, Novasys ingénierie travaille tant avec des acteurs industriels que des laboratoires académiques.

Novasys Ingénierie est éligible au CIR, organisme agréé de R&D par le ministère de la Recherche depuis 2009. Cet agrément a été renouvelé au titre des années  2021-2022-2023.

Système embarqué critique multicœur sous paradigme LET

Avec le passage aux architectures multicœurs, le LET (Logical Execution Timing : une méthodologie d’implémentation d’un logiciel embarqué pour le rendre indépendant de son contexte d’exécution) s’impose peu à peu dans l’industrie. En effet, construire des systèmes multicœurs prédictifs est une problématique cruciale qui nécessite de modifier les processus de conception.

Le paradigme du LET est un facteur clé pour résoudre cette problématique. Dans ce sens, un effort de normalisation est en cours dans le monde de l’automobile pour intégrer le LET au standard AUTOSAR.

Les logiciels automobiles étudiés sont majoritairement conçus et validés fonctionnellement avec des modèles synchrones tels que Matlab/Simulink. A ce titre Novasys Ingénierie investigue les opportunités que peut représenter le LET et s’intéresse aux méthodologies de conception pour implémenter des modèles synchrones tels que Matlab/Simulink par un modèle d’exécution.

Les travaux cohérents en les tâches suivantes :

–        Étudier des graphes de modélisation d’un système temps-réel embarqué à l’aide d’articles de la littérature Dataflow.

–        Développer un générateur générique de LET pour les plateformes d’exécution réelles.

–        Développer des méthodes et des algorithmes d’aide à la conception basée sur le paradigme du LET :

  •  Formaliser une méthodologie de transformation des modèles synchrones Matlab/Simulink vers des modèles LET,
  •  Proposer un algorithme de construction du modèle LET,
  •  Étudier et développer un ou plusieurs algorithmes pour déterminer la faisabilité du système.

–        Tester les algorithmes développés sur des instances aléatoires et sur les données du challenge WATERS 2017.

–        Valorisation des travaux et rédaction du rapport de stage.

Travail réalisé sous l’encadrement de la Direction Technique de Novasys Ingénierie et en collaboration avec des experts industriels et académiques du domaine. 

Hyperviseur sur FPGA

Novasys Ingénierie s’intéresse aux concepts d’architecture pour systèmes temps réel virtualisés associant multimédia et temps réel avec protocoles de communication et réseau de capteurs intelligents réactifs déportés. Notre société mène des recherches sur l’assistance du matériel dans le but d’optimiser les performances de la couche de virtualisation afin d’accélérer le travail de l’hyperviseur (gestion de la mémoire, gestion des privilèges, etc…).

Les travaux consistants donc à :

  • Etudier différents algorithmes d’ordonnancement temps-réel (RM, DM, EDF, …)
  • Prendre en main l’environnement de développement Vivado
  • Étudier et compléter les travaux pour déporter le mécanisme d’ordonnancement du RTOS sur un agent FPGA externe.
  • Etablir des relevés de performance afin d’étudier les caractéristiques de latence, over head, préemptivité, sureté de fonctionnement de telle architecture

 Travail réalisé sous l’encadrement de la Direction Technique de Novasys Ingénierie.

Vérification du code source Ada

Les logiciels modernes sont confrontés à des défis sur la complexité de code (de plus en plus volumineux), dont l’exécution peut se faire dans des contextes divers (multi-machines, multithreads) avec des contraintes de sécurité et de performance. A ce constat, s’ajoute la gestion de la dette technique qui est plus lourde tout comme l’érosion des logiciels ainsi que la sécurité de ces dernières.  

Compte tenu de la complexité croissante des applications, répondant aux différentes contraintes spécifiques à ces points n’est pas choisi évident. Cela nécessite des outils pour y répondre efficacement et pour minimiser les coûts que cela entraîne pour les entreprises.

Notre projet de recherche se place dans le contexte de l’analyse statique du code pour apporter des solutions génériques capables de passer à l’échelle sur des applications industrielles complexes.

Travail réalisé sous l’encadrement de la Direction Technique de Novasys Ingénierie, en collaboration avec des experts industriels et académiques du domaine. Ces travaux se poursuivent dans le cadre d’une thèse CIFRE.

Contactez-nous

Des questions ? Besoin d’un devis ? Nos experts sont à votre écoute !

Adresse

2 rue du Docteur Lombard, 92130 Issy-les-Moulineaux