Continuous-time models for system design and analysis

R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, Computing and Software Science, Springer Nature, 2019, pp. 452–477.

Download
No fulltext has been uploaded. References only!

Book Chapter | Published | English
Author
; ; ; ;
Department
Series Title
LNCS
Abstract
We illustrate the ingredients of the state-of-the-art of model-based approach for the formal design and verification of cyber-physical systems. To capture the interaction between a discrete controller and its continuously evolving environment, we use the formal models of timed and hybrid automata. We explain the steps of modeling and verification in the tools Uppaal and SpaceEx using a case study based on a dual-chamber implantable pacemaker monitoring a human heart. We show how to design a model as a composition of components, how to construct models at varying levels of detail, how to establish that one model is an abstraction of another, how to specify correctness requirements using temporal logic, and how to verify that a model satisfies a logical requirement.
Publishing Year
Date Published
2019-10-05
Book Title
Computing and Software Science
Volume
10000
Page
452-477
IST-REx-ID

Cite this

Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Computing and Software Science. Vol 10000. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikučionis. “Continuous-Time Models for System Design and Analysis.” In Computing and Software Science, 10000:452–77. Springer Nature, 2019. https://doi.org/10.1007/978-3-319-91908-9_22.
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, Springer Nature, 2019, pp. 452–477.
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019. Continuous-time models for system design and analysis. Computing and Software Science. , LNCS, vol. 10000. 452–477.
Alur, Rajeev, et al. “Continuous-Time Models for System Design and Analysis.” Computing and Software Science, vol. 10000, Springer Nature, 2019, pp. 452–77, doi:10.1007/978-3-319-91908-9_22.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar
ISBN Search