Abstract
The complexity and physical distribution of modern active safety, chassis, and powertrain automotive applications requires the use of distributed architectures. Complex functions designed as networks of function blocks exchanging signal information are deployed onto the physical HW and implemented in a SW architecture consisting of a set of tasks and messages. The typical configuration features priority-based scheduling of tasks and messages and imposes end-to-end deadlines. In this work, we present and compare formulations and procedures for the optimization of the task allocation, the signal to message mapping, and the assignment of priorities to tasks and messages in order to meet end-to-end deadline constraints and minimize latencies. Our formulations leverage worst-case response time analysis within a mixed integer linear optimization framework and are compared for performance against a simulated annealing implementation. The methods are applied for evaluation to an automotive case study of complexity comparable to industrial design problems.
- Aström, K. J. and Wittenmark, B. 1990. Computer-Controlled Systems: Theory and Design 2nd ed. Prentice-Hall, Inc., Upper Saddle River, NJ. Google Scholar
Digital Library
- AUTOSAR. 2010a. Autosar release 4.0 os specifications. http://www.autosar.org/download/R4.0/5AUTOSAR_SWS_OS.pdf.Google Scholar
- AUTOSAR. 2010b. Autosar release 4.0 specifications. http://www.autosar.org/.Google Scholar
- Bate, I. and Emberson, P. 2006. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In Proceedings of the 12th IEEE RTAS Conference. 221--230. Google Scholar
Digital Library
- Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Guernic, P. L., and de Simone, R. 2003. The synchronous languages 12 years later. Proc. IEEE 91. Google Scholar
Digital Library
- Bini, E. and Buttazzo, G. C. 2002. The space of rate monotonic schedulability. In Proceedings of the 23rd IEEE Real-Time Systems Symposium. 169--178. Google Scholar
Digital Library
- Bini, E., Huyen Châu Nguyen, T., Richard, P., and Baruah, S. K. 2009. A response-time bound in fixed-priority scheduling with arbitrary deadlines. IEEE Trans. Comput. 58, 2, 279--286. Google Scholar
Digital Library
- Bini, E., Natale, M. D., and Buttazzo, G. 2006. Sensitivity analysis for fixed-priority real-time systems. In Proceedings of the Euromicro Conference on Real-Time Systems. Google Scholar
Digital Library
- Bosch, R. 1991. Can specification, version 2.0.Google Scholar
- Boyd, S., Kim, S., Vandenberghe, L., and Hassibi, A. 2006. A tutorial on geometric programming. Optimiz. Engin. To appear.Google Scholar
- Brook, D. 2000. Embedded real time operating systems and the osek standard. In Proceedings of the SAE World Congress.Google Scholar
Cross Ref
- Casparsson, L., Rajnak, A., Tindell, K., and Malmberg, P. 1999. Volcano, a revolution in on-board communications. Tech. rep. Volvo Technology.Google Scholar
- Davis, R. I. and Burns, A. 2009. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In Proceedings of the 30th IEEE Real-Time Systems Symposium. 398--409. Google Scholar
Digital Library
- Davis, R. I., Burns, A., Bril, R. J., and Lukkien, J. J. 2007. Controller area network (can) schedulability analysis: Refuted, revisited and revised. Real-Time Syst. 35, 3, 239--272. Google Scholar
Digital Library
- Flexray. 2006. Protocol specification v2.1 rev. a. http://www.flexray.com.Google Scholar
- Gerber, R., Hong, S., and Saksena, M. 1995. Guaranteeing real-time requirements with resource-based calibration of periodic processes. IEEE Trans. Soft. Engin. 21, 7, 579--592. Google Scholar
Digital Library
- Gutiérrez, J. P., García, J. J. G., and Harbour, M. G. 1997. On the schedulability analysis for distributed hard real-time systems. In Proceedings of 9th Euromicro Workshop on Real-Time Systems. 136--143.Google Scholar
- Hamann, A., Henia, R., Jerzak, M., Racu, R., Richter, K., and Ernst, R. 2004. SymTA/S symbolic timing analysis for systems. http://www.symta.org.Google Scholar
- Hamann, A., Racu, R., and Ernst, R. 2006. A formal approach to robustness maximization of complex heterogeneous embedded systems. In Proceedings of the CODES/ISSS Conference. Google Scholar
Digital Library
- Hamann, A., Racu, R., and Ernst, R. 2007. Multi-dimensional robustness optimization in heterogeneous distributed embedded systems. In Proceedings of the 13th IEEE RTAS Conference. Google Scholar
Digital Library
- Harbour, M. G., Klein, M., and Lehoczky, J. 1994. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Softw. Engin. 20, 1. Google Scholar
Digital Library
- He, X., Gu, Z., and Zhu, Y. 2009. Task allocation and optimization of distributed embedded systems with simulated annealing and geometric programming. Computer J. Google Scholar
Digital Library
- Henriksson, D., Cervin, A., and Årzén, K.-E. 2002. Truetime: Simulation of control loops under shared computer resources. In Proceedings of the 15th IFAC World Congr. Automatic Control.Google Scholar
Cross Ref
- Joseph, M. and Pandya, P. K. 1986. Finding response times in a real-time system. Computer J. 29, 5, 390--395.Google Scholar
Cross Ref
- Kienhuis, B., Deprettere, E. F., van der Wolf, P., and Vissers, K. A. 2002. A methodology to design programmable embedded systems - the Y-chart approach. In Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation-(SAMOS), E. F. Deprettere, J. Teich, and S. Vassiliadis, Eds., Lecture Notes in Computer Science, vol. 2268, Springer, 18--37. Google Scholar
Digital Library
- Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Schwabla, W., Senft, C., and Zainlinger, R. 1989. Distributed fault-tolerant real-time systems: The mars approach. IEEE Micro 9, 1. Google Scholar
Digital Library
- Lakshmanan, K., Niz, D. d., and Rajkumar, R. 2009. Coordinated task scheduling, allocation and synchronization on multiprocessors. In Proceedings of the 30th IEEE Real-Time Systems Symposium. 469--478. Google Scholar
Digital Library
- Lehoczky, J. P. 1990. Fixed priority scheduling of periodic task sets with arbitrary deadline. In Proceedings of the 11th IEEE Real-Time Systems Symposium. 201--209.Google Scholar
Cross Ref
- Liu, C. L. and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20, 1, 46--61. Google Scholar
Digital Library
- Liu, J. W. S. 2000. Real-Time Systems. Prentice Hall.Google Scholar
- Metzner, A. and Herde, C. 2006. Rtsat-- an optimal and efficient approach to the task allocation problem in distributed architectures. In Proceedings of the 27th IEEE International Real-Time Systems Symposium. IEEE Computer Society, Los Alamitos, CA, 147--158. Google Scholar
Digital Library
- OSEK. 2006. Osek os version 2.2.3 specification. http://www.osek-vdx.org.Google Scholar
- Padmanabhan, K. Z., Pillai, P., and Shin, K. G. 1999. Emeralds-osek: A small real-time operating system for automotive control and monitoring. In Proceedings of the SAE International Congress and Exhibition.Google Scholar
- Palencia, J. C. and Harbour, M. G. 1998. Schedulability analysis for tasks with static and dynamic offsets. In Proceedings of the 19th IEEE RTSS Conference. 26. Google Scholar
Digital Library
- Palencia, J. C. and Harbour, M. G. 1999. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In Proceedings of the 20th IEEE Real-Time Systems Symposium. 328. Google Scholar
Digital Library
- Pop, T., Eles, P., and Peng, Z. 2002. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In Proceedings of the 10th International Symposium on Hardware/Software Codesign. 187--192. Google Scholar
Digital Library
- Pop, T., Eles, P., and Peng, Z. 2003. Design optimization of mixed time/event-triggered distributed embedded systems. In Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. ACM Press, New York, NY, 83--89. Google Scholar
Digital Library
- Racu, R., Jersak, M., and Ernst, R. 2005. Applying sensitivity analysis in real-time distributed systems. In Proceedings of the 11th Real Time and Embedded Technology and Applications Symposium. 160--169. Google Scholar
Digital Library
- Ramamritham, K., Fohler, G., and Adan, J. M. 1993. Issues in the static allocation and scheduling of complex periodic tasks. In Proceedings of the 10th IEEE Workshop on Real-Time Operating Systems and Software. IEEE Computer Society, 11--16. Google Scholar
Digital Library
- Saket, R. and Navet, N. 2006. Frame packing algorithms for automotive applications. J. Embed. Comput. 2, 1, 93--102. Google Scholar
Digital Library
- Saksena, M. and Hong, S. 1996. Resource conscious design of distributed real-time systems -- an end-to-end approach. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems. Google Scholar
Digital Library
- Sandstrom, K., Norstom, C., and Ahlmark, M. 2000. Frame packing in real-time communication. Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications. 399--403. Google Scholar
Digital Library
- Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Comput. 39, 9. Google Scholar
Digital Library
- Tindell, K. W. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep. YCS 197, Department of Computer Science, University of York.Google Scholar
- Zheng, W., Zhu, Q., Natale, M. D., and Vincentelli, A. S. 2007. Definition of task allocation and priority assignment in hard real-time distributed systems. In Proceedings of the 28th IEEE International Real-Time Systems Symposium. 161--170. Google Scholar
Digital Library
- Zhu, Q., Yang, Y., Scholte, E., Natale, M. D., and Sangiovanni-Vincentelli, A. 2009. Optimizing extensibility in hard real-time distributed systems. In Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium. 275--284. Google Scholar
Digital Library
Index Terms
Optimization of task allocation and priority assignment in hard real-time distributed systems
Recommendations
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
This paper presents a timing analysis for a quite general hard real-time periodic task set on a uniprocessor using fixed-priority methods. Periodic tasks are composed of serially executed subtasks, where each subtask is characterized by an execution ...
A Function for Hard Real-Time System Search-Based Task Mapping Optimisation
ISORC '15: Proceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed ComputingA task mapping is deemed feasible for a hard real-time embedded system if the end-to-end response times of all tasks, which include the computation and the communication delays, does not exceed their deadlines. In this paper, we propose a new fitness ...
Code Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems
ISORC '15: Proceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed ComputingIn hard real-time systems, each task has to provably finish its execution within its respective deadline. Compiler optimizations can be used to improve each task's timing behavior. However, current compilers do not consider tasks' deadlines and can ...








Comments