Detail publikace

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

ŠVÉDA, M. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, 2013, vol. 7, no. 5, p. 263-270. ISSN: 2074-1308.
Název česky
Specifikace, modelování a měření času při návrhu kyberneticko-fyzikálních systémů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
URL
Klíčová slova

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

Abstrakt

Časopisecký článek je věnován roli, interpretaci a využití pojmu "čas" v distribuovaných kyberneticko-fyzikálních systémech. Vychází ze stručného přehledu stavu oboru a diskutuje různé možnosti jak specifikovat, modelovat a měřit různé rysy reálného času v této doméně aplikací. Prezentuje jednoduchou časově-orientovanou formální sémantiku jednoho příkladu specifikačního jazyka a demonstruje vyvinutý přístup užitím případových studií. Cílem publikace je vybrat vhodné metody, které umožní využít příslušný specifikační a návrhový přístup pro distribuované aplikace kyberneticko-fyzikálních systémů.

Rok
2013
Strany
263–270
Časopis
International Journal of Systems Applications, Engineering & Development, roč. 7, č. 5, ISSN 2074-1308
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"
}
Nahoru