TY - GEN
T1 - Architecture adaptation based on belief inaccuracy estimation
AU - Ali, Rima Al
AU - Bures, Tomas
AU - Gerostathopoulos, Ilias
AU - Keznikl, Jaroslav
AU - Plasil, Frantisek
PY - 2014/1/1
Y1 - 2014/1/1
N2 - Cyber-physical systems (CPS) are systems of cooperating autonomous components which closely interact with and control the physical environment. Being distributed and typically based on periodic activities, CPS have to cope with the problem that data capturing a distributed state of the system and its environment are inherently inaccurate (they represent belief on the state). In particular, this poses a problem when dependability is being pursued. In this paper we address this issue by modeling belief at the architecture level. In particular, we enhance the architecture by models describing belief inaccuracy over time. We exploit these models to quantify at runtime the impact of belief staleness on its inaccuracy. We then use this quantification to drive architectural adaptation with the aim to increase dependability of the running CPS system.
AB - Cyber-physical systems (CPS) are systems of cooperating autonomous components which closely interact with and control the physical environment. Being distributed and typically based on periodic activities, CPS have to cope with the problem that data capturing a distributed state of the system and its environment are inherently inaccurate (they represent belief on the state). In particular, this poses a problem when dependability is being pursued. In this paper we address this issue by modeling belief at the architecture level. In particular, we enhance the architecture by models describing belief inaccuracy over time. We exploit these models to quantify at runtime the impact of belief staleness on its inaccuracy. We then use this quantification to drive architectural adaptation with the aim to increase dependability of the running CPS system.
KW - belief
KW - component architectures
KW - cyber-physical systems
KW - self-adaptivity
KW - state-space models
UR - http://www.scopus.com/inward/record.url?scp=84903735279&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84903735279&partnerID=8YFLogxK
U2 - 10.1109/WICSA.2014.20
DO - 10.1109/WICSA.2014.20
M3 - Conference contribution
AN - SCOPUS:84903735279
SN - 9781479934126
T3 - Proceedings - Working IEEE/IFIP Conference on Software Architecture 2014, WICSA 2014
SP - 87
EP - 90
BT - Proceedings - Working IEEE/IFIP Conference on Software Architecture 2014, WICSA 2014
PB - IEEE Computer Society
T2 - 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014
Y2 - 7 April 2014 through 11 April 2014
ER -