Methodology for determining the acceptability of system designs in uncertain environments