Abstract
A real-time system is one in which the temporal aspects of its behaviour are part of their specification. The problem with traditional real-time specification is no guarantees on when and how many deadlines may be missed can be given to the tasks because their specification is focused on met all the deadlines and cannot missed it, otherwise the tasks is totally failed. Thus, the weakly hard specification solve this problem with define a gradation on how the deadlines can be missed while still guaranteeing the tasks meets their deadlines. In this paper, a review has been made on the three specifications of real-time systems which is losses or missed of the deadlines can be permitted occasionally. Three criteria used in the evaluation are the process model, temporal specifications and predictability. These three criteria were chosen because the tasks in real-time systems are usually periodic in nature, have timing constraints like deadlines and the behaviour of the systems must be predictable. The three specifications we reviewed in this paper are the skip constraints known as skip factor s, (m,k)-firm deadlines and the weakly hard constraints. The objective of review is to find which specification is better in order to predict the behaviour of a task based on those three criteria. Based on our review, it is concluded that the weakly hard constraints outperforms the two conventional specifications of weakly hard real-time systems using that three criteria based on our evaluation by using a mobile robot case study due to its capability to specify in a clear of the distribution of deadlines met and missed.
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
Shin, K.G., Ramanathan, P.: Real-time computing: A new discipline of computer science and engineering. Proceedings of the IEEEÂ 82(1) (1994)
Bernat, G., Burns, A.: Weakly hard real-time systems. IEEE Transactions on Computers 50(4), 308–321 (2001)
Koren, G., Shasha, D.: Skip-over: algorithms and complexity for overloaded systems that allow skips. In: Proceedings of the 16th IEEE Real-Time Systems Symposium, Pisa, Italy, pp. 110–117 (December 1995)
Hamdaoui, M., Ramanathan, P.: A dynamic priority assignment technique for streams with (m,k)-firm deadlines. IEEE Transactions on Computers 44(12), 1443–1451 (1995)
Bernat, G.: Specification and analysis of weakly hard real-time systems. PhD Thesis, Department de les Ciències Matemà tiques i Informà tica. Universitat de les Illes Balears, Spain (January 1998)
Jawawi, D.N.A., Deris, S., Mamat, R.: Enhancement of PECOS embedded real-time component model for autonomous mobile robot application. In: IEEE International Conference on Computer Systems and Applications, pp. 882–889 (2006)
Li, J., Song, Y.-Q., Francoise, S.-L.: Providing real-time applications with graceful degradation of Qos and fault tolerance according to (m,k)-firm model. IEEE Transactions on Industrial Informatics 2(2), 112–119 (2006)
Bernat, G., Cayssials, R.: Guaranteed on-line weakly hard real-time systems. In: 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, England, pp. 25–35 (December 2001)
Broster, I., Bernat, G., Burns, A.: Weakly hard real-time constraints on controller area network. In: 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), Vienna, Austria, p. 134 (June 2002)
Silly-Chetto, M., Marchand, A.: Dynamic scheduling of skippable periodic tasks: issues and proposals. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based (ECBS 2007), Tucson, Arizona, USA, pp. 171–177 (March 2007)
Wang, Z., Song, Y.-Q., Poggi, E.-M., Sun, Y.: Survey of weakly hard real-time schedule theory and its application. In: Proceedings International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), pp. 429–437 (2002)
Wang, S.-H., Tsai, G.: Specification and timing analysis of real-time systems. Real-Time Systems 28(1), 69–90 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ismail, H., Jawawi, D.N.A. (2011). The Specifications of the Weakly Hard Real-Time Systems: A Review. In: Zain, J.M., Wan Mohd, W.M.b., El-Qawasmeh, E. (eds) Software Engineering and Computer Systems. ICSECS 2011. Communications in Computer and Information Science, vol 180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22191-0_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-22191-0_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22190-3
Online ISBN: 978-3-642-22191-0
eBook Packages: Computer ScienceComputer Science (R0)