Detail publikace

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

ŠVÉDA, M.

Originální název

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

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

cyber-physical system; time; temporal partial order; operational semantics; measurement

Autoři

ŠVÉDA, M.

Rok RIV

2013

Vydáno

25. 10. 2013

ISSN

2074-1308

Periodikum

International Journal of Systems Applications, Engineering & Development

Ročník

7

Číslo

5

Stát

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

Strany od

263

Strany do

270

Strany počet

8

URL

http://www.naun.org/cms.action?id=6455

BibTex

@article{BUT103579,
  author="Miroslav {Švéda}",
  title="Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design",
  journal="International Journal of Systems Applications, Engineering & Development",
  year="2013",
  volume="7",
  number="5",
  pages="263--270",
  issn="2074-1308",
  url="http://www.naun.org/cms.action?id=6455"
}