Previous | 
Home
Section: Partnerships and Cooperations
European Initiatives
FP7 Projects
Sensation
Participants : Hubert Garavel, Radu Mateescu, Wendelin Serwe.
Sensation (Self ENergy-Supporting Autonomous computaTION) is the European project no. 318490 funded by the FP7-ICT-11-8 programme. The project (see http://people.cs.aau.dk/~rrh/SENSATION ) gathers 9 participants: Inria (Triskell and Convecs teams), Aalborg University (Denmark), RWTH Aachen and Saarland University (Germany), University of Twente and Embedded System Institute (The Netherlands), STMicroelectronics (France), GomSpace (Denmark), and Recore Systems (The Netherlands). The main goal of Sensation is to increase the scale of systems that are self-supporting by balancing energy harvesting and consumption up to the level of complete products. In order to build such Energy Centric Systems, embedded system designers face the quest for optimal performance within acceptable reliability and tight energy bounds. Programming systems that reconfigure themselves in view of changing tasks, resources, errors and available energy is a demanding challenge.
Sensation started on October 1st, 2012 for three years. CONVECS contributes to the project regarding the extension of formal languages with quantitative aspects, studying common semantic models for quantitative analysis, and applying formal modeling and analysis to the case studies provided by the industrial partners.
Collaborations with Major European Organizations
The CONVECS team is member of the FMICS (Formal Methods for Industrial Critical Systems) working group of ERCIM (see http://fmics.inria.fr ). R. Mateescu is currently the chairman of the FMICS working group and H. Garavel is member of the FMICS board, in charge of dissemination actions.
Hubert Garavel was appointed to a new Working Group within Informatics Europe: “Parallel Computing (Supercomputing) Education in Europe: State-of-Art”. This is a relatively small working group (about 10 people) with the following missions: to show the need for urgent changes in higher education in the area of computational sciences, to compose a survey of the current landscape of parallel computing and supercomputing education in Europe with respect to different universities and countries, and to prepare a set of recommendations on how to bring ideas of parallel computing and supercomputing into higher educational systems of European countries.
Other European Collaborations
In addition to our partners in aforementioned contractual collaborations, in 2012 we had scientific relations with several European universities and research centers, including:
Saarland University (Alexander Graf-Brill, Ernst-Moritz Hahn, Arnd Hartmanns, Holger Hermanns, and Andrea Turrini),
Oxford University (Ernst-Moritz Hahn, Marta Kwiatkowska, and Dave Parker),
University of Twente (Freark van der Berg and Marielle Stoelinga),
H. Garavel participates in the DFG (Deutsche Forschungsgemeinshaft) transregional project AVACS (Automatic Verification and Analysis of Complex Systems, see http://www.avacs.org ) and he attended two meetings held at Freiburg (Germany) in February 2012 and at Mannheim (Germany) in November 2012.