Abstract
One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interacting with a physical context.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
[Chen et al. 2013] X. Chen; E. Ábrahám; S. Sankaranarayanan: Flow*: An Analyzer for Non-Linear Hybrid Systems. In: N. Sharygina, H. Veith: Proceedings of the 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, pp. 258-263.
[Donzé 2010] A. Donzé: Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In: T. Touili, B. Cook, P. Jackson: Proceedings of the 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, pp. 167-170.
[Eggers et al. 2012] A. Eggers; N. Ramdani; N. Nedialkov; M. Fränzle: Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. In: Software & Systems Modeling, Vol. 14, No.1, 2012, pp. 121-148.
[Frehse et al. 2011] G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, O. Maler: SpaceEx: Scalable Verification of Hybrid Systems. In: G. Gopalakrishnan, S. Qadeer: Proceedings of the 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, pp. 379-395.
[Frehse et al. 2014] G. Frehse, A. Hamann, S. Quinton, M. Woehrle: Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. Real-Time Systems Symposium (RTSS), 2014 IEEE, 2014, pp. 53-62.
[Henzinger 1996] T. A. Henzinger: The Theory of Hybrid Automata. Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS), 1996.
[Nghiem et al. 2010] T. Nghiem, S. Sankaranarayanan, C. Fainekos, F. Ivancić, A. Gupta, G. J. Pappas: Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '10), ACM. New York, 2010, pp. 211-220.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Oehlerking, J., Strathmann, T. (2016). Verification of Systems in Physical Contexts. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds) Advanced Model-Based Engineering of Embedded Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-48003-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-48003-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48002-2
Online ISBN: 978-3-319-48003-9
eBook Packages: Computer ScienceComputer Science (R0)