Littérature scientifique sur le sujet « Safety argumentation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Safety argumentation ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Safety argumentation"
Snoeck Henkemans, A. Francisca. « Argumentative patterns using symptomatic argumentation in OTC-medicine advertisements ». Journal of Argumentation in Context 6, no 1 (31 mars 2017) : 59–75. http://dx.doi.org/10.1075/jaic.6.1.04sno.
Texte intégralLodge, Martin. « Risk, Regulation and Crisis : Comparing National Responses in Food Safety Regulation ». Journal of Public Policy 31, no 1 (23 février 2011) : 25–50. http://dx.doi.org/10.1017/s0143814x10000218.
Texte intégralDe Grefte, Job. « A Modal Criterion for Epistemic Argumentation ». Informal Logic 42, no 2 (10 juin 2022) : 389–415. http://dx.doi.org/10.22329/il.v42i2.7020.
Texte intégralAlden, Kieran, Paul S. Andrews, Fiona A. C. Polack, Henrique Veiga-Fernandes, Mark C. Coles et Jon Timmis. « Using argument notation to engineer biological simulations with increased confidence ». Journal of The Royal Society Interface 12, no 104 (mars 2015) : 20141059. http://dx.doi.org/10.1098/rsif.2014.1059.
Texte intégralRosa, Victor Mozart Tavares Leal, et Nelson Barrelo Jr. « Scientific literacy : what role does the safety air cushion in rescuing people ? » Concilium 23, no 3 (2 mars 2023) : 40–53. http://dx.doi.org/10.53660/clm-861-23b06.
Texte intégralDiemert, Simon, John Goodenough, Jeff Joyce et Charles Weinstock. « Incremental Assurance Through Eliminative Argumentation ». Journal of System Safety 58, no 1 (22 février 2023) : 7–15. http://dx.doi.org/10.56094/jss.v58i1.215.
Texte intégralKauko, Tom. « On Place Safety ». Real Estate Management and Valuation 30, no 1 (1 mars 2022) : 65–70. http://dx.doi.org/10.2478/remav-2022-0006.
Texte intégralAlmpani, Sofia, Petros Stefaneas et Panayiotis Frangos. « Argumentation-Based Logic for Ethical Decision Making ». Studia Humana 11, no 3-4 (1 décembre 2022) : 46–52. http://dx.doi.org/10.2478/sh-2022-0015.
Texte intégralNesterova, V. E. « The strategy of evaluative argumentation as a means of linguistic modeling of the police image in oppositional Russian and American newspapers ». Linguistics & ; Polyglot Studies 8, no 4 (31 décembre 2022) : 52–63. http://dx.doi.org/10.24833/2410-2423-2022-4-33-52-63.
Texte intégralGómez, Sergio Alejandro, Anca Goron, Adrian Groza et Ioan Alfred Letia. « Assuring safety in air traffic control systems with argumentation and model checking ». Expert Systems with Applications 44 (février 2016) : 367–85. http://dx.doi.org/10.1016/j.eswa.2015.09.027.
Texte intégralThèses sur le sujet "Safety argumentation"
Govardhan, Rao Sirisha Bai. « A Comparative Analysis of Argumentation Languages in the Context of Safety Case Development ». Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-45349.
Texte intégralGómez, Rodríguez Laura. « A Tool-Supported Method for Fallacies Detection in Process-Based Argumentation ». Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40940.
Texte intégralChelouati, Mohammed. « Contributions to safety assurance of autonomous trains ». Electronic Thesis or Diss., Université Gustave Eiffel, 2024. http://www.theses.fr/2024UEFL2014.
Texte intégralThe deployment of autonomous trains raises many questions and challenges, particularly concerning the required safety level, which must be globally at least equivalent to that of the existing systems, along with how to achieve it. Conventionally, ensuring the safety of a global railway system or a defined subsystem includes analyzing risks and effectively handling dangerous situations. Therefore, for any technical railway system, whether it is conventional, automatic, or autonomous, an acceptable level of safety must be ensured. In the context of autonomous trains, safety challenges include aspects related to the use of artificial intelligence models, the transfer of tasks and responsibilities from the driver to automatic decision-making systems, and issues related to autonomy, such as mode transitions and management of degraded modes. Thus, the safety demonstration methodology for autonomous trains must take into account the risks generated by all these aspects. In other words, it must define all the safety activities (related to the introduction of autonomy and artificial intelligence systems), complementary to conventional safety demonstration. In this context, this dissertation proposes three main contributions towards the development of a safety assurance methodology for autonomous trains. Firstly, we establish a high-level framework for structuring and presenting safety arguments for autonomous trains. This framework is based on a goal-based approach represented by the graphical modeling Goal Structuring Notation (GSN). Then, we propose a model for the situational awareness of the automated driving system of an autonomous train, that integrating the process of dynamic risk assessment. This model enables the automated driving system to perceive, understand, anticipate and adapt its behavior to unknown situations while making safe decisions. This model is illustrated through a case study related to the obstacle detection and avoidance. Finally, we develop a decision-making approach based on dynamic risk assessment. The approach is based on Partially Observable Markov Decision Processes (POMDP) and aims to ensure continuous environmental monitoring to guarantee operational safety, particularly collision prevention. The approach is based on maintaining an acceptable level of risk through continuous estimation and updating of the train's operational state and environmental perception data
Livres sur le sujet "Safety argumentation"
Brasser, Martin, Petar Bojanić et Francesco Paolo Ciglia, dir. "The Star" for Beginners : Introductions to the Magnum Opus of Franz Rosenzweig. Ubiquity Press, 2021. http://dx.doi.org/10.5334/bco.
Texte intégralChapitres de livres sur le sujet "Safety argumentation"
Helmle, Michael, P. Sautter, F. Hauler et F. von Zeppelin. « Safety argumentation for automated driving systems ». Dans Proceedings, 1437. Wiesbaden : Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-13255-2_105.
Texte intégralRobertson, David. « Can Formal Argumentation Raise our Confidence in Safe Design ? » Dans Towards System Safety, 225–38. London : Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-0823-8_14.
Texte intégralWang, Rui, Jérémie Guiochet et Gilles Motet. « A Framework for Assessing Safety Argumentation Confidence ». Dans Lecture Notes in Computer Science, 3–12. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45892-2_1.
Texte intégralMartin, H., R. Bramberger, C. Schmittner, Z. Ma, T. Gruber, A. Ruiz et G. Macher. « Safety and Security Co-engineering and Argumentation Framework ». Dans Lecture Notes in Computer Science, 286–97. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66284-8_24.
Texte intégralRatiu, Daniel, Marc Zeller et Lennart Killian. « Safety.Lab : Model-Based Domain Specific Tooling for Safety Argumentation ». Dans Lecture Notes in Computer Science, 72–82. Cham : Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24249-1_7.
Texte intégralSljivo, Irfan, Barbara Gallina, Jan Carlson, Hans Hansson et Stefano Puri. « Tool-Supported Safety-Relevant Component Reuse : From Specification to Argumentation ». Dans Reliable Software Technologies – Ada-Europe 2018, 19–33. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92432-8_2.
Texte intégralSchwalbe, Gesina, Bernhard Knie, Timo Sämann, Timo Dobberphul, Lydia Gauerhof, Shervin Raafatnia et Vittorio Rocco. « Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications ». Dans Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 383–94. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55583-2_29.
Texte intégralBrunel, Julien, et Jacques Cazin. « Formal Verification of a Safety Argumentation and Application to a Complex UAV System ». Dans Lecture Notes in Computer Science, 307–18. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33675-1_27.
Texte intégralCieslik, Ilona, Víctor J. Expósito Jiménez, Helmut Martin, Heiko Scharke et Hannes Schneider. « State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System ». Dans Lecture Notes in Computer Science, 178–91. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-14862-0_14.
Texte intégralMock, Michael, Stephan Scholz, Frédérik Blank, Fabian Hüger, Andreas Rohatschek, Loren Schwarz et Thomas Stauner. « An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving ». Dans Lecture Notes in Computer Science, 265–71. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-83906-2_21.
Texte intégralActes de conférences sur le sujet "Safety argumentation"
Liu, C., X. Sha, F. Yan et T. Tang. « A scenario-based safety argumentation for CBTC safety case architecture ». Dans COMPRAIL 2010. Southampton, UK : WIT Press, 2010. http://dx.doi.org/10.2495/cr100761.
Texte intégralAnnable, Nicholas. « Deriving Safety Assurance Case Argumentation from WF+ Models ». Dans 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2023. http://dx.doi.org/10.1109/models-c59198.2023.00046.
Texte intégralDiemert, Simon, et Jeff Joyce. « Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience ». Dans 2020 IEEE International Systems Conference (SysCon). IEEE, 2020. http://dx.doi.org/10.1109/syscon47679.2020.9275852.
Texte intégralGao, Xueli, et Peter Karpati. « Application of the Structured Safety Argumentation Approach Guidance on the Halden Safety Fan ». Dans 32nd European Safety and Reliability Conference. Singapore : Research Publishing Services, 2022. http://dx.doi.org/10.3850/978-981-18-5183-4_r18-05-159-cd.
Texte intégralGao, Xueli, et Peter Karpati. « Application of the Structured Safety Argumentation Approach Guidance on the Halden Safety Fan ». Dans 32nd European Safety and Reliability Conference. Singapore : Research Publishing Services, 2022. http://dx.doi.org/10.3850/978-981-18-5183-4_r18-05-159.
Texte intégralGao, Xueli, Peter Karpati, Bjørn Axel Gran et Alan Wassyng. « Safety Argumentation for a Nuclear Reactor Protection System -- an Assessor's View ». Dans 33rd European Safety and Reliability Conference. Singapore : Research Publishing Services, 2023. http://dx.doi.org/10.3850/978-981-18-8071-1_p393-cd.
Texte intégralCasas-Quiroga, Lucia, et Beatriz Crujeiras-Pérez. « SECONDARY STUDENTS’ CONCEPTIONS ABOUT FOOD SAFETY IN AN ARGUMENTATION CONTEXT ». Dans 12th annual International Conference of Education, Research and Innovation. IATED, 2019. http://dx.doi.org/10.21125/iceri.2019.0790.
Texte intégralHauge, André Alexandersen, Terje Sivertsen et Bjørn Axel Gran. « Evaluating Approaches Supporting Safety Argumentation for Inclusion in a Safety Assessment Framework for Efficient Transport ». Dans Proceedings of the 29th European Safety and Reliability Conference (ESREL). Singapore : Research Publishing Services, 2019. http://dx.doi.org/10.3850/978-981-11-2724-3_0734-cd.
Texte intégralOsawa, Hideaki, Kazumasa Hioki, Hiroyuki Umeki, Hiroyasu Takase et Ian McKinley. « Use of the Safety Case to Focus KMS Applications ». Dans ASME 2009 12th International Conference on Environmental Remediation and Radioactive Waste Management. ASMEDC, 2009. http://dx.doi.org/10.1115/icem2009-16348.
Texte intégralDick, A. J. J. « Evidence-based development - coupling structured argumentation with requirements development ». Dans 7th IET International Conference on System Safety, incorporating the Cyber Security Conference 2012. Institution of Engineering and Technology, 2012. http://dx.doi.org/10.1049/cp.2012.1498.
Texte intégral