Statistical Approach to Architecture Modes in Smart Cyber Physical Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331985" target="_blank" >RIV/00216208:11320/16:10331985 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/WICSA.2016.33" target="_blank" >http://dx.doi.org/10.1109/WICSA.2016.33</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/WICSA.2016.33" target="_blank" >10.1109/WICSA.2016.33</a>

Result language
angličtina
Original language name
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems
Original language description
Smart Cyber-Physical Systems (sCPS) are complex distributed decentralized systems of cooperating components. They typically operate in uncertain environments and thus require means for managing variability at run-time. Architectural modes have traditionally been a proven means for the runtime variability. They are easy to understand, easy to realize in resource-constrained systems and (contrary to more sophisticated methods of learning) provide an explicit specification that can be inspected and validated at design time. However, in uncertain environments (which is the case of sCPS), they tend to lack expressivity to take into account the level of uncertainty and factor it in the mode-switching logic. In this paper we present a rich language to specify mode-switch guards. The semantics of the language is based on statistical tests, which, as we show, is a convenient way to reason about uncertainty in the state of the environment.
Czech name
—
Czech description
—

Project
<a href="/en/project/LD15051" target="_blank" >LD15051: Smart Cyber-Physical Systems via Ensembles of Autonomous Software Components</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)
ISBN
978-1-5090-2131-4
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
168-177
Publisher name
IEEE
Place of publication
NEW YORK
Event location
Venice, Italy
Event date
Apr 5, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000390838900021

Similar results(10)