Book 2012 des projets Systematic

Software tools and MethodsHECOSIMHeterogeneous Co-simulationand system hybrid SimulationCOMPLETEDPROJECTThe design of a mechatronic system, inherently heterogeneous, is made currently with toolsadapted to each sub system (various modelers and simulators). Each sub system is validatedseparately, and the integration tests are performed at the end of the development cycle (physicalmock up); problems are discovered late and generate high cost to be corrected.The objective of the HeCoSim project is to provide simulation tools through two approaches ofco-simulation and global simulation based on available tools to:◗ control sizing and the integration of automotive components of heterogeneous nature,◗ optimize an electronic architecture through model simulation,◗ validate a system by scenarios filtered and generated by the tools,◗ validate the embedded code on its target in its physical environment.PROGRESS BEYOND THE STATE OF THE ARTProblems treated and solutions sought:◗ remove a major technical issue on asynchronous co-simulation via the tool RT-Builder;◗ create co-simulation sockets between the tool RT-Builder and the tools: Statemate, Mat-Lab/Simulink, SystemVision, UNISIM;◗ have a good representativeness and interoperability of the simulation models of the microcontrollerStar12X and of the processor core ARM7 on the open source UNISIM tool;◗ extend the AGATHA semantics to the Statemate and Simulink models;◗ specify a filter for AGATHA to generate relevant tests regarding industrial criteria: undesirablecases, deadlocks, MC/DC approach.Consequences at technical level:◗ extension of the simulator RT-Builder to co-simulation;◗ achievement of a complete and continuous tool chain with the core activity tools;◗ validation of the embedded code with its physical environment;◗ achievement of a heterogeneous simulation core for AGATHA and a filter for the MC/DCapproach.MAJOR PROJECT OUTCOMES◗ Publications:Communications (conference):• IAEC’2008: “Improving Model Based Design Quality and Safety for Mechatronic Systemsvia Co-simulation”.• Workshop System@tic 2008.• EMM’2009: “A Model Based Design Compliant Framework for Mechatronics Systems Development”.• Workshop System@tic 2009.Articles:• Co-modelling and simulation with multilevel of granularity for real time electronic systemssupervision, England, 1-3 April 2008.• Observability Checking to Enhance Diagnosis of Real Time Electronic Systems Canada,October 27-29, 2008.• Validation of Electronic Architecture Properties Analysis Based on Automotive Platform,Italy, July 4-7, 2010.• Diagnosability of Embedded Architectures; Premise of analysis methodology.• Symbolic Execution Techniques Extended to Systems in ICSEA 2009.CONTACTJean-François BISSONVALEO+33 (0)1 45 13 82 55jean-francois.bisson@valeo.comPARTNERSLarge companies:VALEOSMEs:SEE4SYSResearch institutes, universities:CEA LIST, UTC-HEUDIASYCPROJECT DATACoordinator:VALEOCall:ANRStart date:December 2006Duration:39 monthsGlobal budget (M2):2.7Funding (M2):1.4◗ Job creation:Two hiring, one at CEA-LIST/LSL and another one at SEE4SYS.26Automotive & Transports WG