@inproceedings{52177c98533e4709bdcc3dcf3d6b416e,
title = "Modeling timing behavior for cyber-physical systems",
abstract = "In this paper temporal semantics based on the Duration Calculus are put into the Architecture Analysis and Design Language, furthermore the timing component is proposed to model the timing behavior of systems including software and hardware separately. Some important time-dependent properties of performance-critical systems are classified and the system specification in the modeling language into which is put temporal semantics can be specified with the Duration Calculus.",
keywords = "Mode, Mode trasition, Temporal semantics, Timing behavior",
author = "Hanbo Wang and Xingshe Zhou and Yunwei Dong and Lei Tang",
year = "2009",
doi = "10.1109/CISE.2009.5364357",
language = "英语",
isbn = "9781424445073",
series = "Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009",
booktitle = "Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009",
note = "2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009 ; Conference date: 11-12-2009 Through 13-12-2009",
}