Result Details
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.
Type
conference paper
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. 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.
Keywords
cyber-physical system; time; temporal partial order; operational semantics; measurement
Published
2013
Pages
413–419
Proceedings
Proceedings of the SCSI 2013
Series
Recent Advances in Electrical Engineering Series, 16
Conference
The 2013 International Conference on Systems, Control, Signal Processing and Informatics
ISBN
978-1-61804-204-0
Publisher
European Society for Environmental Research and Sustainable Development
Place
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"
}
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
Automated attack processing, MPO, TIP, FR-TI1/037, start: 2009-10-01, end: 2013-09-30, 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
Automated attack processing, MPO, TIP, FR-TI1/037, start: 2009-10-01, end: 2013-09-30, 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
Research groups
Departments