Abstract
When designing safety critical hard real-time systems, there is an urgent need for powerful and practically usable methods to assure the correctness and to support the evaluation and validation of the temporal behavior of real-time systems already on the level of the software design. To provide help for both aspects, we propose a formal method based on constraint propagation. The underlying idea is to derive all temporal relationships inside the software design from the environmentally motivated temporal constraints and the user-defined temporal system requirements.
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bareiβ, R. (1994). Propagating Quantitative Temporal Constraints into the Software Design: A Formal Approach for Practitioners. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_97
Download citation
DOI: https://doi.org/10.1007/978-3-642-88049-0_97
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88051-3
Online ISBN: 978-3-642-88049-0
eBook Packages: Springer Book Archive