2012 activity report
Transcription
2012 activity report
2012 ACTIVITY REPORT INTRODUCTION 1 CEA LIST 2012 ACTIVITY REPORT CEA LIST: Excellence in digital advancements for industry by Karine Gosse, Director, CEA LIST At CEA LIST, we leverage recognized expertise in digital systems design to develop leading‑edge technological advancements for our industrial partners. Our strategy focuses on four main pillars. 1. Funnelling research resources to three key technology fields Our research and technology development activities are divided into three fields: advanced manufacturing, embedded systems, and ambient intelligence. By fun nelling resources to these three fields, we have been able to achieve the critical mass required for viable long-term investment, high-level partnerships, and world-class results. Our research and investment strategy – the CEA LIST technological foundation – is based on roadmaps develo ped in concert with international-calibre educational institutions. Our research programs can sometimes have lifespans of a decade or more. At the same time, we work to keep pace with rapidlychanging markets and evolving manufacturer needs, running short-term development programs that drive our successful industrial partnerships. 2. Using technology platforms to pool equipment and developments CEA LIST boasts several technology platforms with top-notch equipment. These platforms are dedicated to research partnerships with academic or industrial organizations. Pooling equipment and resources pro vides our partners with access to highly specialized equipment and allows them to leverage our in-house knowledge. The role of the technology platforms is to facilitate and speed innovation by letting researchers develop more complete solutions, integrate technology bricks, and test advanced systems. All of these characteristics make the platforms a perfect match for open innovation, a strategy more and more manufacturers have adopted. Companies of all sizes (including SMEs) and from all industries are eligible to use our platforms. Small businesses in particular can benefit from CEA LIST’s special programs suited to their unique needs (like immediately-actionable results). 3. Forming long-term partnerships with manufac turers and creating start-ups We devote substantial resources to major, long-term industrial partnerships with a capacity to shape our research. These partnerships are often multi-year and address various topics. Manufacturers of all sizes, from SMEs to large corpo rations, can choose from three types of partnerships: cooperative projects (either limited to France or Europewide), bilateral agreements, and joint labs. Finally, certain research projects can result in the creation of start-ups, most of which are led by the origi nal researchers. These start-ups bring value to the manufacturing ecosystem and play a key role in bringing new technologies from the lab to the factory. To date, we have spun off 13 start-ups, 5 of which were created over the past three years alone. 4. Gradually expand into the French provinces CEA LIST, based in the Greater Paris area, took steps to further strengthen its relationships with manufacturers in the French provinces in early 2013 with the launch of CEA Tech branches in Nantes, in Bordeaux, and in Toulouse. The goal is to make our research findings more broadly available and help businesses in these regions become more competitive through innovation. CEA Tech regional branches have their own technologytransfer processes. Their application platforms give local manufacturers access to technology bricks that are easy to integrate into products to make them more powerful and innovative in record time. The regional branches can turn to CEA LIST laboratories to meet local business’ more complex technology deve lopment needs; however, the regional branch offices remain the primary point of contact for businesses in their geographical area. Also see pages 36 and 37 ■ CON TENT ON TS CONTENTS 3 CEA LIST 2012 ACTIVITY REPORT A YEAR PACKED WITH INNOVATION Manufacturing...............................................5 Security..............................................................7 Transportation and Mobility.................... 9 Energy................................................................11 Healthcare...................................................... 13 DRIVING INDUSTRY THROUGH R&D Advanced Manufacturing........ 15 Smart manipulation...................................16 Industrial inspection..................................18 5 15 EMBEDDED SYSTEMS.......................... 21 Architectures and software for embedded systems.............................. 22 Software and systems engineering..... 24 Ambient intelligence ................ 27 Multimedia, virtual reality, and user interfaces.................................... 28 Sensors, signals and information..........30 Ionizing radiations metrology.................32 START-UP NEWS.................................... 34 COMPETITIVENESS STRATEGY CEA Tech in the French provinces.......... 36 Pump-priming to drive innovation . ... 38 Open innovation........................................ 40 THE YEAR IN FIGURES 2012 Events..................................................... 42 PhD in progress and scientific publications......................44 Org chart.........................................................52 Key figures..................................................... 54 Index.................................................................55 36 42 4 CEA LIST 2012 ACTIVITY REPORT A year packed with innovation manufacturi 2012 highlights – Capme’up project was selected for funding under the French government’s economic stimulus program. The project, which also involves two other research institutes, aims to help small and medium-sized manufacturers implement the latest technological advancements. At CEA LIST we are particularly active in non-destructive testing, interactive robotics, and system integration. – We launched the Gerim2 innovation platform to develop new non-destructive testing methods using leading-edge equipment. Gerim2 will carry out highlevel scientific and industrial research spanning a broad range of non-destructive testing technology. – We developed an anthropomorphic robotic arm, called Assist, to work seamlessly with a human operator. Assist has seven degrees of freedom and effective anticollision features, and allows for reversible mechanical transmission. Operators can precisely control its force and position. Assist marks a new generation of robots for flexible manufacturing. R&D for advanced manufacturing applications Our groundbreaking research in advanced manufacturing covers: – Interactive simulation and virtual reality, with a large palette of tools and software for applications in: – Product design and process testing and optimization – Robot and cobot simulation – Workstation and task analysis (for preventing repetitive strain injuries) – Training, pre-maintenance preparation, and crisis management “CEA LIST is taking advanced manufacturing even further to help manufacturers become more responsive and agile while boosting overall production quality and performance.” – Non-destructive testing, with R&D divided into three pillars: – Our CIVA software with simulation, imaging, and analysis capabilities for designing and optimizing testing methods – Novel testing systems (with sensors and electronic processing), contact-free ultrasound systems, adaptive ultrasound imaging, high-resolution and high-sensitivity magnetic imaging, and multiresolution automated X-ray tomography – Materials characterization methods for complex geometries, defect characterization, and compos ite materials, for example – Robotics and cobotics, with new, more agile produc tion tools that can work with humans and be precisely controlled in terms of both force and position (e.g., ex oskeletons, collaborative robots, and teleoperation systems), including vision systems. A year packed with innovation/manufacturing 5 CEA LIST 2012 ACTIVITY REPORT i ng TECHNOLOGY FOR INDUSTRY: manufacturing R&D pipeline Advanced manufacturing research at CEA LIST has lofty goals. We aim to improve the agility, responsiveness, effi ciency, and performance of production units as a whole, taking into account the close interactions among equip ment and software. We are one of France’s only research centers to adopt such a holistic approach. We look at the integration of pro duction systems into a coherent model, the simulation of operator and equipment processes, and knowledge management to leverage human experience and devel op innovative solutions. Examples of our R&D projects include: – Developing a functional model of a production plant “system” to improve traceability and automation – Improving the efficiency of production lines by optimiz ing operators’ positions and movements within a plant – Making maintenance operators’ tasks easier with aug mented reality guidance systems SOME OF OUR INDUSTRY PARTNERS AREVA, BA Systèmes, Dassault, EADS, EDF, Extende, Gaussin Manugistique, Haption, M2M, PSA, Rb3D, Renault, Sarrazin Technologies, Snecma, Technip . ■ 6 CEA LIST 2012 ACTIVITY REPORT A year packed with innovation Security 2012 Highlights – We developed a cybersecurity analysis system for test ing hypervisors, or software that allocates resources and runs applications for cloud computing. The sys tem’s formal analysis strategy lets engineers specify and test their desired cybersecurity configuration. Our technology can be used for all cloud computing ser vices and has garnered interest from industry players across the board. – We developed an industrial neutron gamma discri mination system using low-cost plastic scintillators for Saphymo, a French radiation detection and meas urement company. Our system solves the problem of using Helium-3 – a rare isotope that jacks up the price of He-3 detectors by a factor of ten – for nuclear radia tion portal monitors. Saphymo will manufacture and commercialize the system through a licensing agree ment that covers two of our patents. –W e coordinated the EU’s Virtuoso project to develop a toolkit that lets border control officers spot dangers and strategic threats as early as possible. Under this project we developed several new technologies (like automatic text summaries) and two security-relat ed applications: one for extracting data on terrorist activities and another for geolocating multimedia resources. – We launched the EU STANCE project to develop new software analysis methods for cybersecurity applica tions. Our new methods track down security breaches in all sensitive software layers, and cover the key pro gramming languages (like C, C++, and Java) used in mainstream, industrial, and defense systems (see p. 25). –W e are also a partner in the EU’s E-Poolice project to develop an environmental scanning system (websites, summary reports, meeting minutes, etc.) to detect even the slightest signs of organized crime. R&D for security applications Our security-focused R&D covers four complementary areas: – Our traditional field of CBRN instrumentation systems and sensors. – Data mining tools for text and images, to extract se curity-related information from the Internet and databases. – Video surveillance with camera networks. – Cybersecurity. CBRN – We are developing new sensors and innovative systems for detecting nuclear radiation (beta, gamma, and neutron rays) in response to nuclear industry needs and to prevent the proliferation of radioactive material. IT security and cybersecurity – We have been at the forefront of security analysis tools and methods for more than 15 years. Our initial research looked at critical real-time applications, especially for the nuclear and transportation industries. Unlike conventional test ing-based R&D, our methods cover all possible behaviors of an application. They provide mathematical proof that an application has no security flaws. Our methods can be combined with the verification procedures already in use at companies and academic research labs. In 2011 we expanded our research to include the detec tion of cybersecurity flaws; here we study methods for ensuring confidentiality, data integrity, and service uptime. R&D PIPELINE The issue of security is rapidly moving beyond IT systems and to industrial systems (like manufacturing plants and utility services), electronic services (like for bank ing and healthcare), and items we use on a daily basis A year packed with innovation/Security 7 CEA LIST 2012 ACTIVITY REPORT TECHNOLOGY FOR INDUSTRY: Security “CEA LIST is going beyond information technology in its research on trust in the digital world with groundbreaking work on industrial systems, everyday objects, and electronic services.” (like smartphones, tablets, and cars) – all areas where data must be protected, secure, and yet readily available. That’s why at CEA LIST, we are expanding our R&D to cover all issues related to trust in the digital world. Some of our industry partners Areva, Canberra, EADS, EDF, Gemalto, Safran, Saphymo, Thales. ■ 8 CEA LIST 2012 ACTIVITY REPORT A year packed with innovation Transportati 2012 Highlights – We unveiled a new integrated toolchain for embedded systems for Renault. The toolchain enables a continuous process for the development, expression, and analysis of system requirements for the computer-assisted design of on-board components for automobiles using AUTO SAR (AUTomotive Open System ARchitecture) standard. The goal is to boost both safety and performance. – We launched two spin-offs focused on CEA LIST technologies for the transportation market: – Krono-Safe, which provides safety-oriented operating systems and the associated design software to help engineers develop embedded electronics that meet stringent dependability standards; and – WiN MS, which markets one-of-a-kind trouble shooting and monitoring technology for detecting and locating defects in cable harnesses. Its first customers are in the aerospace and rail industries. R&D for transportation applications Embedded systems and software currently make up around 30% of a vehicle’s cost – a figure set to rise in the near future. In cars such systems not only provide enhanced assistance and less driver intervention, they also improve the safety of both drivers and passengers. At CEA LIST, we team up with transportation industry partners for joint R&D in three areas: – Design and dependability of embedded systems – This research aims to develop intrinsically-reliable processors and system architectures that deliver high performance at competitive costs. Drawing on our nuclear-industry experience, we developed the PharOS operating system to guarantee on-board system dependability. We work mainly with Valeo and Delphi on projects in this field. – S ystems and software engineering – We have developed two applications, Papyrus and Frama-C, to make the process of designing software for the transportation industry more reliable, notably for Airbus. Both applications can enhance software performance while slashing development time and costs. Papyrus addresses the systems engineering process through to the development of critical software. Frama-C performs static analyses to predict all possible behaviors of a piece of software and pinpoint securityrelated weaknesses. – Human-machine interfaces and driver assistance – Our work in this area focuses on vision systems, augmented reality, and force-feedback haptic and tactile interfaces. Our joint R&D projects with industry partners are designed to meet our partners’ specifications, and extend through to the creation of pre-industrial prototypes (Technology Readiness Level 4–5). “CEA LIST is supporting manufacturers’ innovation strategies in three main areas: – embedded system design and operating safety, – system and software engineering tools, and – human-machine interfaces and driverassistance systems.” R&D pipeline – E mbedded systems safety is a major challenge in the field of transport. We are improving our PharOS, Papyrus, and Frama-C applications through numerous industry partnerships and R&D contracts with start-ups and software developers like Krono-Safe, WiN MS, and A year packed with innovation/Transportation and mobility 9 CEA LIST 2012 ACTIVITY REPORT on, mobility TECHNOLOGY FOR INDUSTRY: Transportation and mobility Esterel Technologies. This work focuses on innovative processor architecture design and software tools using multi-core and many-core technologies. – In embedded vision systems, the large-scale integration of cameras into transpor tation systems of fers major opportunities for new mobility services and environment analysis systems. – Big data – We are applying our know-how in big data to mobility applications, with the goal of not only improving the driving experience but also organizing transportation and providing other services. – Context-aware human-machine interfaces (HMIs) for mobility applications is another promising field of research, leveraging advancements in virtual reality and human-system interaction associated to data mining technologies to simplify or adapt information. Some of our industry partners Airbus, All4Tec, Delphi, Esterel Technologies, Krono-Safe, M3S, Michelin, PSA, Renault, Scaleo chip, Sherpa Engineer ing, Valeo, WiN MS, Zodiac. ■ 10 CEA LIST 2012 ACTIVITY REPORT A year packed with innovation Energy 2012 Highlights – We developed a low-cost method for estimating electric vehicle battery charge status. – We used hardware-in-the-loop simulation to test predictive strategies for energy-efficient-driving assistance for electric vehicles. – We assessed the risks of an electricity distribution grid including its electrical, communication, and information system components. – We ensured the dependable, efficient real-time operation of embedded electronics in a critical outage system for a medium-voltage power network. – We improved the controls on complex thermal systems by using a distributed multi-agent approach. – W e de velop e d a smar t d ev i c e u si n g g ian tmagnetoresistance sensors to measure fuel-cell voltages. – W e d e v e l o p e d r e l i a b l e , h i g h - p e r f o r m a n c e communication protocols for wireless sensor networks used in smart energy management systems for buildings. R&D for energy applications In the field of energy, we develop digital technology for smart grid applications. Thanks to our sensors and distributed management systems, electric utilities can use software to optimize their grid infrastructure and operations – encompassing power generation, storage, distribution, and consumption points – in real time. And our open, interconnected IT systems let utilities incorporate new management services to boost both energy efficiency and environmental performance. We are now turning our focus to new technological challenges, such as the need for: – Increasingly sophisticated and distributed architecture design and optimization software “The CEA is developing digital technologies to enable the rollout of tomorrow’s smart grids, and is currently considering the feasibility of far-reaching R&D programs on emerging technologies.” – Embedded intelligence for data collection and process control equipment – M assive energy data processing for the modeling, simulation, decision-making, and optimization of energy systems – P owerful, robust, and efficient communication protocols that are extremely reliable – Guaranteed dependable and secure IT for smart grids – Green IT, or energy-efficient IT systems designed to minimize power consumption and optimize processor architecture and embedded software At CEA LIST, our engineers work in pioneering fields like eco-neighborhoods and new energy uses such as: – Smart buildings. – Smart grids. – Electric vehicles. A year packed with innovation/Energy 11 CEA LIST 2012 ACTIVITY REPORT TECHNOLOGY FOR INDUSTRY: Energy R&D pipeline Our energy-related R&D programs are currently looking at: – Cybersecurity and operating safety for smart grids via communicating digital systems architectures, commu nication protocols, crypto-calculators, and deterministic operating systems – Information processing and energy management system operation and, especially, the transition to largescale deployment with big data and highly distributed systems Some of our industry partners AREVA, Courb, EDF, Schneider Electric. ■ 12 CEA LIST 2012 ACTIVITY REPORT A year packed with innovation Healthcare 2012 Highlights – Automated systems for microbiology laboratories: Sev eral algorithms developed under our partnership with bioMérieux, launched in 2010 with very-early-phase R&D, have been incorporated into an end product. A team of nine engineers worked to develop the algo rithms, which are used in image processing and spectra analysis to automatically detect bacteria in Petri dishes. – D igital technology for radiotherapy: We teamed up with Elekta, a leading global supplier of cancer treatment systems, to develop radiotherapy systems. Initial work will look at using Monte Carlo simulations to generate full dosimetric characterizations of Elekta’s radiotherapy equipment (accelerators, multi-leaf collimators, and electronic portal imaging devices). We will also handle metrology and quality control. – M edical dosimetry optimization: We also formed a R&D partnership with esprimed, a provider of radioprotection and medical imaging equipment, to develop innovative systems for reducing the radiation exposure of patients and medical personnel. Under this partnership we will develop new tools and software, and use virtual reality technology to come up with simplified real-time radiation dose and/or dose distribution calculations. R&D for healthcare applications We strive to overcome technological hurdles along the entire healthcare value chain by developing high addedvalue solutions. Our innovations draw on our solid exp ert ise in sensors, software, robotics, and sensory interfaces. Our engineers work closely with industry partners, hospitals, and academic research centers (like INSERM), using the state-of-the-art radiotherapy and remote patient monitoring (RPM) tools and equipment at our DOSEO and MobileMii platforms. Healthcare R&D at CEA LIST focuses on three areas: – Instrumentation for radiotherapy and imaging: – Medical equipment and systems – Methods and software for simulation, modeling, image analysis (e.g., PET and spectroscopy), and personalized medicine – especially for radiotherapy – Measurement systems for vital signs and biomarkers. – Large-scale data analysis for medical diagnostics: – New drug development support in areas like efficacy, toxicity, time to market, and development cost and timeline – In vitro and/or in silico diagnostics – ICT-based assistance systems for the elderly and the disabled: – Medical robotics: surgical robots, positioning devices, carrying devices, etc – Assisted living and telemedicine R&D pipeline We are currently working on innovations in the fields of personalized and digital medicine: – S ensory interfaces coupled with communicating devices – Decision support software for doctors that can aggre gate and process data from medical questionnaires, biological indicators, blood and urine markers, and more – M odeling and simulation software to help doctors select the right treatments – Data encryption, storage, and security technology for medical data – Sensors and software to track companion tests We are also developing enhancements to technology used by doctors and patients, such as for rehabilitation and assisted living for the disabled and the elderly. This A year packed with innovation/Healthcare 13 CEA LIST 2012 ACTIVITY REPORT TECHNOLOGY FOR INDUSTRY: Healthcare “CEA LIST is overcoming technological hurdles across the entire healthcare value chain by integrating high-addedvalue solutions leveraging know-how in sensors, software, robotics, and sensory interfaces.” technology includes multimode imaging systems, robots for surgical training, and haptic feedback interfaces for improving surgeons’ precision. Our healthcare R&D is expanding to include wellness in general, with new developments for the cosmetics and food industries, for example. Some of our industry partners BA Systèmes, bioMérieux, Elekta, Endocontrol, esprimed, General Electric Healthcare, Kinova, Robosoft, SQI, Therenva. ■ 14 CEA LIST 2012 ACTIVITY REPORT 15 DRIVING INDUSTRY THROUGH R&D/ Advanced manu facturing CEA LIST 15 2012 ACTIVITY REPORT Advanced manu facturing We boast solid expertise in the full range of advanced manufacturing technologies, helping companies run more agile, efficient, responsive, and competitive production lines. Our scientists and engineers have strong skills in algorithms for augmented reality, knowledge management, and process control – for advanced manufacturing systems with exceptional added value. Our advanced manufacturing R&D focuses on three areas: – Non-destructive testing (NDT): modeling of physical phenomena, NDT simulations, testing data reconstruction, innovative procedures (e.g., acoustic, electromagnetic, and guided‑wave), embedded processing methods, innovative sensors, 3D vision systems, and more – Virtual and augmented reality: workstation ergonomics, feasibility of maintenance operator movements, production line setup, operator training, and more – Interactive robotics: remote handling, remote operation, mobile robotics, cobotics, and more 16 CEA LIST 2012 ACTIVITY REPORT With 24 degrees of freedom, anthropomorphic kinematics, and exceptional dexterity, our new robotic device goes way beyond even the best robotic grippers. It can do things that were previously only capable by human hands, like repeatedly grasping and manipulating fragile objects and reorienting objects it has picked up. Scientific advancements Robotic manipulators become even more like human hands O Our work on this robotic arm was carried out under the EU Handle Project (Seventh Framework Programme) and incorporates several engineering advancements. The main one is the use of human hand kinematics with 24 degrees of freedom – a first of its kind for allpurpose grippers. Another advancement is the use of a mechanical network of bodies, tendons, and pulleys to transfer motion, making the arm both lightweight and extremely versatile. We have filed three patents related to this technology and are in talks with industry partners. The EU project ended in early 2013, but we are continuing to develop high-level control strategies for calculating the contact force needed to manipulate objects in a robust manner. We are initially targeting applications in cobotics and assisted living for the disabled. Our arm has already been validated through high-level testing, paving the way for a promising future. ■ Precise, yet fluid movements ■ Ob jectives Our engineers carefully designed the routing of tendons to prevent friction and hysteresis, which are often what make robotic movements jerky and blunt. The tendons are short, since the motors are located in the palm, near the robotic fingers. And the pulleys’ tangent points are on the same rotation axis as the finger joints. Mechanical transmission in the arm can be reversed, for a more granular perception of force at the actuators. Three new patent applications Our new robotic arm can pick up and manipulate a light bulb without breaking it, for example, and can perform in-hand manipulations like turning over a light bulb held in its palm. This opens the door to a slew of new functions and tasks impossible with conventional robotic grippers. Develop an industrial robot that can perform certain tasks with the precision of a human hand ■ C hallenges – Cutting the size of actuators in half so they can be installed in the hand, near the finger joints – Moving the robot’s control system out of the hand – Creating a hand that can operate independently and can be plugged into any type of manipulating arm. ■ A pplications – A third hand for operators on mounting and assembly lines, to guide and assist operator movements – Assistance for the physically disabled 17 DRIVING INDUSTRY THROUGH R&D/ Advanced Manufacturing/ CEA LIST Smart manipulation 2012 ACTIVITY REPORT René-Paul Benard, Head of Business Development, SEIV (an Alcen company) “CEA LIST researchers understand our business mentality” “Our company’s growth is fuelled by innovation, whether in terms of new technology or new products. But we don’t always have all the skills in-house – like for sensors, signal processing, and interactive systems. That’s why we teamed up with CEA LIST for a major project, after they demonstrated their capacity to lead our R&D projects from start to finish. Once again, everything went exactly as hoped. CEA LIST researchers understand our business mentality – which is something you don’t find very often. They put themselves in users’ shoes, take into account onsite constraints, and work quickly with a pragmatic approach. They stuck to the project schedule; we have already shown an initial demonstrator to a customer and put on a concept demo at an industry trade show.” Lightweight robotic arms get even safer The control strategies of a lightweight robotic arm with seven degrees of freedom were improved to deliver even better safety Thanks to these advancements, operators and robotic arms working safely in tandem at the same workstation could soon become a reality. We have already contacted several industry partners to develop the technology. We are also looking at further improvements, this time addressing reaction strategies after a collision is detected. They will be rolled out at the Jules Verne Technology Research Institute in Nantes, France. Increasingly realistic rendering for smoke propagation simulations At CEA LIST, we have developed a simplified discretization method – and therefore greater precision. This gives users more realistic renderings of their scenarios. The method can be used to mitigate risk at industrial sites and urban areas, optimize gas flows, reduce operator exposure, and more. It simulates smoke propagation as well as interactions with complex objects in the environment. We are in talks with several industry partners on ways to leverage this technology. and performance. Mechanical vibration during fast point-to-point movements been slashed, and the collision detection threshold – triggering an emergency stop – has also been lowered by a factor of four. for simulating the propagation of smoke in industrial environments. Our method cuts the calculation time by 25%, meaning it can model smoke, its temperature, and its concentration with a smaller primitive cell 18 CEA LIST 2012 ACTIVITY REPORT Astrid, a fourth-generation nuclear reactor prototype developed by the CEA, uses sodium as a coolant. Which raises the issue of how to inspect tanks – filled with an opaque, 200°C liquid – during scheduled plant shutdowns. At CEA LIST, we came up with a solution in the form of phased array sensors capable of imaging submerged parts of the reactor rather than isolated points. Scientific advancements Inspection tools: “looking inside” sodium at 200⁰C G Generating ultrasound waves right in the sodium Because sodium is opaque, optical inspection methods cannot be used. Therefore our researchers opted for ultrasound. Our new phased array sensors feature an innovation that conventional piezoelectric sensors used to generate ultrasound waves do not offer. Our sensors can generate ultrasound waves directly in the sodium, with no wetting issues – offering a significant advantage over conventional piezoelectric sensors, which cannot transmit ultrasound waves effectively in liquid sodium. This is due to the interaction of eddy currents generated by a coil and the static magnetic field produced by a permanently-installed magnet. The simulation enabled our researchers to design and optimize the sensors, placing the coils at the best possible positions within the housing. Our new sensors have eight elements, each of which produces an acoustical wave, which, when added to the waves produced by the other element, forms a wave that is propagated in a given direction. This avoids needlessly moving the sensors around mechanically, since an image of a particular area of the reactor can be generated from a single position. Improving service through remote measurement Our multielement sensors were tested in a sodium tank at CEA Cadarache. We assessed the system’s remote measurement and imaging capabilities with satisfactory results. Accuracy was good and the sensors were robust enough to withstand the high temperature of the liquid sodium. Additional tests will be performed later in 2013, with the goal of assessing how well the sensors can detect cracks in metal parts immersed in the sodium. We will once again turn to our CIVA software – this time to further improve the method’s performance – and develop enhanced sensors. At this stage, our innovative sensors look extremely promising. Because they have multiple elements, they can generate images of areas of around a hundred pixels, giving reactor inspectors more complete information than measurements taken at isolated points. ■ ■ Ob jective Develop inspection tools suitable for use in fourthgeneration nuclear reactor tanks, which are filled with liquid sodium heated to 200°C ■ C hallenges – Design instrumentation that can be operated at 200°C – Obtain measurements accurate down to the millimeter – Avoid the wetting problems encountered with piezoelectric ultrasonic sensors ■ A pplications Inspection of nuclear reactor sodium tanks 19 DRIVING INDUSTRY THROUGH R&D/ Advanced Manufacturing/ CEA LIST Industrial inspection 2012 ACTIVITY REPORT Waste sorting: high‑throughput X-ray fluorescence keeps pace Very small (up to one sq. cm.) fragments of plastic waste passing at speeds of three meters per second Laurent Pomié, Project Manager, Technip Subsea “CEA LIST helped us leverage our innovations” “When hydrocarbon mixes with water in a pipeline, gas hydrate plugs can form, halting production. Our innovative heated subsea pipeline technology for hydrocarbon transportation in deep water has to be capable of breaking up the plugs. CEA LIST helped us to take our innovation even further. By using guided longrange acoustic waves, we can now locate and characterize the plugs, which can sometimes be several hundred meters long. This enables us to adjust the heat so that the plugs are dissolved very gradually, greatly reducing the risk of pipeline damage. The results from initial lab testing are conclusive. We hope to get the product on the market within three to five years. LIST has brought us expertise in technologies that are completely new to us.” can now be sorted using rare-earth-metal tracers with a concentration of just several hundred ppm and highthroughput X-ray fluorescence imaging. This new technology, which is currently being scaled up for industrial rollout, is still undergoing improvements. It will open the door to new techniques for recycling black polymer waste, which cannot be sorted using currentlyavailable methods. Our new technology can also be used to sort metal waste. The research project, which is funded by the French National Research Agency, brings together our industry partners Pellenc ST – the world’s second-largest waste-sorting-machine manufacturer –, Plastic Omnium, and Renault, which, as a car manufacturer, must promote the recycling of the vehicles it makes. A custom NDT method for a complex metallurgical structure We have developed a custom ultrasound testing method to inspect 14-inch duplex-stainless-steel T-joint welds. Conventional sensors could not be used on these types of welds due to the offtake’s curved geometry and the material’s “noisy” measurement output. Our researchers designed an articulated multielement sensor capable of following the fillet curve radius (50 mm) and able to operate at a frequency (500 kHz) appropriate to the material’s grade. The testing trajectory, sensor angle, and acoustics were optimized and validated on our CIVA simulation software. Defects of at least 6 mm were successfully detected, meeting the safety requirements of the industry concerned. CIVA tackles increasingly complex simulation tasks Our CIVA modeling software has a new module that can simulate real-world inspection configurations complicated by phenomena like creeping waves, complex interactions, and anisotropic media. CIVA’s semi-analytical methods were paired with the Athena finite element code developed by EDF R&D. This code factors in all physical phenomena and can respond to a number of situations for which there was previously no solution. It leverages the numerical discretization of complete physical models; the only drawback is it requires a longer computation time. However to keep computation time to within reasonable lengths, the module uses only numerical methods for the sections of a part that require it. The module is the fruit of joint development work by the CEA and EDF, and has already been delivered to several customers – including EDF, where it is used in the project qualification process. 20 CEA LIST 2012 ACTIVITY REPORT 21 DRIVING INDUSTRY THROUGH R&D/ Embedded systems CEA LIST 21 2012 ACTIVITY REPORT Embedded systems At CEA LIST we develop software and equipment for embedded systems, using advanced tools and methods to ensure their dependability, security, reliability, and performance. We work with companies in the energy, avionics, aerospace, automotive, and railroad industries. In the past few years we have also started addressing challenges in the healthcare and telecoms industries. Our strengths in this field include: – Integrating architecture, software, and equipment to improve overall system performance – Developing complex embedded systems with multiple functions that require a lot of processing power (like for managing big data) and/or are critical for safety – Deploying our stable, long-lasting open source software – Papyrus and Frama-C – for systems design, modeling, and validation Thanks to our recognized expertise in embedded systems, we are attracting an increasing number of industry partners from around the world. 22 CEA LIST 2012 ACTIVITY REPORT Scientific advancements Comparing parallel architectures before the development phase live with such huge uncertainty. Now they can compare several program/processor/parallel-programmingmodel systems before selecting the one they will use. The method can be applied very early on in the design process and substantially reduces the gap between predicted and actual processing power. The error rate was less than 20% when used on a pedestrian detection program developed by CEA LIST. Nodes, hot points, and signatures Our evaluation method lets engineers predict the performance of a program running on parallel processors. This marks a revolution, since such predictions are typically difficult to make and often inaccurate, with gaps of 50% and more between predicted and actual performance. W What’s the point of investing in parallel processors if they don’t deliver the expected performance? Nevertheless, today such disappointments are commonplace. Engineers usually have to fly blind, selecting hardware without knowing its actual performance until some three months later. Sometimes the actual processing power is 70% less than what was initially specified! Shrinking the margin of error to less than 20% With the new evaluation method developed on our Embedded Systems platform, engineers no longer have to This breakthrough was achieved by using programming fragments, or “nodes.” The nodes were developed through an expert approach to determine the representative basic functions of all behaviors in a given application; for example, the location of data, how regularly instructions are transmitted, the order of operations, and the type of parallel structure. The node behaviors were characterized with around ten variables, resulting in a “signature” for each node. To evaluate the performance of a program, engineers first identify its hot points – i.e., the sections of code that require the most run time – and determine these hot points’ signatures. They then search the database of nodes for ones with the same behaviors, and simulate the execution of these nodes to extrapolate the program’s actual performance. The method currently has a database of around a dozen application nodes (for applications like image processing, content analysis, and tomography), six parallel processors, and three programming models: OpenMP, PthreadFarming, and OpenCL. It is available to CEA LIST industry partners but is not yet on the market. ■ ■ Ob jective Improve the performance of a parallel processing application by selecting a processor and parallel programming model before the development phase ■ C hallenges – Obtaining the most representative nodes of each program – Predicting actual processing power with good accuracy ■ a pplications Initially deployed in embedded vision systems, the method could be used for all data processing applications 23 DRIVING INDUSTRY THROUGH R&D/ Embedded systems/ CEA LIST Architectures and software 2012 ACTIVITY REPORT for embedded systems First deployments for cabling diagnostics in the aerospace and railroad industries CEA LIST helped WiN MS, a start-up created Marc Pollina, President of M3 Systems “Incorporate image processing into signal processing” “M3 Systems provides engineering and design services for radio signal processing in the aerospace and defense industries. We are laying the groundwork for a major step forward: the expansion of our business to image processing. We plan to offer services for ASICs and printed circuit boards that combine radio signal and image processing. We work with several research centers, but this strategic project is being carried out at a joint laboratory with CEA LIST. Their engineers develop genuine industrial technology, beyond simple R&D prototypes. They can help us with the electronic integration of our new products.” in early 2012, transfer to industry two electric cabling diagnostic systems. The first, supplied to Lufthansa, cuts the time needed to locate and repair an electrical fault on an airplane by a factor of five. The second, installed at a French railroad company (SNCF) test site in November 2012, signals any electric cable theft. It can detect and locate outages with <100 meter precision – helping the police track down culprits. We set up a joint laboratory with WiN MS to develop system enhancements as well as new products. Several technological hurdles should be overcome in 2013, paving the way for significant business development. Neuromorphic circuit demonstrations for highway safety Our engineers carried out a demonstration of a new neuroinspired processor architecture using phase-change random access memory (PCRAM) on a video of a highway. The architecture can, with the help of a learning algorithm, independently identify repetitive phenomena like cars passing by. This marks the first step towards detecting aberrant events like a pedestrian crossing the road or a car stopping in the middle of the highway. The architecture contains 2 million synaptic devices. It can be used for processing other types of natural data, such as for audio surveillance or detecting chemical signals. The next step is to design a hybrid circuit with CMOS components and CBRAM-based synaptic devices. Two patents have been filed based on this research. CEA LIST makes it possible to run programs on encrypted data Our cryptocalculator prototype, initially used on basic algorithms (like discriminant calculations, table sums, and bubble sorting), proves that programs can be run on encrypted data – without prohibitively-long processing times. And its solid cryptographic primitives ensure excellent security regardless of the hardware used. Today our engineers are working to improve this first mathematical node by setting new standards in performance and employing more advanced algorithms. The cryptocalculator uses homomorphic systems and targets a large scope of potential applications like secure cloud computing, medical databases, and internet companies’ usage of personal data. 24 CEA LIST 2012 ACTIVITY REPORT Scientific advancements Embedded digital software: validating systems from the ground up To ensure accurate computation, embedded digital software developers must validate the basic software functions, or the library of software building blocks on which all applications rely – a particularly tricky step many developers balk at. Fluctuat, developed by CEA LIST, simplifies basic function validation. This new tool was used in a one‑month study to validate an automotive component manufacturer’s entire library. Once basic functions have been validated by Fluctuat, embedded digital software developers can rest assured that their building blocks are 100% reliable. Going beyond validation to improve libraries d Developing embedded digital software entails combining several components that are built from basic functions found in libraries. To avoid computation errors due to f loating-point numbers, developers count on functions that are accurate and, if possible, fast and resource-efficient. Ensuring 100% reliable basic functions In practice, developers often perform lengthy, costly, and error-prone testing-based validation. Fluctuat is light years ahead, covering all possible use scenarios and entry values. Fluctuat identifies critical points, and then generates and executes the corresponding tests, indicating the exact origin of any errors found. “We were able to form partnerships with international‑caliber experts.” John Murray, SRI The crowdsourced formal verification project is just getting underway. What objectives did you set for CEA LIST? SRI International is working with CEA LIST on this three-year research project to build a suite of automated software verification tools. These advanced tools – specialized enhancements to CEA LIST’s Frama-C product – will ultimately help significantly improve the safety and reliability of Fluctuat was used to validate a German automotive component manufacturer’s function library, and the results of the study confirm our tool’s potential. In just one month, the entire library of basic, transcendental, and interpolation functions and digital filters was validated. The results included verification of each function’s supposed degree of accuracy. The study also provided an opportunity to refine all of the entry field criteria. The study covered: – Automatic propagation of rounding errors by static analysis and abstract interpretation – Reasoning separating method errors (introduced by an algorithmic choice) and implementation errors (roundoff error propagated by the calculations) – Case-by-case reasoning depending on entry fields – Automatic identification and symbolic execution of worst-case scenarios ■ ■ Ob jective Guarantee the quality and reliability of floatingpoint calculations for a library of functions many critical software applications around the world. How will you use the findings of the research? This is a very aggressive research program that addresses numerous complex software problems in highlyinnovative ways. We are very satisfied with the progress at CEA LIST so far, and we anticipate that our continued collaboration will produce many more benefits for our clients. We are working on a large system called CHEKOFV that uses crowdsourcing techniques to assist in the search for hidden software vulnerabilities. The new automated verification tools from CEA LIST will be integrated into CHEKOFV, which is being developed in partnership with our digital games studies colleagues at the University of California, Santa Cruz. Why did you choose a partner in France rather than one in the United States for this project? In all of our initiatives, SRI seeks to form 25 DRIVING INDUSTRY THROUGH R&D/ Embedded systems/ CEA LIST Software and systems engineering 2012 ACTIVITY REPORT ■ C hallenges – Come up with a formalproof-based approach capable of guaranteeing function speed and accuracy – Complete the study on time and at the lowest possible cost – Examine properties that were not accurately specified, and therefore ensure maximum accuracy of analyses for a very broad operating range ■ A pplications – Formal validation of all types of function libraries, including design department native functions (Matlab/Simulink, Scade, etc.) and expanded or redefined functions – Can be used for critical and widely-distributed software, where postrelease bug fixes are very costly partnerships with world-class specialists and research institutions, regardless of their physical location or national affiliation. As an independent not-for-profit research organization, we are free of the need to address the broader corporate goals that are typical of parent companies or regional sponsors. This independence enables us to concentrate on striving for our vision of excellence in “science without borders.” Cybersecurity: formal verification now possible Our Frama-C application has successfully performed the formal verification of certain security properties of a secure remote access software. Our application detected a vulnerability in the software, which the developer was able to fix rapidly – proof of our application’s added value. Frama-C can be used to verify any software along the cybersecurity chain. It makes sure there are no vulnerabilities that could compromise data confidentiality and integrity or reduce system uptime. An EU-backed basic research project to expand the application’s use to C++ and Java-based applications is underway, with organizations like Dassault Aviation, Fraunhofer FOKUS, Thales, and Infineon among the line-up of partners. At the same time, a new start-up will make the formal verification techniques developed under this project available to the cybersecurity industry. Critical systems modeling: Scade System now available Scade System, the critical systems modeling software we developed in association with Esterel Technologies, was released in April 2012. Several manufacturers in the avionics and railroad industries have ordered the software to roll out their development processes on an industrial scale while maintaining the highest safety standards. At the same time, LISTerel, our joint lab with Esterel Technologies, has been extended through 2015. The lab’s researchers will be working on expanding Scade System’s capabilities to complete systems like an entire plane, including passengers, ground staff, and maintenance staff. The researchers will go beyond merely describing the systems’ architectures to developing descriptions of the systems’ behaviors. The goal is to facilitate and guide the design process before the software coding phase. Automotive design: Renault gets an integrated toolchain prototype We have delivered an integrated toolchain prototype to car maker Renault. Our automotive systems development toolchain leverages a model of the entire systems engineering process to produce models for each stage of the design cycle, identifying interactions and dependencies between system components and process stakeholders. Renault plans to use toolchain-type tools to speed the development of new systems and ensure compliance with the company’s systems engineering process. Our toolchain prototype partially supports aspects like system functional specifications, safety analyses, embedded software architecture design, and product line characterization. Our researchers used our modeldriven engineering platform Papyrus to design the toolchain prototype to meet automotive-industry needs. 26 CEA LIST 2012 ACTIVITY REPORT 27 DRIVING INDUSTRY THROUGH R&D/ Ambient intelligence CEA LIST 27 2012 ACTIVITY REPORT Ambient intel ligence Nearly 200 CEA LIST researchers work in the field of ambient intelligence, developing tools to enhance our understanding of our environment and extract the information that is most useful to humans. The potential applications for ambient intelligence are vast, from safety and security – with technologies to improve pedestrian detection and video surveillance, for example – to healthcare, energy, transportation, and, finally, the digital economy with better data analysis and filtering and more powerful search engines. The tools developed at CEA LIST are the fruits of three complementary research areas: – Innovative sensors, instrumentation, and metrology – Multimedia data processing and big data for the conversion of data into environmental perception information – Human-system interactions, bringing together safe, powerful communicating systems, multisensory interfaces like touch screens, and image processing and augmented and virtual reality 28 CEA LIST 2012 ACTIVITY REPORT Customers in the market for a new car will soon be able to change their chosen car’s colour, texture, and accessories – right on the showroom floor. This enhanced buying experience is made possible by highprecision, real-time 3D image calibration and a tablet-compatible augmented reality application. Scientific advancements High-precision 3D calibration enhances the car-buying experience 3 3D calibration for augmented reality is nothing new. However, up until now it required placing markers, measuring their positions, and “teaching” the system – an experts-only process too long and arduous to perform on multiple objects. But now, all of this can be completed in just one minute, thanks to CEA LIST technology that has been transferred to start-up Diotasoft, which is already working with Renault. Today the technology is at the prototype stage, and is capable of delivering a photorealistic augmented reality experience without markers and right on the sales floor thanks to the Selltic Tablet, a lightweight, easy to use selling tool. The 3D configurator, which can be accessed either on line or at the showroom, lets customers personalize their car’s paint and interior colours, decals, accessories, and customizations. The configurator then lets customers view the results in virtual reality mode on an actual car on the showroom floor. Customers simply walk around the vehicle, viewing it through the Selltic tablet to see ‘their’ car. The prototype lets customers see a real car with all of the available interior and exterior options. A breakthrough solution This breakthrough solution is based on a simple idea: integrate information inherent to the 3D model of the object being observed into an image processing software module (with simultaneous location and mapping). Despite a number of constraints – such as handling complex shapes and textures, a large range of move ment, objects behind other objects, varied lighting, and down-to-the-pixel accuracy –the application had to be robust. The augmented reality solution transferred to Diotasoft is the new state of the art, with the most sta ble, jitter-free calibration in the world. Our researchers overcame the challenge of how to simultaneously resolve in a non-linear system the geometrical constraints inherent to the 3D model of the object, and the constraints inherent to the 3D reconstruction of a scene from video. They also brought home a big win in terms of software, by executing the application on a tablet in real time. This patented technology is likely to be found outside the world of retail, with potential uses encompassing design, education, and maintenance. ■ ■ Ob jective Proposer une solution générique de réalité augmentée sur objet 3D ■ C hallenges – Develop 3D location software for a mobile camera that is accurate, does not require markers, and can handle variations in lighting, a large range of motion, objects behind other objects, and a wide variety of object shapes and sizes – Optimize computation for compatibility with tablets ■ A pplications – Sales support (technology transferred to Diotasoft) – Support for design, education, maintenance, visual inspection, and visual warning systems for robots 29 DRIVING INDUSTRY THROUGH R&D/ Ambient intelligence / CEA LIST Multimedia, virtual reality, and user interfaces 2012 ACTIVITY REPORT Getting closer to a vibrotactile button for windows and dashboards A vibrotactile button concept for large surface areas (up to 55 inches) The vibrotactile feedback lets users OK a task or slide a cursor across a surface – without looking at the screen. The membrane can also vibrate at frequencies up to 20 kHz, enabling it to emit sounds. A PhD research project is currently underway to refine the vibrotactile feedback and allow for audio feedback separate from the tactile feedback. This type of system could be used on windows, glass display cases, car dashboards, and all types of screens for the visually impaired. Pedestrian detection at construction sites: improved robustness thanks to 3D We have developed a 3D shape recognition method to improve Combining 2D and 3D recognition brings a major improvement over using 2D alone. In the testing phase, false alarms were reduced by half at an equivalent number of correct detections. Thanks to a joint lab with CEA LIST, Arcure was able to rapidly integrate the method into its Blaxtair® system – an advancement that will let the start-up respond even better to the needs of the construction, mining, quarry, manufacturing, and supply chain industries. Each year in France, collisions between construction equipment or vehicles and pedestrians cause some 150 serious accidents and 15 deaths. Cellular networks: easing the pressure on the central mobility management server Our researchers have patented the PMIP-IA, an extension of the Proxy advanced control of communications, from content filtering and traffic inspection to court-ordered wiretaps. PMIP-IA can dynamically switch to an alternative server to follow users’ movements or to respond to increased demand on the network. The technology was shown to some 200 network experts and decision makers from across Europe at Celtic-Plus Event 2012, and has been recommended to the Network-Based Mobility Extensions working group of the Internet Engineering Task Force (IETF), a standards organization. Electronic document management: perform queries from full documents You no longer need to rack your brain for the best keywords when searching a database. Simply submit partner with whom we run a joint lab. Queries can be performed in French, English, and Arabic, and can be used to easily locate different versions of the same document or documents with similar content. Execution times are similar to those for traditional keyword queries. Ant’Inno will soon integrate the tool into its Ant’Box EDM solution, which will also feature an automatic keyword summary engine developed in 2012. has been validated on an A4-format tablet. The concept leverages a piezoelectric transducer mechanically coupled with the interaction surface. The system provides two forms of vibrotactile feedback: the flesh on the user’s finger can be either depressed or stretched. the robustness of systems to detect pedestrians near motor vehicles and motorized construction equipment. The method is used in conjunction with 2D shape recognition, enhancing information like a shape’s contours and textures to better discriminate pedestrians from other obstacles or equipment in the immediate vicinity. Routage mobile Routage optimisé INTERNET Routage intervéhiculaire standard Mobile IPv6 telecommunications protocol for network-based mobility management. PMIP-IA selects one or more alternative data processing servers, which may or may not be on the mobile operator’s network, to keep the core network from becoming saturated during times of peak internet traffic. The mobile operator retains a full document to find similar documents in the database. This new query method is made possible by a tool we have developed and transferred to Ant’Inno, an industry 30 CEA LIST 2012 ACTIVITY REPORT Scientific advancements Diamond transistors: state-of-the-art, reproducible delta-doped layers A new gas injection system has made it possible to reproducibly synthesize deltadoped diamond layers less than 9 nm thick. This advancement marks an important step toward diamond transistors that can operate at high power and high temperatures. B Better control of doping is one of the keys to perfecting tomorrow’s diamond transistors. The aeronautics and space industries are anxiously awaiting the transistors, which can withstand high breakdown voltages and temperatures of up to 700°C (versus 150°C for silicon transistors), making them suitable for embedded electronics. Dopant concentrations slashed tenfold for 2.5 nm thicknesses N-type doping is currently limited by the number of donors. That’s why scientists are looking to p-type boron doping, used in conjunction with an original architecture: a highly-boron-doped nanometric layer works as a channel between two low-doped layers serving as source and drain. Our researchers have successfully synthesized the layers in a reproducible manner. Furthermore, the interface angles between the layers are state of the art. Boron concentrations can vary by one order of magnitude for thicknesses of 2.5 nm – a determining factor in the proper electrical functioning of the transistor. Gases injected close to the diamond layer The conventional technique consists of introducing a boron bar into a plasma CVD chamber, where the crystalline growth of the diamond layers occur, and then withdrawing it. Difficulties in introducing and withdrawing the boron bar accurately are what make the process hard to reproduce. Our researchers brought the reactive species as close to the diamond substrate as possible in gas form, using an injector controlled by a translator with down-to-themillimetre accuracy. The operation is performed at a specific pressure and temperature, and the plasma CVD chamber is activated by a microwave field. This results in perfect control over the doping process, with concentrations of 2x1020 boron atoms per cm3 in the 9-nm delta-doped layer, compared to 5x1016 boron atoms per cm3 in the two “sandwich” layers. We are now one of the few labs in the world to fully master this technique. If mobility measurements of the carriers in these structures are conclusive, RF switches should be the first diamond-transistor-based components to emerge. ■ ■ Ob jective Control the doping of monocrystalline diamond layers with a view to making diamond transistors ■ C hallenges – Create highly-doped and low-doped layers in a reproducible manner. – Obtain steep interface angles between the layers to create interlayer pathways of just a few nanometers. ■ a pplications Embedded electronics capable of operating at high power and high temperatures (up to 700°C) for aeronautics and space applications 31 DRIVING INDUSTRY THROUGH R&D/ Ambient intelligence / CEA LIST Sensors, signals and information 2012 ACTIVITY REPORT Yanis Caritu, VP Innovation, Movea “Our joint lab with the CEA is one of our most valuable R&D assets” “The money we spend on this lab is totally justified; it drives our basic research and enables us to overcome a number of sticking points. CEA LIST supports us on software, most often to get our prototypes performing optimally. The institute has developed some original methods for maximizing the accuracy of our swimming distance measurement system sold at Decathlon sporting goods stores. The institute also helps us reduce the energy consumption of the algorithms used in our smartphone applications by bringing the number of computation instructions down to a minimum – without compromising performance. And for our pedestrian location systems, CEA LIST consolidates a person’s movement data with a floor plan of the building where he or she is located. With CEA LIST’s biomechanical models, we get human avatars offering almost the same level of performance as the world’s leading specialist – but with our low-cost sensors.” Positron emission tomography: injected dosages could be slashed tenfold We are pursuing the validation of Esteban, an image reconstruction algorithm for positron emission tomography (PET). In proof-of-concept testing, the algorithm was interfaced with two clinical systems at the Orsay Medical Centre’s nuclear medicine department (Service hospitalier Frédéric-Joliot), where several reconstructions were executed on real data. It now appears possible to reduce the injected dosages of radioactive tracers tenfold while maintaining good image and interpretation quality. Furthermore, the software provides a reconstruction uncertainty rating. Esteban could be integrated into future generations of PET scanners, improving care for patients with cancer and neurological diseases. And lower injected dosages could make PET scans appropriate for paediatric care. Crisis management: Descartes helps emergency workers communicate and cooperate The Descartes civilian crisis management system was tested during an exercise that included representatives from a Prefecture, a fire brigade, and the police, as well as healthcare workers. Following the demonstration, the technology bricks underpinning the system – developed as part of a multi-partner project with CEA LIST – were transferred to an industrial partner. A total of three modules have been developed: – An event monitoring tool that detects, analyses, and summarizes news about the crisis published on the internet –A tool to model human knowledge based on fuzzy rules, with decisions recommended according to the particular situation –A tool for training field staff, where a virtual reality system simulates actual operations in affected areas and replicates details like how smoke spreads during a fire Underwater explosive detection in ten minutes The partners in the EU Uncoss (“Underwater coastal sea surveyor”) project have demonstrated through in situ testing the potential of their system to detect explosives in metal objects on the sea floor. CEA LIST and CEA DEN worked together to develop an acquisition system compact enough to be installed on a midget submarine. The system can detect any explosives present in around ten minutes. The project partners chose active neutron interrogation – never before used under water. Our engineers developed a complete measurement chain, which, despite the thickness of the metal containers, can distinguish those filled with sediment from those containing explosives. The primary application for the new system is port security, where it will be used to detect undetonated explosive devices from past armed conflicts. 32 CEA LIST 2012 ACTIVITY REPORT Scientific advancements Beta emitters: exchange effect present at low energy levels The “exchange effect” is a little‑known physical phenomenon that can change the average energy of a beta emitter spectrum by 2.2%. It also increases the probability of emission for very low energy levels by more than 20%. These results – obtained in the first‑ever study at such low energy levels – have repercussions for both nuclear medicine and nuclear energy. The first-ever demonstration at 200 eV W When a beta emitter disintegrates, the beta electron creation process can be altered by the “exchange effect.” This phenomenon does not change the maximum energy produced, but it does influence the shape – and thus the average energy – of the spectrum. At very low energy, the shape of radionuclide beta spectrum changes And for the very first time, our researchers have assessed this influence down to a very low energy level – 200 eV. The exchange effect, very weak at 10 keV and above, plays a major role here. The findings of our research will have repercussions for the nuclear industry (for quantifying the residual heat of a reactor core once the reactor has been shut down, for instance) and for nuclear medicine (where it could help reduce uncertainty in source activity measurements). At 200 eV, the exchange effect increased the probability of emission by 23% for nickel-63, thus lowering the spectrum’s average energy by 2.2% – the desired uncertainty level is ten times lower. Overall, the effect shortens the radionuclide’s radioactive period. The results were obtained using a metal magnetic calorimeter we have developed. The temperature inside the calorimeter is close to absolute zero, and the energy of each particle is measured according to the temperature rise it causes. The energy detection threshold is very low (200 eV in this case), and detection yields are close to 100% for the entire spectrum. Linearity is excellent over more than two orders of magnitude of energy, for accurate measurement of the shape of beta spectra. Our researchers also made a source from nickel-63 electrodeposited on a gold leaf and enclosed within a magnetic calorimeter. The spectrum obtained matched the theoretical spectra calculated using our BetaShape code. This is the first time that the exchange effect has been confirmed empirically for such a low energy level. The only other experiment of this kind was carried out at energy levels greater than 8 keV. ■ ■ Ob jective Demonstrate the substantial influence of the exchange effect at very low energy thresholds ■ C hallenges – Develop a cryogenic detector with a very low energy detection threshold. – Work at close to absolute zero (15 mK) ■ a pplications – Metrology of pure beta emitters for nuclear medicine – Quantification of residual heat in the cores of nuclear reactors after shutdown 33 DRIVING INDUSTRY THROUGH R&D/ Ambient intelligence / CEA LIST Ionizing radiations metrology 2012 ACTIVITY REPORT Radiation treatment: medium-energy X-rays at less than 1% uncertainty We have developed a new water calorimeter giving us new metrological Laetitia Marchand, Measurement, Innovation, and Methods Manager, CERCA LEA (Activity Standards Laboratory) “LNHB is a partner we can count on 100%” “We provide radioactive standard reference materials to the nuclear and nuclear medicine industries and research labs. Our partnership with LHNB is crucial to the quality of our products and the accuracy of our measurements. LNHB more than meets our expectations, whether it is for recurrent and scheduled activities or the unexpected situations that sometimes come up in our line of business. We occasionally need special measurements or receive new products. And sometimes our measurement equipment breaks down. In 2012 we suffered an equipment breakdown that put a number of our metrological calibrations in jeopardy. The people at the CEA immediately helped us re-establish the calibrations needed for our measurement activities.” dosimetric references at less than 1% uncertainty for medium-energy X-rays. The X-rays (with acceleration voltages ranging from 80 kV to 300 kV) are used in external radiation treatment for diseases like skin cancer and bone metastases. Until now, references were expressed in terms of air kerma rate (AKR), with uncertainties two to three times greater. Our new calorimeter can be used to calibrate dosimeters directly in terms of absorbed dose to water, in line with International Atomic Energy Agency recommendations. It can detect water temperature variations down to just a few microkelvins. These results confirm findings obtained indirectly on several medium-energy X-ray beams with two ionisation chambers calibrated in AKR. Astrophysics: X- and gamma-ray detector matrix tested pixel by pixel A 32-pixel matrix of X-ray and gamma-ray detectors was tested and characterized pixel by pixel on the SOLEX (Source of Low-energy X-rays) equipment at the Laboratoire national HenriBecquerel. The detector will be used on a Franco-Chinese space mission to study the formation of stars and galaxies during an early era, which will require a very low detection limit – ideally under 6 keV. The researchers calibrated a gas proportional counter for a wide range of energies in order to measure the incident flux of photons with a precision of better than 2%. The inhomogeneities between pixels were characterized in order to make the necessary corrections. More detailed testing is now planned, since the finished detector will count 200 of the matrices. Dosimetry: better characterization of low‑energy X- and gamma-ray photon beams A PhD dissertation underway at CEA LIST is looking at the use of semiconductor‑based detectors to better characterize the X-ray sources used in brachytherapy, radiotherapy, and radiation diagnosis. Two positioning benches have been developed to perfectly align the detectors with the beams, and two semiconductorbased detectors (one silicon and the other germanium) have been calibrated. Their combined use can reliably determine a source emission spectrum. As an example, the pulsed beam used in mammography equipment (25 keV) was characterized. The research is continuing with the study of higher energy levels (up to 200 keV) and will also include the contribution of parasite scattering emissions from the detection system itself. 34 CEA LIST 2012 ACTIVITY REPORT Start-up news Arcure pedestrian detection system gets off on the right foot Arcure’s pedestrian detection system Blaxtair® has been adopted by the manufacturing and supply chain industries, where it is helping make forklift operation safer and preventing collisions with pedestrians. In 2012 the system also made it into the public works, manufacturing, and recycling machine catalogues of leaders like Bomag, Caterpillar, Fenwick, and Liebherr. Arcure is now looking to the manufacturing and mining industries to drive export sales growth. M2M celebrates its first decade M2M, which specializes in non-destructive testing, celebrated its tenth anniversary in 2012 with growth of 10%, some ten distrib utors worldwide, and nearly 400 systems installed in 25 countries. The company completed the first integration of its surface-adaptive ultrasound (SAUL) techno logy for the testing in immersion of composite stiffeners at EADS Composites Aquitaine. On the R&D front, the Cortex 3D and TestPEP projects were successfully rolled out in November 2012 and April 2013. M2M subsidiary M2M do Brasil, founded three years ago, is participating in efforts to develop a standard for multielement sensors in Brazil. Extende reports growth of 35% Start-up Extende, the exclusive distributor of CIVA non-destructive testing software, with more than 200 customers in 37 countries, has obtained ISO 9001 certification. And as part of efforts to reduce its environmental impact, the company is currently working to earn ISO 14001 certification and actively applies the principles of the United Nations Global Compact. In 2012 Extende moved out of CEA LIST and into its very own offices. The company’s revenue grew by more than 35% to reach euros 2.5 million in 2012. Extende now has 12 employees. Virtual reality: Haption sets up shop in Germany Haption, which makes haptic interfaces for virtual reality applications, continues to expand. The company’s new system, called Scale1™, enables interaction with force-feedback in spaces up to 20 cubic meters. Haption also won some exciting new customers, with an order for around ten master arms from Areva for the Terman project. Haption recently set up its first foreign subsidiary, in Aachen, Germany. WiN MS reaches new heights in aeronautics WiN MS, an expert in monitoring and troubleshooting for cabling, continued to gain traction in the aeronautics market in 2012 with the European release of a new kit designed to speed aircraft cable maintenance. The company plans to release the product in the Middle East in 2013. In the meantime, WiN MS ramped up R&D for embedded applications with joint projects involving CEA LIST and other aeronautics-industry players. In the rail industry, WiN MS signed an agreement with a systems integrator for the promotion of its anti-theft systems for cabling. Diotasoft wins its first salessupport-system customers At Diotasoft, 2012 was marked by a new partnership with Renault to roll out Diotasoft’s Selltic™ systems Krono-Safe hires nine new employees Krono-Safe has hired nine new employees and raised euros 825,000 in fresh capital from two investors. The company works with Delphi, Renault, and Schneider Electric on a variety of industrial demonstrators. A collaborative project on Krono-Safe development tools started on 1 September 2012, bringing together partners like Schneider Electric, Sprinte, BA Systèmes, Delphi, and Alstom Transport. In other news, Krono-Safe won the Oséo/French Ministry of Research business start-up and development competition. for car sales. This year will see even more ambitious projects in the aeronautics and construction industries. Diotasoft now has a generic technology platform and differentiating hardware offer, leaving the company in a strong position for vertical integration in three markets: sales support, operator assistance, and training. DRIVING INDUSTRY THROUGH R&D/ Start-up news CEA LIST 35 2012 ACTIVITY REPORT be secure 2009 2009 2008 2009 0 2004 04 4 2011 2003 2003 2012 2002 2013 2001 36 CEA LIST 2012 ACTIVITY REPORT CEA Tech in the French provinces: Boosting tech nology transfer to SMEs CEA Tech has opened regional branch offices in Nantes, Bordeaux, and Toulouse to build stronger ties with local SMEs and better target its services to boost technology transfer. CEA LIST is one of three CEA research institutes involved in this experimental initiative to bolster the competitiveness of businesses in the French provinces. CEA Tech – the Technology Research Division’s new name – has opened regional offices in Nantes, Bordeaux, and Toulouse to move closer to industrial partners. Until now, CEA Tech had been organized around its flagship sites in Saclay and Grenoble, and 90% of its industrial partners were located in Greater Paris and the Rhône-Alpes region. The new offices were deemed crucial in expanding the organization’s successful industrial partnerships into other regions of France. Product-driven platforms focusing on applications and integration Large corporations are much more likely to benefit from technology research at the CEA than SMEs. And the reasons behind the underrepresentation of SMEs among the CEA’s industrial partners go beyond just size and financial resources. New types of partnerships are also needed. That’s why the regional offices have adopted a distinctly product-driven approach, with technology platforms that focus on applications and integration. For businesses that need technology research in areas like materials or components, the CEA’s flagship sites in Saclay and Grenoble will be there to respond. However, to facilitate these projects, the regional offices will remain local business’ main point of contact. A CEA LIST technical officer in each region CEA LIST is playing a key role in the new CEA Tech regional offices. A CEA LIST technical officer has been assigned to each regional branch to liaise with local businesses and match the resources available at the CEA’s flagship sites with business’ needs. Local governments are also supporting – and helping to finance – the new offices. However, CEA staffing costs must be fully financed by corporate research contracts – another way of ensuring that the regional offices truly meet the needs of the local economies they serve. COMPETITIVENESS STRATEGY/ CEA Tech in the French provinces CEA LIST 37 2012 ACTIVITY REPORT Advanced manufacturing plays a starring role Our expertise in advanced manufacturing forms one of the cornerstones of the regional offices’ technology lineup. Businesses looking to take their manufacturing capabilities to new heights are looking at how technologies like robotics, virtual reality, augmented reality, process control, and non-destructive testing can help. The key technologies to be covered by each regional office have not been determined in advance. The technology choices will depend on the unique needs of each region’s economy, which industries are most willing to cooperate, Academic research, another facet of the initiative and – to avoid duplicating what is already in place – what other technology platforms have been set up in each region. Intensifying existing partnerships With this initiative, we also hope that the regional offices will help intensify existing partnerships. We are already working with companies in the defence, nuclear, and automotive industries. For example, Airbus – headquartered in Toulouse – is a long-term partner in areas like non-destructive testing, troubleshooting for cabling, and tools and software for embedded systems. ■ CEA Tech’s strategy to expand into the French provinces is about more than just technology transfer. The initiative also aims to revitalize local academic research through joint basic research programs, PhD dissertations, and scientific publications. A number of indicators have been set up to monitor progress toward these goals, which will be part of the French government’s assessment of CEA Tech. 38 CEA LIST 2012 ACTIVITY REPORT Pump-priming to drive innovation internationalcaliber Every year we allocate 25% of our budget to pump‑priming projects that lay the groundwork for our future technological breakthroughs. Pump-priming projects generally have a three- to fiveyear time horizon and strive to: – Assess the most recent findings from academic research – S pot those that could lead to technological breakthroughs – Establish proof of concept – Create the first demonstrators – Protect new concepts with pioneering patents Our pump-priming projects pave the way for state-ofthe-art applied research, whether carried out through joint laboratories, industry partnerships, collaborative projects, or business spin-offs. Pump-priming research focus areas – Smart manufacturing – Software systems and architectures – Interactive systems – Big data Projects under France’s Carnot program Under the French government’s Carnot Institute program, research centers can receive matching funds based on the income they receive from partner companies. These funds are used to support pump-priming projects selected by CEA LIST and the CEA’s Technological Research Division. Funding provided under this program could exceed euros 1 million per project. We are currently working on three Carnot projects: – Capme’up, to help small manufacturers and mid-tech companies get more advanced technologies into their production systems and products. This project focuses on mechatronics, non-destructive testing, and inter active robotics. –C ivamont, to promote theoretical advancements in sim ulation and data processing for non-destructive testing, and to transfer these advancements to our CIVA non-de structive testing software user community. This project involves 15 research centers from six European countries. – Secure Cloud, to test software and hardware-software systems used in cloud computing. The goal is to improve data integrity, data confidentiality, and service uptime. Fuelling the local innovation ecosystem – We are currently working with the information and communication technology (ICT) research cluster Digiteo on 5- to 10-year pump-priming projects focused on IT. These projects bring together several other pres tigious partners like CNRS, Ecole Polytechnique, INRIA, and Ecole Centrale. – CEA Tech and Mines Telecoms Institute have entered into a memorandum of understanding for joint research on ambient intelligence. They will build a R&D platform called MobileMii, which will include a 100 m2 fully-instru mented test apartment to study ambient intelligence applications for the home. – In 2012 we began work under the DigiCosme project (which was granted funding under France’s LabEx pro gram in 2011) with a kick-off symposium and industry partner days. This project will look at the key challenges facing the IT industry, such as how to process increasingly massive volumes of data, manage distributed, heterogene ous applications, and develop more powerful algorithms. CEA LIST sits on the project’s steering committee. COMPETITIVENESS STRATEGY/ Pump-priming to drive innovation CEA LIST 39 2012 ACTIVITY REPORT – We also worked on the Nanosaclay project (also a LabEx project) to study nanoelectronics, nanophotonics, and nanoscience for biology applications and CEA LIST-de veloped components with diamond films. – T he SystemX Technology Research Institute, which includes both public- and private-sector partners, qualified for funding under France’s Technology Research Institute program in 2012. This project looks at digital engineering for next-generation systems, and aims to develop and share a portfolio of advanced digital technology – and market the technology to target industries. ■ 40 CEA LIST 2012 ACTIVITY REPORT Open innovation Open innovation fuels business growth At CEA LIST, we leverage open innovation to help companies speed the innovation process by integrating approaches like user-driven innovation and design. This pioneering philosophy was first adopted at CEA’s Grenoble site and has since spread to Saclay, where work has stepped up on existing projects and new facilities and equipment should be up and running by 2014. Forging close ties with France’s industrial design school Ten-week design workshops with CEA LIST researchers and students at the French national school of industrial design (ENSCI) continued in 2012 to look at new uses for emerging technologies. Topics of interest included: – Using different methods to model and evaluate complex systems like boxes, interlocking wheels, and interactive digital tables – T he emergence of new communicating objects incorporating sensor-based ambient intelligence and surface instrumentation capabilities (like tables and countertops) and their potential uses in the home Under our partnership with ENSCI, we also design new objects through conventional R&D projects. A cohort of 15 students will work full-time at the Nano-INNOV design center starting in 2014, providing support for the center’s projects for industry partners. Other schools may join in on this work, as is already the case at the Grenoble site where architecture, engineering, and political science students also pitch in on design projects. IDEAs Lab goes national The MINATEC IDEAs Laboratory® (“Ideas Lab”) became a national organization in late 2012 through an initiative to pool efforts at its Grenoble and Saclay sites. This move will improve consistency and coordination in the Lab’s activities – especially in terms of opening new sites. The Lab’s core mission remains the same: to predict what our lifestyles will look like ten years from now – drawing on techniques used in the human and social sciences, technology, and design – and prepare for new uses for technology and changes in industry partners’ markets. In 2012 the Saclay site worked on several projects in the fields of local development, the home, energy, mobility, and the arts and culture. The Ideas Lab works with large corporations (Renault, Bouygues, STMicroelectronics, and GDF Suez), twelve small businesses in the Paris and Rhône-Alpes regions, the Isère General Council, and several Grenoble-area universities. Paris-based companies and universities should also start working with the Saclay site now that it has ramped up operations. The Ideas Lab has expanded its partnership network through the launch of a new R&D topic: Heath, Sports & Wellness. Spearheaded by CEA LIST researchers at Saclay, this new focus area will study how new technology can give greater freedom to people suffering from factors like stress, pressure to do things more quickly, and long commutes. Applications will cover solutions for work, home, and play – all areas of life. SPICE-ing up user-centered innovation While the Ideas Lab is a joint innovation platform where partners share the results of development work, SPICE (Service pour l’innovation centrée expérience utilisateur) is an R&D center for businesses who want to keep their discoveries confidential. Its 20 researchers work on specific projects for individual companies that have exclusive rights to their project’s findings. Grenoble-based SPICE also does on-site R&D for CEA Leti, CEA Liten, and CEA LIST. Its R&D takes place mainly through creativity sessions, usage tests, rapid prototyping (e.g., thermoforming and 3D printing), and the develop ment of new business models for test markets. SPICE also manages the showrooms where the CEA’s Technological Research Division (CEA Tech) and research institutes present their innovations. The Grenoble showroom – the first one to open its doors – opens its doors to companies to support the emergence of new concepts. COMPETITIVENESS STRATEGY/ Open innovation CEA LIST 41 2012 ACTIVITY REPORT A showroom for CEA LIST technologies should open in 2014, and others are planned for the three regions in which CEA Tech opened sites in early 2013: the Loire Valley (Nantes), Aquitaine (Bordeaux), and Midi-Pyrénées (Toulouse). ■ 42 CEA LIST 2012 ACTIVITY REPORT 2012 EVENTS Kudos for three CEA LIST spin‑offs Three of our spin-offs were selected for funding under France’s 2012 national program to foster the creation of high-tech start-ups. The first, Krono-Safe, develops and markets next-generation operating systems and devel opment tools for critical embedded systems. The second, WiN MS, makes devices to detect, characterize, and locate defects in electrical cables. And the third, Nez Electron ique, has developed a novel biomimetic approach for odor recognition. Turn your coffee table into a TV remote Non-destructive testing gets its own R&D platform: Gerim2 Our Gerim2 platform in Saclay is a new R&D facility with over euros 2 million in state-of-the-art equipment. It brings together academic researchers and corporate users to study a wide range of non-destructive testing methods, with the goal of speeding technology trans fer to industry. Our Pegasus demonstrator was unveiled at the Web’12 Paris trade show last year. Pegasus leverages iSurf tech nology, which makes it possible to turn any surface, planar or otherwise, into an intelligent tactile system. Im pressed by the potential of our invention, Intel invited us and co-developer Sensorit to present it at the chip-mak er’s “Geek So In” annual conference. Video game industry makes an R&D play Ubisoft, Europe’s leading video game developer, has formed an R&D partnership with the CEA and CNRS to develop next-generation video game technology. The pro ject, called Mango, will employ some 60 people over 22 months and could receive up to euros 3.5 million in fund ing from the French government. Two international software security projects We are taking part in two international software security projects: STANCE (Source code analysis Toolbox for software security AssuraNCE) in the EU and CHEK OFV (Crowd-sourced Help with Emergent Knowledge for Optimized Formal Verification) in the US. These projects strive to develop open-source software for sensitive ap plications like monetary systems, power regulation in smart grids, and internet-connected embedded sys tems. The challenge is to prevent hackers from exploiting weaknesses in software security for economic, political, or military gains. Minimizing radiation exposure during medical imaging We have teamed up with French start-up esprimed to develop medical imaging software and tools to calculate ionizing radiation doses. The goal is to reduce the radia tion exposure of medical personnel and patients – while maintaining the same level of treatment efficacy. Embedded systems take center stage at the 2012 Paris Motor Show Our engineers showcased the latest CEA LIST developments in smart embedded systems for automotive applications at the 2012 Paris Motor Show. These systems are designed to meet the needs of industry heavyweights like Renault, Valeo, and Delphi, as well as smaller players like See4sys (a Sherpa company), Krono-Safe, Scaleo Chip, and Esterel Technologies. THE YEAR IN FIGURES/ 2012 EVENTS CEA LIST 43 2012 ACTIVITY REPORT 44 CEA LIST 2012 ACTIVITY REPORT PhD in progress and scientific publications THE YEAR IN FIGURES/ PhD in progress CEA LIST 45 2012 ACTIVITY REPORT PhD in progress Advanced manufacturing Diamond-based nanostructures for optical biosensor development Synthetic diamond devices for use in monitoring pho ton and ion beams Functionalised nanodiamonds as drug vectors Design and manufacture of innovative diamond win dows for X-ray tubes Diamond electrodes for the manufacture of electro chemical microsystems for biological applications MEMS-type diamond biosensor networks for odour recognition Development of a diamond dosimeter to measure absorbed dose in mini-beams used in stereotaxic radiotherapy Diamond nanoparticles for drug transport: in situ char acterisation of surface modifications induced by CVD plasma Gravimetric study of gas-diamond surface interactions using a surface acoustic wave resonator Study and design of dynamic virtual human model con trol for assessing workstation ergonomics Dynamic understanding of context for operator assis tance in robotics Intuitive control of a robot to perform complex tasks Theoretical and experimental study of an exoskeleton with generalised intermittent contacts Contribution to LPV modelling and the control of integrated articulation systems – Application to manip ulation tasks in robotics Model predictive control for remote operation Multivariable nonlinear predictive control - Applications for robotics Integrated collaborative robot design - An evolution ary approach to designing systems that interact with humans Deformable inflatable structures - Application to ul tra-lightweight robotics Efficient simulation of surface deformable objects by geometrically exact finite elements. Interactive generation of dynamic acyclic motion trajec tories for poly-articulated avatars Addressing and routing algorithms for highly mobile large-scale networks. Equilibrium control of a virtual mock-up in a mobile and disturbed environment Displacement of a virtual mock-up in a cluttered en vironment: motion simulation with integration of equilibrium constraints Multimodal interactive control of virtual humans for manipulation in a restricted environment. Development of ultrasonic simulation algorithms on massively parallel architectures Development of imaging and reconstruction algorithms on parallel processing architectures for non-destructive testing applications Comparison of adaptive methods of detection and ul trasonic reconstruction techniques Increasing the level of reliability of non-destructive ac curacy testing by cross-checking measurements taken using two or more independent technologies Development of adaptive ultrasonic imaging tech niques for multi-element flexible sensors in immersion conditions Adaptive embedded processing for relevant, real-time characterisation using a multi-element ultrasonic NDT system Automatic defect recognition based on simulation and experience for single- and multi-view radiographic non-destructive examination 3D imaging using polychromatic X-ray beams for sample composition analysis Volume representation adapted to 3D reconstruction algorithms Development of a 3D imaging technique using syn chrotron phase-contrast imaging and X-ray laboratory sources Acceleration of 3D X-ray tomography reconstruction with cone beam geometry - Implementation on GPUs Study of multiple ultrasound scattering aimed at characterising coarse-grain cast stainless steels and de veloping a structural noise model Model of ultrasonic propagation within complex hetero geneous structures in tyres - Application to NDT Modelling ultrasound generation by laser for the inspec tion of metal and composite aeronautical components Modelling the propagation and reception of elastic waves emitted by a defect under stress. Application to the simulation of non-destructive testing by acous tic emission Semi-analytical modelling for electromagnetic non-de structive assessment – Application to irregular surfaces and to continuous variations in electromagnetic properties Development and optimisation of a 3D numerical model to simulate non-destructive testing system on ferro magnetic tubes using a flux leakage detector Modelling non-destructive tests using guided ultrason ic waves - Application to pipe inspection Development of asymptotic models in ultrasonic non-destructive testing - Interaction of elastic waves with specific geometrical features and taking account of surface waves Development of optimised modelling tools for ultra sound propagation in dissimilar metal welds Modelling elastic wave propagation in 3D microstruc ture composites Application to the simulation of ultrasonic inspection of aeronautical components Study of an asymptotic model coupled with a fi nite-element approach to simulate the propagation of ultrasonic waves in a complex environment disturbed by small inclusions Modelling the inspection of realistic crack-type defects using electromagnetic methods Modelling and implementation of ultrasonic wave generation in a liquid metal using electromagnetic transducers for applications in telemetry Modelling diffraction effects for calculating geometric echoes in ultrasonic NDT Modelling non-destructive eddy current inspection of a bore in a plane multi-layered medium using a dedicated integral formulation Modelling non-destructive testing using an electromag netic acoustic transducer in a ferromagnetic medium - Consideration of magnetic and non-magnetostrictive effects in the emission and detection of ultrasonic elas tic waves Numerical simulation of ultrasonic wave diffraction using a localised defect in an anisotropic elastic plate. Modelling 3D electromagnetic probes for non-destruc tive eddy current testing Embedded systems Making the sensor active in image processing Design method for embedded real-time systems and ap plications for optimised power management Stochastic programming for embedded systems Operational research on massively parallel architectures New models and data consistency protocols for mul ti-scale architectures: from manycore to smart grid New safety-related design paradigm for real-time dis tributed architectures Evaluation of typical and worst-case runtime for target MPSoC systems Dynamic code generation of energy optimisation Cryptocomputing systems, compilation and runtime Generating “multi-time” code for multicore systems-on-chip Design method for parallel critical system code coupled with a formal verification approach Generation of a real-time multi-task application based on high-level specifications Partial task scheduling in massively parallel on-chip sys tems with speculative execution, exact resolution and boundaries Design of an instruction set family for virtualization in heterogeneous SoC architectures Definition of a distributed runtime model for embed ded systems and implementation of the associated architecture Contribution to the design of a self-adaptive computing architecture integrating neuromorphic nanocompo nents and potential applications Hardware acceleration of on-the-fly compilation for em bedded systems Algorithm-architecture matching for video processors in mobile phone applications New approaches to sensor merging for embedded vi sion architectures Algorithm-architecture matching for parallel embedded platform design and benchmarking Multiprocessor architecture proposal for embedded systems and dynamic applications: memory and com munication structures Using electronic nanocomponents in processing archi tectures associated with imagers with 3D integration technology Multi-core architecture for mobile applications Bio-inspired intelligent retina Study on embedded diagnostics strategies for complex wired networks Self-adaptive ageing estimation and tests in comput ing resources Hardware acceleration of regeneration of a previous state at the time of error detection in an embedded system Design and implementation of a method for cable diag nostics based on time reversal New method for intermittent fault diagnosis in wired networks. Burn-in and testing of processors in embedded environments Real-time systems design guided by schedulability analysis Under-approximation for static analysis of numerical programs and robust control of dynamic systems Managing requirements for embedded systems in a context of standards in the automotive industry Simulation of models and real-time system design processes Adaptability and reconfiguration of embedded re al-time systems Specification of a profile and meta-model for adapting UML tools - Application to MARTE ACCORD and Gaspard Model-driven design and co-simulation for heterogene ous distributed systems Traceability management in a model-oriented environment Integration of control modelling in critical embedded system design Platform retro-engineering to optimise embedded re al-time systems Model-driven design using heterogeneous modelling languages - Application to UML profiles Dynamic reconfiguration management in real-time, low-energy distributed systems A generic approach to using the execution semantics of UML profiles in embedded real-time systems Generating plant models for automotive systems Representation of finite loop-free categories Probabilistic and deterministic calculus for numerical program verification Using static analysis to check the security properties of large-scale C programs. Abstraction and refinement of memory models for soft ware proof Certification of a deductive program verification tool chain Static and dynamic analysis combinations for program validation - Applications to C language with Frama-C and PathCrawler Composition of real-time system families models. 46 CEA LIST 2012 ACTIVITY REPORT Ambient intelligence Nano-structures à base de diamant pour le développe Tunable-wavelength laser sources to interrogate fibre Bragg grating sensors Analysis and understanding of neutron/gamma dis crimination phenomena in organic scintillators Synthesis of high-quality crystalline diamond films for the manufacture of dosimeters used in radiotherapy Development of a third-generation gamma camera Simulation, modelling and characterisation of sol id-state fluorescent sensors for the detection of low-energy alpha and beta radiation – A new approach to light analysis Design and validation of a modular digital signal treat ment architecture for nuclear instrumentation Design of fault injection-tolerant digital nuclear instru mentation systems. Study of an interactive visual multidimensional da ta-mining process Statistical modelling of battery system ageing Detection and classification of isolated colonies in mul tidimensional biomedical imaging Estimation of nonlinear dynamic systems under stress Application to large gene regulatory network inference Study of a learning system for undefined spatial rules Application to seismic event discrimination Multi-agent approach to energy management at offshore wind farms Optimisation of radiotherapy treatment plans using the latest fast-dose calculation methods Development of a planning module for radiological imaging examinations to optimise delivered dose ac cording to required image quality Development and experimental validation of treatment planning software to determine whole-body doses in radiotherapy Estimation of deposited dose by Monte-Carlo simula tion and nonparametric regression for radiotherapy. EPID image prediction using Monte-Carlo simulation for in vivo dosimetry controls in intensity-modulated con formal radiotherapy. Modelling and experimental validation of interaction between radiation and a cellular medium in radiothera py using photoactivation of heavy elements Study, evaluation and validation of the potential of electron accelerators as multipurpose tools for charac terising radioactive waste packages Distributed corrosion detection using fibre-optic reflectometry Stabilising the optical properties of fibre Bragg gratings subject to extreme temperatures: regeneration and in scription by femtosecond laser Study of the potential of multichannel RL/OSL dosimetry for beam control in proton therapy Statistical treatment of multidimensional signals from electric vehicle battery packs for real-time diagnostics of service life Sparse decomposition of multidimensional signals Complex network dynamics – Filtering and metrics for event estimation and detection Generative learning for brain-computer interface sig nal decoding Robust discrimination using kernel methods Blind separation of positive sources for medical imaging and spectrometry Sparse decomposition for advanced data analysis in medical spectrometry. Optimising filter banks by learning for multidimension al signal classification. Tunable-wavelength laser sources to interrogate fibre Bragg grating sensors Study and development of an augmented reality system High-definition MultiTouch tactile reproduction for multimodal 2D interfaces Reliable real-time transmission for networks with high ly dynamic topology Interactive object location using sensors embedded in a robot. Design and assessment of new haptic interactions for managing pedestrian journeys Ergonomic design of an innovative digital interface for environmental education for sustainable development Mobility for the elderly and digital navigation aid tools An ergonomic approach Mechanical stabilisation of an embedded micro-camera Geolocation of moving targets in a restricted environ ment adopting an inertial-GNSS hybrid approach Application of active magnetic materials for haptic interaction Design and control of a hybrid actuator for human-ma chine interfaces as applied to video games Simulation of the mechanical behaviour of a piano key Study and development of a multi-case tactile interface Haptic feedback and tactile interaction over a large sur face area Protocols for cognitive networks in a complex ma chine-to-machine environment Distributed coding and processing for communication networks scientific publications Advanced Manufacturing Avizzano C. A.; Gosselin F.; Gutierrez T.; Preusche C.; Ruffaldi E.; Sanchez E.; Bergamasco M. Haptic Interfac es for Skills Training. pp. 91-109, 2012, M. Bergamasco, B. Bardy, D. Gopher Eds. Bouchigny S.; Mégard C.; Gosselin F.; Hoffmann P.; Korman M. Designing a Virtual Reality Training Platform for Surgeons: Theoretical Framework, Technological Solu tions, and Results. pp. 199-211, 2012, M. Bergamasco, B. Bardy, D. Gopher Eds. Cai V.A.D.; Bidaud P.; Hayward V.; Gosselin F. KIN EMATIC MEASUREMENT OF THE KNEE JOINT USING SELF-ADJUSTING ISOSTATIC EXOSKELETON. 18th Con gress of the European Society of Biomechanics (ESB2012), 01/07/2012-04/07/2012, Lisbone, Portugal. Dionnet F.; DaSilvaSimoes M.; Measson Y.; Dionnet F. Towards ITER Remote Maintenance Systems Interop erability: Generic API Specification in the Context of a Standard Middleware-Based Approach. Fusion Engi neering and Design, 0920-3796, 1. Dumora J.; Geffard F.; Aspragathos Nikos; Fraisse P. Im proving co-manipulation of a bulky object with a robot in an a priori unknown task involving rotation and translation. 2012, pp. 898-903. Dumora J.; Geffard F.; Bidard C.; Brouille T.; Fraisse P. Experimental study on haptic communication of a human in a shared human-robot collaborative task. Florian Gosselin. Guidelines for the design of multi-fin ger haptic interfaces for the hand. Romansy 2012, 19th CISM-IFToMM Symposium on Robot Design, Dynamics, and Control, 12/06/2012-15/06/2012, Paris, France. Garrec P.; Geffard F.; Piolain; Freudenreich; Monthel; Brudieu. Results of a Testing Campaign of the Telero botic System MT200-TAO in AREVA La Hague’s Hot-cells. 1st International Conference on Applied Robotics for the Power Industry (CARPI - 2012), 11/09/2012-13/09/2012, Zu rich, Suisse. Gonzalez F.; Gosselin F.; Bachta W. A Framework for the Classification of Dexterous Haptic Interfaces Based on the Identification of the Hand Contact Areas. World haptics 2013 (the 5th joint Eurohaptics Conference and IEEE Haptics Symposium), 14/04/2013-17/04/2013, Dae jeon, Corée. Gosselin F.; Bouchigny S.; Mégard C.; Taha F.; Delcampe P.; d’Hauthuille C. Haptic systems for training sen sori-motor skills,a use case in surgery. Robotics and Study of “Networking Coding” for cooperative wire less systems Modelling context-based merging and classification for automatic multimedia annotation Using a corpus of parallel comparable texts to construct multilingual linguistic resources Activity analysis using vision-based gesture extraction Tracking people within depth-of-field images Automatic annotation of video data acquired in urban environments Mobile vision applications for massively parallel platforms Vision system for interpreting human activity Source credibility estimation for multimedia informa tion flows Context-aided global positioning of a mobile camera in an urban environment Lexical resource acquisition for opinion analysis Use of camera networks for videosurveillance applications Multi-class object classification in urban environments Object tracking in a network of static and PTZ cameras for videosurveillance In-depth semantic analysis of texts for automatic sum mary and the semantic desktop Real-time CAD model adjustment for augmented reality Unsupervised extraction of structured thematic signa tures from text files Merging indexing and query for multimedia documents Study on the form of beta spectra. Development of magnetic calorimeters for beta spectrometry Development of a system for the direct measurement of neutron source emission rates Development of a thoron (Rn-220) measuring system that is traceable to national activity standards Measurement of photo emission intensity and assess ment of the uranium-235 chain Development of a method for characterising the qual ity and purity of beams of energy of less than 300 keV used in dosimetry Setting dosimetric standards for high-energy X ray beams with a very small cross-sectional area (< 1 cm2) for radiotherapy Use of water calorimetry to establish absorbed dose standards for medium-energy X-ray beams in radiotherapy de rayons X de moyenne énergie, applicables en radiothérapie. Autonomous Systems, pp. 380-389, 2013, Elsevier (guest editors: C.A. Avizzano and M. Bergamasco), 0921-8890, 1. Grossard M.; Kachroudi S.; Abroug N. An Optimal Ener gy-based Approach for Driving Guidance of Full Electric Vehicles. 21th IEEE International Symposium on In dustrial Electronics (ISIE-2012), 28/05/2012-31/05/2012, Hangzhou, Zhejiang, Chine. Huard B.; Grossard M.; Moreau S.; Poinot T. Multi-Mod el Observer and State Feedback Position Control of a Flexible Robotic Actuator. 38th Annual Conference of the IEEE Industrial Electronics Society (IECON 2012), 25/10/2012-28/10/2012, Montreal, Canada. Huard B.; Grossard M.; Moreau S.; Poinot T. Multi-Mod el Observer for Position Estimation and Object Contact Detection of a Flexible Robotic Actuator. 2012 IEEE Multi-conference on Systems and Control, 03/10/201205/10/2012, Dubrovnik, Croatie. Makarov M.; Grossard M.; Rodriguez-Ayerbe P.; Dumur D. A Frequency-Domain Approach for Flex ible-Joint Robot Modeling and Identification. 16th IFAC Symposium on System Identification, SYSID 2012, 11/07/2012-13/07/2012, Bruxelles, Belgique. Makarov M.; Grossard M.; Rodriguez-Ayerbe P.; Dumur D. Active Damping Strategy for Robust Control of a Flex ible-Joint Lightweight Robot. 2012 IEEE Conference on Control Applications (CCA), 03/10/2012-05/10/2012, Dubrovnik, Croatie. Maurice P.; Measson Y.; Padois V.; Bidaud P. Assess ment of Physical Exposure to Musculoskeletal Risks in Collaborative Robotics Using Dynamic Simulation. 19th CISM-IFToMM RoManSy Symposium (ROMANSY2012) on Robot Design, Dynamics, and Control, 12/06/201215/06/2012, Paris, France. Panagiotis Sotiropoulos; Niccolo Tosi; Fivos Andritsos; Geffard F. Optimal docking pose and tactile THE YEAR IN FIGURES/ PhD in progress and scientific publications CEA LIST 47 2012 ACTIVITY REPORT hook-localisation strategy for AUV intervention: The DIFIS deployment case. Ocean Engineering, 2012, Elsevi er, 0029-8018. Riwan Alain; Bonnemason Julie; Ponsort Dominique. A novel bistable electromagnetic fastening device. TRIZ Future 2012, Lisbon, Portugal, 24/10/2012-26/10/2012, Lis bon, Portugal. Rotinat C.; Solano B. Compliant Building Blocks for the Development of New Portable Robotized Instru ments for Minimally Invasive Surgery. IEEE RAS/EMBS International Conference on Biomedical Robotics and Biomechatronics - BioRob 2012, 24/06/2012-27/06/2012, Rome, Italie. Rotinat C.; Solano B. OPTIMAL DESIGN OF COMPLIANT JOINT AND GRIPPER FOR MINIATURE ROBOTIC DEVICES APPLICATION TO SURGERY. ASME 2012 International De sign Engineering Technical Conferences & Computers and Information in Engineering Conference - IDETC/CIE 2012, 12/08/2012-15/08/2012, Chicago, Etats-Unis. Voisembert S.; Riwan A.; Mechbal N. Numerical Evalu ation of a New Robotic Manipulator based onInflatable Joints. 8th Annual IEEE Conference on Automation Science and Engineering, (IEEE CASE - 2012), 20/08/201224/08/2012, Séoul, Corée. Zieba S.; Russotto F.X.; DaSilvaSimoes M.; Measson Y. Assistance tools for generic definition of ITER main tenance tasks and scenarios in advanced supervisory control systems. Fusion Engineering and Design, 09203796, 1 Liu M.; Liu M.; Micaelli A.; Evrard P.; Escande A. Task-driven Posture Optimization for Virtual Characters. ACM/Eurographics Symposium on Computer Anima tion, 29/07/2012-31/07/2012. Liu M.; Liu M.; Micaelli A.; Evrard P.; Escande A.; Andriot C. Interactive Virtual Humans: A Two-Level Prioritized Control Framework with Wrench Bounds. IEEE Transac tions on Robotics, 1552-3098, 1. Merlhiot X.; Merlhiot X.; LeGarrec J.; Saupin G.; Andriot C. The XDE mechanical kernel: efficient and robust simulation of multibody dynamics with intermit tent nonsmooth contacts. Second Joint International Conference on Multibody System Dynamics, 29/05/201201/06/2012, Stuttgart, Allemagne. Marchand B. Innovative Flexible Eddy Current Probes for the Inspection of Complex Parts. 18th World Conference on Non Destructive Testing (WCNDT - 2012), 16/04/201220/04/2012, Durban, Afrique du sud. Zorni C. Contrôle non destructif par courants de Fou cault de milieux ferromagnétiques : de l’expérience au modèle d’interaction. 2012. BEN TEKAYA Ismail; Kaftandjian V.; Buyens F.; Sevestre S.; Legoupil S. Registration-based geometric calibration of industrial X-ray tomography system. IEEE Transac tions on Nuclear Science, 0018-9499, 1. Cai C.; Legoupil S.; Mohammad-Djafari A.; Rodet T. Bayesian reconstruction based on basis material decom position in Multi-Energy Computed Tomography with experimental validations. Medical Physics, 0094-2405, 1. Fernandez R.; Costin M.; Tisseur D.; Legoupil S.; Leveque A. CIVA Computed Tomography Modeling. 18th World Conference on Nondestructive Testing, 16/04/2012-20/04/2012, Durban, Afrique du sud. Tisseur D.; Tisseur D.; Rattoni B.; Buyens F.; Cattiaux G.; T. Sollier. VALIDATION OF CIVA 10 RT MODULE IN A NU CLEAR CONTEXT. 9th International Conference on NDE in Relation to Structural Integrity for Nuclear and Pressur ized Components - 2012, 22/05/2012-24/05/2012, Seattle, Etats-Unis. Baronian V.; Jezzine K.; Lhemery A. Simulation tools for guided wave inspection based on hybrid SAFE-FE method. 7th Meeting of the GDR 2501 (Oleron - 2012), 21/05/2012-25/05/2012, Oléron, France. Chapuis B.; Jezzine K.; Baronian V.; Segur D.; Lhemery A. Simulation of ultrasonic guided wave inspection in CIVA software platform. 18th World Conference on Non Destructive Testing (WCNDT - 2012), 16/04/201220/04/2012, Durban, Afrique du sud. Taupin L.; Lhemery A.; Petitjean B. Guided wave scat tering in stiffened composite plates a modeling approach to help SHM feasibility studies. DYNACOMP, 1st international conference on composites Dynamics, 22/05/2012-24/05/2012, arcachon, france. Baronian V.; Jezzine K.; LeBourdais F. Hybrid SAFE/FE simulation of GW inspections . 39th Annual Review of Progress in Quantitative Nondestructive Evaluation (QNDE - 2012), 15/07/2012-20/07/2012, Denver, Etats-Unis. Ben Khalifa W.; Jezzine K.; Grondel S. 3D modelling of Rayleigh wave acoustic emission from a crack under stress. Acoustics 2012 , 23/04/2012-27/04/2012, Nantes, France. BEN KHALIFA W.; Jezzine K.; GRONDEL S.; Lhemery A.; Chatillon S. Modeling of the far-field acoustic emission from a crack under stress. EWGAE-ICAE, 12/09/201215/09/2012, Grenade, Espagne. Dorval V.; Ganjehi L.; Chatillon S. Modelling ultrasonic noise and attenuation in complex polycrystalline ma terials. Seventh GDR ConferenceWAVE PROPAGATION IN COMPLEX MEDIAFOR QUANTITATIVE AND NON DE STRUCTIVE EVALUATION, 21/05/2012-25/05/2012, Oléron, France. Emna Amira FNAIECH. Développement d’un outil numérique pour la simulation du procédé de contrôle non destructif des tubes ferromagnétiques par un cap teur à flux de fuites magnétique . 2012. Ferrand A.; Darmon M.; Chatillon S.; Deschamps. Mode ling of ray paths of head waves on irregular interfaces in TOFD inspection for NDT. Gardahaut A.; Jezzine K.; Cassereau D. Modelling tools for ultrasonic inspection of bimetallic welds. Acous tics2012, 23/04/2012-27/04/2012, Nantes, France. Jezzine K.; Gardahaut A.; Leymarie N. Ray-based ap proaches for the simulation of ultrasonic inspection of weld. 39th Annual Review of Progress in Quantitative Nondestructive Evaluation (QNDE - 2012), 15/07/201220/07/2012, Denver, Etats-Unis. Lu B.; Darmon M.; Potel C. Stochastic simulation of the high-frequency wave propagation in a random medium. Journal of Applied Physics, 054902 (12 pages), 2012, AIP, American Institute of Physics, Etats-Unis, 0021-8979, 1. Miorelli R.; Reboud C.; Theodoulidis T.; Poulakis N.; LESSELIER D. Efficient modeling of ECT signals for realistic cracks in layered half-space. IEEE Transactions on Mag netics, 0018-9464, 1. Zaïdi H.; Santandrea L.; Krebs G.; Le Bihan Y.; Demaldent E. Modeleing of thin conductive and magnetic layers in eddy current testing by overlapping finite elements. International Journal of Applied Electromag netics and Mechanics, 341-346, 2012, IOS Press, 1383-5416, 1. Zaïdi H.; Santandréa L.; Krebs G.; Le Bihan Y.; Demaldent E. Use of Overlapping Finite Elements for Connecting Arbitrary Surfaces With Dual Formulations. IEEE Transactions on Magnetics, 583--586, 2012, Prof. David Jiles, Ames (Iowa), Etats-Unis, 0018-9464, 1. Zernov V. ; Fradkin L.J.; Gautesen A.; Darmon M. Wedge diffraction of a critically incident Gaussian beam. Wave Motion, Elsevier B.V., 0165-2125, 1. Embedded systems Aussagues C.; David V. Deterministic and dependa ble (also known as predictable and robust) embedded real-time systems with the OASIS and PharOS technol ogy. 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 18/07/201220/07/2012, PARIS, FRANCE. Aussagues C.; David V. Sûreté de fonctionnement des embedded systems. Techniques de l’Ingenieur, 16p., Edi tions T.I., Paris, France, 0399-4090, 1. Carpov S.; Sirdey R.; Cudennec L. Throughput con strained parallelism reduction in cyclo-static dataflow applications. The International Conference on Com putational Science, ICCS 2013, 05/06/2013-07/06/2013, Barcelone, Espagne. Courousse D.; Charles H.P. dynamic code generation: anexperiment on matrix multiplication. LCTES 2012, WIP session, 12/06/2012-13/06/2012, Pekin, Chine. Cudennec L.; Sirdey R. Parallelism Reduction Based on Pattern Substitution in Dataflow Oriented Pro gramming Languages. International Conference on Computational Science (ICCS - 2012), 04/06/201206/06/2012, Omaha, Nebraska, Etats-Unis. Dandrimont N.; Jan M. Performance simulation of a DPM scheduling policy on realistic processors. 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS - 2012), 17/04/2012-19/04/2012, Bei jing, Chine. Dubrulle P.; Louise S.; Sirdey R.; David V. A low-over head dedicated execution support for stream applications on shared-memory CMP. 12th ACM Inter national Conference on Embedded Software (EMSOFT - 2012), 07/10/2012-12/10/2012, Tampere, Finlande. Faure C.; Pernet N. Propagation Rules of Real-Time Constraints on Physical Systems Simulators in a Hardware-in-the Loop Context. 20th International Conference on Real-Time and Network Systems (RTNS 2012), 08/11/2012-09/11/2012, Pont à Mousson, France. Jan M.; Vincent David; Moha Ait Hmid; Damien Chabrol; Didier Roux; Patrice Oudin; Gilles Zeppa. Time- and angle-triggered real-time kernel for powertrain appli cations. Design, Automation & Test in Europe (DATE 2013). Session industrielle, 18/03/2013-22/03/2013, Gre noble, France. Karl-Eduard BERGER; Karl-Eduard BERGER; François GALEA. An efficient parallelization strategy for dynamic programming on GPU. 21st Euromicro In ternational Conference on Parallel, Distributed, and Network-Based Processing, 27/02/2013-01/03/2013, Bel fast, Royaume-uni. Legout V.; Lemerre M. Paravirtualizing Linux in a re al-time hypervisor. The 2nd Embed With Linux (EWiLi) Workshop, 07/06/2012-07/06/2012, Lorient, France. Lemerre M.; Ohayon E. A Model of Parallel Determinis tic Real-Time Computation. 33rd IEEE Real-Time Systems Symposium (RTSS - 2012), 04/12/2012-07/12/2012, San Juan, Etats-Unis. Louise S. A formal case study of real random cache replacement policies. 24rd Euromicro Conference on Re al-Time Systems (ECRTS - 2012), 10/07/2012-13/07/2011, Pise, Italie. Louise S. A formal evaluation of random cache replace ment policies for calculation of Worst Case Execution Time. 33st IEEE Real-Time Systems Symposium (RTSS 2012), 04/12/2012-07/12/2012, San Juan, Etats-Unis. Marandola J.; Marandola J.; Louise S.; Cudennec L.; Acquaviva J.T.; Bader D. Enhancing Cache Coher ent Architectures with access patterns for embedded manycore systems. International Symposium on Sys tem-on-Chip (SoC - 2012), 07/10/2012-12/10/2012, Tampere, Finlande. Sirdey R. Contributions à l’optimisation combinatoire pour l’embarqué : des autocommutateurs cellulaires aux microprocesseurs massivement parallèles. Stan O.; Sirdey R.; Carlier J.; Nace D. A heuristic design approach to chance-constrained optimization problems with application to stochastic partitioning of large pro cess networks. Journal of Heuristics, 1381-1231, 1. Trabelsi K. Margin-Aware Partitioning for Real-Time Multiprocessor Systems. 6th Junior Researcher Work shop on Real-Time Computing, 08/10/2013-08/10/2013, Pont-à-Mousson, France. TRABELSI K.; JAN M.; SIRDEY R. A practical approach to wards static DVFS and DPM scheduling in real-time systems. PETARS, 04/12/2012-04/12/2012, San Juan, Etats-Unis. Younès Chandarli; Frédéric Fauberteau; Damien Masson; Serge Midonnet; Manar Qamhieh. YARTISS: A Tool to Visualize, Test, Compare and Evaluate Real-Time Scheduling Algorithms. 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Re al-time Systems, 10/07/2012-10/07/2012, Pise, Italie. Alibart F.; Pleutin S.; Bichler O.; Gamrat C.; Serrano-Gotarredon T.; Linares- Barranco B.; Vuillaume D. A memristive nanoparticle/organic hybrid synapstor for neuro-inspired computing. Advanced Functional Mate rials, 609-616, 2012, Wiley-VCH, 1616-301X, 1. Bezine J.; Thevenin M.; Schmit R.; Paindavoine M.; Duranton M. A new approach for system level active vision sensor. SPIE Photonics Europe, 16/04/2012-19/04/2012, Bruxelles, Belgique. Bichler O.; Querlioz D.; Thorpe S.J.; Bourgoin J.P.; Gamrat C. Extraction of Temporally Correlated Features fromDynamic Vision Sensors with Spike-Timing-De pendentPlasticity. Neural Networks, 339-348, 2012, Pergamon, 0893-6080, 1. Bichler O.; Suri M.; Querlioz D.; Vuillaume D.; De Salvo B.; Gamrat C. Visual Pattern Extraction using Energy Ef ficient’2-PCM Synapse’ Neuromorphic Architecture. IEEE Transactions on Electron Devices, 2206-2214, 2012, IEEE Electron Devises Society, 0018-9383, 1. Bichler O.; Zhao W.; Alibart F.; Pleutin S.; Lenfant S.; Vuillaume D.; Gamrat C. Pavlov’s Dog Associative Learn ing Demonstrated on Synaptic-like Organic Transistors. Neural Computation, 549-566, 2013, MIT Press, 08997667, 1. Bolchini C.; Miele A. ; Sandionigi C. Autonomous fault tolerant systems onto SRAM-based FPGA platforms. Journal of Electronic Testing, SPRINGER. Carbon A.; Lhuillier Y.; Charles H.P. Position Paper: Code Specialization For Red-Black Tree Management Algorithms. 3rd International Workshop on Adaptive Self-tuning Computing Systems (ADAPT 2013, co-located with HiPEAC 2013), 22/01/2013-22/01/2013, Berlin, Allemagne. Carbon A.; Lhuillier Y.; Charles H.P. Scaling Down To Embedded Systems For Dynamic Compilation. 2nd International Workshop on Dynamic compilation everywhere. (DCE 2013, co-located with HiPEAC 2013), 22/01/2013-22/01/2013, Berlin, Allemagne. Krumpe Goldsztejn M.; Lhuillier Y.; Falcou J.; Lacassagne L. Automatic deployment on embedded parallel systems. Journées GDR - GPL - CIEL 2012, 20/06/201222/06/2012, Rennes, France. KrumpeGoldsztejn M.; Lhuillier Y.; Falcou J.; Lacassagne L. Déploiement automatique de code sur une architecture parallèle embarquée. Conférence en Par allélisme, Architecture et Système (ComPAS 2013) 48 CEA LIST 2012 ACTIVITY REPORT - Rencontres francophones du Parallélisme (RenPar’21), 15/01/2013-18/01/2013, Grenoble, France. Ojail M.; David R.; Lhuillier Y.; Guerre A. ARTM: A light weight fork-join framework for embedded manycore systems. Design, Automation, and Test in Europe (DATE 2013), 18/03/2013-22/03/2013, Grenoble, France. Sandionigi C.; Heron O.; Bertolini C.; David R. When processors get old: Evaluation of BTI and HCI effects on performance and reliability. 23rd ACM Great Lakes Sym posium on VLSI (GLS-VLSI - 2013), 02/05/2013-04/05/2013, Paris, France. Temam O.; Chen T.; Chen Y.; Duranton M.; Guo Q. ; Hashmi A.; Lipasti M.; Nere A.; Qiu S.; Semag M. BenchNN: On the Broad Potential Application Scope of Hardware Neural Network Accelerators. 2012 IEEE In ternational Symposium on Workload Characterization, 04/11/2012-06/11/2012, La Jolla SAn-Diego, Etats-Unis. Thabet F.; Lhuillier Y.; Andriamisaina C.C.; Philippe J.M.; David R. An Efficient and Flexible Hardware Sup port forAccelerating Synchronization Operations on theP2012 Many-Core Architecture. Design, Automation, and Test in Europe (DATE - 2013), 18/03/2013-22/03/2013, Grenoble, France. TRINH HP; ZHAO WS; KLEIN JO; Zhang Y; Ravelsona D; Chappert C. Domain wall motion based magnetic adder. Electronics Letters. BenHassen W.; Auzanneau F.; Incarbone L.; Pérès F. ; Ayeley P. T. On-Line Diagnosis using Orthogonal Mul ti-ToneTime Domain Reflectometry in a Lossy Cable. 10th International Multi-Conference on Systems, Sig nals and Devices - Conference on Sensors, Circuits and Instrumentation Systems, 18/03/2013-21/03/2013, Ham mamet, Tunisie. BenHassen W.; Auzanneau F.; Incarbone L.; Pérès F.; Tchangani P. A. OMTDR using BER Estimation for Am biguitiesCancellation in Ramified Networks Diagnosis. IEEE Eighth International Conference on Intelligent Sen sors, Sensor Networks and Information Processing - Information Processing, 02/05/2013-05/05/2013, Mel bourne, Australie. BenHassen W.; Auzanneau F.; Pérès F. ; Tchangani P. A. Optimisation de Capteurs de Diagnostic de Défaut spar Réflectométrie dans les Réseaux FilairesComplexes en utilisant les R´eseaux Bayésiens. 10ème Congrès In ternational Pluridisciplinaire Qualité et Sûreté de Fonctionnement (Qualita’13), 19/03/2013-22/03/2013, Compiègne, France. BenHassen W.; Pérès F. ; Ayeley T.; Auzanneau F. A Dis tributed Diagnosis Strategy using Bayesian Network for Complex Wiring Networks . IFAC Workshop on Advanced Maintenance Engineering, Services and Technology (IFAC A-MEST), 22/11/2012-23/11/2012, Seville, Espagne. Bertolini C.; Heron O.; Ventroux N.; Marc F. Relation between HCI-induced performance degradation and applications in a RISC processor. International On-line Testing Symposium 2012, 27/06/2012-29/06/2012, Barce lona, Espagne. EL SAHMARANY L.; Bonnet P.; Auzanneau F. Novel Re flectometry Method Based on TimeReversal for Cable Aging Characterization. 58th IEEE Holm Conference on Electrical Contacts - 2012, 23/09/2012-26/09/2012, Port land, Etats-Unis. EL SAHMARANY L.; Bonnet P.; Berry L.; Kerroum K.; Auzanneau F. Time reversal for wiring diagnosis. IET, Volume 48, Issue 21, p.1343 1344 , 2012, Electron. Lett., Lon don, Royaume-uni. Evain S.; Gherman V. Error Correction Schemes with Erasure Informationfor Fast Memories. European Test Symposium, 27/05/2013-31/05/2013, Avignon, France. Franchet M.; Auzanneau F.; Ravot N.; Picon O. Quad ratic Time-Frequency Transforms: A Useful Tool For Detecting Soft Faults In Electric Cables. Jpier. Gherman V.; Evain S.; Bonhomme Y. Memory Reliability Improvements based on Maximized Error-Correct ing Codes. Journal of Electronic Testing: Theory and Applications. Olivas M.; Lucas-Leclin B.; Violot C.; Peltier A. Wire Diagnosis For Transports Systems And Their Infrastruc tures. Recherche et Innovation pour les Transports du Futur (RITF 2012), 12/11/2012-15/11/2012, Paris, France. Sarrazin S; Evain S; Bonhomme Y; Gherman V; Alves de Barros Naviner L. Scan design with shadow flip-flops for low performance overhead and concurrent delay fault detection. Design, Automation, and Test in Europe (DATE - 2013), 19/03/2013-22/03/2013, Grenoble, France. Adedjouma M. Requirements engineering process ac cording to automotive standards in a model-driven framework. 2012. Adedjouma M.; Dubois H.; Terrier F.; Kitouni T. An Experiment on Merging Quality Assessment in Auto motive Domain. 12th International SPICE Conference on Process Improvement and Capability dEtermina tion in Software, Systems Engineering and Service Management (SPICE 2012), 29/05/2012-31/05/2012, Palma de Mallorca, Espagne. Adedjouma M.; Dubois H.; Terrier F.; Kitouni T. Merg ing the Quality Assessment of Processes and Products in Automotive Domain. 13th International Conference on Product-Focused Software Development and Process Improvement, 13/06/2012-15/06/2012, Madrid, Espagne. Aouina T.; Tessier P.; Terrier F. Merging UML2 composite structures of Software Product Lines. 17th IEEE Interna tional Conference on Engineering of Complex Computer Systems (ICECCS - 2012), 18/07/2012-20/07/2012, Paris, France. Bahrami D.; Faivre A.; Lapitre A. DIVERSITY-TG, Au tomatic Test Case Generation from Matlab/Simulink Models. 6th European Congress on Embedded Real Time Software and Systems (ERTS² - 2012), 01/02/201203/02/2012, Toulouse, France. Bannour Boutheina; Gaston C.; Lapitre A.; escobedo José Pablo. Incremental symbolic conformance testing from UML MARTE sequence diagrams: railway use case. The IEEE International Symposium on High Assurance Systems Engineering (HASE), 25/10/2012-27/10/2012, Omaha, Etats-Unis. Blay-Fornarino, M.; Authosserre-Cavarero, A.; Bertrand, F.; Collet, P.; Dubois H.; Ducasse, S.; Dupuy-Chessa, S.; Faron-Zucker, C.; Faucher, C.; Lafaye, J.-Y.; Lahire, P.; Le Goaer, O.; Montagnat, J.; Pinna-Dery, A.-M. Interopérabilité des systèmes d’information : approches dirigées par les modèles. 30ème Congrès IN FORSID, 29/05/2012-31/05/2012, Montpellier, France. Boukhanoufa M.L. Adaptabilité et reconfiguration des systèmes temps-réel embarqués. 2012. Charfi A.; Mraidha C.; Boulet P. An Optimized Compila tion of UML State Machines. The 15th IEEE International Symposium on Object/component/service-oriented Re al-time Distributed Computing, 11/04/2012-13/04/2012, Shenzhen, Chine. Dhouib S.; Kchir; Stinkwich; Ziadi; Ziane. RobotML, a Domain-Specific Language to Design, Simulate and De ploy Robotic Applications. SIMPAR 2012, SIMULATION, MODELING, and PROGRAMMING for AUTONOMOUS RO BOTS, 05/11/2012-08/11/2012, Tsukuba, Japon. Dumitrescu C.; Tessier P.; Camille S.; Gerard S.; Dauron A. Flexible Product Line Derivation applied to aModel Based Systems Engineering process. Complex Systems Design & Management (CSDM), 12/12/2012-14/12/2012, Paris, France. Gaston C.; Bannour B.; Escobedo J.; Le Gall P. Off-line test case generation for timed symbolic model-based conformance testing. Conference on Testing Software and Systems , 19/11/2012-21/11/2012, Aalborg, Danemark. Hugo G. Chale; Tucci-Piergiovanni; Thierry Gaudre. Towards an architectural design framework for auto motive system development. Complex System Design & Management 2012, 12/12/2012-14/12/2012, Paris, France. Lakhal F.; Dubois H.; Rieu D. P²E : Une solution out illée dédiée à la gestion des évolutions des profils UML. 1st Conférence en IngénieriE du Logiciel (CIEL 2012), 19/06/2012-20/06/2012, Rennes, France. Lakhal F.; Dubois H.; Rieu D. P²E: A tool for the evolution management of uml profiles. 7th International Con ference on Software Paradigm Trends (ICSOFT 2012), 24/07/2012-27/07/2012, Roma, Italie. Lakhal F.; Dubois H.; Rieu, D. Evolution des profils UML : vers une migration automatisée et une optimisa tion assistée des modèles. 30ème Congrès INFORSID, 29/05/2012-31/05/2012, Montpellier, France. Mehiaoui A.; Tucci-piergiovanni S.; Babau J.; Lemarchand.L. Optimizing the Deployment of Distributed Real-time Embedded Applications. 18th IEEE Internation al Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA - 2012), 19/08/201222/08/2012, Seoul, Corée. Mzid R.; Mraidha C.; Babau J.P.; Abid M. A MDD Ap proach for RTOS Integration on Valid Real-Time Design Model. 38th EUROMICRO Conference on Software Engi neering and Advanced Applications (EUROMICRO-SEAA - 2012), 05/09/2012-08/09/2012, Izmir, Turquie. Radermacher A.; Mraidha C. Code generation for component-based applications. MeCoEs - Metamod eling and Code Generation for Embedded Systems, 07/10/2012-07/10/2012, Tampere, Finlande. Wozniak E.; Mraidha C.; Gerard S. Guided Task Model Construction for Automotive Systems based on Time Budgets. 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA - 2012), 17/09/201221/09/2012, Cracovie, Pologne. Heussner A.; Le Gall T.; Sutre G. MCSCM: A Gener al Framework for the Verification of Communicating Machines. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS - 2012), 27/03/2012-30/03/2012, Tallinn, Estonie. Bardin S.; Gotlieb A. FDCC: A Combined Approach for Solving Constraints over Finite Domains and Ar rays. 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012), 28/05/2012-01/06/2012, Nantes, France. Blanc B.; Junke C.; Blanc B.; Marre B.; Mouy-Ebroussard P. GATeL: A V&V Platform for Scade Models. Boulanger J. L. Chebaro O.; Delahaye M.; Kosmatov N. Testing Inexe cutable Conditions on Input Pointers in C Programs with SANTE. the 24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012), 23/10/2012-25/10/2012, Paris, France. Chebaro O.; Kosmatov N.; Giorgetti A.; Julliand J. Le slic ing améliore une méthode de vérification combinant l’analyse statique et l’analyse dynamique. Journées du GDR CNRS Génie de la Programmation et du Logiciel 2012, 20/06/2012-22/06/2012, Rennes, France. Cuoq P.; Kirchner F.; Kosmatov N.; Prevosto V.; Signoles J.; Yakobowski B. Frama-C: A Software Analysis Perspective. The 10th International Conference on Soft ware Engineering and Formal Methods (SEFM 2012), 01/10/2012-05/10/2012, Thessalonique, Grèce. Cuoq P.; Kirchner F.; Yakobowski B. Benchmarking Static Analyzers. 1st International Workshop onCom parative Empirical Evaluation of Reasoning Systems, 30/06/2012-30/06/2012. Cuoq P; Monate B.; Pacalet A; Prevosto V.; Regehr J.; Yakobowski B.; Yang X. Testing static analyzers with randomly generated programs. Nasa Formal Meth ods Workshop (NFM), 03/04/2012-05/04/2012, Norfolk, Etats-Unis. Delahaye M.; Kosmatov N.; Signoles J. Common Speci fication Language for Static and Dynamic Analysis of C Programs. the 28th ACM Symposium On Applied Com puting, 18/03/2013-22/03/2013, Coimbra, Portugal. Kosmatov N. Concolic Test Generation and the Cloud: Deployment and Verification Perspectives. 231-251, 2012, IGI Global, Hershey, Pennsylvania , Etats-Unis. Kosmatov N.; Williams N. Tutorial on Automated Struc tural Testing with PathCrawler. Extended abstract. the 6th International Conference on Tests & Proofs (TAP 2012), 31/05/2012-01/06/2012, Prague, République Tchèque (Tchéquie) Kosmatov N.; Williams N.; Botella B.; Roger M.; Chebaro O. A lesson on structural testing with PathCrawler-on line.com. the 6th International Conference on Tests & Proofs (TAP 2012), 31/05/2012-01/06/2012, Prague, Répub lique Tchèque (Tchéquie) Lemerre M.; Kosmatov N.; Alec C. Verified secure kernels and hypervisors for the cloud. Computer and Electron ics Security Applications Rendez-vous (C&ESAR 2012), 20/11/2012-22/11/2012, Rennes, France. Loulergue F.; Gava F.; Kosmatov N.; Lemerre M. Towards Verified Cloud Computing Environments. A Posi tion Paper. The 2012 International Conference on High Performance Computing & Simulation (HPCS 2012), 02/07/2012-06/07/2012, Madrid, Espagne. Signoles J.; Correnson L. Combining Analyses for C Pro gram Verification. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012), 27/08/2014-28/08/2012, Paris, France. Williams N.; Kosmatov N. Structural Testing with PathCrawler. Tutorial Paper. the 12th International Con ference on Quality Software, 27/08/2012-29/08/2012, Xi’an, Chine. JABER H. Analyse de sûreté à partir de modèles de sys tèmes. 2012. Ambient intelligence Arnault J.C.; Petit T.; Girard H.; Sennour M; Cheng C. L.; Gesset C.; Bergonzo P. Intrinsic surface reactivity and colloidal properties of hydrogenated and surface graphitised nanodiamonds. Nanomaterials: Applica tion & Properties ‘2012, 17/09/2012-22/09/2012, Alushta, Ukraine. Bergonzo P. Diamond as a novel material for the fab rication of sensor devices. Indo-French Symposium on Sensors Technologies and Systems, 01/03/201205/03/2012, New Delhi, Inde. Bergonzo P. Diamond microelectrode arrays for neuro-interfacing and retinal implants. Internation al Conference on Diamond and Carbon Materials, 03/09/2012-06/09/2012, Grenada, Espagne. Bergonzo P. Nanocrystalline diamond implants for neurointerfacing applications. NAP 2012 : The 2nd In ternational Conference Nanomaterials: Application & Properties, 17/09/2012-20/09/2012, Alushta, the Crimea, Ukraine. THE YEAR IN FIGURES/ scientific publications CEA LIST 49 2012 ACTIVITY REPORT Bergonzo P. Processing diamond electrodes to commu nicate with neuron cells. MPA 2012 6th Int. Meeting on Developments in Materials, Processes and Applications of Emerging Technologies, 02/07/2012-05/07/2012, Alvor, Portugal. Bergonzo P. Processing diamond for Microelectrode Ar rays and retinal implant fabrication. Materials Research Society - MRS - Boston Fall meeting, Diamond symposi um, 26/11/2012-30/11/2012, Boston, Etats-Unis. Caylar B.; Pomorski M.; Oh A.; Wengler T.; Bergonzo P. Novel 3D micro-structuring of diamond for radiation de tector applications: enhanced performances evaluated under particles and photons beams. 12th Pisa Meeting on Advanced Detectors : Frontier Detectors for Frontier Physics - 2012, 20/05/2012-26/05/2012, La Biodola (Isola d’Elba), Italie. Girard H. Self-assembled nanodiamonds layers toward innovative diamond-based structures. 17th Inter national Hasselt Diamond Workshop (SBDD - 2012), 14/03/2012-16/03/2012, Hasselt, Belgique. Girard H.; Scorsone E.; Saada S.; Gesset C.; Arnault J.C.; Perruchas S.; Rousseau L.; David S.; Pichot V.; Spitzer D.; Bergonzo P. Electrostatic grafting of diamond nanopar ticles towards 3D diamond nanostructures. Diamond and Related Materials, 2012, ELSEVIER, 0925-9635, 1. Manai R.; Scorsone E.; Bongrain A.; Rousseau L.; Lissorgues G.; Trouve A.; Bergonzo P. Resonant diamond bio-MEMS for chemical trace detection . Internation al Conference on Diamond and Carbon Materials, 02/09/2012-06/09/2012, Espagne. Marsolat F.; Tranchant N.; Tromson D.; Bergonzo P.; Moignau F.; De Carlan L.; Lazaro-Ponthus D.; Poumarede B.; Bassinet C.; Huet C.; Derreumaux S.; Chea M.; Boisserie G.; Buchheit I.; Marchesi V. Single crystal CVD diamond for small beam dosimetry. 17th International Hasselt Diamond Workshop on CVD Diamond and other Carbon Materials (SBDD - 2011), 14/03/2012-16/03/2012, Hasselt, Belgique. Petit T.; Arnault J.C.; Girard H.; Morel-Altmeyer S.; Sergent J.A.; Paget V.; Sennour M.; Kang T.Y.; Cheng C.L. Positive Zeta potential on Detonation Nanodia monds induced by Oxygen Hole Doping . International Conference on Diamond and Carbon Materials, 03/09/2012-06/09/2012, Granada, Espagne. Tranchant N. Sharp doping interfaces for δdoped layers using a novel gas injection system. SBDD XVII, 14/03/2012-16/03/2012, Hasselt, Belgique. Vaissiere N.; Saada S.; Arnault J.C.; Bouttemy. M; Etcheberry.A; Bergonzo P. Heteroepitaxial diamond on iridium: new experimental results on domains forma tion. International Conference on Diamond and Carbon Materials, 02/09/2012-07/09/2012, Grenade, Espagne. Blanc Pauline; Hamel Matthieu; Rocha Licinio; Normand Stéphane; Pansu Robert. Study and Un derstanding of n/γ Discrimination Processes in Organic Plastic Scintillators. NSS/MIC, 27/10/201203/11/2012, Anaheim, Etats-Unis Boudergui K.; Lestang M.; D’Urso G.; Gaillard-Lecanu E.; Hamel M.; Jahan S.; Kondrasovs V.; Normand S.; Pittance C.; Rocha L.; Trocme M.; Woo R.; Arnette A. Study and development of detection devices for direct con tamination measurements in high gamma background at EDF Nuclear Power Plants. International Symposium of the Information System on Occupational Exposure (ISOE - 2012), 20/06/2012-22/06/2012, Prague, Répub lique Tchèque (Tchéquie). Carrel F.; Gmar M.; Lemaire H.; Schoepff V.; Thevenin M. Gampix: a new generation of gamma camera. DASIP 2012 : Conference on Design and Architectures for Signal and Image Processing, 23/10/2012-25/10/2012, Karlsru he, Allemagne. Coulon R.; Carrel F.; Bakkali M.; Laine F.; Normand S.; Hamrita H. Set-up of a Sodium Loop at the SAPHIR Fa cility. International Conference on Fast Reactors and Related Fuel Cycles: Safe Technologies and Sustainable Scenarios (FR13), 04/03/2013-07/03/2013, Paris, France. Coulon R.; Kondrasovs V.; Boudergui K.; Normand S. A Moving Sources Detection System. 3rd International Conference on Advancements in Nuclear Instrumen tation, Measurement Methods and their Applications (ANIMMA - 2013), 23/06/2013-27/06/2013, Marseille, France. Coulon R.; Normand S.; Laine F.; Sari A.; Bakkali M.; Carrel F.; Hamrita H.; Jammes C.; Rodriguez G.; Jeannot J.P.; Barat E.; Montagu T.; Dautremer T. Generation IV reactor coolant monitoring using ADONIS gam ma-rays spectrometer IAEA Technical Meeting In-pile testing and instrumentation for development of gen eration IV fuel and materirals, 21/08/2012-24/08/2012, Halden, Finlande. Elena Resmerita; Rusu A.D.; Constanta Ibanescu; Iulian Rotaru; Rocha L.; Nicolae Hurduc. Grafted polysiloxanes sensitive to external stimuli. Third International Work shop on Advanced Nano- and Biomaterials and Their Device Applications, 19/09/2012-23/09/2012, Timisoara, Roumanie. Hamel M.; Blanc P.; Rocha L.; Normand S.; Pansu R. Study and Understanding of n/γ Discrimina tion Processes in Organic Plastic Scintillators. SPIE 2013 Defense Security Sensing, 29/04/2013-03/05/2013, Balti more, Etats-Unis Hamel M.; Boudergui K.; D’Urso G.; Gaillard-Lecanu E.; Jahan S.; Kondrasovs V.; Lestang M.; Normand S.; Pittance C.; Rocha L.; Trocme M.; Woo R. Innovative plastic scintillator detector for contamination monitor under a gamma background. ISOE 2012, 20/06/2012-22/06/2012 Hamel M.; Dehe-Pittance C.; Coulon R.; Gaillard S.; Normand S.; Renaud J.-L. Lux Plastic: Response en hancement of plastic scintillators by organometallics luminescence. WISG 2013, 22/01/2013-23/01/2013, Troy es, France Hamel M.; Hamoniaux J.; Rocha L.; Normand S. Ppb de tection of Sarin surrogate in liquid solutions. SPIE 2013, 29/04/2013-03/05/2013, Baltimore, Etats-Unis Hamel M.; Hamoniaux J.; Rocha L.; Normand S. Subppm detection of nerve gas mimics in liquid solutions. Angewandte Chemie International Edition, 1433-7851, 1 Kondrasovs V.; Coulon R.; Normand S.; Schoepff V. An Adaptive Smoother for Counting Measurements. 3rd International Conference on Advancements in Nucle ar Instrumentation, Measurement Methods and their Applications (ANIMMA - 2013), 23/06/2013-27/06/2013, Marseille, France. Michel M.; Rocha L.; Normand S. Amplification of the Luminescence Response inOrganic Materials Under Ionizing Radiation. IEEE Nuclear Science Symposi um and Medical Imaging Conference (NSS-MIC - 2012), 27/10/2012-03/11/2012, Anaheim, Etats-Unis Moleavin I.; Hamel M.; Rocha L.; Hurduc N. Azo-pol ysiloxanes for Photo-sensitive Micelles with Potential Applications in Biology. 12th Eurasia Conference on Chemical Sciences EuAsC2S-12, 16/04/2012-21/04/2012, Corfu, Grèce Rusu A.D.; Danu Maricel; Ibanescu Constanta ; Hurduc Nicolae ; Rocha L. Amphiphilic graft polysiloxanes ca pable of self-assembling in to thermo-sensitive micelle. Centenary of Education in Chemical Engineering 2012, 28/11/2012-30/11/2012, IASI, ROUMANIE Rusu Anca Daniela Thermo-sensitive polymers based on graft polysiloxanes. Polymer Bulletin, 0170-0839, 1. Sari A.; Carrel F.; Gmar M.; Laine F.; Agelou M.; Lyoussi A.; Ostrowsky A.; Sommier L. Characterization of the photoneutron flux emitted by an electron accelerator using an activation detector. 2012 IEEE Symposum on Ra diation Measurements and Applications (SORMA West), 14/05/2012-18/05/2012, Oakland, Californie, Etats-Unis. Aupetit M. Approches topologiques pour l’analyse ex ploratoire de données et l’aide à la décision. Aupetit M. WinSitu: a new Information Visualization paradigm for visual mining of multidimensional data. Data Mining and Knowledge Discovery, 1384-5810. Barre A.; Deguilhem B.; Grolleau S.; Gerard M.; Suard F. A review on Lithium-ion batteries ageing mechanisms and estimations. Journal Of Power Sources. Barre A.; Gerard M.; Suard F.; Montaru M. Statisti cal analysis of battery Li-ion degradation based on real vehicle utilization. 5th International Conference On Ad vanced Lithium Batteries For Automobile Applications, 17/09/2012-20/09/2012, Istanbul, Turquie. Barre A.; Suard F.; Gerard M.; Montaru M.; Riu D. Sta tistical Method Tools to Analyze Ageing Effects on Li-ion Battery Performances. SAE 2013 World Congress, 16/04/2013-18/04/2013, Detroit, Etats-Unis. Blanchart P.; Depecker-Quechon M. A Non-linear Se mantic-preserving Projection Approach to Visualize Multivariate Periodical Time-series. IEEE Transactions on Neural Networks, 1045-9227, 1 Bruneau P.; Boudet L. Bayesian Variable Selection in Neural Networksfor Short-Term Meteorological Prediction. 19th International Conference on Neural In formation Processing (ICONIP2012), 12/11/2012-15/11/2012, Doha, Qatar. Bruneau P.; Boudet L.; Damon C. Neural Architectures for Global Solar Irradiation and Air Temperature Pre diction. International Conference on Artificial Neural Networks (ICANN), 11/09/2012-14/09/2012, Lausanne, Suisse. Caillou P. ; GilQuijano J.J. Description automatique de dynamiques de groupes en simulations à base d’agents. 20e Journées Francophones sur les Systèmes Mul ti-Agents (JFSMA 2012), 17/10/2012-19/10/2012, Honfleur (14600), France. Foucquier A.; Robert S.; Suard F.; Stephan L.; Jay A. State of the art in building modelling and energy performanc es prediction : a review. Renewable and Sustainable Energy Reviews, ELSEVIER, 1364-0321. GilQuijano J.J.; Caillou P. Statistical simulations anal ysis: agent groups identification and evolutions description. 20th European Conference on Artificial Intelligence. (ECAI 2012), 27/08/2012-31/08/2012, Mont pellier, France. Heulot N. Etat d’avancement du sujet de thèse: Etude d’un processus interactif de fouille visuelle de données multidimensionnelles. Heulot N.; Aupetit M.; Fekete J.-D. Évaluation de ProxiViz pour la fouille visuelle de données multidi mensionnelles. Atelier Fouille Visuelle de Données à EGC 2012; Interet= A., 31/01/2012-03/02/2012, Bordeaux, France. Heulot N.; Aupetit M.; Fekete J.-D. Evaluation of Prox iViz for the visual analysis of multidimensional data. Eurographics/IEEE VGTC Symposium on Visualiza tion (EuroVis - 2012), 05/06/2012-08/06/2012, Vienne, Autriche. Heulot N.; Aupetit M.; Fekete J-D. ProxiViz: an In teractive Visualization Techniqueto Overcome Multidimensional Scaling Artifacts. VisWeek 2012, 14/10/2012-19/10/2012, Seatle, Etats-Unis. Lacroix B.; Paulus C.; Mercier D. Controlling Complex Distribution Systems with Agents. European Conference on Artificial Intelligence, 27/08/2012-31/08/2012, Mont pellier, France. Lacroix B.; Paulus C.; Mercier D. Multi-Agent Control of Thermal Systems in Buildings. International Workshop on Agent Technologies for Energy Systems, 04/06/201208/06/2012, Valencia, Espagne. Le Cadre H.; Auliac C. Sensor Information Learning: A Comparison of Statistical Learning Approaches. LATSIS 2012, 04/09/2012-07/09/2012, Lausanne, Suisse. Le Cadre H. Collaborative Learning is Better. Operations Research, 0030-364X, 1. Le Cadre H. Distributed Learning in Hierarchical Net works. ValueTools 2012, 09/10/2012-12/10/2012, Cargèse, France. Le Cadre H.; Auliac C.; Mercier D.; Blanchart P. Virtual Storage Games in the Eco-Neighborhood. International Conference on NETwork Games, COntrol and OPtimiza tion, 28/11/2012-30/11/2012, Avignon, France. Le Yaouanc, J.M.; Poli, J.P. A Fuzzy Spatio-Tempo ral-based Approach forActivity Recognition. 6th International Workshop on Semantic and Conceptual Issues in GIS (SeCoGIS 2012), 15/10/2012-18/10/2012, Flor ence, Italie. Lespinats S.; Meyer-Baese A.; Aupetit M. ClassiMap: a supervised non-linear mapping which preserves the topology of the classes. Journal of Machine Learning Re search, 1532-4435. Maillot M.; Aupetit M.; Govaert G. A generative model that learns Betti numbersfrom a data set. 20th Eu ropean Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN - 2012), 25/04/2012-27/04/2012, Bruges, Belgique. Maillot M.; Aupetit M.; Govaert G. Extraction des nom bres de Betti avec un modèle génératif. Extraction et Gestion des Connaissances (EGC 2013), 29/01/201301/02/2013, Toulouse, France. YANG M.; Blanpain B.; Mercier D.; Bordy JM. A new method for real time dose calculation with partition of the 3D phantom into homogeneous meshes. ESTRO 31, 09/05/2012-13/05/2012, Barcelone , Espagne. Adrien C.; Poumarede B.; Bordy J.M.; Le Loirec C.; Lopez Noriega M.; Bonniaud G. Monte Carlo PENRADIO sys tem for dose calculation in medical imaging. Joint International Conference on Supercomputing in Nucle ar Applications and Monte Carlo 2013 (SNA + MC 2013), 27/10/2013-31/10/2013, Paris, France. Bessieres I.; Poumarede B.; Bordy J.M. Development and experimental validation of TPS software to determine the out-of-field dose in radiotherapy beams. EWG-MCTP 2012, 15/06/2015-18/02/2012, Séville, Espagne. Delorme R.; Agelou M.; Ravanat J.L.; Champion C.; Elleaume H.; Taupin F.; Flaender M.; AlRifai R. Radio thérapie par photoactivation de nanoparticules de Z élevé : modélisation Monte Carlo et comparaison expéri mentale. 51èmes Journées Scientifiques de la SFPM 2012, Strasbourg, 12/06/2012-15/06/2012, Strasbourg, France. Delorme R.; Agelou M.; Ravanat J.L.; Elleaume H.; Taupin F. Photo-activation therapy with high-Z na noparticles: modelling at a micrometer level and experimental comparison. Gordon Research Conference on Radiation Chemistry (GRC - 2012), 28/07/201203/08/2012, Andover, NH, Etats-Unis. Delorme R.; Agelou M.; Ravanat J.L.; Elleaume H.; Taupin F.; Champion C. Photo-activation therapy with Gadolinium nanoparticles: experimental and numerical evidence of dose enhancements. International Confer ence on Translational Research in Radio-Oncology and Physics for Health in Europe (ICTR-PHE 2012), 27/02/201202/03/2012, Genève, Suisse. 50 CEA LIST 2012 ACTIVITY REPORT Lazaro-Ponthus D.; Barat E.; Le Loirec C.; Dautremer T.; Montagu T.; Patin D.; Guérin L.; Batalla A. Prediction of high-resolution portal images for treatment verification in radiotherapy by coupling Monte Carlo simulations to non parametric bayesian denoising. Third Euro pean Workshop on Monte Carlo Treatment Planning, 15/05/2013-18/05/2012, Séville, ESPAGNE Le Loirec C.; Garcia Hernandez J. C.; Bonniaud G.; Guérin L.; Batalla A.; Poumarède B.; Lazaro D. PENS SART, a new Monte Carlo system for quality control in radiotherapy. Joint International Conference on Su percomputing in Nuclear Application and Monte Carlo (SNA-M&C - 2013), 27/10/2013-31/10/2013, Paris, France. Le Loirec C.; Hernandez-Garcia J. C.; Poumarede B.; Lazaro D.; Bonniaud G. Penssart, a new Monte Carlo system based on PENELOPE for dose calculations in ra diotherapy: features and validation. 3rd European Workshop on Monte Carlo Treatment Planning (MCTP 2012), 15/05/2012-18/05/2012, Séville, Espagne. Le Loirec C.; Poumarède B.; Barat E.; Dautremer T.; Montagu T.; Guérin L.; Batalla A.; Lazaro D. Incorporating dynamic motion in PENELOPE. 12th Biennial Conference on Physics and Radiation Technology for Clinical Radio therapy (ESTRO - 2013), 19/04/2013-23/04/2013, Genève, Suisse. Lopez Noriega M.; Le Loirec C.; Bonniaud G.; Poumarede B. Dose prediction in medical imaging by Monte Carlo simulation. 12th Biennial Conference on Phys ics and Radiation Technology for Clinical Radiotherapy (ESTRO - 2013), 19/04/2013-23/04/2013, Genève, Suisse. Ferdinand P. Les journées nationales d’optique guidée de 1980 a nos jours. 22e Journées Nationales d’Optique Guidée, 10/07/2012-12/07/2012, Lyon, France. Ferdinand P.; Rougeault S.; Roussel N.; Pinabiau M.; Canepa C.; Da Rocha J.-C.; Poulain A.; Blin R.; Piot S.; Gourit L.; Brunet D.; Finck C. Brillouin sensing for perimetric detection: the SMARTFENCE project. OFS22 Optical Fiber Sensor International Conference, 15/10/2012-19/10/2012, Beijing (Pékin), Chine. Laffont G.; Cotillard R.; Ferdinand P. Multiplexed re generated Fiber Bragg Gratingsfor high temperature measurement. 22nd International Conference on Opti cal Fiber Sensors, 19/10/2012-22/10/2012, Pékin, Chine. Magne S.; Deloule S.; Ostrowsky A.; Ferdinand P. Fib er-coupled, time-resolved Al2O3:C Radioluminescence dosimetry technique and algorithm for real-time mon itoring during radiation therapy with LINACs. IEEE Transactions on Nuclear Science, 0018-9499, 1. Magne S.; Spasic E.; Deloule S.; de Carlan L.; Aubineau-Lanièce I.; Ferdinand P.; Malet C.; Ginestet C. Multichannel/real-time intracavitary In Vivo Do simetry using fiber-coupled radioluminescence and OSL of Al2O3:C. 31st Congress of European Society for Therapeutic Radiology and Oncology (ESTRO - 2012), 09/05/2012-13/05/2012, Barcelone, Espagne. Maurin L.; Ferdinand P.; Nony F.; Villalonga S.; Bertin M.; Langlois C.; Devilliers C. Contrôle santé de réser voirs composites par fibres optiques pour le stockage sous haute pression d’hydrogène Projet H2E (Horizon Hydrogène Energie). 6e Colloque Interdisciplinaire en In strumentation, 29/01/2013-30/01/2013, Lyon, France. Spasic E.; Magne S.; De Carlan L.; Malet C. Experimental and MONTE-CARLO Investigations of the OSL dose re sponse of dosimetric-grade alumina crystals relative to water and PMMA in high-dose-rate (HDR) brachytherapy conditions using an iridium source. Radiation Measure ments, 1350-4487, 1. Barthelemy Q.; Isaac Y.; Gouy-Pailler C.; Mayoue A.; Larue A.; Mars J. Multivariate temporal dictionary learning for EEG. IEEE International Workshop on Ma chine Learning for Signal Processing (IEEE MLSP - 2012), 23/09/2012-26/09/2012, Satander, Espagne. Barthelemy Q.; Larue A.; Mars J. 3D Rotation Invariant Decomposition of Motion Signals. European Conference on Computer Vision, 07/10/2012-13/10/2012, Florence, Italie. Barthelemy Q.; Larue A.; Mars J. Decomposition and Dictionary Learning for 3D Trajectories. IEEE Transac tions on Signal Processing, 1053-587X, 1. Barthelemy Q.; Larue A.; Mars J. Decomposition and Patterns Learning with Shift & 3D Rotation Invariances. IEEE Transactions on Pattern Analysis and Machine Intel ligence, 0162-8828, 1. Barthelemy Q.; Larue A.; Mars J. Quaternionic Sparse Approximation. Applied Geometric Algebras in Comput er Science and Engineering, 02/07/2012-04/07/2012, La Rochelle, France. Dubroca R.; Junot C.; Souloumiac A. WEIGHTED NMF FOR HIGH-RESOLUTION MASS SPECTROMETRY ANALYSIS. 20th European Signal Processing Conference (EUSIPCO 2012), 27/08/2012-31/08/2012, Bucarest, Roumanie. Kyrgyzov O.; Bloch I.; Yang Y.; Wiart J.; Souloumiac A. Data ranking and clustering via normalized graph cut based on asymmetric affinity. 38th International Conference on Acoustics, Speech, and Signal Process ing (ICASSP - 2013), 26/05/2013-31/05/2013, Vancouver, Canada. Kyrgyzov O.; Souloumiac A. Adaptive EEG artifact re jection for cognitive games. 34rd Annual International Conference of the IEEE Engineering in Medicine and Bi ology Society (EMBC - 2012), 29/08/2012-02/09/2012, San Diego, Etats-Unis. Mayoue A.; Barthelemy Q.; Onis S.; Larue A. Preproc essing for classification of sparse data:application to trajectory recognition. IEEE Statistical Signal Process ing Workshop, 05/08/2012-08/08/2012, Ann Arbor, Etats-Unis. Mouraud A.; Barthelemy Q.; Mayoue A.; Gouy-Pailler C.; Larue A.; Paugam-moisy H. From neuronal cost-based metrics towards sparse coded signals classification. European Symposium on Artificial Neural Networks (ESANN-2012), 25/04/201227/04/2012, Brugge, Belgique. Ouedraogo W. Méthode géométrique de séparation de sourcesnon-négatives : Applications à l’imagerie dy namique TEP et à la spectrométrie de masse. 2012. Ouedraogo W.; Ouedraogo W.; Souloumiac A.; Jaidane M.; Jutten C. Geometrical method using Simplicial Cones for Overdetermined Nonnegative Blind Source Separation: Application to real PET images. 10th Interna tional Conference on Latent Variable Analysis and Signal Separation (LVA/ICA - 2012), 12/03/2012-15/03/2012, TelAviv, Israël. Ouedraogo W.; Souloumiac A.; Jaidane M.; Jutten C. Non-negative Blind Source Separation Algorithm based on Minimum Aperture Simplicial Cone. IEEE Transac tions on Signal Processing, 1053-587X, 1. Rapin J.; Bobin J.; Larue A.; Starck J.L. Robust Non-Neg ative Matrix Factorization for Multispectral Data with Sparse Priors. Astronomical Data Analysis (7th Confer ence), 14/05/2012-18/05/2012, Cargèse, France. Rivet B.; Souloumiac A. Optimal linear spatial filters for event-related potentials based on a spatio-temporal model: Asymptotical performance analysis. Signal Pro cessing, Elsevier, 0165-1684, 1. Robert S.; Delinchant B.; Tanguy Y. PLUMES: towards a unified approach to buildingsphysical modeling. Mod elling of the Physical World Workshop @ MODELS 2012, 01/10/2014-01/10/2014, Innsbruck, Autriche. Robert S.; Hilaire B.; Soubra S. Paving the way for ex haustive and seamless building energy simulations by enhancing BIM and tool support for HVAC systems de scription and simulation. Conference CIB W078 - 2012, 17/10/2012-19/10/2012, Beyrouth, Liban. Souloumiac A.; Rivet B. Improved estimation of eeg evoked potentials by jitter compensation and enhancing spatial filters. ICASSP 2013, 26/05/2013-31/05/2013, Van couver, Canada. Lamb wave (X,Y) Giant Tap Screen Panel with builtin Microphone and Loudspeaker. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 08853010, 1. Anastassova M.; Ajanki M.; Polizzi R.; Periquet F.; LOZADA J.; Roselier S.; Hafez M.; Bengtsson P. A Mag netorheological Haptic Device for In-Vehicle Use: An Exploratory User Evaluation. EuroHaptics 2012, 12/06/2012-15/06/2012, Tampere, Finlande. Anastassova M.; Lozada J. Haptic Perception and Haptic Technologies for Children with Autism Spectrum Disor ders: Where We Are Now and Where We Are Heading. 20ème Congrès Mondial de l’Association internationale de psychiatrie de l’enfant et de l’adolescent et des pro fessions associées, 21/07/2012-25/07/2012, Paris, France. Bolzmacher C.; Strachan S. Audio and haptic feedback generated by a laterally moving touch screen. 7th In ternational Workshop on Haptic and Audio Interaction Design, 23/08/2012-24/08/2012, Lund, Suède. Brunet L.; Gallay M.; DARSES F.; AUVRAY M. Strategies and needs of blind pedestrians during urban naviga tion. Applied Ergonomics, 0003-6870, 1. Brunet L.; Megard C.; Paneels S. Should I Stay or Should I Go? Participatory Design of Haptic Metaphors for Navigation Support in Public Transportation. 31th Con ference on Human Factors in Computing Systems (CHI - 2013), 27/04/2013-02/05/2013, Paris, France. Changeon G.; Graeff D.; Anastassova M.; Lozada J. Tactile Emotions: A Vibrotactile Tactile Gamepad forTransmitting Emotional Messages to Children withAutism. EuroHaptics Conference - 2012, 12/06/201215/06/2012, Tampere, Finlande. Desmaele D.; Boukallel M.; Régnier. S. A resonant struc ture designed for probing theelastic properties of suspension and adherent cells in liquid environments. Journal of Micromechanics and Microengineering, Danny Turner , Etats-Unis, 0960-1317, 1. Hudin C.; Lozada J.; Wiertlewski M.; Hayward V. Tradeoffs In The Application of Time-Reversed Acoustics to Tactile Stimulation. EuroHaptics Conference - 2012 , 12/06/2012-15/06/2012, Tampere, Finlande. Lamy-Perbal S.; Boukallel M.; Castaneda N. Precision Enhancement Method for Pedestrian Foot-Mounted Navigation System. Journal of Navigation, The Royal In stitute of Navigation, UK , Cambridge, Royaume-uni, 0373-4633, 1. Leroy E.; Hafez M. An Ultrasonic Spherical Motor For Compact Line-of-Sight Stabilization of Optical Compo nents. International Symposium on Optomechatronic Technologies (ISOT - 2012), 27/10/2012-30/10/2012, Paris, France. Leroy E.; Hafez M.; Lozada J. Curved Longitudi nal-Bending actuator for rotary ultrasonic motor. 13th International Conference on New Actuators (ACTUATOR - 2012), 18/06/2012-20/06/2012, Brême, Allemagne. Leroy E.; Hafez M.; LozadaMontero J. Electrodes design method for optimal efficiency of Longitudinal-Bending actuators. IEEE International Ultrasonics Symposium (IUS - 2012) , 08/10/2012-10/10/2012, Dresden, Allemagne. Nassar W.; LozadaMontero J.; Boutillon X. PRE-YIELD SHEARING REGIMES OF MAGNETORHEOLOGICAL FLUIDS. ASME 2012 Conference on Smart Materials,Adapta tive Structures, and Intelligent SystemsSMASIS2012, 19/09/2012-21/09/2012, Stone Mountain, Etats-Unis. Nikolovski J.P. Ultrasonic active multi touch panel with high aspect ratioPart A: Design principle and signal pro cessing. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 0885-3010, 1. Nikolovski J.P. Ultrasonic active multi touch panel with high aspect ratioPart B: Increased resolution and mod eling of the radiating pattern. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 08853010, 1. Nikolovski J.P. Ultrasonic Transit-time Gas Flowmeter based on 700 kHz Broadband Shear Waveguide Conical Transducers. IEEE Transactions on Ultrasonics, Ferroelec trics, and Frequency Control, 0885-3010, 1. Rossa C.; Jaegy A.; Lozada J.; Micaelli A. Design Con siderations for Magnetorheological Brakes. IEEE/ASME Transactions on Mechatronics, 1083-4435, 1. Rossa C.; Lozada J.; Micaelli A. Magnetic Flux Analysis on Magnetorheological Actuators Can Detect External Force Variation. IEEE Sensors , 28/10/2012-31/10/2012, Tai pei, Taïwan. Rossa C.; Lozada J.; Micaelli A. Stable Haptic Interaction Using Passive and Active Actuators. IEEE Internation al Conference on Robotics and Automation (ICRA 2013), 06/05/2013-10/05/2013, Karlsruhe, Allemagne. Rossa C.; LOZADA José; MICAELLI Alain. Interaction Power Flow Based Control of a 1-DOF Hybrid Haptic Interface. Eurohaptics 2012, 12/06/2012-15/06/2012, Tam pere, Finlande. Rossa C.; Lozada. J; Micaelli A. A New hybrid actu ator approach for force-feedback devices. IEEE/RSJ International Conference on Intelligent RObots and Sys tems (IROS - 2012), 06/10/2012-11/10/2012, Vilamoura, portugal. Souvestre F.; Eck L.; Brau E. 415 nm LASER evaluation for 3D underwater robot tracking. IEEE International Conference on Robotics and Automation (ICRA - 2013), 06/05/2013-10/05/2013, Karlsruhe, Allemagne. Strachan S.; Zophoniasson H.; Anastassova M. ViPong: Probabilistic Haptic Gaming for the VisuallyImpaired. 7th International Workshop on Haptic and Audio In teraction Design (HAID - 2012), 23/08/2012-24/08/2012, Lund, Suède. Trehard G.; Boukallel M.; Lamy-Perbal S. Indoor Infra structure-less Solution based on Sensor Augmented Smartphone for Pedestrian Localisation. Ubiquitous Po sitioning Indoor Navigation and Location Based Service, 03/10/2012-04/10/2012, Helsinki, Finlande. Bahria M.; Olivereau A.; Boudguiga A. A Hybrid Threat Detection & Security Adaptation System for Industrial Wireless Sensor Networks. 7th International Workshop on Self-Organizing Systems, 09/05/2013-10/05/2013, Palma de Mallorca, Espagne. Bahria M.; Olivereau A.; Boudguiga A. A Hybrid Threat Detection & Security Adaptation System for Industrial Wireless Sensor Networks. 7th International Workshop on Self-Organizing Systems, 09/05/2013-10/05/2013, Palma de Mallorca, Espagne. Ben Saied Y. A Distributed Approach for Secure M2M Communications. Fifth IFIP International Conference on New Technologies, Mobility and Security (NTMS), 07/05/2012-10/05/2012, Istanbul, Turquie. BenSaied Y.; Olivereau A. D-HIP: A Distributed Key Ex change Schemefor HIP-based Internet of Things. First IEEE WoWMoM Workshop on the Internet of Things: Smart Objects and Services, IoT-SoS 2012, 25/06/201225/06/2012, San Francisco, Etats-Unis. THE YEAR IN FIGURES/ Publications CEA LIST 51 2012 ACTIVITY REPORT BenSaied Y.; Olivereau A. Lightweight collaborative keying for the Internet of Things. Ad Hoc Networks, EL SEVIER, 1570-8705. Bonetto R.; Bui N.; Lakkundi V.; Olivereau A.; Serbanati A.; Rossi M. Secure Communication for Smart IoT Ob jects: Protocol Stacks, Use Cases and Practical Examples. First IEEE WoWMoM Workshop on the Internet of Things: Smart Objects and Services, 25/06/2012-28/06/2012, San Francisco, Etats-Unis. Imadali S.; Karanasiou A.; Petrescu A.; Sifniadis I.; Vèque V. EHealth Service Support In IPv6 Vehicular Networks. 2nd International Workshop on Vehicu lar Communications and Networking (VECON 2012), 08/10/2012-10/10/2012, Barcelone, Espagne. Imadali S.; Karanasiou A.; Sifniadis I.; Petrescu A.; Vèque V. Remote Healthcare Support In IPv6 Vehicular Networks/Testbed Integration. Mobile Networks and Applications, SPRINGER. Imadali S.; Vèque V.; Petrescu A.; Boc M. VULA: VINbased Unique Local IPv6 Addresses Auto-configuration for VANET. 14th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Network, 04/06/2013-07/06/2013, Madrid, Espagne. Kaiser A.; Kaiser A.; Decremps S.; Petrescu A. Prefix Delegation extension to Neighbor Discovery proto col. Internet Engineering Task Force, 85th edition., 04/11/2012-09/11/2012, Atlanta, Georgie, , Etats-Unis. Kellil M.; Boc M.; Janneteau C. Group Communications in a PMIPv6 Domain with Partial Deployment of Multi cast. 2012, 12p. Maalel N.; Kellil M.; Roux P. Fast restoration of connec tivity for wireless sensor networks. The 12th conference on next generation wired/ wireless advanced networks (NEW2AN), 27/08/2012-31/08/2012, St petersburg, Rus sie (Fédération de). Maalel N.; Roux P.; Kellil M.; Abdelmadjid Bouabdallah. Mobile Agent for Restoring Connectivity in Wireless Sen sor Networks via a Distributed and Dynamic Protocol. IWCMC 2012, 27/08/2012-31/08/2012, Limassol, Chypre. Olivereau A.; Gessner D.; Salinas Segura A.; Serbanati, A. Trustworthy Infrastructure Services for a Secure and Privacy-respecting Internet of Things. The 2nd IEEE In ternational Symposium on Security and Privacy in Internet of Things, 25/06/2012-27/06/2012, Liverpool, Royaume-uni. Oualha N. Network security in Industrial Wireless Sen sor Networks. CRC Press. Petrescu A.; Janneteau C.; Boc M.; Petrescu A. Network Mobility with Proxy Mobile IPv6. Internet Engineering Task Force (IETF 83 - Mars 2012), 25/03/2012-30/03/2012, Paris, France. Smirani S.; Kamoun M.; Sarkiss M.; Zaidi A.; Duhamel P. Wyner-Ziv Lattice Coding for Two-Way Relay Channel. The 2012 internation conference on advanced technolo gies for communication , 10/10/2012-12/10/2012, Hanoi, Viêt Nam. Sofiane Imadali; Athanasia Karanasiou; Alexandru Petrescu; Ioannis Sifniadis; Eleftheria Vellidou; Pantelis Angelidis. Integration of eHealth Service in IPv6 Vehic ularNetworks. Ambient Media and Systems, SPRINGER, Athènes, Grèce. Zdenek Becvar; Roux Pierre; Pavel Mach. Fast Cell Se lection with Efficient Active Set Management in OFDMA Networks with Femtocells. EURASIP Journal on Wireless Communications and Networking, SPRINGER, 1687-1499, 1. DIASI LVIC. Besancon R.; Ferret O.; JeanLouis L. Evaluation of a Complex Information Extraction Application in Specific Domain. 8th International Conference on Language Resources and Evaluation (LREC - 2012), 23/05/2012-25/05/2012, Istanbul, Turquie. Besbes B.; Collette-Naudet S.; Tamaazousti M.; Bourgeois S.; Gay-Bellile V. An Interactive Augmented Reality System: a prototype for industrial maintenance training applications . 9th IEEE-ACM International Symposi um on Mixed and Augmented Reality (ISMAR - 2012), 05/11/2012-08/11/2012, Atlanta, Etats-Unis. Bouamor D.; Semmar N.; Zweigenbaum P. Identifying bilingual Multi-Word Expressions for Statistical Machin eTranslation. The eighth international conference on Language Resources and Evaluation (LREC), 21/05/201227/05/2012, Istanbul, Turquie. CHAN-HON-TONG A.; Ballas N.; Achard C.; Delezoide B.; Lucat L.; Sayd P.; Preteux F. Skeleton Point Trajectories for Human Daily Activity Recognition. 8th International Conference on Computer Vision Theory and Applica tions (VISAPP - 2013), 21/02/2013-24/02/2013, Barcelone, Espagne. Embarek M.; Ferret O. Esculape : un système de ques tion-réponse dans le domaine médical fondé sur l’extraction de relations. TAL. Traitement Automatique des Langues, 69-99, 2012, ATALA, Paris, France, 12489433, 1. Jourdheuil L.; Allezard N.; Chateau T. Adaboost Discret Hétérogène à Contrainte Temps Réel : Application à la Détection de Piétons par Stéréovision. 18ème Congrès Francophone sur la Reconnaissance des Formes et l’In telligence Artificielle (RFIA - 2012), 24/01/2012-27/01/2012, Lyon, France. Jourdheuil L.; Allezard N.; Chateau T.; Chesnais T. Het erogeneous Adaboost With Real-Time Constraints. Application to the Detection of Pedestrians by stereovi sion. 7th International Conference on Computer Vision Theory and Applications (VISAPP - 2012), 24/02/201226/02/2012, Rome, Italie. Marchand M. État de l’art : l’influence du domaine sur la classification de l’opinion. Dis-moi de quoi tu parles, je te dirai ce que tu penses. 14e Rencontres des Étudi ants Chercheurs en Informatique pour le Traitement Automatique des Langues (JEP TALN RECITAL - 2012), 04/06/2012-08/06/2012, Grenoble, France. Popescu A.; Ballas N. CEA LIST’s Participation at Me diaEval 2012 Placing Task. MediaEval 2012 Workshop, 04/10/2012-04/10/2012, Pisa, Italie. Rae A.; Murdock V.; Bouchard H.; Popescu A. Mining the Web for Points of Interest. ACM SIGIR, 12/08/201216/08/2012, Portland, Etats-Unis. Shabou A.; LeBorgne H. Locality-constrained and spa tially regularized coding for scene categorization. 25th IEEE Conference on Computer Vision and Pattern Recog nition (CVPR - 2012), 18/06/2012-20/06/2012, Providence, Rhodes-Island, Etats-Unis. Tsikrika T.; Kludas J.; Popescu A. Building Reliable and Reusable Test Collections for Image Retrieval: The Wikipedia Task at ImageCLEF. IEEE Multimedia, IEEE Computer Society, Washington DC, Etats-Unis. Wang W.; Besancon R.; Ferret O.; Grau B. Regroupement de relations pour l’extraction d’information non super visée. 9ème COnférence en Recherche d’Informations et Applications (CORIA - 2012), 21/03/2012-23/03/2012, Bor deaux, France. Znaidia A.; Shabou A.; LeBorgne H.; Hudelot C.; Paragios N. Bag-of-Multimedia-Words for Image Classification. International Conference on Pattern Recognition, 11/11/2012-15/11/2012, Tsukuba, Japon. Znaidia A.; Shabou A.; Popescu A.; LeBorgne H.; Hudelot C. Multimodal Feature Generation Framework for Semantic Image Classification. ACM International Conference on Multimedia Retrieval,, 05/06/201208/06/2012, Hong kong, Chine. LNHB LMA. Amiot M.N.; Be M.M.; Branger T.; Cassette P.; Lepy M.C.; Menesguen Y.; Da Silva I. Standardization of 64Cu using an improved decay scheme. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 0168-9002, 1. Bobin C.; Thiam C.O.; Chauvenet B.; Bouchard J. Ap proche stochastique de la méthode de mesure d’activité RCTD : nouveau modèle appliqué aux méthodes RCTD Cerenkov et par scintillation liquide. Revue Française de Métrologie. Halter E.; Thiam C.O.; Bobin C.; Bouchard J.; Chambellan D.; Chauvenet B.; Hamel M.; Rocha L.; Trocme M.; Woo R. Preliminary TDCR measurements using a x-ray tube at low-energies (lower than 20 keV). LSC-2013, 18/03/2013-22/03/2013, BARCELONE, ESPAGNE. Rodrigues M.; Loidl M.; LeBret C.; Lepy M.C. Measure ment of 241Am L X-ray Relative Emission Intensities with a High Energy Resolution Magnetic . Europe an Conference on X-Ray Spectrometry (EXRS - 2012), 18/06/2012-22/06/2012, Vienne, Autriche. BAHAIN J.J.; Falguères C.; Laurent M.; Shao Q.; Dolo J.M.; Garcia T.; Douville E.; Frank N.; Monnier J.L.; Hallégouët B.; Laforge M.; Huet B.; Auguste H.; Liouville M.; Serre F.; Gagnepain J. ESR and ESR/U-series dating study of several middle Palaeolithic sites of Pléneuf-Val-André (Brittany, France): Piégu, Les Vallées and Nantois. Quaternary Geochronology, 424-429, 2012, ELSEVIER, 1871-1014, 1. Bordy J.M.; Daures J.; Bordy J.M.; Gouriou J. La dosi metrie du cristallin, état de l’art et perspectives. Club Utilisateurs LANDAUER EUROPE, 30/03/2012-30/03/2012, Paris, France. Bordy J.M.; Daures J.; Gouriou J. La dosimétrie du cris tallin pour les photons et étude de poste. huitiemes rencontres des personnes compétentes en radioprotec tion, 29/11/2012-30/11/2012, Issy-les-moulineaux, France. Delaunay Frank; Rapp Benjamin; Daures Josiane; Gouriou Jean; Le Roy Maïwenn; Ostrowsky Aimé; Sorel Soizic; Bordy Jean-Marc. New standards of ab sorbed-dose to water for 60Co and high-energy x-rays at LNE-LNHB. Metrologia, 0026-1394. Garcia T.; Anton M.; Sharpe P. EURAMET.RI(I)-S7 compar ison of alanine dosimetry systems for absorbed dose to water measurements in gamma- and x-radiation at ra diotherapy levels. Metrologia, 01/01/2018, 2012, Bureau International des Poids et Mesures, Sèvres, France, 00261394, 1. Gouriou J. Détermination du facteur de correction lié à la présence d’un diaphragme localisé à l’entrée des chambres à parois d’air du LNE-LNHB pour les rayons x de basses et moyennes énergies. Han F.; Bahain J.J.; Boëda E.; Hou Y.; Huang W.; Falguères C.; Rasse M.; Wei G.; Garcia T.; Shao Q.; Yin G. Preliminary results of combined ESR/U-series dating of fossil teeth from Longgupo cave, China. Quaternary Ge ochronology, 2012, ELSEVIER, 1871-1014, 1. Hornbeck A.; Garcia T.; Jenny C. Verification of the dose delivered by TPS and the dose rate of GammaKnife ra diotherapy machine using EPR/Alanine dosimetry. XI Convegno Nazionale GIRSE & 1st Joint Meeting AR PE-GERPE-GIRSE, 03/10/2012-06/10/2012, Palerme, Italie. Perichon N.; Rapp B.; Denoziere M.; Daures J.; Ostrowsky A.; Bordy J.M. Comparison between absorbed dose to water references established by water calorim etry atLNE-LNHB and by application of international air-kerma based protocols for kilovoltagemedium ener gy X-rays. Physics in Medicine and Biology, IOP (Institute Of Physics), 0031-9155, 1. Rapp B.; Perichon N. LNE-LNHB water calorimeter for primary measurement of absorbed dose at low depth in water. Application to medium energy X-rays. Phys ics in Medicine and Biology, IOP (Institute Of Physics), 0031-9155, 1. Shao Q.; Bahain J.J.; Falguères C.; Dolo J.M.; Garcia T. A new U-uptake model for combined ESR/U-series dating of tooth enamel. Quaternary Geochronology, 406-411, 2012, ELSEVIER, 1871-1014, 1. 52 CEA LIST 2012 ACTIVITY REPORT Director: Karine Gosse Deputy Director, General affairs: Etienne Garderet Communications Department: Elisabeth Lefèvre-Remy Administration and Finance Department: Philippe Lecestre Deputy to the Director, Strategy and Programs: Jean-Marc Alexandre Deputy to the Director, Sales: Xavier Apolinarski Deputy to the Director, Scientific Research: Jean-Noël Patillon Deputy to the Director, European Affairs: Didier Vanden Abeele DACLE Embedded software architecture & design Thierry Collette DILS Software & systems engineering François Terrier THE YEAR IN FIGURES/ CEA LIST ORG CHART CEA LIST 53 2012 ACTIVITY REPORT CEA LIST ORG CHART DIASI Ambient intelligence & interactive systems François Gaspard DISC Imaging & simulation for industrial control Clarisse Poidevin DM2I Metrology, instrumentation & information Mehdi Gmar LNHB Henri Becquerel National Laboratory Loïc Lenoir de Carlan 54 THE YEAR IN FIGURES/KEY FIGURES CEA LIST 2012 ACTIVITY REPORT KEY FIGURES OPERATING 75% 100 40 Budget of external funding PARTNERSHIPS 100 companies, including 45% SMEs joint labs HUMAN RESOURCES TOTAL STAFF 715 includes – 500 permanent staff members – more than 150 PhD and post-doc researchers 8 STAFF PROFILES TECHNOLOGY TRANSFER 12 start-ups created since 2001 LICENSING AGREEMENTS BY FIELD 20% Ambient intelligence 118 licensing agreements 19% 60% Advanced Manufacturing 1% Embedded systems Other PATENT APPLICATIONS BY FIELD 41% Ambient intelligence 309 25% Advanced Manufacturing patent applications 31% Embedded systems 22 researchers state‑certified to supervise research 5 Publications dissertations defended subject-matter experts: – 5 international experts – 39 senior experts – 42 experts newlycertified research supervisors in 2012 29% Embedded systems 715 staff member 16 including STAFF BY FIELD 39% publications/year 86 including Ambient intelligence 300 40 research directors new experts in 2012 32% Advanced Manufacturing Index 55 CEA LIST 2012 ACTIVITY REPORT INDEX A C Advanced manufacturing..................1, 4, 17, 18, 37 Ambient intelligence..............................1, 27, 39, 40 Augmented reality.......................................... 5, 8, 28 Automotive design....................................................25 Cabling diagnostics...........................................23, 42 Capme’up............................................................. 1, 4, 38 Carnot........................................................................... 38 CEA Tech ...................................................................1, 36 CIVA ....................................................... 4, 18, 19, 34, 38 Communicating networks.................................... 29 Crisis management...............................................4, 31 Critical systems..........................................................25 Crypto-calculator......................................................23 Cybersecurity.........................................................6, 25 D E H I M P S T Design....................................................................28, 40 Diamond............................................................... 30, 39 Dosimetry............................................................... 12, 33 Electronic document management.................. 29 Embedded systems............................. 1, 8, 22, 37, 42 Energy.................................................................10, 31, 32 Hazardous materials detection................ 6, 19, 31 Healthcare.................................................................... 12 Human-machine interfaces.......................8, 13, 29 Image reconstruction.............................................. 31 Innovation........................................................ 1, 38, 40 Integration.................................................... 4, 9, 11, 23 Interactive simulation.........................................4, 17 Metrology...............................................................12, 32 Neuro-inspired calculation....................................23 Non-destructive testing................ 4, 18, 34, 37, 42 Parallel architectures....................................8, 10, 22 Particle detection................................................. 32, 3 Pedestrian detection..................................22, 29, 34 Pump-priming .................................................... 37, 38 Robotics............................................4, 12, 16, 17, 37, 38 Security.............................................6, 8, 10, 23, 25, 42 Smart handling..................................................... 16, 17 Software engineering.......................6, 8, 10, 24, 25 Transportation.................................................8, 23, 25 Notes design graphique : www.kolza.biz | 0950 40 80 50 | juillet 2012 Institut Carnot CEA LIST CEA SACLAY Nano-INNOV PC142 91191 GIF-SUR-YVETTE CEDEX (FRANCE) T. +33 1 69 08 25 01 www-list.cea.fr [email protected]