Best Paper Award for PROXIMA at 51st DAC

10 June 2014

The awarded paper is a research result of the PROXIMA project, an Integrated Project of the Seventh framework programme for research and technological development, coordinated by BSC.

A paper from the EC-funded PROXIMA project entitled "Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware" from Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Franck Wartel, Glenn Farrall, and Francisco J. Cazorla has received the 51st DAC Best Paper Award. The Design Automation Conference (DAC) was held in San Francisco in June, and featured nearly 300 technical presentations.

The paper proposes a new approach to software randomisation that is made statically and it is able to contain timing verification costs in the automotive domain. This will allow the processors in future cars to provide enhanced functionalities. Francisco J. Cazorla, the PROXIMA project coordinator, says that this award is “a great achievement for the PROXIMA project and shows the potential benefits of the probabilistic timing-analysis approach in domains such as automotive.”

The awarded paper is a research result of the PROXIMA project, an Integrated Project (IP) of the Seventh framework programme for research and technological development (FP7), coordinated by BSC. The PROXIMA project provides industry-ready software timing analysis using probabilistic analysis for many-core and multi-core critical real-time embedded systems and will enable cost-effective verification of software timing analysis including worst case execution time.


The PROXIMA project (Probabilistic real-time control of mixed-criticality multicore and manycore Systems) is partially funded by the European Commission’s Seventh Framework Programme (FP7/2007-2013 under grant agreement n° n°611085) and has a budget over 6 million Euro for 3 years until October 2016. PROXIMA brings together leading European technology companies such as Airbus Operations, Airbus Defense and Space, Infineon, Sysgo, Aeroflex Gaisler, Rapita Systems; some of the most important research centers in Europe: INRIA, Ikerlan and BSC; and leading academic partners like University of York, Universita di Padova.

Further information here

About DAC

The Design Automation Conference (DAC) is recognized as the premier event for the design of electronic circuits and systems, and for electronic design automation (EDA) and silicon solutions. A diverse worldwide community representing more than 1,000 organizations attends each year, represented by system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities. Close to 60 technical sessions selected by a committee of electronic design experts offer information on recent developments and trends, management practices and new products, methodologies and technologies. A highlight of DAC is its exhibition and suite area with approximately 200 of the leading and emerging EDA, silicon, intellectual property (IP) and design services providers. The conference is sponsored by the Association for Computing Machinery (ACM), the Electronic Design Automation Consortium (EDA Consortium), and the Institute of Electrical and Electronics Engineers (IEEE), and is supported by ACM's Special Interest Group on Design.

Further information here