Ian Broster

The PRESTO project aims at improving test-based embedded systems development and validation, while considering the constraints of industrial development processes. This project is based on the integration of:
a) test traces exploitation (generated by test execution in the software integration phase induced by the industrial development process, to validate the requirements of the system) along with
b) platform models and
c) design space exploration techniques

The PROXIMA project is providing industrial support for mixed-criticality real-time embedded systems executing on multi-core and many-core platforms. It shows that the timing behaviour can be analysed effectively via innovative probabilistic techniques. PROXIMA defines new hardware and software architectural paradigms based on the concept of randomisation. On top of this, PROXIMA builds a comprehensive suite of probabilistic analysis methods integrated into commercial design, development, and… Show more

The PROXIMA project is providing industrial support for mixed-criticality real-time embedded systems executing on multi-core and many-core platforms. It shows that the timing behaviour can be analysed effectively via innovative probabilistic techniques. PROXIMA defines new hardware and software architectural paradigms based on the concept of randomisation. On top of this, PROXIMA builds a comprehensive suite of probabilistic analysis methods integrated into commercial design, development, and verification tools, complemented by appropriate arguments for certification.
PROXIMA is an IP project within the Seventh Framework Programme of the European Union.
Participants: Barcelona Supercomputing Center (Spain), University of Padua(Italy), Rapita Systems (UK), INRIA (France), Airbus (France), Sysgo (France), Infineon (France), University of York (UK), IKERLAN (Spain), Aeroflex Gaisler (Sweden), Astrium Satellites (France) Show less

P4S addresses issues related to time analysability of next generation space systems. The key challenge is the use multicores in an effective way while achieving adequate levels of guarantee of the timing correctness. Probabilistic timing analysis techniques enable the determination of WCET estimations of software components to arbitrary levels of probability that the execution time is not exceeded. To do so, the software timing has to be randomised, which can be done by hardware and/or software… Show more

P4S addresses issues related to time analysability of next generation space systems. The key challenge is the use multicores in an effective way while achieving adequate levels of guarantee of the timing correctness. Probabilistic timing analysis techniques enable the determination of WCET estimations of software components to arbitrary levels of probability that the execution time is not exceeded. To do so, the software timing has to be randomised, which can be done by hardware and/or software randomisation techniques.
P4S is a European Space Agency (ESA) study proposal, in response to the ITT Ref AO/1- 7646/13/NL/JK, published by EMITS on the 9th of August 2013.
Participants: Rapita Systems (UK), Barcelona Supercomputing Center (Spain), University of Padua (Italy), Airbus Defense and Space (France), Aeroflex Gaisler (Sweden). Show less

The motivation for the parMERASA project is the industry’s demands for new functionality and higher levels of performance of embedded hard real-time systems. The parMERASA project aims to develop a multi-core processor architecture that provides a predictable timing behaviour, a suitable system-level software, software design guidelines for parallelising hard real-time applications, and tools for estimating and verifying the timing behaviour of such parallel applications. parMERASA is a STREP… Show more

The motivation for the parMERASA project is the industry’s demands for new functionality and higher levels of performance of embedded hard real-time systems. The parMERASA project aims to develop a multi-core processor architecture that provides a predictable timing behaviour, a suitable system-level software, software design guidelines for parallelising hard real-time applications, and tools for estimating and verifying the timing behaviour of such parallel applications. parMERASA is a STREP project within the Seventh Framework Programme of the European Union.

Participants: University of Augsburg (Germany), Barcelona Supercomputing Center (Spain), University Paul Sabatier (France), Technical University of Dortmund (Germany), Rapita Systems (UK), Honeywell (Chez Republic), Denso Automotive Deutschland (Germany), Bauer Maschinen (Germany). Show less