Une partie des équipes de Novasys Ingénierie s'intéresserait au service Recherche & Développement. 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 bénéficie de ses compétences et s'engage à : 

  • Maîtriser les fondamentaux du « logiciel embarqué »

    • o     Compréhension de l'électronique et  intégration hard/soft

      o     Maîtrise des plateformes d'exécution et des firmwares

      o     Compétences en architecture système et interfaces industrielles

      o     Expertise en système temps réel , distribué, critique, tolérant aux fautes et multi-cœur

      o     Capacités en  protocole de communication  et supervision

      o     Connaissance des normes  applicables aux logiciels critiques (EN 50 128, ISO 26262)

      o     Pratique de méthodes et de langages adaptés

 

  • 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

    • 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

 

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

 

 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.

 

  

Quelques exemples de sujets R&D :

 

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.

 

Système 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énier 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. 

 

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.

 

 

Pour en savoir plus sur notre expertise en systèmes embarqués temps réel : Cliquez ici !