Saved in:
| Main Authors: | , |
|---|---|
| Format: | Artículo Open Access |
| Published: |
Wiley
2025
|
| Subjects: | |
| Online Access: | https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.70028 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1867007625555607552 |
|---|---|
| author | Jack Fitzpatrick Hanumanthrao Kannan |
| author_facet | Jack Fitzpatrick Hanumanthrao Kannan Jack Fitzpatrick Hanumanthrao Kannan |
| collection | Wiley Open Access |
| contents | Quantifying the Epistemic Value of Verification: An Information‐Theoretic Approach Jack Fitzpatrick Hanumanthrao Kannan Systems Engineering ABSTRACT System verification is a critical process that ensures components and systems meet their requirements at each integration level. Although verification significantly impacts project costs and schedules, its formal theoretical foundations have received relatively limited research attention compared to other systems engineering processes. Previous researchers have explored various metrics to optimize verification strategies, but these metrics often rely on programmatic factors like cost and utility rather than capturing verification's epistemic value—the fundamental ability to reduce uncertainty about requirement satisfaction. This paper introduces a novel theoretical framework that applies concepts from information theory to quantify the epistemic value of verification activities. By treating verification as an uncertainty reduction process, we leverage information‐theoretic measures such as entropy and information gain to evaluate how effectively different verification strategies illuminate whether requirements are truly satisfied. This framework provides a mathematical foundation for optimizing verification strategies based on their core function of generating knowledge about system performance, independent of external programmatic factors. 10.1002/sys.70028 http://onlinelibrary.wiley.com/termsAndConditions#vor |
| doi_str_mv | 10.1002/sys.70028 |
| format | Artículo Open Access |
| id | wiley_oa_10_1002_sys_70028 |
| institution | Wiley Open Access |
| license_str_mv | http://onlinelibrary.wiley.com/termsAndConditions#vor |
| publishDate | 2025 |
| publisher | Wiley |
| record_format | wiley_oa |
| spellingShingle | Quantifying the Epistemic Value of Verification: An Information‐Theoretic Approach Jack Fitzpatrick Hanumanthrao Kannan Systems Engineering Quantifying the Epistemic Value of Verification: An Information‐Theoretic Approach Jack Fitzpatrick Hanumanthrao Kannan Systems Engineering ABSTRACT System verification is a critical process that ensures components and systems meet their requirements at each integration level. Although verification significantly impacts project costs and schedules, its formal theoretical foundations have received relatively limited research attention compared to other systems engineering processes. Previous researchers have explored various metrics to optimize verification strategies, but these metrics often rely on programmatic factors like cost and utility rather than capturing verification's epistemic value—the fundamental ability to reduce uncertainty about requirement satisfaction. This paper introduces a novel theoretical framework that applies concepts from information theory to quantify the epistemic value of verification activities. By treating verification as an uncertainty reduction process, we leverage information‐theoretic measures such as entropy and information gain to evaluate how effectively different verification strategies illuminate whether requirements are truly satisfied. This framework provides a mathematical foundation for optimizing verification strategies based on their core function of generating knowledge about system performance, independent of external programmatic factors. 10.1002/sys.70028 http://onlinelibrary.wiley.com/termsAndConditions#vor |
| title | Quantifying the Epistemic Value of Verification: An Information‐Theoretic Approach |
| topic | Systems Engineering |
| url | https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.70028 |