Abstract
In modern embedded systems, e.g. avionics and automotive, it is not unusual for there to be between 40 and 100 processors with a great deal of the software having hard real-time requirements and constraints over how, when and where they execute. The requirements and constraints are essential to the overall systems dependability and safety (e.g. to ensure replicas execute on different hardware). This leads to a complex design space exploration (DSE) problem which cannot be practically solved manually especially if the schedule is to be maintained.
In this paper it is shown that dealing with the constraints using a conventional state of the art “System Configuration Algorithm” is less efficient, less effective and does not scale well. This issue can be improved by performing constraint pre-processing as well as constraint encoding. It is shown that our approach can handle typical industrial requirements that come from the automotive industry’s AUTOSAR standard in an efficient way.
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
AUTOSAR (automotive open system architecture), http://www.autosar.org
ISO 26262: Road vehicles – functional safety
Audsley, N., Burns, A., Richardson, M.F., Wellings, A.J.: Hard real-time scheduling: The deadline-monotonic approach. In: IEEE Workshop on Real-Time Operating Systems and Software, pp. 133–137 (1991)
Chu, W.W., Holloway, L.J., Min-Tsung, L., Efe, K.: Task allocation in distributed data processing. Computer 13(11), 57–69 (1980)
Davis, R., Burns, A., Bril, R., Lukkien, J.: Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems 35(3), 239–272 (2007)
Efe, K.: Heuristic models of task assignment scheduling in distributed systems. Computer 15(6), 50–56 (1982)
Emberson, P., Bate, I.: Extending a task allocation algorithm for graceful degradation of real-time distributed embedded systems. In: IEEE Real-Time Systems Symposium (RTSS), pp. 270–279 (2008)
Emberson, P., Bate, I.: Stressing search with scenarios for flexible solutions to real-time task allocation problems. IEEE Transactions on Software Engineering 36(5), 704–718 (2010)
Hamann, A., Racu, R., Ernst, R.: Multi-dimensional robustness optimization in heterogeneous distributed embedded systems. In: IEEE Real Time and Embedded Technology and Applications Symposium (RTAS), pp. 269–280 (2007)
Pölzlbauer, F., Brenner, E., Magele, C.: A transparent target function and evaluation strategy for complex multi-objective optimization problems. In: IEEE Real-Time Systems Symposium (RTSS) – Work-in-Progress, pp. 77–80 (2009)
Pop, P., Eles, P., Peng, Z., Pop, T.: Analysis and Optimization of Distributed Real-Time Embedded Systems. ACM Transactions on Design Automation of Electronic Systems 11(3), 593–625 (2006)
Poulding, S., Emberson, P., Bate, I., Clark, J.: An efficient experimental methodology for configuring search-based design algorithms. In: IEEE High Assurance Systems Engineering Symposium (HASE), pp. 53–62 (2007)
Sandström, K., Norström, C., Ahlmark, M.: Frame packing in real-time communication. In: International Conference on Real-Time Computing Systems and Applications (RTCSA), pp. 399–403 (2000)
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming – Parallel Processing in Embedded Real-Time Systems 40(2-3) (1994)
Zheng, W., Zhu, Q., Di Natale, M., Sangiovanni-Vincentelli, A.: Definition of task allocation and priority assignment in hard real-time distributed systems. In: IEEE International Real-Time Systems Symposium (RTSS), pp. 161–170 (2007)
Zhu, Q., Yang, Y., Scholte, E., Di Natale, M., Sangiovanni-Vincentelli, A.: Optimizing extensibility in hard real-time distributed systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 275–284 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pölzlbauer, F., Bate, I., Brenner, E. (2012). Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. In: Brorsson, M., Pinho, L.M. (eds) Reliable Software Technologies – Ada-Europe 2012. Ada-Europe 2012. Lecture Notes in Computer Science, vol 7308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30598-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-30598-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30597-9
Online ISBN: 978-3-642-30598-6
eBook Packages: Computer ScienceComputer Science (R0)