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...

Full description

Saved in:
Bibliographic Details
Published in2014 IEEE/IFIP Conference on Software Architecture pp. 87 - 90
Main Authors Al Ali, Rima, Bures, Tomas, Gerostathopoulos, Ilias, Keznikl, Jaroslav, Plasil, Frantisek
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2014
Subjects
Online AccessGet 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