Combining goal models, expert elicitation, and probabilistic simulation for qualification of new technology

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2011, Pages 63-72

  Sabetzadeh, Mehrdad ^a   Falessi, Davide ^a,b   Briand, Lionel ^a   Di Alesio, Stefano ^a   McGeorge, Dag ^c   Åhjem, Vidar ^c   Borg, Jonas ^c  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

^c DNV GL   (Norway)

Author keywords

Assurance cases; Expert elicitation; Goal modeling; Monte Carlo simulation; Technology Qualification

Indexed keywords

ASSURANCE CASE; ENERGY SECTOR; EXPERT ELICITATION; EXPERT OPINION; GOAL MODELING; GOAL MODELS; MAIN COMPONENT; MONTE CARLO SIMULATION; OFFSHORE TECHNOLOGY; PILOT STUDIES; PROBABILISTIC SIMULATION; QUANTITATIVE ASSESSMENTS; SOFTWARE TOOL; SYSTEMATIC PROCESS;

COMPUTER SIMULATION; MODELS; MONTE CARLO METHODS; SAFETY ENGINEERING; STANDARDS; SYSTEMS ENGINEERING; TECHNOLOGY;

INNOVATION;

EID: 84856520230     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2011.22     Document Type: Conference Paper

References (24)

1. A. O'Hagan et al. Uncertain Judgements: Eliciting Experts' Probabilities. Wiley, 2006.
2. S. Butler. Security attribute evaluation method: a cost-benefit approach. In ICSE'02, pages 232-240, 2002. (Pubitemid 35009113)
3. L. Cyra and J. Górski. Expert assessment of arguments: A method and its experimental evaluation. In SAFECOMP'08, pages 291-304, 2008.
4. J. Devore and N. Farnum. Applied Statistics for Engineers and Scientists. Duxbury, 2nd edition, 2004.
5. C. Ericson II. Hazard Analysis Techniques for System Safety. Wiley, 2005.
6. P. Garvey, editor. Probability Methods for Cost Uncertainty Analysis. Marcel Dekker, 2000.
7. P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani. Formal reasoning techniques for goal models. J. Data Semantics, 1:1-20, 2003.
8. W. Heaven and E. Letier. Simulating and optimising design decisions in quantitative goal models. In RE'11, 2011. To appear.
9. IEC 61508: Functional safety of electrical/ electronic/programmable electronic safety-related systems, 2005. Intl. Electrotechnical Commission.
10. T. Kelly and R. Weaver. The goal structuring notation - a safety argument notation. In Dependable Systems and Networks 2004 Workshop on Assurance Cases, 2004.
11. B. Littlewood and D. Wright. The use of multilegged arguments to increase confidence in safety claims for software-based systems. IEEE TSE, 33(5):347-365, 2007.
12. M. Sabetzadeh et al. MODUS: A goal-based approach for quantitative assessment of technical systems. Technical report, Simula-DNV, 2010. http://modelme.simula.no/assets/modus.pdf.
13. M. Meyer and J. Booker. Eliciting and analyzing expert judgment: a practical guide. SIAM, 2001.
14. M. Morgan and M. Henrion, editors. Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis. Cambridge Press, 1992.
15. A. Mosleh. Interaction between model and data in common cause failure analysis. Technical Report B9-13, U. Maryland, 1989.
16. Position mooring. DNV-OS-E301, DNV, 2010.
17. Qualification procedures for new technology. DNV-RP-A203, DNV, 2001.
18. C. Robert and G. Casella. Monte Carlo Statistical Methods. Springer, 2005.
19. SAE AADL Annex Volume 1: Annex E: Error Model Annex, 2006.
20. G. Shafer. A Mathematical Theory of Evidence. Princeton Press, 1976.
21. Technology qualification management. DNV-OSS-401, DNV, 2010.
22. A. van Lamsweerde. Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, 2009.
23. R. P. Walawege, M. Sabetzadeh, L. Briand, and T. Coq. Characterizing the chain of evidence for software safety cases: A conceptual model based on the iec 61508 standard. In ICST'10, pages 335-344, 2010.
24. E. Yu. Towards modeling and reasoning support for early-phase requirements engineering. In RE'97, pages 226-235, 1997.