نتائج البحث - "sûreté de fonctionnement"

1

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

المساهمون: Logical Time for Formal Embedded System Design (KAIROS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Côte d'Azur (UCA), Université Côte d'Azur, Frédéric Mallet

المصدر: Modeling and Simulation. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4031⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Sûreté de fonctionnement, Autonomous vehicles, Scenarios-based testing, Véhicules autonomes, Safety, Règles formelles, Tests basés sur des scénarios, Formal rules, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______165::672ffe48294c498431d6c9776b6ff37c
https://theses.hal.science/tel-03814686/file/2022COAZ4031.pdf

2

Model-Based Safety Assessment : Comment renforcer la confiance dans les modèles ?

المؤلفون: Frédéric, Milcent, Michel, Batteux, Prosvirnova, Tatiana, de Bossoreille, Xavier

المساهمون: RAGUENET, Manon

مصطلحات موضوعية: [SPI] Engineering Sciences [physics], processus, Sécurité, MBSA, modèle, Sûreté de Fonctionnement

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::400f6a2c80efe034bb8cf9550349b7da
https://hal.science/hal-03966550

3

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

المؤلفون: Loche, Daniel

المساهمون: Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

مصطلحات موضوعية: Multicœur — Temps-réel — Criticité mixte — Sûreté de fonctionnement

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e50714519ee35d9135ee37519120b83
https://oatao.univ-toulouse.fr/29608/

4

Problématique de l’intégration de la sécurité dans la normalisation de la Sûreté de Fonctionnement au niveau international

المؤلفون: Giraudeau, Michel, Du Baret, Hervé, Chevalier, Marcel, Laperche, Jean-Claude, Clement, Olivier, Merian, Yves

المساهمون: GBONSOU, Moriaque Gaël

مصطلحات موضوعية: [SPI] Engineering Sciences [physics], Sûreté de fonctionnement, international, sécurité, normalisation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::c8607dd9e7c953cbe462ff5d25796964
https://hal.science/hal-03878091

5

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

المؤلفون: Robert, Clément

المساهمون: Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Paul Sabatier (Toulouse), Hélène Waeselynck, Jérémie Guiochet (co-directeur)

المصدر: Robotique [cs.RO]. Université Paul Sabatier (Toulouse), 2021. Français

مصطلحات موضوعية: indéterminisme, constraint satisfaction, simulation, dependability, systèmes autonomes, oracle, test, autonomous systems, satisfaction de contraintes, génération de tests, sûreté de fonctionnement, indeterminism, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], test generation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2fa2c1bda70f972f40dd8a0d19102f5a
https://hal.laas.fr/tel-03400991

6

Une démarche de sûreté pour les CPS-IoT

المؤلفون: Laarouchi, Mohamed Emine

المساهمون: Réseaux, Systèmes, Services, Sécurité (R3S-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)-Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Département Réseaux et Services Multimédia Mobiles (RS2M), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Institut Polytechnique de Paris (IP Paris), Institut Polytechnique de Paris, Hakima Chaouchi, Daniela Cancila

المصدر: Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAS010⟩

مصطلحات موضوعية: [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, Internet of things, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Internet des objets, Systèmes cyber-physiques, Cyber-physical systems, Sûreté de fonctionnement, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Safety

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::8f60bd4adb16390ab38ae10d4641ef4f
https://tel.archives-ouvertes.fr/tel-03051734/document

7

A safety approach for CPS-IoT

المؤلفون: Laarouchi, Mohamed Emine

المساهمون: Réseaux, Systèmes, Services, Sécurité (R3S-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)-Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Département Réseaux et Services Multimédia Mobiles (RS2M), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Institut Polytechnique de Paris (IP Paris), Institut Polytechnique de Paris, Hakima Chaouchi, Daniela Cancila, STAR, ABES

المصدر: Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAS010⟩

مصطلحات موضوعية: [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, Internet of things, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Internet des objets, Systèmes cyber-physiques, Cyber-physical systems, Sûreté de fonctionnement, [INFO.INFO-IU] Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Safety, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8f60bd4adb16390ab38ae10d4641ef4f
https://tel.archives-ouvertes.fr/tel-03051734/document

8

Systèmes embarqués temps réel fiables et adaptables

المؤلفون: Solet, Dimitry

المساهمون: Institut d'Électronique et des Technologies du numéRique (IETR), Université de Nantes (UN)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), UNIVERSITE DE NANTES, Sébastien PILLEMENT Professeur Université de Nantes

المصدر: Electronique. UNIVERSITE DE NANTES, 2020. Français

مصطلحات موضوعية: [SPI.OTHER]Engineering Sciences [physics]/Other, Vérification en ligne, Real time embedded system, Sûreté de fonctionnement, Système embarqué temps réel, Runtime verification, Dependability, [SPI.TRON]Engineering Sciences [physics]/Electronics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::933dbb46b18caace7cbeee299ddccc83
https://hal.archives-ouvertes.fr/tel-03127866/file/UN_THESE_SOLET(IETR).pdf

9

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

المؤلفون: Batteux, Michel, Leblond, André, Rauzy, Antoine

المساهمون: AltaRica Association, IRT SystemX (IRT SystemX), Norwegian University of Science and Technology [Trondheim] (NTNU), Norwegian University of Science and Technology (NTNU)

المصدر: 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

مصطلحات موضوعية: [SPI]Engineering Sciences [physics], coupe minimale, évaluation de la sûreté de fonctionnement, MBSA, synthèse de coupes, CSA, ComputingMilieux_MISCELLANEOUS, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], composant

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3433dbacda07fac5c734926ef55f1c7b
https://hal.archives-ouvertes.fr/hal-03482843

10

Processus de réalisation d'AMDEC basé sur les outils OpenAltaRica

المؤلفون: Rachid, Sara, Clement, Emmanuel, Le Berre, Nicolas, Batteux, Michel

المساهمون: Thales LAS France, Thales DMS France, SAS, IRT SystemX (IRT SystemX)

المصدر: 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

مصطلحات موضوعية: OpenAltaRica, [SPI]Engineering Sciences [physics], Sûreté de fonctionnement, AMDEC, Systèmes complexes

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b4ca0bfafa75f590ef289dbe07ac7f5
https://hal.archives-ouvertes.fr/hal-03453603/document

تنقيح النتائج