A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
[chapter]
2017
Lecture Notes in Computer Science
With the purpose of delivering more robust systems, this paper revisits the problem of Inverse Uncertainty Quantification that is related to the discrepancy between the measured data at runtime (while the system executes) and the formal specification (i.e., a mathematical model) of the system under consideration, and the value calibration of unknown parameters in the model. We foster an approach to quantify and mitigate system uncertainty during the development cycle by combining Bayesian
doi:10.1007/978-3-319-66197-1_24
fatcat:rqb5pxterbagtlpcgwz6v3mray