Probabilistically Analysable Real-Time Systems

People

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.

Benoît Triquet

Benoît Triquet has been with Airbus for over 8 years as a software engineer and operating system specialist for certified safety-critical avionics. Currently part of the digital cores architecture research group. He focuses on operating systems, incremental qualification and WCET analysis for IMA2G.

Liliana Cucu

Liliana Cucu is a permanent INRIA researcher. Her long-term research INRIA project concerns the probabilistic analysis of real-time systems. She has a Bachelor’s degree in Mathematics and a PhD degree in Computer Science (in the area of real-time systems), and is currently carrying out her research on the adaptation of classical theory of statistics and probability to the area of real-time systems.

Enrico Mezzetti

Dr. Enrico Mezzetti obtained a Bachelor degree in Computer Science at the University of Padua (cum laude, 2005). He further accomplished a Master's Degree in Computer Science at the University of Padua (cum laude,2008) with a thesis on instruction cache predictability in high integrity real-time systems. In May 2012 he successfully defended his PhD thesis on "Cache-aware Development of High Integrity Real-time Systems". His PhD activities were carried on under a joint PhD program between the Universities of Padua and Bologna with support from Thales Alenia Space - France. In the last few years, he has been involved in several European projects on cache predictability and analysability of high integrity real-time systems, such as the PEAL (Prototype Execution-time Analyser for LEON, ESA/ESTEC Contract 19535/05/NL/JD/jkCCN1) and COLA (Cache Optimization for LEON Analyses, ESA/ESTEC Contract 22167/09/NL/JK ) projects. He gained insight on the inner working of industrial-quality timing analysis tools such as the static WCET analysis tool aiT (from AbsInt GmbH) Bound-T (from Tidorum Ltd.) and the measurement-based WCET analysis tool RapiTime (from Rapita Systems Ltd.). He is currently a post-doc research fellow at the University of Padua in the Department of Mathematics. Home Page: http://www.math.unipd.it/~emezzett/

Tullio Vardanega

Tullio Vardanega is with the Computer Science faculty at the Dept. of Pure and Applied Maths, College of Science, University of Padua, Italy, in the position of Associate Professor since 2002. His prime research interests include methods, languages and tools for the engineering of high-integrity real-time systems. He is also an advisor, reviewer and consultant for the European Space Agency as well as the European Commission (Directorate-General, Information Technology, Embedded Systems Unit). He is also a member of various international program committees and working groups. In particular, as a member of a rapporteur group under ISO/IEC JTC1/SC22/WG9, he was co-author of two major technical reports: Guide for the use of the Ada Ravenscar Profile in High Integrity Systems (ISO number to be defined), and Guide for the use of the Ada programming language in High Integrity Systems (ISO/IEC JTC1/SC22 TR 15492, October 1999). From July 1991 to December 2001, he was at the European Space Agency at their Technical and Research Center (ESTEC) in the Netherlands, where he was a key staff member in the area of methods, languages and tools for the engineering of on-board embedded software systems. From December 1987 to June 1991, he was a project leader at Intecs, Italy, a private company engaged in R&D and consulting for leading-edge software technology, where he managed a number of research projects for a total funding in excess of 4M€.

Antoine Colin

Dr. Antoine Colin, also a founder and director of Rapita Systems Ltd. is an expert in worst-case execution time analysis. He has conducted research and development of WCET analysis techniques for complex processors and compiler design for cryptographic processors. Antoine has a PhD from the University of Rennes 1 (France) for his work on microarchitecture modelling for WCET analysis. He is one of the architects of the RapiTime tool and also of the Heptane tool.

Guillem Bernat

Dr. Guillem Bernat, founder and CEO of Rapita Systems Ltd., is a world renowned expert on worst-case execution time analysis, probabilistic timing analysis, scheduling algorithms and schedulability analysis. He was formerly a lecturer at the Computer Science Department at the University of York, in the UK. His early work on probabilistic timing analysis has lead to the publication of two seminal papers in the area, in particular in the application of the theory of copulas. He is also one of the architects of the RapiTime tool-set. Guillem Bernat is one of the founders of the International Workshop on WCET analysis that meets annually as a satellite event of the ECRTS conference. Dr. Bernat has a PhD in schedulability analysis from the Universitat de les Illes Balears, Spain and has published more than 50 papers in international conferences and journals.

Gina Alioto - Project Manager

Gina Alioto has more than eleven years of experience as a Project Manager. She spent more than seven of those years in the Silicon Valley managing cross-functional and technical teams in technology and embedded systems development projects across multiple borders. She has led teams to release innovative consumer electronics / computer products for Sony VAIO, D&M Holdings (Denon, Marantz) and ReplayTV. She has coordinated the technical development of a 17 million euro FP6 Integrated Project.  At the BSC, she previously managed private collaborations with key industrial partners including Microsoft and IBM. In addition to PROARTIS, she currently coordinates FP7 STREPs VELOX and ENCORE.   She holds a Bachelor’s degree from Stanford University.

Eduardo Quiñones

Eduardo Quiñones is a senior researcher at BSC. He received his MS degree in 2003 and his PhD. in 2008 at the Universitat Politecnica de Catalunya. His area of expertise is in safety-critical systems and high performance compiler techniques. He also has experience in hardware simulation methodologies. He is currently involved in the MERASA FP7 project. He spent one year as a student intern at Intel Research Labs (2002 - 2003).