Добірка наукової літератури з теми "Safety argumentation"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Safety argumentation".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Safety argumentation"

1

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.

Повний текст джерела
Анотація:
Abstract In this paper, the analysis given in Snoeck Henkemans (2016) of argumentative patterns in over-the-counter medicine advertisements is extended by providing more insight into the argumentative patterns resulting from the support of two types of claims: the claim that the medicinal product is safe and the claim that there is no better alternative for the product. It is first established which types of argument are prototypically used to support these claims. Then it is investigated what kind of extensions might result from arguers’ attempts to further support those arguments. Finally, it is explained how the argumentative patterns revolving around the ‘safety’ and ‘no better alternative’ claims can be seen as the result of advertisers’ strategic choices in selecting and presenting their arguments within the institutional constraints applying to the activity type of over-the-counter advertisements.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Анотація:
AbstractThe literature on risk regulation often assumes a direct link between public pressure and regulatory responses. This article investigates whether the direction of regulatory response is related to public argumentation as expressed in the national print media. Three approaches are explored: national policy patterns, political panics expressed in Pavlovian politics, and policy responses shaped by universal policy paradigms. It assesses these three approaches in comparative perspective by looking at scandals in food safety regulation in Denmark, Germany and the US, looking at argumentation patterns in the national print media and using a coding system derived from grid-group cultural theory and regulatory responses. While all three countries display mostly hierarchical argumentation patterns, their actual regulatory responses point to diverse patterns.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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.

Повний текст джерела
Анотація:
In this paper, I spell out and argue for a new epistemic theory of argumentation. Contrary to extant views, this theory is compatible with a pluralistic framework on argumentation, where the norms governing argumentation depend on the aim with which we engage in the practice. A domain of specifically epistemic argumentation is singled out, and I argue based on recent findings in modal epistemology that this domain is governed by the modal norm of safety; where a belief is safe just in case it is produced by a method that would not easily produce a false belief. While this criterion is well-known and uncontroversial in epistemology, it has hitherto not been applied to epistemic theories of argumentation. I show that the norm allows for a novel and superior perspective of the relevance of the persistent interlocutor in argumentation theory, and on the relation between dialectical and epistemic norms more generally.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Анотація:
The application of computational and mathematical modelling to explore the mechanics of biological systems is becoming prevalent. To significantly impact biological research, notably in developing novel therapeutics, it is critical that the model adequately represents the captured system. Confidence in adopting in silico approaches can be improved by applying a structured argumentation approach, alongside model development and results analysis. We propose an approach based on argumentation from safety-critical systems engineering, where a system is subjected to a stringent analysis of compliance against identified criteria. We show its use in examining the biological information upon which a model is based, identifying model strengths, highlighting areas requiring additional biological experimentation and providing documentation to support model publication. We demonstrate our use of structured argumentation in the development of a model of lymphoid tissue formation, specifically Peyer's Patches. The argumentation structure is captured using A rtoo ( www.york.ac.uk/ycil/software/artoo ), our Web-based tool for constructing fitness-for-purpose arguments, using a notation based on the safety-critical goal structuring notation. We show how argumentation helps in making the design and structured analysis of a model transparent, capturing the reasoning behind the inclusion or exclusion of each biological feature and recording assumptions, as well as pointing to evidence supporting model-derived conclusions.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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.

Повний текст джерела
Анотація:
It briefly discusses scientific literacy and argumentation in physics teaching. In addition, it adresses a proposal for an investigative teaching sequence (SEI) taken and synthesized from the monograph of one of the authors. Regarding scientific literacy, we sought to start from its origin and the discussion on the need to build a scientifically literate society. Whith regard to argumentation, an attempt is made to seek relationships with scientific literacy, its use in the classroom and its structure. In addition, the article has an application proposal that seeks to promote and develop students’ scientific literacy.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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.

Повний текст джерела
Анотація:
An assurance case for a critical system is valid for that system at a particular point in time, such as when the system is delivered to a certification authority for review. The argument is structured around evidence that exists at that point in time. However, modern assurance cases are rarely one-off exercises. More information might become available (e.g., field data) that could strengthen (or weaken) the validity of the case. This paper proposes the notion of incremental assurance wherein the assurance case structure includes both the currently available evidence and a plan for incrementally increasing confidence in the system as additional or higher quality evidence becomes available. Such evidence is needed to further reduce doubts engineers or reviewers might have. This paper formalizes the idea of incremental assurance through an argumentation pattern. The concept of incremental assurance is demonstrated by applying the pattern to part of a safety assurance case for an air traffic control system.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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.

