TY - JOUR A1 - Hartig, Wolfgang A1 - Habermann, Albert A1 - Mottok, Jürgen T1 - Mehr Qualität durch modellbasiertes Testen JF - Elektronik automotive 3 Y1 - 2009 UR - https://www.elektroniknet.de/automotive/software-tools/mehr-qualitaet-durch-modellbasiertes-testen.1370.html SP - 32 EP - 35 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Schiller, Frank A1 - Früchtl, M. T1 - Diskussion des Einsatzes von Safely Embedded Software in FPGA-Architekturen T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 655 EP - 661 ER - TY - CHAP A1 - Studt, Reimer A1 - Mottok, Jürgen A1 - Utesch, Matthias A1 - Landes, Dieter T1 - Anwendung der Bloom´schen Taxonomie auf Lehrinhalte des Software-Engineerings T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 583 EP - 593 ER - TY - CHAP A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Modifikation des Taskzustandsmodells des LLREF-Schedulers auf einem Dual-Core-Prozess T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 628 EP - 636 ER - TY - CHAP A1 - Schorer, Michael A1 - Kuntz, Stefan A1 - Mottok, Jürgen T1 - Beschreibung eines kooperativen Tasksystems mit OSEK-konformen Scheduler durch Petri Netze T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 637 EP - 644 ER - TY - CHAP A1 - Stamatescu, G. A1 - Deubzer, Michael A1 - Mottok, Jürgen A1 - Popescu, Dan T1 - Migration overhead in multiprocessor scheduling T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 645 EP - 654 ER - TY - JOUR A1 - Hartig, Wolfgang A1 - Habermann, Albert A1 - Mottok, Jürgen T1 - Model-based testing for better quality JF - Vector, Technicle Article Y1 - 2009 ER - TY - JOUR A1 - Mottok, Jürgen T1 - Safely embedded software JF - Embedded Software Engineering Report Y1 - 2009 VL - 53 SP - 10 EP - 11 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Schiller, Frank A1 - Früchtl, M. T1 - Safeguarded Processing of Sensor Data T2 - IT-SecurityArea (IT-SA 2009) vom 13.-15. Oktober 2009, Nürnberg N2 - The spectrum of software tasks no longer includes only rare function controlling tasks for sensor actuator chains in reactive embedded systems. However, more and more responsible challenges like safety-critical scenarios are tackled. Therefore sensor data have to be safeguarded by several mechanism. An obvious and widely used approach is the use of two redundant hardware controllers, but this comes along with an additional cost, space and energy factor. Another way to fulfill certain safety properties is to implement a second diverse software channel in a single micro-controller architecture according the Safely Embedded Software (SES) approach. However, a lack of performance occurs by implementing this diverse channel for complex computations e.g. floating-point operations. This paper gives an approach for transferring the SES into a coprocessor and to migrate SES to a flexible and powerful FPGA architecture. KW - Safety embedded software KW - FPGA KW - Diverse instructions KW - Safety code weaving Y1 - 2009 UR - https://hal.archives-ouvertes.fr/hal-02268737 ER - TY - JOUR A1 - Deubzer, Michael A1 - Mottok, Jürgen A1 - Bärwald, Andreas T1 - Dependability-Betrachtung von Multicore-Scheduling JF - HANSER Automotive N2 - Der Embedded Markt stellt sich auf eine neue Herausforderung ein: denUmstieg von Singlecore- auf Multicore-Prozessorsysteme. Dabei soll dieUmsetzung der Norm ISO 26262 die Funktionale Sicherheit der elektri-schen und elektronischen Systeme im Kraftfahrzeug gewährleisten. In diesem Beitrag betrachten die Hochschule Regensburg und die TÜV SüdAutomotive GmbH das Scheduling eines Echtzeitsystems als ein sicher-heitsrelevantes Sub-System. Y1 - 2010 UR - https://res.cloudinary.com/sternwald-systems/raw/upload/v1/hugoprd/ARTIKEL_ATTACH/00207DD4_0669BA3F5B24/4b2124fb030a4d3d5a42a83aaec4bddadebe3077/AM_2010_11_Dependability-Betrachtung-von-Multicore-Scheduling.pdf IS - 11 SP - 24 EP - 27 ER - TY - CHAP A1 - Bierl, Rudolf A1 - Boehm, M. A1 - Fraunhoffer, Judith A1 - Gardeia, Armin A1 - Mottok, Jürgen A1 - Schneider, Ralph A1 - Streubel, J. T1 - “Regensburger Modell zu den P-Seminaren” – Ein Konzept zur Gestaltung der Schnittstelle Gymnasium – Hochschule und zur Praxis einer kooperativen Lehr-Lern-Didaktik für Informationstechnik T2 - 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember, Sindelfingen Y1 - 2010 PB - Vogel Business Media CY - Würzburg ER - TY - CHAP A1 - Hagel, Georg A1 - Mottok, Jürgen A1 - Utesch, Matthias A1 - Landes, Dieter A1 - Studt, Reimer T1 - Software Engineering Lernen für die berufliche Praxis – Erfahrungen mit dem konstruktivistischen Methodenbaukasten T2 - Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen Y1 - 2010 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Schiller, Frank A1 - Früchtl, M. T1 - Migration of SES to FPGA Based Architectural Concepts T2 - Proceedings of the Workshop 'Safely embedded software' Y1 - 2009 ER - TY - JOUR A1 - Deubzer, Michael A1 - Mottok, Jürgen T1 - Dependability von Systemen mit dynamischen Multicore-Schedulingalgorithmen JF - safetronic Y1 - 2010 ER - TY - JOUR A1 - Raab, Peter A1 - Mottok, Jürgen A1 - Meier, Hans T1 - OSEK-RTOS für Jedermann (Teil 2) JF - Embedded Software Engineering Report Y1 - 2009 VL - 53 SP - 10 EP - 12 ER - TY - JOUR A1 - Raab, Peter A1 - Mottok, Jürgen A1 - Meier, Hans T1 - OSEK-RTOS für Jedermann (Teil 1) JF - Embedded Software Engineering Report Y1 - 2009 VL - 53 IS - September SP - 14 EP - 15 ER - 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 -