Result Details

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.
Type
journal article
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
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.

Keywords

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

URL
Published
2013
Pages
263–270
Journal
International Journal of Systems Applications, Engineering & Development, vol. 7, no. 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"
}
Projects
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
SCADA system for control and monitoring RT processes, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, start: 2011-01-01, end: 2013-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top