Повний текст джерела
Анотація:
Abstract For a long time, social factors have been identified as a set of crucial determinants of residential location choice and property value. Here, safety and security issues constitute a significant issue. Inhabitants are traditionally concerned about their neighborhoods and housing locations, and, considering current problems in big Western cities, this concern is by no means lessening. The study presents a social innovation for assisting the search for safe housing environments. A list of quantifiable key features regarding negative externalities and actual criminality provides the basis for constructing a checklist for the comparison of safe places within a city, or comparing cities with respect to their safety for housing occupants, investors, developers and other stakeholders. The controversial nature of the argumentation notwithstanding, this method is suggested to prove valuable in circumstances marred by increasing social hazards and turmoil.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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.

Повний текст джерела
Анотація:
Abstract As automation in artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, ethical decision- making raises novel challenges for engineers, ethicists and policymakers, who will have to explore new ways to realize this task. The presented work focuses on the development and formalization of models that aim at ensuring a correct ethical behaviour of artificial intelligent agents, in a provable way, extending and implementing a logic-based proving calculus that is based on argumentation reasoning with support and attack arguments. This leads to a formal theoretical framework of ethical competence that could be implemented in artificial intelligent systems in order to best formalize certain parameters of ethical decision-making to ensure safety and justified trust.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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.

Повний текст джерела
Анотація:
The article is devoted to the strategy of evaluative argumentation in the Russian and American mass media discourse aimed at linguistic modeling of the Police image. The strategy of evaluative argumentation is one of the most effective communicative strategies for modeling the image of a social institution, where the addresser through appeal to the addressee’s emotions creates a certain model verbalized in value components and capable of having a speech impact forming the addressee’s opinion and attitude to a certain object or phenomenon. The category of assessment has the greatest speech-influencing potential due to the fact that it can replace logical argumentation in a media text, and evaluations can obtain the character of arguments themselves. The main functions of law enforcement agencies all over the world are to protect citizens’ life, health, rights and freedoms, that is, the highest values. That is why the value model is of the greatest interest in the study of the Police as a social institution. The author analyzes media texts, represented in such oppositional newspapers as “Novaya Gazeta”, “Kommersant”, “The Washington Post” and “The New York Times” for the period from 1 to 30 January 2021. As a result of the analyses of arguments and argumentative acts from oppositional newspapers representing information about the Russian and American law enforcement agencies’ activities, the author concludes that the positive image of the social institution of the Police in Russianlanguage and English-language media texts is actualized in such evaluative components as “morality”, “ethic”, “humanity”, “protection”, “safety”, “professionalism” and “legitimacy”, and the negative image is verbalized in the components “illegitimacy”, “arbitrariness”, “brutality”, “unprofessionalism”, “bias” and “threat”.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Safety argumentation"

1

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.

Повний текст джерела
Анотація:
The safety case creation has become an explicit requirement in most of the safety-critical domains to ensure the safety of a system or an application. In the process of developing a safety case, the foremost requirement is choosing an efficient argumentation language which fulfills all the functionalities needed to develop a safety case.   In general, there are text-based argumentation notations and graphics-based argumentation notations to represent a safety case. In this paper we are comparing and analyzing the graphics-based argumentation notations like Goal Structuring Notation (GSN), Claims Arguments and Evidence (CAE), Structured Assurance Case Metamodel (SACM, the standardized modelling language to describe the safety case), NOR-STA Services (software platform which support graphics-based notations), Resolute (which is both language and tool that supports graphics-based notations) and Dynamic Safety Cases (special type of safety case which supports graphics-based notations such as GSN).   In this thesis, we compared the argumentation notations with respect to different aspects in the context of safety case development. We present our findings like the types of stakeholders gaining benefits from different types of notations, the list of domains where these types of notations are applicable. We also presented the major advantages and disadvantages of using different argumentation notations considering certain features like understandability, standardization, consistency, maintenance, traceability, and assessment in the context of safety case development.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Анотація:
Process-based arguments aim at demonstrating that a process, compliant with a standard, has been followed during the development of a safety-critical system. Compliance with these processes is mandatory for certification purposes, so the generation of process-based arguments is essential, but also a very costly and time-consuming task. In addition, inappropriate reasoning in the argumentation such as insufficient evidence (i.e. a fallacious argumentation), may result in a loss of quality of the system, leading to safety-related failures. Therefore, avoiding or detecting fallacies in process-based arguments is crucial. However, the process of reviewing such arguments is currently done manually and is based on the expert’s knowledge, so it is a very laborious and error-prone task.In this thesis, an approach to automatically generate fallacy-free process-based arguments is proposed and implemented. This solution is composed of two parts; (i) detecting omission of key evidence fallacies on the modelled processes, and (ii) transforming them into process-based safety arguments. The former checks automatically if the process model, compliant with the Software & Systems Process Engineering Metamodel (SPEM) 2.0, contains the sufficient information for not committing an omission of key evidence fallacy. If fallacies are detected, the functionality provides the proper recommendation to resolve them. Once the safety engineers/process engineers modify the process model following the provided recommendations, the second part of the solution can be applied. This one generates automatically the process-based argument, compliant with the Structured Assurance Case Metamodel (SACM), and displays it –rendered via Goal Structuring Notation (GSN)– into the OpenCert assurance case editor within the AMASS platform. The applicability of the solution is validated in the context of the ECSS-E-ST-40C standard.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Chelouati, Mohammed. "Contributions to safety assurance of autonomous trains." Electronic Thesis or Diss., Université Gustave Eiffel, 2024. http://www.theses.fr/2024UEFL2014.

