Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

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.

Klíčová slova

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

URL
Rok
2013
Strany
263–270
Časopis
International Journal of Systems Applications, Engineering & Development, roč. 7, č. 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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
SCADA systém pro řízení a monitorování procesů v reálném čase, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru