Book 2012 des projets Systematic

Electronics ArchitectureSystèmes Critiques pour l’Automobile :Robustesse des Logiciels ExécutifsTemps-réelCOMPLETEDPROJECTThe main objective of the SCARLET project is to build methods and software techniques for theoptimized implementation of robustness mechanisms in multi-layered automotive software supportingfuture highly critical functions.The project will take into account automotive standards and practice such as AUTOSAR, futureISO26262 and the use of Off The Shelf Components, commercial or not.The project consists in three main work packages.◗ The first work package defines a methodology indicating the requirements, criteria and recommendationsfor the use of software robustness mechanisms.◗ The second work package aims at developing mechanisms for software robustness improvementfor open or closed (COTS) software.◗ And the third one consists in characterizing and validating the methodology and mechanisms ona demonstrator derived from a vehicle.PROGRESS BEYOND THE STATE OF THE ART◗ Requirements and industrial needs, constraints of automotive domain.• State of the art by the academics.• Fault model developed and shared.◗ Definition of the reflexive approach and experimentation going on an experimental Autosar platform.◗ Runtime environment for hard real-time constraints for automotive.First deliverable and mockup.◗ Taking into account the automotive context:• Autosar (study of mechanisms of latest specifications);• Under construction ISO 26262;• Interaction with silicon vendors: Freescale, Infineon.◗ Runtime environment real-time and robust for automotive [CEA LIST].• Dependability- Generic (application-independent mechanisms);- Reproducibility of the execution;- Automatic partitioning spatial and temporal;- Management of failure allowing the recovery of only the defective function without interferenceon the rest of the system.• Coexistence of different levels of criticality possible.• Requirements of industrials and ISO 26262 (ASIL D) addressed => Mockup made on chipS12XEP100.MAJOR PROJECT OUTCOMES◗ Publications:International conference• Robustness of modular multi-layered software in the automotive domain: a wrapping-basedapproach. Espagne, 22-26 Septembre 2009.• An approach for improving fault-tolerance in automotive modular embedded software. 17th InternationalConference on Real-Time Networked Systems (RTNS 2009), Paris, 26-27 Octobre 2009.• How to configure AUTOSAR OS timing protection. Paris, France, October 2009.• An analysis of the AUTOSAR OS timing protection mechanism. Spain, September 2009.• Temporal isolation for the cohabitation of applications in automotive embedded software. Valencia,Spain, April 2010.• A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. Majorque(Espagne), Septembre 2009.• Towards optimal priority assignment for probabilistic CAN-based systems. WIP session ofWFCS'2010, March 2010.• Towards optimal priority assignment for probabilistic real-time systems with variable executiontimes. Paris, October 2009.• Preliminary results for introducing dependent random variables in stochastic feasiblity analysison CAN. Dresden, May 2008.• Probabilistic real-time schedulability: from uniprocessor to multiprocessor when the executiontimes are uncertain.Doctoral Thesis• Robustness of multi-layered embedded software by reflexive approach : Automotive applicationCONTACTPhilippe QUERERENAULT+33 (0)1 76 85 63 60philippe.p.quere@renault.comPARTNERSLarge companies:RENAULT, VALEOSMEs:TRIALOGResearch institutes, universities:CEA, CNRS-LAAS,INRIA-LORIA, IRCCYNPROJECT DATACoordinator:RENAULTCall:ANR2006Start date:May 2007Duration:42 monthsGlobal budget (M2):3.7Funding (M2):1.5Automotive & Transports WG45