Helmar Wieland - INCHRON GmbH, Germany
Rafik Henia - Thales Research and Technology, Paris, France
Selma Saidi - Hamburg Univ. of Technology, Germany
Arne Hamann - Robert Bosch GmbH, Renningen, Germany
The current trend in safety-critical systems towards automation and connectivity imposes an increased complexity and hardware/software system heterogeneity. This trend tremendously challenges established modeling and performance analysis methods and tools used for the design of safe and correct systems where particularly stringent requirements on worst-case response times and end-to-end latencies need to be met.
The tutorial will highlight recent challenges in modeling and timing analysis of safety-critical systems recently integrated on general-purpose heterogeneous MPSoCs platforms. The tutorial will cover performance analysis considering formal timing analysis approaches dedicated to shared network and memory resources as well as simulation for the analysis of dynamic behavior of software. The tutorial will also present Time4Sys, an open source pivot model that addresses the fundamental issue of the semantic gap between the various design languages and their underlying timing concepts present in existing timing analysis frameworks. The tutorial will besides introduce AMALTHEA, an open source data format for performance modeling, simulation, and analysis of embedded and automotive systems.
Dirk Ziegenbein is chief expert for engineering of cyber-physical systems at Robert Bosch Corporate Research. Additionally, he leads a team of 20 experts researching software systems engineering methods for cyber-physical systems in automotive, robotics and IoT. Dirk received a Ph.D. degree from Technical University of Braunschweig for his dissertation on modeling and design automation of embedded systems. In 2002, Dirk joined Bosch Research and worked on topics such as software component technology and scheduling analysis. From 2007 to 2012, he was responsible for the product management of embedded software engineering tools at ETAS GmbH.
Helmar Wieland graduated in 2007 from Friedrich-Alexander-University of Erlangen-Nuremberg with a degree in computer science. For his diploma thesis, he created a timing accurate simulator for cache memories for his future employer, INCHRON GmbH. Since then, he has stayed true to the real-time community. In various positions, he is driving the advancement of chronSIM, the real-time simulator and INCHRON’s core product, training its users and helping them design excellent and robust system and software architectures. He also has more than 10 years of experience conducting customer projects with the automotive industry’s leading OEMs and Tier-1s.
Rafik Henia graduated from the Technical University of Braunschweig in 2003 where he worked as a researcher at the Institute of Computer and Network Engineering with research topics related to the timing verification for real-time embedded systems. Since 2009, he has been a research engineer at Thales Research and Technology France, in the Critical Embedded Systems Lab. He works in collaboration with Thales avionics, aerospace, telecommunication and defense divisions on R&D projects mostly focusing on the integration of model-based performance design and verification techniques in the industrial development process of real-time embedded systems.
Arne Hamann obtained his PhD in Computer Science in 2008 from the Technical University of Braunschweig, Germany. His PhD thesis was awarded the EDAA Outstanding Dissertation Award 2009 in the category “New directions in embedded system design and embedded software”. Currently, Arne Hamann is working for Bosch Corporate Research in the division of “Software-intensive Systems”. There, he acts as a chief expert for distributed intelligent systems and real-time system design principles for physically dominated embedded systems. Additionally, he regularly serves as program committee members for international conferences such as ECRTS, DAC, EMSOFT, RTSS, DSD, and ETFA.
Selma Saidi received a Ph.D from the University of Grenoble in 2012 working jointly with STMicroelectronics on optimizing memory transfers for a new generation of embedded multicore architectures. Later she joined the Technical University of Braunschweig as a post doctoral researcher to work on embedded multi-core platforms dedicated to real-time and safety critical systems. Currently, she has a permanent research position in Hamburg University of Technology. Her research interests involve developing new timing analysis methods for hardware components in MPSoCs, in addition to novel HW/SW mechanisms to ensure efficient and safe sharing of resources in heterogeneous systems.