Słowa kluczowe

Informacje szczegółowe

Kategoria:

Aktywność konferencyjna

Typ:

publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)

Tytuł wydania:

10th IET System Safety and Cyber-Security Conference 2015 strony 1 - 6

Rok wydania:

2015

Opis bibliograficzny:

Jarzębowicz A., Wardziński A.: Integrating Confidence And Assurance Arguments// 10th IET System Safety and Cyber-Security Conference 2015/ ed. Carl Sandom (iSys Integrity Ltd) Bristol: The Institution of Engineering and Technology, 2015, s.1-6

DOI:

Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1049/cp.2015.0274

Bibliografia: test

1. T. Ankrum, A. Kromholz, "Structured assurance cases: Three common standards", Proc. of High-Assurance Systems Engineering Symposium (HASE'05), Heidelberg, Germany, (2005). otwiera się w nowej karcie
2. A. Ayoub, B. Kim, I. Lee, O. Sokolsky, "A systematic approach to justifying sufficient confidence in software safety arguments", Proc. of 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), LNCS 7612, pp. 305-316, (2012). otwiera się w nowej karcie
3. P. Bishop, R. Bloomfield, "The SHIP Safety Case Approach", Proc. of 14th International Conference on Computer Safety, Reliability and Security (SAFECOMP'95), (1995). otwiera się w nowej karcie
4. P. Bishop, R. Bloomfield, S. Guerra, "The future of goal-based assurance cases", Proc. of Workshop on Assurance Cases, 2004 International Conference on Dependable Systems and Networks, pp. 390-395, (2004).
5. P. Bishop, R. Bloomfield, B. Littlewood, A. Povyakalo, D. Wright, "Toward a formalism for conservative claims about the dependability of software-based systems", IEEE Transactions on Software Engineering, Vol. 37 (2011), pp. 708-717, (2011). otwiera się w nowej karcie
6. R. Bloomfield, P. Bishop, C. Jones, P. Froome, "ASCAD -Adelard Safety Case Development Manual", Adelard, (1998). otwiera się w nowej karcie
7. Ł. Cyra, J. Górski, "Support for Argument Structures Review and Assessment", Reliability Engineering and System Safety, Vol. 96, Elsevier, pp. 26-37, (2011). otwiera się w nowej karcie
8. E. Denney, G. Pai, I. Habli, "Towards Measurement of Confidence in Safety Cases", Proc. of Symposium on Empirical Software Engineering and Measurement, Banff, Canada, (2011). otwiera się w nowej karcie
9. US Food and Drug Administration, "Infusion Pumps Total Product Life Cycle. Guidance for Industry and FDA Staff", (2014). otwiera się w nowej karcie
10. J. B. Goodenough, C. B. Weinstock, A. Z. Klein, "Toward a Theory of Assurance Case Confidence", Technical Report CMU/SEI 2012 TR 002, Carnegie Mellon University, (2012). otwiera się w nowej karcie
11. J. B. Goodenough, C. B. Weinstock, A. Z. Klein, "Eliminative induction: A basis for arguing system confidence", Proc. of 35th International Conference on Software Engineering, pp. 1161-1164, (2013). otwiera się w nowej karcie
12. J. Górski, A. Jarzębowicz, R. Leszczyna, J. Miler, M. Olszewski, "An approach to trust case development", Proc. of 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), LNCS Vol. 2788, pp. 193-206, (2003). otwiera się w nowej karcie
13. J. Górski, A. Jarzębowicz, J. Miler, M. Witkowicz, J. Czyżnikiewicz, P. Jar, "Supporting Assurance by Evidence-Based Argument Services", Proc. of SAFECOMP 2012, LNCS 7613, pp. 417-426, (2012). otwiera się w nowej karcie
14. J. Górski, A. Jarzębowicz, J. Miler, "Comparative conformance cases for monitoring multiple implementations of critical requirements", Proc. of 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), LNCS Vol. 8153, pp. 8-20, (2013). otwiera się w nowej karcie
15. W. S. Greenwell, J. C. Knight, C. M. Holloway, J. J. Pease, "A taxonomy of fallacies in system safety arguments", Proc. of the 2006 International System Safety Conference, (2006).
16. S. Grigorova, T. Maibaum, "Argument evaluation in the context of assurance case context modeling", Proc. of IEEE Int. Symposium on Software Reliability Engineering Workshops, (2014). otwiera się w nowej karcie
17. GSN Community Standard Working Group, "GSN community standard version 1", (2011). otwiera się w nowej karcie
18. R. Hawkins, T. Kelly, "A structured approach to selecting and justifying software safety evidence", Proc. of 5th IET International System Safety Conference, Manchester, UK, IET, (2010). otwiera się w nowej karcie
19. R. Hawkins, T. Kelly, J. Knight, P. Graydon, "A New Approach to creating Clear Safety Arguments", Proc. of 19th Safety Critical Systems Symposium, (2011). otwiera się w nowej karcie
20. ISO/IEC, "ISO/IEC 15026-2:2011 Systems and software engineering -Systems and software assurance -Part 2: Assurance case", (2011). otwiera się w nowej karcie
21. T. Kelly, "Reviewing Assurance Arguments -A Step- by-Step Approach", Proc. of Workshop on Assurance Cases for Security, Edinburgh, UK, (2007). otwiera się w nowej karcie
22. Z. Langari, T. Maibaum, "Safety cases: a review of challenges", International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), San Francisco, (2013). otwiera się w nowej karcie
23. N. Leveson, "The use of safety cases in certification and regulation", Journal of System Safety, Vol. 47, No. 6, System Safety Society, (2011). otwiera się w nowej karcie
24. Object Management Group, "Structured Assurance Case Metamodel (SACM)," version 1.0, (2013).
25. B. R. Larson, "Open PCA Pump Assurance Case", SAnToS research group, Kansas State University, http://openpcapump.santoslab.org/, (2014).
26. G. Shafer, "Mathematical theory of evidence", Princetown University Press, (1976).
27. S. Toulmin, "The Uses of Argument", Updated Edition, Cambridge University Press, (2003). otwiera się w nowej karcie
28. B. Verheij, "Evaluating arguments based on Toulmin's scheme", Argumentation 19 (3), pp. 347-371, (2005). otwiera się w nowej karcie
29. D. Walton, "Defeasible reasoning and informal fallacies", Synthese Vol. 179, no. 3, pp. 377-407 (2011). otwiera się w nowej karcie
30. R. Weaver, P. Mayo, T. Kelly, "Gaining Confidence in Goal-based Safety Cases", Proc. of 14th Safety Critical Systems Symposium, Springer, (2006). otwiera się w nowej karcie

więcej (30) mniej

Weryfikacja:

Politechnika Gdańska