This paper presents a survey on techniques for supporting a seamless development process of embedded automotive real-time systems. Starting from a set of requirements we show how to integrate early design space exploration, real-time requirements and the definition of component interfaces in a distributed organization of suppliers and OEMs. The main focus is to provide building blocks for a design methodology enabling an AUTOSAR driven process. We also present a method to formally specify requirements in terms of sequence diagrams and how these requirements can be formally checked against implementations by using a rich set of time analysis techniques. Finally, we present our approach of optimizing the implementation in order to reduce the number of ECUs or to increase robustness.
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
N. Audsley, A. Burns, R. Davis, K. Tindell, and A. Wellings. Fixed priority pre-emptive schedul-ing: An historical perspective. Real-Time Systems, 8(2), 1995.
S. Baruah and A. Burns. Sustainable Scheduling Analysis. In Proceedings of the IEEE Real-Time Systems Symposium. IEEE Computer Society, 2006.
W. Damm and D. Harl. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19, 2001.
W. Damm, E. B öde, A. Metzner, T. Peikenkamp, and A. Votintseva. Boosting Re-use of Embed-ded Automotive Applications Through Rich Components. Proceedings Foundations of Inter-face Technologies, 2005.
R. Davis and A. Burns. Hierarchical Fixed Priority Pre-emptive Scheduling. In Proceedings of the IEEE Real-Time Systems Symposium, 2005.
M. Di Natale and J. Stankovic. Dynamic End-To-End Guarantees in Distributed Real-Time Sys-tems. In Proceedings of the IEEE Real-Time Systems Symposium, 1994.
H. Dierks, , A. Metzner, and I. Stierand. Combining Timed Automata based Formal Specifica-tions and Real-Time Scheduling. Technical report, Department of Computer Science, Carl-von-Ossietzky Universit ät Oldenburg, 2006.
A. Easwaran, I. Lee, O. Sokolsky, and I. Shin. Incremental Schedulability Analysis of Hierarchical Real-Time Components. In Proceedings of the 6th ACM Conference on Embedded Software, 2006.
E. Fersman and W. Yi. A generic approach to schedulability analysis of real time tasks. Nordic Journal of Computing, 11, 2004.
A. Hamann, M. Jersak, K. Richter, and R. Ernst. Design Space Exploration and System Optimiza-tion with SymTA/S. In Proc. RTSS, 2004.
H. Heinecke, K.-P. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J.-L. Mat é , K. Nishikawa, and T. Scharnhorst. AUTomotive Open System ARchitecture - an industry-wide initiative to manage the complexity of emerging automotive E/E-architectures. In Proceedings of Convergence 2004, International Congress on Transportation Electronics, 2004.
M. Hendriks and M. Verhoef. Timed Automata Based Analysis of Embedded System Architec-tures. In Proc. IPDPS, 2006.
T.A. Henzinger and S. Matic.“An Interface Algebra for Real-Time Components”. In Proc. RTAS, 2006.
J. Jonsson and K. Shin. Deadline Assignment in Distributed Hard Real-Time Systems with Relaxed Locality Constraints. In Proceedings of the International Conference on Distributed Computing Systems, 1997.
J. Klose, T. Toben, B. Westphal, and H. Wittke. Check It Out: On the Efficient Formal Verification of Life Sequence Charts. In Proceedings of the 21st Conference on Computer Aided Verifica-tion, 2006.
C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environ-ment. Journal of the ACM, 20(1):46-61, 1973.
G. Madl, S. Abdelwahed, and D.C. Schmidt. Verifying distributed real-time properties of embed-ded systems via graph transformations and model checking. Real Time Systems, 33, 2006.
A. Metzner. Effizienter Entwurf verteilter eingebetteter Echtzeitsysteme. PhD thesis, Carl-von-Ossietzky Universit ät Oldenburg, 2005.
A. Metzner and C. Herde. RTSAT - An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. In Proceedings of the IEEE Real-Time Systems Sympo-sium. IEEE Computer Society, 2006.
A. Metzner, M. Fr änzle, C. Herde, and I. Stierand. Scheduling Distributed Real-Time Systems by Satisfiability Checking. In Proceedings of the Conference on Embedded and Real-Time Computing Systems and Applications, 2005.
A. Metzner, M. Fr änzle, C. Herde, and I. Stierand. An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures. In Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium, 2006.
J. Palencia and M. Harbour. Schedulability Analysis for Tasks with Static and Dynamic Offsets. In Proceeding of the 9th IEEE Real-Time Systems Symposium, 1998.
K. Richter, R. Racu, and R. Ernst. Scheduling Analysis Integration for Heterogeneous Multi-processor SoC. In Proc. RTSS, 2003.
K. Tindell. Fixed Priority Scheduling of Hard Real-Time Systems. PhD thesis, University of York, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Damm, W., Metzner, A. (2007). A Design Methodology for Distributed Real-Time Automotive Applications. In: Ramesh, S., Sampath, P. (eds) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6254-4_13
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6254-4_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6253-7
Online ISBN: 978-1-4020-6254-4
eBook Packages: EngineeringEngineering (R0)