Journal article

ŠVÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development. Athens: North Atlantic University Union, 2013, vol. 7, no. 5, pp. 263-270. ISSN 2074-1308. Available from: http://www.naun.org/cms.action?id=6455
Publication language:english
Original title:Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design
Title (cs):Specifikace, modelování a měření času při návrhu kyberneticko-fyzikálních systémů
Pages:263-270
Place:GR
Year:2013
URL:http://www.naun.org/cms.action?id=6455
Journal:International Journal of Systems Applications, Engineering & Development, Vol. 7, No. 5, Athens, GR
ISSN:2074-1308
Keywords
cyber-physical system; time; temporal partial order; operational semantics; measurement
Annotation
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.
BibTeX:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=10474}
}

Your IPv4 address: 54.224.99.49
Switch to IPv6 connection

DNSSEC [dnssec]