Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

Javier Camara; Radu Calinescu; Betty Cheng; David Garlan; Bradley Schmerl; Javier Troya; Antonio Vallecillo

doi:10.1145/3550355.3552438

Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

Javier Camara, Radu Calinescu, Betty Cheng, David Garlan, Bradley Schmerl, Javier Troya, Antonio Vallecillo

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly started to capture different types of uncertainty, so that they can be explicitly considered when systems are developed and deployed. While these modeling paradigms consider different sources of uncertainty individually, these sources are rarely independent, and their interactions affect the achievement of system goals in subtle and often unpredictable ways. This vision paper describes the problem of uncertainty interaction in software-intensive systems, illustrating it on examples from relevant application domains.We then identify key open challenges and define desiderata that future modeling notations and model-driven engineering research should consider to address these challenges.

Original language	English
Title of host publication	25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Publisher	ACM
DOIs	https://doi.org/10.1145/3550355.3552438
Publication status	Accepted/In press - 2022

Access to Document

10.1145/3550355.3552438

UIP-MODELS22-CRCAccepted author manuscript, 744 KBLicence: CC BY

UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R. (Principal investigator), Arvind, T. (Co-investigator), Cavalcanti, A. L. C. (Co-investigator), Habli, I. (Co-investigator), Thomas, A. P. (Co-investigator) & Wilson, J. C. (Co-investigator)
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research

Cite this

@inproceedings{dbfbd5bf1dd845f191a54b00f65cce88,

title = "Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata",

abstract = "Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly started to capture different types of uncertainty, so that they can be explicitly considered when systems are developed and deployed. While these modeling paradigms consider different sources of uncertainty individually, these sources are rarely independent, and their interactions affect the achievement of system goals in subtle and often unpredictable ways. This vision paper describes the problem of uncertainty interaction in software-intensive systems, illustrating it on examples from relevant application domains.We then identify key open challenges and define desiderata that future modeling notations and model-driven engineering research should consider to address these challenges.",

author = "Javier Camara and Radu Calinescu and Betty Cheng and David Garlan and Bradley Schmerl and Javier Troya and Antonio Vallecillo",

year = "2022",

doi = "10.1145/3550355.3552438",

language = "English",

booktitle = "25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

AU - Camara, Javier

AU - Calinescu, Radu

AU - Cheng, Betty

AU - Garlan, David

AU - Schmerl, Bradley

AU - Troya, Javier

AU - Vallecillo, Antonio

PY - 2022

Y1 - 2022

N2 - Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly started to capture different types of uncertainty, so that they can be explicitly considered when systems are developed and deployed. While these modeling paradigms consider different sources of uncertainty individually, these sources are rarely independent, and their interactions affect the achievement of system goals in subtle and often unpredictable ways. This vision paper describes the problem of uncertainty interaction in software-intensive systems, illustrating it on examples from relevant application domains.We then identify key open challenges and define desiderata that future modeling notations and model-driven engineering research should consider to address these challenges.

AB - Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly started to capture different types of uncertainty, so that they can be explicitly considered when systems are developed and deployed. While these modeling paradigms consider different sources of uncertainty individually, these sources are rarely independent, and their interactions affect the achievement of system goals in subtle and often unpredictable ways. This vision paper describes the problem of uncertainty interaction in software-intensive systems, illustrating it on examples from relevant application domains.We then identify key open challenges and define desiderata that future modeling notations and model-driven engineering research should consider to address these challenges.

U2 - 10.1145/3550355.3552438

DO - 10.1145/3550355.3552438

M3 - Conference contribution

BT - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

PB - ACM

ER -

Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

Abstract

Access to Document

Projects

UKRI Trustworthy Autonomous Systems Node in Resilience

Cite this