Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs

Autor: Abou Faysal, Joelle

Publikováno v: Modeling and Simulation. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4031⟩

The automotive industry is preparing to deploy fleets of Autonomous Vehicles (AVs), which raises both technical and social challenges.Indeed, acceptance of AVs from both users and public authorities requires proof of the safety, reliability, and secu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::672ffe48294c498431d6c9776b6ff37c
https://theses.hal.science/tel-03814686/file/2022COAZ4031.pdf

Prévention des fautes temporelles sur architectures multicœur pour les systèmes à criticité mixte

Autor: Loche, Daniel

L'émergence de calculateurs multicœurs plus puissants, mais aussi plus complexes, présente à la fois une opportunité et de nouveaux enjeux pour l'intégration de systèmes à criticité mixte. Ces systèmes, qui embarquent des fonctionnalités d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e50714519ee35d9135ee37519120b83
https://oatao.univ-toulouse.fr/29608/

Génération et Analyse de tests pour les systèmes autonomes

Autor: Robert, Clément

Publikováno v: Robotique [cs.RO]. Université Paul Sabatier (Toulouse), 2021. Français

National audience; Autonomous robots are mainly tested through field experiments. This approach is costly and may present risks. An alternative method is to perform part of the tests on a simulation platform. This raises several challenges : the gene

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2fa2c1bda70f972f40dd8a0d19102f5a
https://hal.laas.fr/tel-03400991

A safety approach for CPS-IoT

Autor: Laarouchi, Mohamed Emine

Publikováno v: Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAS010⟩

For several years, we have been witnessing a convergence between cyber-physical systems (CPS) and the Internet of Things (IoT). CPS integrate embedded systems with their physical and human environment by ensuring communication between different senso

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8f60bd4adb16390ab38ae10d4641ef4f
https://tel.archives-ouvertes.fr/tel-03051734/document

SYNTHESIS : une méthodologie outillée d’évaluation et d’optimisation des performances de sûreté de fonctionnementd’un système complexe

Autor: Batteux, Michel, Leblond, André, Rauzy, Antoine

Publikováno v: Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Congrès Lambda Mu 22, « Les risques au coeur des transitions »
Congrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France

International audience; SYNTHESIS permet d'évaluer, puis d'optimiser les performances de sûreté d'un système complexe. Elle passe par la décomposition en briques fonctionnelles des composants. Un algorithme dédié est utilisé pour la générat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3433dbacda07fac5c734926ef55f1c7b
https://hal.archives-ouvertes.fr/hal-03482843