Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106439" target="_blank" >RIV/00216305:26230/13:PU106439 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.naun.org/cms.action?id=6455" target="_blank" >http://www.naun.org/cms.action?id=6455</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design

Popis výsledku v původním jazyce

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. Stemming from a brief state-of-the-art review, it discusses various possibilities how to specify, model and measure miscellaneous features of real time in the domain applications. The manuscript brings a simple, timing-oriented formal semantics of an example specification language and demonstrates the developed approach using case studies. The aim of the article is to select the fitting methods that enable to utilize the related specification and design approach for distributed cyber-physical systems applications.

Název v anglickém jazyce

Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design

Popis výsledku anglicky

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. Stemming from a brief state-of-the-art review, it discusses various possibilities how to specify, model and measure miscellaneous features of real time in the domain applications. The manuscript brings a simple, timing-oriented formal semantics of an example specification language and demonstrates the developed approach using case studies. The aim of the article is to select the fitting methods that enable to utilize the related specification and design approach for distributed cyber-physical systems applications.

Druh

J_ost - Ostatní články v recenzovaných periodicích

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

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 periodika

International Journal of Systems Applications, Engineering & Development

ISSN

2074-1308

e-ISSN

—

Svazek periodika

7

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

8

Strana od-do

263-270

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—