Повний текст джерела
Анотація:
Le déploiement des trains autonomes soulève de nombreuses questions et défis, notamment ceux liés au niveau de sécurité visé, qui doit être globalement au moins équivalent à celui du système existant, ainsi que les moyens à mettre en œuvre pour l'atteindre. Conventionnellement, la mise en sécurité d'un système ferroviaire global ou d'un sous-système défini comprend une phase d'analyse des risques et une phase de maîtrise des situations dangereuses. Ainsi, pour tout système technique ferroviaire, qu'il soit classique, automatique ou autonome, un niveau de sécurité acceptable doit être assuré. Dans le contexte des trains autonomes, les défis liés à leur sécurité incluent les aspects émergents de l'intelligence artificielle, le transfert de tâches et de responsabilités du conducteur vers des systèmes décisionnels automatiques, ainsi que les aspects liés à l'autonomisation, tels que la transition entre les modes et la gestion des modes dégradés. La méthodologie de démonstration de sécurité des trains autonomes, doit ainsi prendre en compte les risques engendrés par l'ensemble de ces aspects. Autrement dit, elle doit définir l'ensemble les activités de sécurité (liées à l'introduction de l'autonomie et des Systèmes d'Intelligence Artificielle), complémentaires à la démonstration de sécurité conventionnelle. Dans ce cadre, l'objectif de cette thèse est de contribuer à l'élaboration d'une démarche d'assurance de sécurité pour les trains autonomes. Concrètement, cette thèse propose trois contributions principales. Premièrement, nous proposons une méthodologie globale de haut niveau pour la structuration et la présentation de l'argumentation de sécurité pour les trains autonomes. La méthodologie est basée sur une approche orientée objectifs de sécurité (goal-based safety) en utilisant le formalisme graphique GSN (Goal Structuring Notation). Ensuite, nous proposons une modélisation de la conscience de situation (situational awareness) d'un système de conduite autonome d'un train, intégrant le processus de l'analyse dynamique des risques ferroviaires. Ce modèle permettra au système de conduite autonome de percevoir, de comprendre, d'anticiper et de s'adapter à des situations inconnues dans son environnement tout en prenant des décisions sûres. Le modèle est illustré à travers un cas d'étude concernant la détection et l'évitement d'obstacles sur la voie ferroviaire. Dernièrement, nous élaborons une approche de prise de décision basée sur l'évaluation dynamique des risques. L'approche utilise le Processus Décisionnel de Markov Partiellement Observable (POMDP) et vise à assurer une surveillance continue de l'environnement pour garantir la sécurité opérationnelle, en particulier la prévention des collisions. L'approche repose sur le maintien d'un niveau de risque acceptable grâce à une estimation et une actualisation continues de l'état opérationnel du train et des données de perception de l'environnement
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
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Safety argumentation"

1

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.

Повний текст джерела
Анотація:
In "The Star of Redemption", written at the end and after World War I and published in 1921, Franz Rosenzweig presented an epoch-making Jewish-inspired philosophy of religion. In three steps, each with three chapters or "books," Rosenzweig unfolds in it his view of God, the world, and man, their interrelationship, and their contribution and role in the redemption of the world. In this introduction, young and old Rosenzweig scholars take readers by the hand chapter by chapter, book by book. They lead safely through Rosenzweig's argumentation, making sometimes difficult lines of thought comprehensible and plausible. The chapter introductions open up reliable access for interested readers and new perspectives for connoisseurs.
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Safety argumentation"

1

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Safety argumentation"

1

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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.

Повний текст джерела
Анотація:
The safety case, as defined in Japan, is an integrated set of arguments to show that a repository is sufficiently safe during both operational and post-closure phases. It explicitly includes the findings of a safety assessment and a demonstration of confidence in these findings. It is developed in a stepwise manner, with provisional cases used to support decisions at major project milestones. Social acceptance is acknowledged to be critical and hence a safety case includes not only technical components, but also the arguments required to explain fundamental issues to all key stakeholders. In the JAEA KMS project, the safety case has been found useful as a framework that allows all supporting R&D to be seen in the context of its applicability. Various tools have been examined to develop associated argumentation models and they have been seen to provide an overview that is valuable to both the users and producers of knowledge. The paper will review progress to date in this work, with illustrative examples of argumentation networks and an outline of future developments and challenges.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії