The proposed methodology is aimed for the design of an optimized middleware. For this purpose, it deals with two topics: the specification of an implementation architecture, and the construction of a feasible configuration. The implementation architecture is optimized because the middleware is well adapted to its execution environment (compliant to OSEK/VDX OS), and minimizes the utilization of the available resources. It contributes, on the one hand, to a specification of a software architecture, and, on the other hand, to mechanisms allowing to deploy this software architecture onto a concrete platform (specification of the set of tasks). The algorithm proposed for the construction of a configuration determines feasible timing characteristics for the middleware and for the frames exchanged over a CAN bus. It covers also the calculation of a feasible set of priorities for the applicative tasks executing on each station of the bus. The correctness of the configuration is achieved by ensuring that the timing constraints imposed on the exchanges and on the execution of the applicative and middleware tasks are met.
Françoise SIMONOT-LION is Professor of Computer Science at Nancy Université (France). Since 1997, she is the scientific leader of Real Time and InterOperability (TRIO), an INRIA research team at LORIA laboratory in Nancy (France). During 4 years (2001-2004), she was responsible of CARAMELS, a joint Research Team with PSA Peugeot Citroën funded by the French Ministry for Research and Technology. She has participated in the French Embedded Electronic Architecture project (AEE, 1999-2001), and in the European project ITEA EAST-EEA (2001-2004). The purpose of ITEA EAST was to define an industry-wide layered software architecture, including a communication middleware, and a common Architecture Description Language supporting a formal description of in-vehicle embedded systems (EAST-ADL). She is actually involved in the project ANR SAFE-NECS that developed coordinated approaches for scheduling and control laws design, in the ANR-PREDIT SCARLET project that investigates the robustness of in-car embedded operational services and in the project CRISTAL whose aim is to define new secure urban vehicle systems. Her main research topics are modelling and verification techniques for the design of optimized real time distributed applications under safety constraints and specification of embedded services ensuring a real time Quality of Service (scheduling of tasks and messages, real time middleware deployment, frame packing).