Detail publikace

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

ŠVÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, roč. 7, č. 5, 2013, s. 263-270. ISSN 2074-1308. Dostupné z: http://www.naun.org/cms.action?id=6455
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
angličtina
Autoři
URL
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
Vydavatel
North Atlantic University Union
BibTeX
@ARTICLE{FITPUB10474,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design",
   pages = "263--270",
   journal = "International Journal of Systems Applications, Engineering \& Development",
   volume = 7,
   number = 5,
   year = 2013,
   ISSN = "2074-1308",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10474"
}
Nahoru