TY - JOUR A1 - Deubzer, Michael A1 - Mottok, Jürgen A1 - Margull, Ulrich A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - Efficient Scheduling of Reliable Automotive Multi-core Systems with PD² by Weakening ERfair Task System Requirements JF - Automotive Safety and Security N2 - Partly Proportionate fair (Partly-Pfair) scheduling, which allows task migration at runtime and assigns each task processing time with regard to its weight, makes it possible to build highly efficient embedded multi-core systems. Due to its non-work-conserving behavior, which might leave the CPU idle even when tasks are ready to execute, tasks finish only shortly before their deadlines are reached. Benefits are lower task jitter, but additional workload, e.g. through interrupts, can lead to deadline violations. In this paper we present a work-conserving extension of Partly-Pfair scheduling, called PERfair scheduling and the algorithm P-ERfair-PD2 which applies Pfair modifications used for Partly-Pfair on the concept of ERfairness and PD2 policies. With a simulation based schedulability examination we show for multiple time base (MTB) task sets that P-ERfair- PD2 has the same performance as Partly-Pfair-PD2. Additionally, we show that P-ERfair- PD2 has a much higher robustness against perturbations, and therefore it is well suited for embedded domains, especially for the Automotive domain. Y1 - 2010 UR - https://www.researchgate.net/publication/287883010_Efficient_scheduling_of_reliable_automotive_multi-core_systems_with_pd2_by_weakening_erfair_tasksystem_requirements SP - 53 EP - 67 ER - TY - JOUR A1 - Deubzer, Michael A1 - Schiller, Frank A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Margull, Ulrich T1 - Effizientes Multicore-Scheduling in Eingebetteten Systemen – Teil 1: Algorithmen für zuverlässige Echtzeitsysteme JF - atp - Automatisierungstechnische Praxis N2 - Eingebettete Systeme unterliegen neben den funktionalen Anforderungen besonders nicht funktionalen Qualitätsanforderungen wie Effizienz, Zuverlässigkeit und Echtzeitfähigkeit. Mit steigendem Bedarf an Rechenkapazität können bisherige Konzepte zur Leistungssteigerung von Singlecore-Systemen jedoch nicht mehr eingesetzt werden – der Umstieg auf Multicore-Systeme wird erforderlich. Im ersten Teil dieser Arbeit werden eine mögliche Prozessorarchitektur für zukünftige Automotive Multicore-Systeme und die Abstraktion der Software für diese Systeme vorgestellt. Nach einer Klassifkation von Multicore-Scheduling-Algorithmen präsentieren wir exemplarisch einen Algorithmus mit statischer Taskallokation und einen Algorithmus mit dynamischer Taskallokation. Bei beiden Algorithmen handelt es sich um eine Überführung theoretisch behandelter Algorithmen auf Automotive Systeme. Y1 - 2010 UR - https://docplayer.org/4474533-Effizienter-einsatz-von-multicore-systemen.html IS - 9 SP - 60 EP - 67 ER - TY - CHAP A1 - Schorer, Michael A1 - Kuntz, Stefan A1 - Mottok, Jürgen T1 - Verification of Behavioral Compatibility in the Virtual Integration Methodology T2 - 8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010 N2 - The advantages of component-based systems include reuse of generic components as well as adaption through variants. However, they bare a high risk of containing incompatibilities between components, due to the lack of control over the integration-relevant aspects of their components. Current development processes are able to detect incompatibilities between components only at very late stages of system development. The Virtual Integration methodology is an approach to detect and to solve compatibility issues during early stages of system design. The methodology supports developers with a set of measures to reduce the risk of incompatibilities to a minimum at each abstraction layer of their system architecture. Realtime requirements of embedded systems make it necessary to support the methodology with a formal model, which can describe dynamic properties of these systems. In our approach, we use interface automata because they offer a lightweight formalism to describe the behavior of components and to verify their compatibility based on these descriptions. In a feasibility study we show, to which extend interface automata are adequate for the foresaid purpose in the automotive application field. Y1 - 2010 U6 - https://doi.org/10.1109/WISES.2010.5548424 SP - 35 EP - 42 ER - TY - JOUR A1 - Deubzer, Michael A1 - Schiller, Frank A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Margull, Ulrich T1 - Effizientes Multicore-Scheduling in Eingebetteten Systemen – Teil 2: Ein simulationsbasierter Ansatz zum Vergleich von Scheduling-Algorithmen JF - atp - Automatisierungstechnische Praxis N2 - Eingebettete Systeme unterliegen neben den funktionalen Anforderungen besonders nichtfunktionalen Qualitätsanforderungen wie Effizienz, Zuverlässigkeit und Echtzeitfähigkeit. Mit steigendem Bedarf an Rechenkapazität können bisherige Konzepte zur Leistungssteigerung von Singlecore-Systemen jedoch nicht mehr eingesetzt werden - der Umstieg auf Multicore-Systeme wird erforderlich. Im zweiten Teil dieser Arbeit wird ein simulationsbasierter Ansatz zum Vergleich von Multicore-Scheduling-Algorithmen vorgestellt, mit dem Algorithmen für Multicore-Systeme mit voller Migration und dynamischer Task-Priorität untersucht werden. Wir erweitern diesen Ansatz um ein Verfahren zur Untersuchung einer Tasksetmenge mit stochastisch beschriebenen Eigenschaften und vergleichen ihn mit den im Teil 1 beschriebenen Algorithmen BinPacking-EDF und P-ERfair-PD² für eine Gruppe von Automotive Powertrain Systemen. Y1 - 2010 VL - 52 IS - 10 ER - TY - CHAP A1 - Deubzer, Michael A1 - Margull, Ulrich A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - Partly Proportionate Fair Multiprocessor Scheduling of Heterogeneous Task Systems T2 - 5th Embedded Real Time Software and Systems Conference, May 2010 N2 - Proportionate fair (Pfair) scheduling, which allows task migration at runtime and assigns each task processing time with regard to its weight, is one of the most efficient group of SMP multiprocessor scheduling algorithms known up to now. Drawbacks are tight requirements to the task system, namely the restriction to periodic task systems with synchronized task activation, quantized task execution time, and implicit task deadline. Most likely, a typical embedded real-time system does not fulfill these requirements. In this paper we address violations of these requirements. For heterogeneous task systems, we define the multiple time base (MTB) task system, which is a less pessimistic model than sporadic task systems and is used for automotive systems. We apply the concept of Pfair scheduling to MTB task systems, called partly proportionate fair (Partly-Pfair) scheduling. The restrictions on MTB task systems required for Partly-Pfair ness are weaker than restrictions on periodic task systems required for Pfair ness. In a simulation based study we examined the performance of Partly-Pfair-PD and found it capable to schedule feasible MTB task sets causing a load of up to 100% of the system capacity. Y1 - 2010 ER - TY - CHAP A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Qualification and Certification of Development Tools for Safety-Critical Applications T2 - Automotive Safety & Security N2 - This paper presents an overview on qualification and certification of tools used in the phases of the safety lifecycle for safety-critical applications, either for development or for verification and validation. Software development tools are widely used in the development of safety-critical software systems. More verification and validation procedures will be automated by software tools to reduce time consuming manual testing. The impact of software tools on functional safety is discussed. Based on normative regulations like IEC 61508 and ISO DIS 26262 different approaches for tool qualification and certification are presented. Y1 - 2010 UR - https://www.researchgate.net/publication/289001902_Qualification_and_certification_of_development_tools_for_safety-critical_applications SP - 135 EP - 149 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans T1 - SES-based Framework for Fault-tolerant Systems T2 - 8th IEEE Workshop on Intelligent Solutions in Embedded Systems, Heraklion, Greece, July 2010 N2 - Embedded real-time systems are often used in harsh environments, for example engine control systems in automotive vehicles. In such ECUs (Engine Control Unit) faults can lead to serious accidents. In this paper we propose a safety embedded architecture based on coded processing. This framework only needs two channels to provide fault tolerance and allows the detection and identification of permanent and transient faults. Once a fault is detected by an observer unit the SES guard makes it visible and initiates a suitable failure reaction. Y1 - 2010 U6 - https://doi.org/10.1109/WISES.2010.5548427 SP - 12 EP - 16 ER - TY - JOUR A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Certification of safety relevant systems – Benefits of using pre-certified components JF - Automotive Safety and Security Y1 - 2010 ER - TY - CHAP A1 - Stappert, Friedhelm A1 - Jonsson, Jan A1 - Mottok, Jürgen A1 - Johansson, Rolf T1 - A Design Framework for End-to-End Timing Constrained Automotive T2 - 5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France Y1 - 2010 UR - https://hal.archives-ouvertes.fr/hal-02264378 ER - TY - CHAP A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Osek-basierende Implementierung des LLREF-Scheduling-Algorithmus für eine Dual-Core-Architektur T2 - 2. Landshuter Symposium Mikrosystemtechnik, Tagungsband, 24. une 25. Februar 2010, Hochschule Landshut Y1 - 2010 SP - 343 EP - 349 ER -