On the uncertainties transmitted from premises to conclusions in deductive inferences, Synthese, vol.30, issue.3, pp.429-460, 1975. ,
A: Development of a HIL railway roller rig model for the traction and braking testing activities under degraded adhesion conditions, In: International Journal of Non-Linear Mechanics, vol.57, 2013. ,
The value of using imprecise probabilities in engineering design, Journal of Mechanical Design, vol.128, issue.4, pp.969-979, 2006. ,
On the need for restricting the probabilistic analysis in risk assessments to variability, Risk analysis, vol.30, pp.354-360, 2010. ,
Basic concepts and taxonomy of dependable and secure computing, Dependable and Secure Computing, vol.1, pp.11-33, 2004. ,
, , 2013.
Assessing the overall sufficiency of safety arguments, 21st Safety-Critical Systems Symposium (SSS'13), vol.33, p.47, 2013. ,
, Ayoub, Anaheed, 2012.
A systematic approach to justifying sufficient confidence in software safety arguments, Computer Safety, Reliability, and Security, vol.33, pp.305-316, 2012. ,
Eurocontrol safety regulatory requirement 4-risk assessment and mitigation in ATM, ESARR4, SRC (Cited, vol.10, p.9, 2001. ,
Safety Case Development Manual, vol.2, 2006. ,
FCM: The fuzzy c-means clustering algorithm, Computers & Geosciences, vol.10, issue.2-3, pp.191-203, 1984. ,
DOI : 10.1016/0098-3004(84)90020-7
Robin: A methodology for safety case development, Industrial Perspectives of Safety-Critical Systems, pp.194-203, 1998. ,
DOI : 10.1080/09617353.2000.11690698
URL : http://openaccess.city.ac.uk/549/2/10.1.1.40.9838.pdf
Analysing uncertainties: Towards comparing Bayesian and interval probabilities, Mechanical Systems and Signal Processing, vol.37, pp.30-42, 2007. ,
DOI : 10.1016/j.ymssp.2012.05.007
, Confidence: its role in dependability cases for risk assessment. In: Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on IEEE, pp.338-346, 2007.
International working group on assurance cases (for security), Security & Privacy, vol.4, pp.66-68, 2006. ,
, , 2002.
,
A fuzzy diagnosis approach using dynamic fault trees, Chemical Engineering Science, vol.57, pp.2971-2985, 2002. ,
DOI : 10.1016/s0009-2509(02)00178-1
, Trends in Logic, vol.22, 2002.
Supporting compliance with security standards by trust case templates, Dependability of Computer Systems, 2007. DepCoS-RELCOMEX'07. 2nd International Conference on IEEE, p.131, 2007. ,
Support for argument structures review and assessment, In: Reliability Engineering & System Safety, vol.96, p.75, 2011. ,
, Theory of Probability, 1974.
New methods for reasoning towards posterior distributions based on sample data, The Annals of Mathematical Statistics, pp.355-374, 1966. ,
Upper and lower probabilities induced by a multivalued mapping, The annals of mathematical statistics, pp.325-339, 1967. ,
Towards measurement of confidence in safety cases, Empirical Software Engineering and Measurement (ESEM), 2011 International Symposium on IEEE, vol.33, pp.380-383, 2011. ,
Reasoning with imprecise belief structures, International Journal of Approximate Reasoning, vol.20, issue.1, pp.79-111, 1999. ,
Maximum likelihood estimation from fuzzy data using the EM algorithm, Fuzzy sets and systems, vol.183, pp.72-91, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00654118
Principal component analysis of fuzzy data using autoassociative neural networks, IEEE Transactions on Fuzzy Systems, vol.12, issue.3, pp.336-349, 2004. ,
, 12C: Software Considerations in Airborne Systems and Equipment Certification. 2011.-RTCA/EUROCAE, vol.9
, 109A: Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air 132 Bibliography Traffic Management (CNS/ATM) Systems,. 2011.-RTCA/EUROCAE
Insup: Reasoning about confidence and uncertainty in assurance cases: A survey. In: Software Engineering in Health Care, 2014. ,
, Didier: Representation, propagation, and decision issues in risk analysis under incomplete probabilistic information, Risk analysis, vol.30, pp.361-368, 2010.
, Didier: Uncertainty Theories, Degrees of Truth and Epistemic States, ICAART (1), 2011.
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification, Annals of Mathematics & Artificial Intelligence, vol.32, issue.1-4, pp.35-66, 2001. ,
Formal representations of uncertainty, Decision-Making Process: Concepts and Methods, pp.85-156, 2009. ,
Theory of possibility an approach to computerized processing of uncertainty, 1988. ,
, EN50126: Railway applications-The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS). 1999.-CENELEC, European Committee for Electrotechnical Standardization
, EN50128: Railway Applications-Software for railway control and protection systems. 2011.-CENELEC, European Committee for Electrotechnical Standardization, p.133
, Railway Applications-Safety related electronic systems for signaling, European Committee for Electrotechnical Standardization, vol.50129, 2003.
, Railway Applications-Safety related communication in transmission systems. 2010.-CENELEC, European Committee for Electrotechnical Standardization
, European Railway A.: Regulation 2015/1136/EU on the Common safety method for risk evaluation and assessment, vol.8, 2015.
, , 2003.
, Constructing probability boxes and Dempster-Shafer structures / Technical report, Sandia National Laboratories. 2003.-Forschungsbericht
An R companion to applied regression, 2011. ,
, Gacôgne, Louis: Eléments de logique floue, Hermes, 1997.
VROOM & cC: a method to build safety cases for ISO 26262-compliant product lines, SAFECOMP 2013-Workshop SASSUR (Next Generation of System Assurance Approaches for SafetyCritical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, vol.7, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00848479
, Trudy: A practical study of argument, Cengage Learning, 1991.
An investigation of proposed techniques for quantifying confidence in assurance arguments, Safety Science, vol.92, pp.53-65, 2017. ,
, GSN COMMUNITY STANDARD VERSION 1. 2011.-Origin Consulting (York) Limited
Mohamed: A Model for Safety Case Confidence Assessment, Computer Safety, Reliability, and Security (SAFECOMP), pp.313-327, 2015. ,
Knowledge representation and uncertainty management: applying Bayesian belief networks to a safety assessment expert system, Natural Language Processing and Knowledge Engineering, pp.114-119, 2003. ,
, The Emergence of Probability: A Philosophical Study of Early Ideas about Probability, Induction and Statistical Inference, 1975.
, , 2011.
A new approach to creating clear safety arguments, Advances in systems safety, vol.32, pp.3-23, 2011. ,
The application of bayesian belief networks to assurance case preparation, Achieving Systems Safety, pp.159-176, 2012. ,
, IEC61508: Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission (IEC), 2010.
, Toshiyuki: Interdependence between safety-control policy and multiple-sensor schemes via Dempster-Shafer theory, Reliability, vol.40, pp.182-188, 1991.
, ISO26262: Software Considerations in Airborne Systems and Equipment Certification, 2011.
, ISO/IEC15026-1: Systems and software engineering-Systems and software assurance-Part 1: Concepts and Vocabulary. Bibliography 135 2013.-International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC)
, ISO/IEC15026-2: Systems and software engineering-Systems and software assurance-Part 2: Assurance Case. 2011.-International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC)
Audun: A logic for uncertain probabilities, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol.9, pp.279-311, 2001. ,
Arguing Safety-A Systematic Approach to Safety Case Management, Dissertation, 1998. ,
Safety case construction and reuse using patterns, Computer Safety, Reliability, and Security (SAFECOMP), pp.55-69, 1997. ,
The goal structuring notation-a safety argument notation, Proceedings of the Dependable Systems and Networks (DSN) workshop on assurance cases, 2004. ,
, , 2016.
,
,
,
, Perspectives on Probabilistic Assessment of Systems and Software. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016.
, , 2009.
,
Defence standard 00-56 issue 4: Towards evidencebased safety standards, Safety-Critical Systems: Problems, Process and Practice, vol.32, pp.223-243, 2009. ,
, Symbolic and 136 Bibliography Quantitative Approaches to Reasoning with Uncertainty, pp.552-562, 2005.
, MISRA: Guidelines for Automotive Safety Case Arguments. 2017.-not issued yet, vol.7
, MoD: Defence Standard 00-56 Issue 2: Safety Management Requirements for Defence Systems, vol.9, 1996.
, MoD: Defence Standard 00-55: Requirements for Safety Related Software in Defence Equipment, vol.9, 1997.
, MoD: JSP 318B-Regulation of the Airworthiness of Ministry of Defence Aircraft, vol.9, 1999.
An evidential reasoning approach for assessing confidence in safety evidence, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp.541-552, 2015. ,
Evidence management for compliance of critical systems with safety standards: A survey on the state of practice, Information and Software Technology, vol.60, pp.1-15, 2015. ,
, Structured Assurance Case Metamodel-SACM, version 2.0, vol.17, 2018.
A possibilistic fuzzy c-means clustering algorithm, IEEE Transactions on Fuzzy Systems, vol.13, 2005. ,
M: HIL simulation of WSP systems on MI-6 test rig, Vehicle System Dynamics, vol.44, pp.843-852, 2006. ,
Clustering and classification of fuzzy data using the fuzzy EM algorithm, Fuzzy Sets and Systems, vol.286, p.137, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01294270
Decision order and time in human affairs, 1961. ,
, A mathematical theory of evidence. Bd. 1, vol.19, p.31, 1976.
, Philippe: The nature of the unnormalized beliefs encountered in the transferable belief model, Proceedings of the 8th international conference on Uncertainty in artificial intelligence, pp.292-297, 1992.
, Philippe: Belief functions: the disjunctive rule of combination and the generalized Bayesian theorem, International Journal of approximate reasoning, vol.9, 1993.
, The transferable belief model, vol.66, pp.191-234, 1994.
URL : https://hal.archives-ouvertes.fr/hal-01185821
The uses of argument, 1969. ,
, Statistical reasoning with imprecise probabilities, 1991.
Towards a unified theory of imprecise probability, International Journal of Approximate Reasoning, vol.24, issue.2, pp.125-148, 2000. ,
A Framework for Assessing Safety Argumentation Confidence, International Workshop on Software Engineering for Resilient Systems Springer (Veranst.), pp.3-12, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01372049
Confidence assessment framework for safety arguments, International Conference on Computer Safety, Reliability, and Security (SafeComp) Springer (Veranst, p.138, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01533221
, , 2016.
DS theory for argument confidence assessment, International Conference on Belief Functions Springer (Veranst.), 2016. ,
, , 2017.
Modelling confidence in railway safety case, In: Safety Science, vol.87, 2017. ,
, Werro, Nicolas: Fuzzy classification of online customers, 2016.
On the Dempster-Shafer framework and new combination rules, Information sciences, vol.41, pp.93-137, 1987. ,
A Subjective Logic-Based Approach for Assessing Confidence in Assurance Case, International Journal of Performability Engineering, vol.13, 2017. ,
, LA: Fuzzy sets, In: Information and Control, vol.8, 1965.
Outline of a new approach to the analysis of complex systems decision processes, IEEE Trans. Systems, Man, and Cybernetics, vol.3, issue.1, pp.28-44, 1973. ,
Fuzzy sets as a basis for a theory of possibility, Fuzzy sets and systems, vol.1, pp.3-28, 1978. ,
, Fuzzy control. In: Fuzzy Set Theory-and Its Applications, pp.203-240, 1996.