Prof. Ing. Miroslav ©véda, CSc.
| ©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}
} |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)