Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/14760
Title: Validating functional system requirements with scenarios
Authors: Sutcliffe, Alistair G. 
Gregoriades, Andreas 
metadata.dc.contributor.other: Γρηγοριάδης, Αντρέας
Major Field of Science: Social Sciences
Field Category: Economics and Business
Keywords: Bayesian methods;Command and control systems;Humans;Input variables;Predictive models;Reliability engineering;Sociotechnical systems;Software tools;Testing;Weather forecasting
Issue Date: 2002
Source: Proceedings of the IEEE International Conference on Requirements Engineering Volume 2002-January, 2002, Article number 1048521, Pages 181-188 IEEE Joint International Conference on Requirements Engineering, RE 2002; Essen; Germany; 9 September 2002 through 13 September 2002; Category numberPR01465; Code 116106
Conference: IEEE Joint International Conference on Requirements Engineering 
Abstract: This paper addresses the problem of requirements engineering for complex socio-technical systems where an optimal set of technology components and human operators have to be selected to achieve system goals. Goals are achieved by tasks that are expressed as operational scenarios with variations in environmental conditions. The approach taken is to develop a probabilistic model of system reliability as a Bayesian Belief Network (BBN). The BBN model predicts human and machine reliabilities, given input variables representing the scenario and ranges of environmental conditions (i.e. weather, climate, etc.). A software tool, the System Reliability Analyser (SRA) is described that runs a set of scenarios against the BBN models while systematically varying the ranges of 12 input variables specifying properties of human operators such as training, technical equipment specification and environmental conditions. The tool reports human and technical equipment specifications that "survive" the scenario testing at a reliability level higher than a userdefined level (e.g. failure probability p< 0.05 for all steps within the range of test scenarios). A case study evaluation of the tool is reported using a naval command and control domain, in which different combinations of human roles and equipment requirements specifications are automatically validated against a set of scenarios describing missile attacks on a navy frigate. The implication of using BBN technology and the SRA tool for automating socio-technical system requirements validation and optimising requirements selection in component-based systems is discussed.
URI: https://hdl.handle.net/20.500.14279/14760
ISBN: 0769514650
ISSN: 1090705X
DOI: 10.1109/ICRE.2002.1048521
Rights: © 2002 IEEE Computer Society
Type: Conference Papers
Affiliation : University of Manchester Institute of Science and Technology 
Appears in Collections:Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation

CORE Recommender
Show full item record

SCOPUSTM   
Citations 50

18
checked on Nov 6, 2023

Page view(s) 50

260
Last Week
1
Last month
9
checked on Jun 22, 2024

Google ScholarTM

Check

Altmetric


Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.