Probabilistically Analysable Real-Time Systems


Adriana Gogonel

Adriana Gogonel is an INRIA Research Engineer in Statistics. Her research with INRIA concerns the probabilistic analysis of real-time systems based on Extreme Value Theory. She has a PhD degree in Statistics (in the short-term forecasting of the extreme events area). Currently she is helping the TRIO team in their research of an adaptation of classical theory of statistics and probability to the area of real-time systems.

Andrea Baldovin

Andrea Baldovin is a PhD student in Computer Science at the University of Padua. He received his Bachelor's and Master's Degree from the same institution, where he has been involved in the EU-FP6 SPADE project. As for his involvement in PROARTIS, his research interests include Worst-Case Execution Time (WCET) Analysis of hard real-time systems, with particular attention to time-composable architectures and real-time operating systems.

Elisa Turrini

Elisa Turrini received a PhD degree in Computer Science from the University of Bologna, Italy, where she has been a research associate at the Department of Computer Science. Prior to PROARTIS, she worked in a FP5 funded project (TAPAS) and in a project at the University of Bologna (AlmaTwo). Her research interests span many areas including distributed systems, system performance evaluation, cloud computing, coordination languages, and workflow systems. She has co-authored a book chapter and papers in internationally refereed workshops, conferences, and journals.

Zoe Stephenson

Zoë Stephenson is a Senior Software Engineer at Rapita Systems Ltd. Her responsibilities are mainly focused around provision of qualification information for customers in critical domains. She received her PhD from the University of York in 2002 and has worked on academic research projects with a number of industrial partners including Esterel, BAE Systems, Rolls-Royce, Goodrich Control Systems, Aero Engine Controls and Jaguar Landrover. For PROARTIS, Zoë is involved with management of tool support for the new analysis techniques being developed by the project. She is also the main contributor to the structure of certification arguments, providing a framework for validation evidence to help convince method user and regulators of the soundness of the proposed techniques.

Ian Broster

Dr Ian Broster is a founder and Director of Rapita Systems Ltd, a company specializing in real-time software timing analysis. He earned his PhD in 2003 at the Real-time Systems group of the University of York for work on the timing analysis of real-time communication. He has been involved in significant real-time research projects involving scheduling analysis, predictable multi-core, real-time communication and fault tolerance. He has a valuable mix of academic and industrial experience of real-time and embedded systems. He is actively involved in the transfer of research technologies to practical industrial uses in the domain of reliable embedded systems.  

Cristian Maxim

Cristian Maxim has been working with the INRIA team for the last two years. His main concerns are the extreme value theory and its applications in real-time systems. He has a Bachelor’s degree in Computer Science and a Masters degree in Information Security.

Dorin Maxim

Dorin Maxim is currently working on his Ph.D. at the INRIA research center in Nancy, France, in the field of Real Time Systems, with a focus on Probabilistic Real Time Systems. He obtained a masters degree in computer sciences in 2010 and a double bachelor’s degree in mathematics and computer sciences in 2008, both from the Lower Danube University in Galati, Romania.

Codé Lo

Codé Lo is a research engineer at INRIA Nancy. He holds a master's degree in statistics and econometrics from the university of Paris I Panthéon Sorbonne and a dual bachelor's degree in applied mathematics and Mathematics & Computer Science. He is currently working on statistical and probabilistic approaches in the PROARTIS project.

Xavier Salazar

Xavier Salazar has 4 years of professional experience in innovation and project management. In BSC-CNS he manages the portfolio of external scholarships of the center and the projects for Performance Tools’ and Storage Systems’ research groups. Since April 2012 Xavier started also giving support to Computer Architecture / OS interface group, including the projects parMERASA and PROARTIS. He holds a diploma in Electrical Engineering for Technical University of Catalonia (UPC) and a Master’s degree in Innovation Management in Chalmers University of Technology in Sweden.

Jaume Abella

Dr. Jaume Abella is a Senior Research Scientist in the group on Interaction between the Computer Architecture and the Operating System (CAOS) at BSC where he leads hard real-time reliability and ultra-low power activities. He worked for more than 4 years at the Intel Barcelona Research Center, where he was responsible for activities on hardware degradation and multi-level memory hierarchies and had an outstanding contribution to Intel’s IP portfolio (15 patents filed). He participated in the FP4 MHAOTEU project and currently participates actively in the hardware designs for the PROARTIS FP7 project. Jaume is also involved in two research projects with the ESA. Jaume has wide experience in reliability, memory hierarchy design, low power and compilers. He has co-authored more than 40 papers in top conferences and journals (17 of them on reliability) and holds several awards. He is co-advisor of five PhD students.

Leonidas Kosmidis

Leonidas Kosmidis holds a MSc in Computer Architecture, Networks and Systems from Universitat Politècnica de Catalunya and a BSc in Computer Science from University of Crete with valedictorian, where he was ranked 1st among the students of all the Departments of Science and Engineering. He has spent a summer as an intern in the MAS Laboratory at École Centrale de Paris and served as a student research assistant in the CARV Laboratory at ICS-FORTH. Currently he is pursuing a PhD in Computer Architecture from Barcelona Supercomputing Center and he is the main contributor of the simulation infrastructure used in PROARTIS.

Jose Alemida

Jose Alemida, is the Technical Manager Southern Europe of SYSGO SAS and is in charge of support, services, and training for real-time operating systems – in particular PikeOS and embedded Linux, as well as other, proprietary Operating systems. José is an expert in safety and security critical systems, providing consulting for DO178B and ARINC-652 applications development. José previously worked with Thales Computers, where he was in charge of co-ordinating all technical pre-sales activities in Asia, the Pacific and Northern Europe. Before that he was in charge of technical support and professional services group throughout the EMEA region for a US RTOS vendor. He also worked as a project manager, in charge of designing complex, real-time process control applications based on VME systems in industrial sector. José Almeida holds a degree in Electronic Sciences from Ecole Polytechnique de l’Université de Nantes, France.

Jan Staschulat

Jan Staschulat has received a PhD in Computer Science from TU Braunschweig, Germany, in 2006 and has several years of experience in timing analysis for caches and performance modelling for embedded systems. Currently he is working as a Senior Scientist at NXP Semiconductors in Eindhoven, The Netherlands, on timing analysis for real-time applications running on multicore platforms.

Glenn Farrall

Glenn Farrall, Infineon Technologies UK Ltd, Bristol, UK, AI Engineering Director in charge of future Infineon TriCore developments