Abstract
Many embedded systems must satisfy timing requirements, which describe how these systems should behave with respect to timing. Such requirements must be dealt with throughout the system development process: from their initial specification, expressed at an abstract level, through the increasingly concrete layers, to the final implementation level. There is a growing awareness that this process needs support from languages, tools, and methodologies.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Birken, K.: Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 173–186. Springer, Heidelberg (2012)
Ge, N., Pantel, M., Crégut, X.: Formal Specification and Verification of Task Time Constraints for Real-Time Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 143–157. Springer, Heidelberg (2012)
Johansson, R., Frey, P., Jonsson, J., Nordlander, J., Pathan, R.M., Feiertag, N., Schlager, M., Espinoza, H., Richter, K., Kuntz, S., Lönn, H., Kolagari, R.T., Blom, H.: TADL: Timing augmented description language, version 2. Technical report (October 2009)
Kirner, R.: The WCET Analysis Tool CalcWcet167. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 158–172. Springer, Heidelberg (2012)
Lisper, B., Nordlander, J.: A Simple and Flexible Timing Constraint Logic. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 80–95. Springer, Heidelberg (2012)
Ouranos, I., Ogata, K., Stefaneas, P.: Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 126–142. Springer, Heidelberg (2012)
Peraldi-Frati, M.-A., Goknil, A., Adedjouma, M., Gueguen, P.-Y.: Modeling a BSG-E Automotive System with the Timing Augmented Description Language. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 111–125. Springer, Heidelberg (2012)
Quinton, S., Ernst, R.: Generalized Weakly-Hard Constraints. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 96–100. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lisper, B., Nordlander, J., Quinton, S. (2012). Timing Constraints: Theory Meets Practice. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)
