Skip to main content
Log in

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication delays with four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Audsley, N. C., Burns, A., Davis, R. I., Tindell, K., and Wellings, A. J. 1995. Fixed priority preemptive scheduling: An historical perspective. Real-Time Systems 8(2/3): 173-198.

    Google Scholar 

  • Balarin, F., Lavagno, L., Murthy, P., and Sangiovanni-Vincentelli, A. 1998. Scheduling for embedded real-time systems. IEEE Design and Test of Computers January-March: 71-82.

  • Chou, P., and Borriello, G. 1995. Interval scheduling: Fine-grained code scheduling for embedded systems. In Proceedings ACM/IEEE DAC, pp. 462-467.

  • Dave, B. P., and Jha, N. K. 1998. COHRA: Hardware-software cosynthesis of hierarchical heterogeneous distributed systems. IEEE Transactions on CAD 17(10): 900-919.

    Google Scholar 

  • Dave, B. P., Lakshminarayana, G., and Jha, N. J. 1999. COSYN: Hardware-software co-synthesis of heterogeneous distributed embedded systems. IEEE Transactions on VLSI Systems 7(1): 92-104.

    Google Scholar 

  • Daveau, J. M., Ben Ismail, T., and Jerraya, A. A. 1995. Synthesis of system-level communication by an allocation-based approach. In Proceedings of the International Symposium on System Synthesis, pp. 150-155.

  • Eles, P., Doboli, A., Pop, P., and Peng, Z. 2000. Scheduling with bus access optimization for distributed embedded systems. IEEE Transactions on VLSI Systems 8(5): 472-491.

    Google Scholar 

  • Ermedahl, H., Hansson, H., and Sjödin, M. 1997. Response-time guarantees in ATM networks. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pp. 274-284.

  • Gutiérrez García, J. J., and González Harbour, M. 1995. Optimized priority assignment for tasks and messages in distributed hard real-time systems. In Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems, pp. 124-132.

  • Hoyme, K., and Driscoll, K. 1992. SAFEbus. IEEE Aerospace and Electronic Systems Magazine 8(3): 34-39.

    Google Scholar 

  • Knudsen, P. V., and Madsen, J. 1999. Integrating communication protocol selection with hardware/software codesign. IEEE Transactions on CAD 18(8): 1077-1095.

    Google Scholar 

  • Kopetz, H. 1997. Real-Time Systems-Design Principles for Distributed Embedded Applications. Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  • Kopetz, H., and Grünsteidl, G. 1994. TTP-A protocol for fault-tolerant real-time systems. IEEE Computer 27(1): 14-23.

    Google Scholar 

  • Lee, C., Potkonjak, M., and Wolf, W. 1999. Synthesis of hard real-time application specific systems. Design Automation for Embedded Systems 4(4): 215-241.

    Google Scholar 

  • Lehoczky, J. P. 1990. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings of 11th IEEE Real-Time Symposium, pp. 201-209.

  • Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1): 46-61.

    Google Scholar 

  • Lonn, H., and Axelsson, J. 1999. A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. In Proceedings of the 11th Euromicro Conference on Real-Time Systems, pp. 142-149.

  • Narayan, S., and Gajski, D. D. 1994. Synthesis of system-level bus interfaces. In Proceedings of the European Design and Test Conference, pp. 395-399.

  • Ortega, R. B., and Borriello, G. 1998. Communication synthesis for distributed embedded systems. In Proceedings of the International Conference on CAD, pp. 437-444.

  • Palencia, J. C., Gutiérrez García, J. J., and González Harbour, M. 1997. On the schedulability analysis for distributed hard real-time systems. In Proceedings of the Euromicro Conference on Real Time Systems, pp. 136-143.

  • Palencia, J. C., and González Harbour, M. 1998. Schedulability analysis for tasks with static and dynamic offsets. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 26-37.

  • Palencia, J. C., and González Harbour, M. 1999. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In Proceedings of the 20th IEEE Real-Time Systems Symposium, pp. 328-339.

  • Pop, P., Eles, P., and Peng, Z. 1999. Scheduling with optimized communication for time-triggered embedded systems. In Proceedings of the International Workshop on Hardware-Software Co-Design, 78-82.

  • Pop, P., Eles, P., and Peng, Z. 2000. Schedulability analysis for systems with data and control dependencies. In Proceedings of the Euromicro Conference on real Time Systems, 201-208.

  • Reevs, C. R. 1993. Modern Heuristic Techniques for Combinatorial Problems. Oxford: Blackwell Scientific Publications.

    Google Scholar 

  • Rushby, J. 2001. Bus Architectures for Safety-Critical Embedded Systems, Lecture Notes in Computer Science, Vol. 2211. Berlin: Springer Verlag, pp. 306-323.

    Google Scholar 

  • Stankovic, J. A., and Ramamritham, K. 1993. Advances in Real-Time Systems. Los Alamitos, CA: IEEE Computer Society Press.

    Google Scholar 

  • Sha, L., Rajkumar, R., and Lehoczky, J. 1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers 39(9): 1175-1185.

    Google Scholar 

  • Tindell, K. 1994. Adding time-offsets to schedulability analysis. Department of Computer Science, University of York, Report Number YCS-94-221.

  • Tindell, K., Burns, A., and Wellings, A. J. 1992. Allocating real-time tasks (an NP-hard problem made easy). Real-Time Systems 4(2): 145-165.

    Google Scholar 

  • Tindell, K., Burns, A., and Wellings, A. J. 1995. Calculating controller area network (CAN) message response times. Control Eng. Practice 3(8): 1163-1169.

    Google Scholar 

  • Tindell, K., and Clark, J. 1994. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40: 117-134.

    Google Scholar 

  • X-by-Wire Consortium. 1998. X-By-Wire: Safety related fault tolerant systems in vehicles. URL: http://www.vmars.tuwien.ac.at/projects/xbywire/

  • Yen, T., and Wolf, W. 1998. Performance estimation for real-time distributed embedded systems. IEEE Transactions on Parallel and Distributed Systems 9(11): 1125-1136.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pop, P., Eles, P. & Peng, Z. Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. Real-Time Systems 26, 297–325 (2004). https://doi.org/10.1023/B:TIME.0000018246.09796.a3

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:TIME.0000018246.09796.a3

Navigation