MoDELS'09 ACES-MB Workshop Proceedings Invited Talk Semantics Preservation Issues in the Design and Optimization of SW Architectures for Automotive Systems Marco Di Natale Scuola Superiore Sant’Anna, Pisa, Italy Abstract. Architecture selection and design optimization are critical stages of the Electronics/Controls/ Software (ECS) -based vehicle design flow. In automotive systems design, complex functions are deployed onto the physical HW and implemented in a SW architecture consisting of a set of tasks and messages. The talk will present work performed in cooperation with GM R&D and UC Berkeley, in which we optimized several aspects of the software architecture design, including the definition of the task periods, the task placement and the signal-to-message mapping and we automated the assignment of priorities to tasks and messages in order to meet end-to- end deadlines and minimize latencies. Architecture selection can be accomplished by leveraging worst case re- sponse time analysis within an optimization framework and we provide hints on how to use stochastic or statistical analysis to further improve the approach. However, current work has only scantly addressed the is- sues of preserving the semantics of functional models during implemen- tation. Semantics preservation issues impose additional constraints on the optimization problem, but also reveal very interesting tradeoffs be- tween memory and time/performance. In addition, the need to deal with heterogeneous models and standards (like AUTOSAR in the automotive business) further complicates the scenario. Denver, CO, USA, October 6, 2009 9