Detail výsledku

Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013. p. 413-419. ISBN: 978-1-61804-204-0.
Typ
článek ve sborníku konference
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. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.

Klíčová slova

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

Rok
2013
Strany
413–419
Sborník
Proceedings of the SCSI 2013
Řada
Recent Advances in Electrical Engineering Series, 16
Konference
The 2013 International Conference on Systems, Control, Signal Processing and Informatics
ISBN
978-1-61804-204-0
Vydavatel
European Society for Environmental Research and Sustainable Development
Místo
Rhodes Island
BibTeX 
@inproceedings{BUT103498,
  author="Miroslav {Švéda}",
  title="Time in Cyber-Physical Systems: Specifications, Modeling and Measurements",
  booktitle="Proceedings of the SCSI 2013",
  year="2013",
  series="Recent Advances in Electrical Engineering Series, 16",
  pages="413--419",
  publisher="European Society for Environmental Research and Sustainable Development",
  address="Rhodes Island",
  isbn="978-1-61804-204-0"
}
Projekty
Automatizované zpracování útoků, MPO, TIP, FR-TI1/037, zahájení: 2009-10-01, ukončení: 2013-09-30, ukončen
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ý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