@inproceedingsDam2007, Author = {Damm, Werner and Metzner, Alexander},Title = {A Design Methodology for Distributed Real-Time Automotive Applications},Year = {2007},Month = {01},Booktitle = {Proceedings of the GM R\&D Workshop, Bangalore, India},type = {inproceedings},note = {This paper presents a survey on techniques for supporting a seamless devlopment process of embedded automotive real-time systems. Starting from a set of requirements we show how to integrate early design sace exploration, real-time requirements and the de},Abstract = {This paper presents a survey on techniques for supporting a seamless devlopment process of embedded automotive real-time systems. Starting from a set of requirements we show how to integrate early design sace 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.} @COMMENTBibtex file generated on