Intégration Sécurisée Et Évolutive Des
Il y a 2 mois
**Intégration Sécurisée et Évolutive des Logiciels Embarqués dans les Systèmes Interactifs : Approche Formelle dans un Environnement Fog-Cloud**:
- Réf **ABG-126151**
- Sujet de Thèse- 07/10/2024- Autre financement privé- ESME Sudria- Lieu de travail- Ivry sur Seine et Vélizy - Ile-de-France - France- Intitulé du sujet- Intégration Sécurisée et Évolutive des Logiciels Embarqués dans les Systèmes Interactifs : Approche Formelle dans un Environnement Fog-Cloud- Champs scientifiques- Informatique
- Mots clés- Logiciels Embarqués,Systèmes Interactifs, Vérification Formelle, Sécurité, Fog-Cloud**Description du sujet**:
Pour cette raison, il est indispensable d'assurer que ces logiciels fonctionnent correctement en toute circonstance. La modélisation formelle permet de représenter mathématiquement le comportement de ces logiciels, garantissant ainsi leur conformité aux spécifications requises. Par ailleurs, la vérification formelle offre des méthodes rigoureuses pour détecter et corriger les erreurs de conception potentielles, augmentant ainsi la fiabilité des systèmes autonomes.
En ce qui concerne la vérification formelle, des techniques telles que le model checking ont été largement utilisées pour détecter les erreurs de conception et les violations de propriétés spécifiées dans les modèles formels des systèmes [3]. Et, l'utilisation de theorem provers et d'outils de preuve automatique a permis de garantir la correction des logiciels embarqués critiques en vérifiant leur conformité à des spécifications fonctionnelles et de sécurité [4]. Ces approches facilitent l'identification précoce des erreurs, renforçant la robustesse des logiciels embarqués dès les premières phases de développement.
Dans ce contexte, Event-B [5], une méthode formelle basée sur la théorie des événements, a émergé comme un outil puissant pour la modélisation et la vérification formelle des systèmes critiques. L'efficacité d'Event-B a été démontrée dans plusieurs domaines, tels que les systèmes de contrôle industriel et les infrastructures de transport. En spécifiant et en vérifiant le comportement des logiciels embarqués, cette approche permet de garantir la conformité aux exigences fonctionnelles tout en identifiant les incohérences potentielles.
Cependant, l'intégration de ces systèmes interactifs dans des environnements complexes et distribués, tels que ceux utilisant le fog computing [6], soulève de nouveaux défis. Le fog computing, en tant qu'extension du cloud computing vers les périphéries du réseau, distribue les ressources informatiques plus près des appareils embarqués. Cela optimise les délais de traitement, mais nécessite des méthodes avancées pour allouer les ressources de manière efficace tout en maintenant les niveaux de sûreté et de performance requis. De plus, l'introduction de l'intelligence artificielle embarquée ajoute un nouveau niveau de complexité, nécessitant des mécanismes d'explicabilité et de validation afin de garantir l'acceptabilité sociale et la fiabilité des décisions autonomes.
Ainsi, le contexte de cette thèse se situe à l'intersection de plusieurs domaines technologiques majeurs : la modélisation formelle, la vérification des systèmes embarqués, l'optimisation des ressources dans des environnements fog-cloud et l'intégration de l'intelligence artificielle explicable. La convergence de ces technologies est cruciale pour garantir que les systèmes autonomes de demain soient non seulement performants, mais également sûrs et fiables dans des environnements dynamiques et distribués.
Objectifs:
L’objectif principal de cette thèse est de développer un cadre méthodologique pour la modélisation et la vérification formelle des logiciels embarqués dans des systèmes autonomes, tels que les drones et les voitures autonomes, évoluant dans un environnement Fog-Cloud. Cette recherche vise à garantir la fiabilité, la sécurité et l'efficacité de ces systèmes interactifs en s'appuyant sur des méthodes formelles comme Event-B pour spécifier, vérifier et optimiser leur comportement. Ce sujet vise à intégrer les connaissances et les compétences dans le domaine de la modélisation et de la vérification formelle des logiciels embarqués dans les systèmes interactifs tels que les drones et/ou les voitures autonomes. En effet, ces systèmes interactifs sont soumis à des exigences strictes en matière de performance et de sûreté de fonctionnement, notamment dans des environnements dynamiques et potentiellement dangereux.
Nous mettrons donc l'accent sur l'utilisation d'Event-B, une méthode formelle basée sur la théorie des événements, pour la modélisation et la vérification formelle des logiciels embarqués dans les drones et les voitures autonomes.
**Nature du financement**:
- Autre financement privé**Précisions sur le financement**:
**Présentation établissement et labo d'accueil*
-
Expert en intégration et développement d'applications métier
il y a 4 semaines
Ivry-sur-Seine, Île-de-France Malakoff Humanis Temps pleinDescription du posteRôle : L'expert en intégration et développement d'applications métier est chargé de concevoir, développer et maintenir des applications métier pour répondre aux besoins des clients.Missions :Conception et développement : Concevoir et développer des applications métier personnalisées pour les clients ;Intégration et...
-
Cloud (It) / Freelance
Il y a 6 mois
Ivry-sur-Seine, France Innov and Co Temps pleinAu sein de l?équipe Plateformes Cloud, nous recherchons un Ingénieur Infrastructure Cloud. Son rôle principal consiste à concevoir, déployer et maintenir les infrastructures cloud robustes et évolutives. Il/elle devra collaborer étroitement avec les équipes de développement logiciel, les équipes techniques et les architectes pour garantir des...
-
Data Engineer
Il y a 6 mois
Ivry-sur-Seine, France E.Leclerc Temps plein**Descriptif de poste**: Au sein de la Direction Support et Organisation, la DSI est composée de 5 services: - Service Solutions Finance & Qualité, - Service Solutions Client, - Service Solutions Offre, - Service Support Utilisateurs, - Service TECH, Le Service TECH a pour mission: - D'animer les constructions stratégiques SI et technologies, -...
-
Data Engineer
Il y a 6 mois
Ivry-sur-Seine, France E.Leclerc Temps plein**Mieux nous connaître** Le Mouvement E.LECLERC est un groupement coopératif dont les adhérents sont les propriétaires de magasins, soit 592 entrepreneurs, dont Michel-Edouard Leclerc est le porte-parole. Le Mouvement E.leclerc compte 133 000 collaborateurs, qui travaillent collectivement à la réussite de nos 721 magasins (hypers, supers et express),...
-
Architecte systèmes et logiciels sécurisés
Il y a 3 mois
Le Plessis-Robinson, Hauts-de-Seine, France CS Group Temps pleinDescription de l'entreprise Référencé par le Capital Magazine figurant parmi les « Meilleurs employeurs 2023 », CS est une société filiale autonome de Sopra Steria GROUP avec un rayonnement en France et à l’international (plus de 2500 collaborateurs). Experts des systèmes critiques pour les secteurs de la Défense, l'Industrie, le...
-
Architecte Sécurité
Il y a 2 mois
Ivry-sur-Seine, France E.Leclerc Temps plein**Mieux nous connaître** Le Mouvement E.LECLERC est un groupement coopératif dont les adhérents sont les propriétaires de magasins, soit 592 entrepreneurs, dont Michel-Edouard Leclerc est le porte-parole. Le Mouvement E.leclerc compte 133 000 collaborateurs, qui travaillent collectivement à la réussite de nos 721 magasins (hypers, supers et express),...
-
Collaborateur Comptable
Il y a 2 mois
Ivry-sur-Seine, France Fiducial Temps pleinPoste : Vous souhaitez vous investir dans un cabinet à taille humaine offrant de belles perspectives d'évolution ? Rejoignez notre agence FIDUCIAL LES SABLES D'OLONNE en qualité de COLLABORATEUR COMPTABLE H/F en CDI , au sein d'une petite équipe dynamique et conviviale !Vos principales missions sont les suivantes :- La...
-
Développeur Commercial Evolutif
il y a 3 semaines
Villebon-sur-Yvette, Île-de-France KIABI Temps pleinÀ propos de KIABIBienvenue dans une entreprise où vous pourrez exprimer vos passions autant que vos ambitions. Nous sommes une famille qui valorise l'autonomie et le plaisir au travail.Nos employés, nos partenaires et nos fournisseurs sont la clé de notre succès. Nous veillons à ce qu'ils puissent s'épanouir et se développer dans un environnement...
-
Formateur Développement Professionnel
il y a 2 semaines
Ivry-sur-Seine, Île-de-France RATP Dev Temps pleinPoste de Formateur Développement ProfessionnelRATP Dev, filiale du Groupe RATP, assure l'exploitation et la maintenance de réseaux de transports urbains et interurbains dans 15 pays au travers de plus de 100 filiales. Notre groupe compte 27 000 collaborateurs expérimentés qui travaillent en collaboration avec les équipes pour apporter performance,...
-
Assistant(e) Comptable
Il y a 2 mois
Ivry-sur-Seine, France Fiducial Temps pleinPoste : Spécialiste des prestations comptables et de conseil, FIDUCIAL EXPERTISE est le leader reconnu auprès des petites et moyennes entreprises. Grâce à une implantation nationale exceptionnelle (une agence tous les 30 km) nos collaborateurs sont proches de leurs clients, les accompagnent dans leur gestion quotidienne et...
-
ingénieur Cyber Sécurité réseaux
il y a 4 semaines
Ivry-sur-Seine, France UMANTIC TECHNOLOGIES Temps pleinVous êtes passionné par la cybersécurité et les infrastructures réseaux ? Rejoignez un grand acteur de l’assurance, un acteur clé de l’innovation technologique, pour relever des défis stimulants au cœur de la protection de nos systèmes d’information. Votre mission : En tant qu’Ingénieur Cybersécurité Réseaux, vous jouerez un rôle...
-
Professeur D'alto
Il y a 3 mois
Ivry-sur-Seine, France Wiplay Music Temps pleinAllier votre passion pour la musique et votre activité professionnelle dans un environnement stimulant et bienveillantça vous tente ? **Nous recrutons un(e) professeur(e) d'alto pour dispenser des cours à domicile à Ivry-Sur-Seine (94).** Wiplay Music propose un large panel d’activités dédiées à l’apprentissage de la musique: - des cours...
-
Collaborateur comptable
Il y a 2 mois
Ivry-sur-Seine, France Fiducial Temps pleinPoste : Vous souhaitez vous investir dans un cabinet structuré offrant de belles perspectives d'évolution ?FIDUCIAL EXPERTISE est le leader reconnu auprès des petites et moyennes entreprises, rejoignez notre agence spécialiste des prestations comptables et de conseil !Nous recrutons un(e) Collaborateur(trice) comptable (F/H)...
-
Chargé(E) D'affaires
il y a 2 semaines
Ivry-sur-Seine, France OMNITECH SECURITY Temps pleinOMNITECH Security est spécialisée dans la création, l’intégration, le déploiement et la maintenance des systèmes de sûreté complexes pour les sites à risques. Installée depuis 2020, à Saint-Médard-en-Jalles, son nouveau siège héberge le nouveau Pôle haute technologie du groupe DOM SECURITY. Situé autour de l’aéroport de Mérignac, ce...
-
Assistant Comptable
il y a 5 jours
Ivry-sur-Seine, France Fiducial Temps pleinPoste : Vous souhaitez valoriser vos compétences en en comptabilité ? Rejoignez notre agence FIDUCIAL à Saint-Gilles-Les-Bains, à La Réunion, en qualité de Assistant Comptable H/F en CDD pour 6 mois. Intégrez une équipe conviviale et dynamique !Vos principales missions sont les suivantes :- La tenue des dossiers...
-
Administrateur Sirh HR Access
Il y a 6 mois
Ivry-sur-Seine, France Fnac Darty Temps pleinAu sein de la DRH du Groupe Fnac-Darty, votre mission principale consistera à traduire dans les systèmes d'informations les choix stratégiques de la Direction des ressources humaines. Expert des systèmes d'informations ressources humaines, en particulier de l'outil HR ACCES, vous pilotez au national les outils SIRH Paie et GTA avec la responsabilité de...
-
Gestionnaire de Catalogue Et de Référentiel
Il y a 6 mois
Ivry-sur-Seine, France E.Leclerc Temps plein**Mieux nous connaître** Le Mouvement E.LECLERC est un groupement coopératif dont les adhérents sont les propriétaires de magasins, soit 592 entrepreneurs, dont Michel-Edouard Leclerc est le porte-parole. Le Mouvement E.leclerc compte 133 000 collaborateurs, qui travaillent collectivement à la réussite de nos 721 magasins (hypers, supers et express),...
-
Chef de Groupe Expertise Comptable H/F
il y a 1 mois
Ivry-sur-Seine, Île-de-France Fiducial Temps pleinPoste : Vos compétences en comptabilité, votre capacité à encadrer une équipe et votre sens du service client sont mis à l'honneur dans ce poste de Chef de Groupe Expertise Comptable H/F. Nous recherchons pour notre agence située à Porto-Vecchio (2A), un professionnel expérimenté pour animer et superviser une équipe, procéder à la révision...
-
Expert solution et intégrateur IBM Filenet
Il y a 4 mois
Ivry-sur-Seine, France Malakoff Humanis Temps pleinMalakoff Humanis est un groupe de protection sociale paritaire, mutualiste et à but non lucratif.L'ensemble de nos bénéfices est donc réinvesti au profit de nos clients, en services, en accompagnement social ou pour soutenir des causes d'intérêt général que nous défendons.L'innovation est depuis toujours au coeur de notre action.Fier d'avoir obtenu...
-
Gestionnaire de Paie Expérimenté
Il y a 6 mois
Ivry-sur-Seine, France Pay Job Temps plein**Description de l'entreprise**: Leader sur les métiers de la paie, PAY JOB recrute des gestionnaires et responsables paie, des consultants SIRH, des directeurs et managers de CSP paie grâce au plus grand réseau de professionnels du marché ! **Description du poste**: PAYJOB, cabinet de recrutement dédié aux métiers de la paie depuis et...