• Aucun résultat trouvé

Semantics Preservation Issues in the Design and Optimization of SW Architectures for Automotive Systems

N/A
N/A
Protected

Academic year: 2022

Partager "Semantics Preservation Issues in the Design and Optimization of SW Architectures for Automotive Systems"

Copied!
1
0
0

Texte intégral

(1)

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.

MoDELS'09 ACES-MB Workshop Proceedings

Denver, CO, USA, October 6, 2009 9

Références

Documents relatifs

The  program of  the intern  is in  a  first step  to investigate some bandwidth allocation algorithms with cyclic scheduling and to investigate the main performance. issues

« Sauf si la loi prévoit expressément le contraire, le juge peut examiner l’admissibili- té d’une preuve illicitement recueillie à la lu- mière des articles 6 de la Convention

Keywords : Hyperboloidal foliation method, wave-Klein-Gordon equations, standard model, mass parameter limit, critical nonlinearities, hyperbolic Fourier transform. R´

Later, three monolithic MDO architectures, namely, Individual Discipline Feasible (IDF), Simultaneous Analysis and Design (SAND) and Multidisciplinary Feasible (MDF) are compared

We presented three specific examples of robot network deploy- ment and illustrated the proposed architecture usability: the robotic network deployment with the goal of covering

For each iterative rule exists one equality formula between the value of the iterative rule and the product between the iterative factor and the value of the rule on which is built

1) Classical engineering which is based on a functional approach in order to control simple regulation mechanisms. 2) Resilience engineering which deals with borderline and incidental

The design approaches of Communicating Systems are moving from static to dynamic layered and loosely coupled architectures to meet the adaptability needs of future