Proceedings of the GM R&D Workshop, Bangalore, India
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.