Добірка наукової літератури з теми "Safety argumentation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Safety argumentation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Safety argumentation"
Snoeck Henkemans, A. Francisca. "Argumentative patterns using symptomatic argumentation in OTC-medicine advertisements." Journal of Argumentation in Context 6, no. 1 (March 31, 2017): 59–75. http://dx.doi.org/10.1075/jaic.6.1.04sno.
Повний текст джерелаLodge, Martin. "Risk, Regulation and Crisis: Comparing National Responses in Food Safety Regulation." Journal of Public Policy 31, no. 1 (February 23, 2011): 25–50. http://dx.doi.org/10.1017/s0143814x10000218.
Повний текст джерелаDe Grefte, Job. "A Modal Criterion for Epistemic Argumentation." Informal Logic 42, no. 2 (June 10, 2022): 389–415. http://dx.doi.org/10.22329/il.v42i2.7020.
Повний текст джерелаAlden, Kieran, Paul S. Andrews, Fiona A. C. Polack, Henrique Veiga-Fernandes, Mark C. Coles, and Jon Timmis. "Using argument notation to engineer biological simulations with increased confidence." Journal of The Royal Society Interface 12, no. 104 (March 2015): 20141059. http://dx.doi.org/10.1098/rsif.2014.1059.
Повний текст джерелаRosa, Victor Mozart Tavares Leal, and Nelson Barrelo Jr. "Scientific literacy: what role does the safety air cushion in rescuing people?" Concilium 23, no. 3 (March 2, 2023): 40–53. http://dx.doi.org/10.53660/clm-861-23b06.
Повний текст джерелаDiemert, Simon, John Goodenough, Jeff Joyce, and Charles Weinstock. "Incremental Assurance Through Eliminative Argumentation." Journal of System Safety 58, no. 1 (February 22, 2023): 7–15. http://dx.doi.org/10.56094/jss.v58i1.215.
Повний текст джерелаKauko, Tom. "On Place Safety." Real Estate Management and Valuation 30, no. 1 (March 1, 2022): 65–70. http://dx.doi.org/10.2478/remav-2022-0006.
Повний текст джерелаAlmpani, Sofia, Petros Stefaneas, and Panayiotis Frangos. "Argumentation-Based Logic for Ethical Decision Making." Studia Humana 11, no. 3-4 (December 1, 2022): 46–52. http://dx.doi.org/10.2478/sh-2022-0015.
Повний текст джерелаNesterova, 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 (December 31, 2022): 52–63. http://dx.doi.org/10.24833/2410-2423-2022-4-33-52-63.
Повний текст джерелаGómez, Sergio Alejandro, Anca Goron, Adrian Groza, and Ioan Alfred Letia. "Assuring safety in air traffic control systems with argumentation and model checking." Expert Systems with Applications 44 (February 2016): 367–85. http://dx.doi.org/10.1016/j.eswa.2015.09.027.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаGó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.
Повний текст джерелаChelouati, Mohammed. "Contributions to safety assurance of autonomous trains." Electronic Thesis or Diss., Université Gustave Eiffel, 2024. http://www.theses.fr/2024UEFL2014.
Повний текст джерелаThe 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
Книги з теми "Safety argumentation"
Brasser, Martin, Petar Bojanić, and Francesco Paolo Ciglia, eds. "The Star" for Beginners: Introductions to the Magnum Opus of Franz Rosenzweig. Ubiquity Press, 2021. http://dx.doi.org/10.5334/bco.
Повний текст джерелаЧастини книг з теми "Safety argumentation"
Helmle, Michael, P. Sautter, F. Hauler, and F. von Zeppelin. "Safety argumentation for automated driving systems." In Proceedings, 1437. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-13255-2_105.
Повний текст джерелаRobertson, David. "Can Formal Argumentation Raise our Confidence in Safe Design ?" In Towards System Safety, 225–38. London: Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-0823-8_14.
Повний текст джерелаWang, Rui, Jérémie Guiochet, and Gilles Motet. "A Framework for Assessing Safety Argumentation Confidence." In Lecture Notes in Computer Science, 3–12. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45892-2_1.
Повний текст джерелаMartin, H., R. Bramberger, C. Schmittner, Z. Ma, T. Gruber, A. Ruiz, and G. Macher. "Safety and Security Co-engineering and Argumentation Framework." In Lecture Notes in Computer Science, 286–97. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66284-8_24.
Повний текст джерелаRatiu, Daniel, Marc Zeller, and Lennart Killian. "Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation." In Lecture Notes in Computer Science, 72–82. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24249-1_7.
Повний текст джерелаSljivo, Irfan, Barbara Gallina, Jan Carlson, Hans Hansson, and Stefano Puri. "Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation." In 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.
Повний текст джерелаSchwalbe, Gesina, Bernhard Knie, Timo Sämann, Timo Dobberphul, Lydia Gauerhof, Shervin Raafatnia, and Vittorio Rocco. "Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications." In 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.
Повний текст джерелаBrunel, Julien, and Jacques Cazin. "Formal Verification of a Safety Argumentation and Application to a Complex UAV System." In 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.
Повний текст джерелаCieslik, Ilona, Víctor J. Expósito Jiménez, Helmut Martin, Heiko Scharke, and Hannes Schneider. "State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System." In Lecture Notes in Computer Science, 178–91. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-14862-0_14.
Повний текст джерелаMock, Michael, Stephan Scholz, Frédérik Blank, Fabian Hüger, Andreas Rohatschek, Loren Schwarz, and Thomas Stauner. "An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving." In Lecture Notes in Computer Science, 265–71. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-83906-2_21.
Повний текст джерелаТези доповідей конференцій з теми "Safety argumentation"
Liu, C., X. Sha, F. Yan, and T. Tang. "A scenario-based safety argumentation for CBTC safety case architecture." In COMPRAIL 2010. Southampton, UK: WIT Press, 2010. http://dx.doi.org/10.2495/cr100761.
Повний текст джерелаAnnable, Nicholas. "Deriving Safety Assurance Case Argumentation from WF+ Models." In 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.
Повний текст джерелаDiemert, Simon, and Jeff Joyce. "Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience." In 2020 IEEE International Systems Conference (SysCon). IEEE, 2020. http://dx.doi.org/10.1109/syscon47679.2020.9275852.
Повний текст джерелаGao, Xueli, and Peter Karpati. "Application of the Structured Safety Argumentation Approach Guidance on the Halden Safety Fan." In 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.
Повний текст джерелаGao, Xueli, and Peter Karpati. "Application of the Structured Safety Argumentation Approach Guidance on the Halden Safety Fan." In 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.
Повний текст джерелаGao, Xueli, Peter Karpati, Bjørn Axel Gran, and Alan Wassyng. "Safety Argumentation for a Nuclear Reactor Protection System -- an Assessor's View." In 33rd European Safety and Reliability Conference. Singapore: Research Publishing Services, 2023. http://dx.doi.org/10.3850/978-981-18-8071-1_p393-cd.
Повний текст джерелаCasas-Quiroga, Lucia, and Beatriz Crujeiras-Pérez. "SECONDARY STUDENTS’ CONCEPTIONS ABOUT FOOD SAFETY IN AN ARGUMENTATION CONTEXT." In 12th annual International Conference of Education, Research and Innovation. IATED, 2019. http://dx.doi.org/10.21125/iceri.2019.0790.
Повний текст джерелаHauge, André Alexandersen, Terje Sivertsen, and Bjørn Axel Gran. "Evaluating Approaches Supporting Safety Argumentation for Inclusion in a Safety Assessment Framework for Efficient Transport." In 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.
Повний текст джерелаOsawa, Hideaki, Kazumasa Hioki, Hiroyuki Umeki, Hiroyasu Takase, and Ian McKinley. "Use of the Safety Case to Focus KMS Applications." In ASME 2009 12th International Conference on Environmental Remediation and Radioactive Waste Management. ASMEDC, 2009. http://dx.doi.org/10.1115/icem2009-16348.
Повний текст джерелаDick, A. J. J. "Evidence-based development - coupling structured argumentation with requirements development." In 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.
Повний текст джерела