Book 2012 des projets Systematic

Electronics ArchitectureMASCOTTEMAitriSe et COnTrôledes Temps d'ExécutionCOMPLETEDPROJECTBuild methods, techniques and tools to keep pace with execution times of real-timeapplications using static analysis, test on simulators and measures on the real target.In order to implement new services in cars, the project studies the impact on thedeterminism of hardware features in microcontrollers. It defines good practices to usethese mechanisms.PROJECT RESULTS◗ Technologies:Simulation (Harmless), static analysis (Otawa), test (PathCrawler).◗ Publications:• Damien Hardy, Isabelle Puaut - WCET analysis of multi-level noninclusiveset-associative instruction caches - 29th IEEE Real-TimeSystems Symposium, Barcelona, Spain, December 2008.• Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Guillaume Savaton, Yvon Trinquet- Simulator Generation Using an Automaton Based Pipeline Model for TimingAnalysis - International Multiconference on Computer Science and InformationTechnology, October 2008, Poland.• Roman Bourgade, Clément Ballabriga, Hugues Cassé, Christine Rochange, PascalSainrat - Accurate analysis of memory latencies for WCET estimation - InternationalConference on Real-Time and Network Systems (RTNS 2008), Rennes,October 2008.• Marianne de Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat - Staticloop bound analysis of C programs based on flow analysis and abstract interpretationIEEE International Conference on Embedded and Real-Time Computing Systemsand Applications (RTCSA 2008), Kaohsiung, Taiwan, August 2008.• Damien Hardy, Isabelle Puaut - Predictable code and data paging for real-time systems- 20th Euromicro Conference on Real-Time Systems, Prague, Czech Republic,July 2008.◗ Experimentations:Use of the technologies on an automotive application.CONTACTPascal SAINRATIRIT - UNIVERSITE PAULSABATIER+33 (0)5 61 55 84 25sainrat@irit.frPARTNERSLarge companies:FREESCALE, RENAULTSMEs:GEENSYSResearch institutes, universities:IEF, IRCCYN, IRISA/INRIA, IRIT,LAASPROJECT DATACoordinator:IRITCall:ANR - 2005Start date:January 2006Duration:42 monthsGlobal budget (M2):3.5Funding (M2):1.4Automotive & Transports WG35