TY - CHAP A1 - Mottok, Jürgen A1 - Hagel, Georg A1 - Utesch, Matthias A1 - Waldherr, Franz T1 - Konstruktivistische Didaktik - ein Rezept für eine bessere Software Engineering Ausbildung? T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 601 EP - 610 ER - TY - CHAP A1 - Schmidt, Peter A1 - Mottok, Jürgen T1 - Memorandum der Bioagile Software- und Systementwicklung T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 487 EP - 497 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 - Proceedings of Dependability@SIEMENS Conference 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 - 2009 ER - 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 - 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 - 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 - 5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France Y1 - 2010 ER - TY - CHAP A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Cyclic codes and error detection during data processing in embedded software systems T2 - Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen Y1 - 2011 SP - 577 EP - 590 ER - TY - JOUR A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Qualifizierung und Zertifizierung von Software-Entwicklungswerkzeugen JF - Hanser Automotive Y1 - 2010 SP - 34 EP - 39 ER - TY - JOUR A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Multi-Core Scheduling in Embedded Systemen, Teil 1 JF - Hanser Automotive Y1 - 2010 IS - 1-2 SP - 18 EP - 22 ER - TY - JOUR A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Multi-Core Scheduling in Embedded Systemen, Teil 2 JF - Hanser Automotive Y1 - 2010 IS - 3-4 SP - 23 EP - 25 ER - TY - JOUR A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Multi-Core Scheduling in Embedded Systemen, Teil 3 JF - Hanser Automotive Y1 - 2010 IS - 5-6 SP - 14 EP - 16 ER - TY - CHAP A1 - Mottok, Jürgen A1 - Gardeia, Armin T1 - The regensburg concept of p-seminars – how to organize the interface between secondary school and university education to create a didactic cooperation between teaching and learning of software engineering with lego mindstorms nxt embedded robot systems T2 - 2011 IEEE Global Engineering Education Conference (EDUCON), Amman, Jordan, 2011 N2 - This paper describes the background and the theory of the learning arrangement “The Regensburg Concept of P 1 - Seminars” and its potential fields of application. This conception was designed to meet the various requirements caused by the Bologna Accords and the restructuring of the senior years of German secondary school education. At the same time it aims at finding solutions for a severe problem topical in Germany: the lack of students qualifying in MINT (the fields of mathematics, informatics, natural sciences and techniques.) The focus of this conception is on the cooperation between universities and schools hence a draft of the P-Seminar has already been realized and evaluated during a pilot phase at a local secondary school. These experiences serve as a solid basis for the development of a concrete plan that makes it possible to transfer the concept to similar projects in future. In the following paragraphs keywords that are applied to the lexical field of the Regensburg Concept are elaborated e.g. "practive learning", an interaction of practical and active learning. Y1 - 2011 U6 - https://doi.org/10.1109/EDUCON.2011.5773255 SP - 917 EP - 920 ER - TY - CHAP A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Racek, Stanislav T1 - Safe software processing by concurrent execution in a real-time operating system T2 - 16th International Conference on Applied Electronics (AE 2011), 2011, Pilsen, Czech Republic N2 - The requirements for safety-related software systems increases rapidly. To detect arbitrary hardware faults, there are applicable coding mechanism, that add redundancy to the software. In this way it is possible to replace conventional multi-channel hardware and so reduce costs. Arithmetic codes are one possibility of coded processing and are used in this approach. A further approach to increase fault tolerance is the multiple execution of certain critical parts of software. This kind of time redundancy is easily realized by the parallel processing in an operating system. Faults in the program flow can be monitored. No special compilers, that insert additional generated code into the existing program, are required. The usage of multi-core processors would further increase the performance of such multi-channel software systems. In this paper we present the approach of program flow monitoring combined with coded processing, which is encapsulated in a library of coded data types. The program flow monitoring is indirectly realized by means of an operating system. Y1 - 2011 SP - 315 EP - 319 ER - TY - CHAP A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Mottok, Jürgen T1 - Parallelisierte Echtzeitanalyse von Eingebetteten Systemen T2 - Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen Y1 - 2011 SP - 516 EP - 524 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Storytelling: Finite state machines Lernen leicht gemacht! T2 - Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen Y1 - 2011 ER - TY - CHAP A1 - Mottok, Jürgen T1 - General purpose computing on graphics processing unit by using cuda T2 - Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg Y1 - 2011 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Ses and the iso 26262 T2 - Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg Y1 - 2011 ER - TY - CHAP A1 - Lalo, Erjola A1 - Deubzer, Michael A1 - Schmidhuber, Stefan A1 - Oklapi, Erna A1 - Mottok, Jürgen T1 - Task Priority Optimization in Real-Time Multi-Core Embedded Systems T2 - 4. Landshuter Symposium Mikrosystemtechnik, Mikrosystemtechnik als Schlüsseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. März 2014, Hochschule Landshut N2 - The shift from single-core to multi-core processors in real-time embedded systems leads to communication based effects on timing such as inter-core communication delays and blocking times. Moreover, the complexity of the scheduling problem increases when multi-core processors are used. In priority-based-scheduling, a fixed priority assignment is used in order to enable predictable behavior of the system. Predictability means that the system has to be analyzable which allows the detection of problems coming from scheduling decisions. For fixed priority scheduling in multi-core real-time embedded systems, a proper task priority assignment has to be done in a way that the system has minimal effects on timing. In this paper, we present an approach for finding near-optimal solutions for task priority assignment and the preemption/cooperation problem. A genetic algorithm is hereby used to create priority assignment solutions. A timing simulator is used for evaluation of each solution regarding real-time properties, memory consumption and communication overhead. In a case study we demonstrate that the proposed approach performs better than well known and single-core optimal heuristics for relatively complex systems. Y1 - 2014 SN - 978-3-9812696-5-9 SP - 96 EP - 109 CY - Landshut ER - TY - CHAP A1 - Altmann, Andreas A1 - Birkner, Wolfgang A1 - Häckl, Franz-Xaver A1 - Hanner, Christopher A1 - Liebhart, Peter A1 - Metschl, Samuel A1 - Weck, Florian A1 - Farmbauer, Michael A1 - Heiß, Manfred A1 - Cuno, H.-H. A1 - Fuhrmann, Thomas A1 - Mandl, Roland A1 - Mottok, Jürgen A1 - Niemetz, Michael T1 - Payload development and launch of a stratosphere balloon mission T2 - IEEE Global Engineering Education Conference (EDUCON 2014), 3-5 April 2014, Istanbul, Turkey N2 - During a student project a stratosphere balloon was developed and launched. This project included the definition of the balloon parameters and the scientific instruments for performing atmospheric measurements, the development of all mechanical and electronic parts, the administration of the project as well as the management tasks related to the balloon launch. The main challenge for the students was the high complexity of the project due to tasks involving many different knowledge domains and the long project duration from the initial definition to the launch. Y1 - 2014 U6 - https://doi.org/10.1109/EDUCON.2014.6826065 ER - TY - JOUR A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Vavricka, Vlastimil T1 - Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems JF - Computing and Informatics (CAI) N2 - We present a transformation rule to convert linear codes into arithmetic codes. Linear codes are usually used for error detection and correction in broadcast and storage systems. In contrast, arithmetic codes are very suitable for protection of software processing in computer systems. This paper shows how to transform linear codes protecting the data stored in a computer system into arithmetic codes safeguarding the operations built on this data. Combination of the advantages of both coding mechanisms will increase the error detection capability in safety critical applications for embedded systems by detection and correction of arbitrary hardware faults. Y1 - 2014 UR - https://pdfs.semanticscholar.org/eb7c/f626eb4dcf33bb9c615d477099188eadc76b.pdf?_ga=2.23977850.1374482597.1614464499-73487869.1612391519 VL - 33 SP - 721 EP - 734 ER - TY - CHAP A1 - Krämer, Stefan A1 - Raab, Peter A1 - Mottok, Jürgen A1 - Racek, Stanislav T1 - Comparison of Enhanced Markov Models and Discrete Event Simulation T2 - 17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, Italy N2 - In this paper we present simulation and model based approaches for evaluating and validating the temporal and safety relevant properties of software intensive safety-critical real-time embedded systems. A high level reliability model of a safe task execution is described by a continuous-time Markov process, enhanced by the modeling of execution times. It is shown that the behavior - regarding real-time and safety metrics - of this theoretical model can be transferred into an abstract system timing model, which then can be analyzed by a discrete event simulation approach. The verification of the discrete event simulation by Markov models offers the possibility of a holistic approach for reliability analysis combined with schedulability analysis of complex safety-critical multicore real-time systems by the discrete event simulation. Y1 - 2014 U6 - https://doi.org/10.1109/DSD.2014.42 SP - 591 EP - 598 ER - TY - CHAP A1 - Mottok, Jürgen A1 - Scharfenberg, Georg T1 - Forschendes Lernen im Masterstudiengang Applied Research in Engineering Sciences T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 SN - 978-3-8440-2875-1 SP - 55 EP - 61 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Scharfenberg, Georg A1 - Mottok, Jürgen T1 - Forschungsmaster entwickelt sich zum Wirtschaftsfaktor in Bayern T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 SN - 978-3-8440-2875-1 SP - 55 EP - 61 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Gschossmann, Andreas A1 - Jobst, Simon A1 - Mottok, Jürgen A1 - Bierl, Rudolf T1 - A Measure of Confidence of Artificial Neural Network Classifiers T2 - ARCS Workshop 2019; 32nd International Conference on Architecture of Computing Systems, 20-21 May 2019, Copenhagen, Denmark N2 - Confidence in results of an Artificial Neural Networks (ANNs) is increased by preferring to reject data, that is not trustful, instead of risking a misclassification. For this purpose a model is proposed that is able to recognize data, which differs significantly from the training data, during inference. The proposed model observes all activations of the hidden layers, as well as input and output layers of an ANN in a grey-box view. To make ANNs more robust in safety critical applications, this model can be used to reject flawed data, that is suspected to decrease the accuracy of the model. If this information is logged during inference, it can be used to improve the model, by training it specifically with the missing information. An experiment on the MNIST dataset is conducted and its results are discussed. Y1 - 2019 UR - https://ieeexplore.ieee.org/document/8836211 SP - 153 EP - 157 PB - VDE-Verlag CY - Berlin ER - TY - CHAP A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Mader, Ralph A1 - Niemetz, Michael A1 - Mottok, Jürgen T1 - Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor T2 - 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany, October 27-29, 2014, Proceedings N2 - The deployment of automotive software on a multicore processor includes the task of mapping executables to cores. Given the number of possible solutions, integrators have to solve a complex problem. Considering multiple, often conflicting goals like minimizing task response times and memory consumption, complexity further increased with the advent of multicore processors. We present a model-based approach for deriving design rules supporting integrators with statically mapping tasks to a multicore ECU. First, an evolutionary algorithm is used to sample the design space. For each sample, a model-based analysis is performed, resulting in the required fitness values according to the system metric objectives. Finally, subsets of the sample population are used to derive deployment guidelines by evaluating similarities between highly ranked solutions. This reduces the number of solutions to be considered by the integrators by orders of magnitude. In a case-study, we demonstrate the developed approach on an artificial automotive engine management system. KW - Real-time systems KW - embedded multicore systems KW - runnable partitioning KW - task-to-core mapping KW - software integration KW - design space exploration KW - evolutionary algorithm Y1 - 2014 SN - 978-3-319-12213-7 U6 - https://doi.org/10.1007/978-3-319-12214-4_12 SP - 152 EP - 165 PB - Springer CY - Munich ER - TY - CHAP A1 - Krämer, Stefan A1 - Raab, Peter A1 - Mottok, Jürgen A1 - Racek, Stanislav T1 - Comparison of Enhanced Markov Models and Discrete Event Simulation – for evaluation of probabilistic Faults in safety-critical real-time task sets T2 - Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design N2 - In this paper we present simulation and model based approaches for evaluating and validating the temporal and safety relevant properties of software intensive safety-critical real-time embedded systems. A high level reliability model of a safe task execution is described by a continuous-time Markov process, enhanced by the modeling of execution times. It is shown that the behavior - regarding real-time and safety metrics - of this theoretical model can be transferred into an abstract system timing model, which then can be analyzed by a discrete event simulation approach. The verification of the discrete event simulation by Markov models offers the possibility of a holistic approach for reliability analysis combined with schedulability analysis of complex safety-critical multicore real-time systems by the discrete event simulation. KW - Model KW - Stochastic simulation KW - reliability analysis KW - safe software processing KW - real-time operating system KW - multicore scheduling KW - discrete event simulation KW - fault injection Y1 - 2014 U6 - https://doi.org/10.1109/DSD.2014.42 SP - 591 EP - 598 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Deubzer, Michael A1 - Justus, Benjamin A1 - Mottok, Jürgen A1 - Siemers, Christian T1 - An Efficient Spin-Lock Based Multi-Core Resource Sharing Protocol T2 - 33rd IEEE International Performance, Computing, and Communications Conference (IPCCC), Austin (TX), USA, 5-7 December 2014 N2 - We present in this paper a new lock-based resource sharing protocol PWLP (Preemptable Waiting Locking Protocol) for embedded multi-core processors. It is based on the busy-wait model and works with non-preemptive critical sections while task may be preempted by tasks with a higher priority when waiting for resources. Our protocol can be applied in partitioned as well as global scheduling scenarios, in which task-fix, job-fix or dynamically assigned priorities may be used. Furthermore, the PWLP permits nested requests to shared resources. Finally, we present a case study based on event-based simulations in which the FMLP (Flexible Multiprocessor Locking Protocol) and the proposed PWLP are compared. Y1 - 2014 U6 - https://doi.org/10.1109/PCCC.2014.7017090 ER -