Abstract
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. Hence, the most widely spread component technologies are not used for resource constrained safety critical real-time systems. They are simply to resource demanding, to complex and to unpredictable. In this paper we show how to use component based software engineering for low footprint systems with very high demands on safe and reliable behaviour. The key concept is to provide expressive design time models and yet resource effective run-time models by statically resolve resource usage and timing by powerful compile time techniques. This results in a component technology for resource effective and temporally verified mapping of a component model to a commercial real-time operating system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bate, A., Burns, I.: An approach to task attribute assignment for uniprocessor systems. In: Proceedings of the 26th Annual International Computer Software and Applications Conference, IEEE, Los Alamitos (2002)
Mok, K., Tsou, D., Rooij, R.C.M.D.: The msp.rtl real-time scheduler synthesis tool. In: Proc. 17th IEEE Real-Time Systems Symposium, pp. 118–128. IEEE, Los Alamitos (1996)
Sandström, K., Norström, C.: Managing complex temporal requirements in realtime control systems. In: 9th IEEE Conference on Engineering of Computer- Based Systems Sweden, IEEE, Los Alamitos (2002)
Würtz, J., Schild, K.: Scheduling of time-triggered real-time systems. In: Constraints, pp. 335–357. Kluwer Academic Publishers, Dordrecht (2000)
Norström, C., Gustafsson, M., Sandström, K., Mäki-Turja, J., Bånkestad, N.: Experiences from introducing state-of-the-art real-time techniques in the automotive industry. In: Eigth IEEE International Conference and Workshop on the Engineering of Compute-Based Systems Washington, US, IEEE, Los Alamitos (2001)
Arcticus: Arcticus homepage, http://www.arcticus.se
van Ommering, R., van der Linden, F., Kramer, J.: The koala component model for con-sumer electronics software. IEEE Computer, IEEE, 78–85 (2000)
Nierstrasz, G., Arevalo, S., Ducasse, R., Wuyts, A., Black, P., Müller, C., Zeidler, T., Genssler, R., van den Born, A.: Component model for field devices. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol. 2370, Springer, Heidelberg (2002)
Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering, IEEE, 759–776 (1997)
Schmidt, W.H., Reussner, R.H.: Parameterised contracts and adaptor synthesis. In: Proc. 5th International Workshop of Component-Based Software Engineering, CBSE5 (2002)
Hissam, S.A., Moreno, G.A., Stafford, J., Wallnau, K.C.: Packaging predictable assem-bly with prediction-enabled component technology. Technical report (2001)
Hammer, D.K., Chaudron, M.R.V.: Component-based software engineering for re-source-constraint systems: What are the needs? In: 6th Workshop on Object- Oriented Real-Time Dependable Systems, Rome, Italy (2001)
IEC: International standard IEC 1131: Programmable controllers (1992)
Mathworks: Mathworks homepage, http://www.mathworks.com
Yerraballi, R.: Scalability in Real-Time Systems. PhD thesis, Computer Science Department, old Dominion University (1996)
Cheng, S.T., K., A.A.: Allocation and scheduling of real-time periodic tasks with relative timing constraints. In: Second InternationalWorkshop on Real-Time Computing Systems and Applications (RTCSA), IEEE, Los Alamitos (1995)
Dobrin, R., Fohler, G., Puschner, P.: Translating off-line schedules into task attributes for fixed priority scheduling. In: Real-Time Systems Symposium London, UK (December 2001)
Palencia, J.C., Gonzalez Harbour, M.: Schedulability analysis for tasks with static and dynamic offsets. In: Proc. of the 19th Real-Time Systems Symposium (1998)
Palencia, J.C., Gonzalez Harbour, M.: Exploiting precedence relations in the schedulabil-ity analysis of distributed real-time systems. In: Proc. of the 20th Real-Time Systems Symposium (1999)
Redell, O., Törngren, M.: Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter. In: Proc. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE, Los Alamitos (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sandström, K., Fredriksson, J., Åkerholm, M. (2004). Introducing a Component Technology for Safety Critical Embedded Real-Time Systems. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2004. Lecture Notes in Computer Science, vol 3054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24774-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-24774-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21998-9
Online ISBN: 978-3-540-24774-6
eBook Packages: Springer Book Archive