Probabilistically Analysable Real-Time Systems

People

Michael Houston

 

Michael Houston is a Senior Software Engineer at Rapita Systems Ltd.

His work focuses on tool development and user interfaces, but includes research involving databases, FPGA design and parallel computing.

He received a Master of Engineering degree in Computer Systems and Software Engineering from the University of York, UK in 2006.

Mike Towers

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.
 

Franck Wartel


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

Eitan Farchi

Eitan Farchi, Ph.D. has been with the IBM HAFSa Research Laboratory since 1992; there he led a project to improve the performance of operating systems. He is currently involved in software testing and developing coverage-directed tools for testing concurrent and distributed programs. Dr. Farchi is a frequent speaker at software testing conferences, is the author of a tutorial on the testing of distributed components, and teaches software engineering at the University of HAFSa.

Marco Zulianello

Marco Zulianello is a Software Engineer in Software Engineering & Standardisation Section of the Technical and Operations Directorate.

Giovanni Beltrame

Giovanni Beltrame is a Research Fellow in Microelectronics Section of the Technical and Operations Directorate.

Martin Newby

Professor Martin Newby studied mathematics at Sussex University, UK, and then worked as an operational research scientist at Rowntree Mackintosh for four years. He was a lecturer in Industrial Technology at the University of Bradford, UK, for fifteen years and then Associate Professor of Industrial Engineering at the Technological University Eindhoven, NL. He was appointed Professor of Statistical Science at City University, London in 1995. Professor Newby’s research has been on reliability and maintenance mainly in the aerospace sector. He is the author of more than 70 papers on reliability, risk, and applied probability models.

Simon Fürst

Simon Fürst studied Aerospace Engineering at the Technical University of Munich. In 1993 he started as a research assistant at the department of System Dynamics and Flight Mechanics at the University of the Federal Armed Forces in Munich. His research area was on an onboard autonomous, vision based system for navigation and landing of airplanes and helicopters. In 2001 he started at IABG in Ottobrunn as a project leader and consultant for the qualification of the high risk avionics software in the Tiger helicopter and the Eurofighter. Since 2003 he is with BMW Group. There he is one of the authors of an internal software development standard for embedded software. He is a member of the software group of the FAKRA AK16 and a software expert in ISO TC22 SC3 WG16 working on ISO 26262, the upcoming functional safety standard for the automotive domain. In 2004 he started in the FlexRay Safety Working Group and in the AUTOSAR Safety Team. In 2006 Mr. Fürst became BMW project leader for AUTOSAR. In 2008 he changed from the AUTOSAR Project Leader Team to the AUTOSAR Steering Committee.”

Markus Buhlmann

Markus Buhlmann, studied electronics at technical university in Munich, specialised for data technology. He worked as Engineer assistant for data technology at Siemens AG. He. He has been working for Audi since 1992, where he has worked in several groups: product influence for customers, workshop literature, customer support, quality protection, power-train communication systems, time triggered communication systems (communication & software), embedded software for all wheel drive systems. He has participated in 3 projects supported by the EU in the area of time triggered systems and timing analysis and he has given several presentations national and international (automotive and embedded systems).

José Ruiz

José Ruiz, Dr., is a Senior Software Engineer at AdaCore. He received his Ph.D. Degree for his work in the field of real-time and multimedia systems, including scheduling policies and resource management in real-time operating systems. His area of expertise is embedded certifiable real-time systems, where he has been working for more than 15 years, having authored/coauthored over 25 papers in that area.