Faculty of Information Technology, BUT

Publication Details

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, vol. 7, no. 5, pp. 263-270. ISSN 2074-1308. Available from: http://www.naun.org/cms.action?id=6455
Czech title
Specifikace, modelování a měření času při návrhu kyberneticko-fyzikálních systémů
Type
journal article
Language
english
Authors
URL
Keywords
cyber-physical system; time; temporal partial order; operational semantics; measurement
Abstract
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.
Published
2013
Pages
263-270
Journal
International Journal of Systems Applications, Engineering & Development, vol. 7, no. 5, ISSN 2074-1308
Publisher
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"
}
Back to top