Architecture Adaptation Based on Belief Inaccuracy Estimation
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 it...
Saved in:
Published in | 2014 IEEE/IFIP Conference on Software Architecture pp. 87 - 90 |
---|---|
Main Authors | , , , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.04.2014
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | 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. |
---|---|
AbstractList | 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. |
Author | Keznikl, Jaroslav Al Ali, Rima Gerostathopoulos, Ilias Plasil, Frantisek Bures, Tomas |
Author_xml | – sequence: 1 givenname: Rima surname: Al Ali fullname: Al Ali, Rima email: alali@d3s.mff.cuni.cz organization: Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic – sequence: 2 givenname: Tomas surname: Bures fullname: Bures, Tomas email: bures@d3s.mff.cuni.cz organization: Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic – sequence: 3 givenname: Ilias surname: Gerostathopoulos fullname: Gerostathopoulos, Ilias email: gerostathopoulos@d3s.mff.cuni.cz organization: Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic – sequence: 4 givenname: Jaroslav surname: Keznikl fullname: Keznikl, Jaroslav email: keznikl@d3s.mff.cuni.cz organization: Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic – sequence: 5 givenname: Frantisek surname: Plasil fullname: Plasil, Frantisek email: plasil@d3s.mff.cuni.cz organization: Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic |
BookMark | eNotjT1PwzAURY0EElAyMrHkD7T4-Tmx38AQohYiVWIAxFjZzrOwVNIqcYf-e8rHcu8Zrs69FufDbmAhbkEuACTdf3Tta7NQEvQpzkRBxoI2RKhB1ZeimKbkpapNrWtQV-KhGcNnyhzyYeSy6d0-u5x2Q_noJu7LH-Bt4lh2gwvhMLpwLJdTTl-_qxtxEd124uK_Z-J9tXxrn-frl6eubdbzBArzPEokkhVzAM9QVdbYPgIb1LJ3KD0R9dJFj94bi1Y5T1FWhhCU9xgJZ-Luz5uYebMfT_fjcVNbZUBq_AabD0gz |
CODEN | IEEPAD |
ContentType | Conference Proceeding |
DBID | 6IE 6IL CBEJK RIE RIL |
DOI | 10.1109/WICSA.2014.20 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEL IEEE Proceedings Order Plans (POP All) 1998-Present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEL url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
EISBN | 9781479934126 1479934127 |
EndPage | 90 |
ExternalDocumentID | 6827104 |
Genre | orig-research |
GroupedDBID | 6IE 6IL ALMA_UNASSIGNED_HOLDINGS CBEJK RIB RIC RIE RIL |
ID | FETCH-LOGICAL-i123t-f039905eec1be155878df1e7340da30b999d0afb3bb78382ab9f0579312bb3f93 |
IEDL.DBID | RIE |
IngestDate | Wed Dec 20 05:19:11 EST 2023 |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-i123t-f039905eec1be155878df1e7340da30b999d0afb3bb78382ab9f0579312bb3f93 |
PageCount | 4 |
ParticipantIDs | ieee_primary_6827104 |
PublicationCentury | 2000 |
PublicationDate | 20140401 |
PublicationDateYYYYMMDD | 2014-04-01 |
PublicationDate_xml | – month: 04 year: 2014 text: 20140401 day: 01 |
PublicationDecade | 2010 |
PublicationTitle | 2014 IEEE/IFIP Conference on Software Architecture |
PublicationTitleAbbrev | wicsa |
PublicationYear | 2014 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssib026764612 |
Score | 1.6132636 |
Snippet | Cyber-physical systems (CPS) are systems of cooperating autonomous components which closely interact with and control the physical environment. Being... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 87 |
SubjectTerms | belief component architectures Conferences cyber-physical systems Lead Position measurement Processor scheduling self-adaptivity Software architecture State-space methods state-space models Vehicles |
Title | Architecture Adaptation Based on Belief Inaccuracy Estimation |
URI | https://ieeexplore.ieee.org/document/6827104 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LSwMxGAxtT55UWvFNDh7dNpuk2eyxlpZWUAQt9lby-AIibEvZPdRfb7LpA8WDt5A9bLIPZsg3Mx9Cd86jtgGnEi6FTbjKVBIiUBKX-yucutAQKagtnsVkxh_n_XkD3e-9MABQi8-gG4Z1Ld8uTRWOynpCUg-IvImaktDo1dp9O1Rkgnu0PsRo9t6nw9dBEG-Fo5MfzVNq7Bgfo6fdXaNk5LNblbprvn4FMv53WSeoc3Dp4Zc9_pyiBhRtFKNkt5UBPLBqFWvt-MHDlcVhAJ52OjwtlDHVWpkNHvnfPDoYO2g2Hr0NJ8m2RULy4SGnTBzxBIP0AUyqwVMDmUnrUsgYJ1Yxoj39s0Q5zbTOJJNU6dwF-ylLqdbM5ewMtYplAecIK2G5EgSkBcWdkkpSlwY2lXuYM_30ArXD1hermIKx2O768u_pK3QUnnzUuFyjVrmu4MbDd6lv6_f2DTkkmu0 |
link.rule.ids | 310,311,786,790,795,796,802,27958,55109 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3LTgIxFL1BXOhKDRjfduHSwjzKTGeJBAIKxESI7Egft4khGQiZWejX287wiMaFu6ZdzDSdyTnpPedcgAdjUVuhEZTxSFMmYkFdBAo1iV1hgXENkZzaYhz1p-x51ppV4HHnhUHEQnyGDTcsavl6qXJ3VdaMeGABkR3AocV5LyndWtuvJ4jiiFm83gdpNt8Hnbe2k2-5y5Mf7VMK9OidwGj73FI0smjkmWyor1-RjP99sVOo73165HWHQGdQwbQGZZjspjZA2lqsymo7ebKApYkboCWehgxSoVS-FuqTdO2PXnoY6zDtdSedPt00SaAfFnQyajxLMbwWovIlWnLAY66Nj3HIPC1CT1oCqD1hZChlzEMeCJkYZ0AN_UDK0CThOVTTZYoXQESkmYg85BoFM4ILHhjf8anEAp1q-ZdQc1ufr8ocjPlm11d_T9_DUX8yGs6Hg_HLNRy7UygVLzdQzdY53lowz-RdcYbfmJeeQw |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2014+IEEE%2FIFIP+Conference+on+Software+Architecture&rft.atitle=Architecture+Adaptation+Based+on+Belief+Inaccuracy+Estimation&rft.au=Al+Ali%2C+Rima&rft.au=Bures%2C+Tomas&rft.au=Gerostathopoulos%2C+Ilias&rft.au=Keznikl%2C+Jaroslav&rft.date=2014-04-01&rft.pub=IEEE&rft.spage=87&rft.epage=90&rft_id=info:doi/10.1109%2FWICSA.2014.20&rft.externalDocID=6827104 |