Statistical Approach to Architecture Modes in Smart Cyber Physical Systems

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

Statistical Approach to Architecture Modes in Smart Cyber Physical Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Statistical Approach to Architecture Modes in Smart Cyber Physical Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/LD15051" target="_blank" >LD15051: Chytré kyber-fyzikální systémy realizované pomocí ansámblů autonomních softwarových komponent</a><br>

Návaznosti

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

Rok uplatnění

2016

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)

ISBN

978-1-5090-2131-4

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

168-177

Název nakladatele

IEEE

Místo vydání

NEW YORK

Místo konání akce

Venice, Italy

Datum konání akce

5. 4. 2016

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000390838900021