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 - TY - CHAP A1 - Alfranseder, Martin A1 - Krapf, Tobias A1 - Mader, Ralph A1 - Niemetz, Michael A1 - Mottok, Jürgen A1 - Siemers, Christian T1 - An Efficient Partitioning Strategy for Runnables in Weakly Dependent Tasks on Embedded Multi-Core Systems T2 - Embedded real-time software and systems (ERTS² 2014), Feb 2014, Toulouse, France N2 - With multi-core controllers entering the area of automotive control ECUs, strategies for parallelizing the control- algorithms come into focus. This paper deals with a special part of automotive powertrain software, called state transitions. Since dependencies between runnables executed there are weak, the transitions provide a good basis for parallelization. We present a strategy of how to distribute efficiently the execution of runnables to different cores while taking care of inner and outer dependencies. The strategy is accompanied by two case studies demonstrating the performance of the concept. The first one is carried out to find the most efficient strategies of parallelize state transitions based on randomly generated, simulated state transitions. In the second one, the developed partitioning strategies are applied to a real software project for an automotive powertrain system. Y1 - 2014 ER - TY - CHAP A1 - Helm, C. A1 - Deubzer, Michael A1 - Mottok, Jürgen ED - Ivanov, Artem ED - Bicker, Marc ED - Patzelt, Peter T1 - Analyse der Echtzeiteigenschaften von Multicore Speicherarchitekturen in Eingebetteten Systemen mittels einer konfigurierbaren Simulationssoftware T2 - 4. Landshuter Symposium Mikrosystemtechnik : Mikrosystemtechnik als Schlüsseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. März 2014, Hochschule Landshut Y1 - 2014 SN - 978-3-9812696-5-9 SP - 109 EP - 117 CY - Landshut ER - TY - CHAP A1 - Lalo, Erjola A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Mottok, Jürgen T1 - Extended Task Priority and Preemptability Optimization in Real-Time Multi-Core Embedded Systems T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 SN - 978-3-8440-2875-1 SP - 90 EP - 95 CY - Ingolstadt ER - TY - CHAP A1 - Thiel, P. A1 - Hackl, Magnus A1 - Mottok, Jürgen T1 - Designing efficient Node.js applications – Approaching useful patterns T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 SN - 978-3-8440-2875-1 SP - 40 EP - 46 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Hackl, Magnus A1 - Thiel, Patrik A1 - Mottok, Jürgen T1 - Not Only SQL – a comparison to traditional RDBMS T2 - 4th Applied Research Conference (ARC 2014), 5th July 2014, Ingolstadt Y1 - 2014 SN - 978-3-8440-2875-1 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Raab, Peter A1 - Mottok, Jürgen T1 - Modellbasierte Zuverlässigkeitsanalysen von arithmetischen Operationen in einem Prozessorsystem T2 - Proceedings of safe.tech 2014, 20. und 21. Mai 2014, München Y1 - 2014 ER - TY - CHAP A1 - Oklapi, Erna A1 - Deubzer, Michael A1 - Schmidhuber, Stefan A1 - Lalo, Erjola A1 - Mottok, Jürgen T1 - Optimization of Real-Time Multicore Systems Reached by a Genetic Algorithm Approach for Runnable Sequencing T2 - 2014 International Conference on Applied Electronics, Pilsen, Czech Republic N2 - The deployment of complex real-time systems with everyday increasing demands and possibilities, is a challenging task for engineers when performance and efficiency have to be maximized while cost have to be minimized at the same time. For already designed systems it became necessary to perform different modifications in order to find optimal software architecture configuration by respecting all timing constraints which are essential when speaking of real-time systems. In this work, we present a model-based approach of optimizing the execution sequence of runnables within tasks in order to reduce the system's reaction times by improving the overall signal flow duration. Hereby, a genetic optimization algorithm is used to create and evaluate multiple solutions for the runnable sequencing problem. We conclude by demonstration the efficiency of the presented approach with experimental results. KW - runnable sequencing KW - embedded real-time systems KW - genetic algorithms KW - multi-core KW - optimization Y1 - 2014 U6 - https://doi.org/10.1109/AE.2014.7011709 SP - 233 EP - 238 ER - TY - CHAP A1 - Mottok, Jürgen A1 - Alfranseder, Martin A1 - Schmidhuber, Stefan A1 - Mucha, Matthias A1 - Sailer, Andreas ED - Teodorescu, Horia-Nicolai ED - Kirschenbaum, Alan ED - Cojocaru, Svetlana ED - Bruderlein, Claude T1 - How to improve the reactiveness and efficiency of embedded multicore systems by use of probabilistic simulation and optimization techniques T2 - Improving Disaster Resilience and Mitigation - New Means and Tools. NATO Science for Peace and Security Series C: Environmental Security N2 - Safe and reliable multi-core technology becomes more and more important in the field of embedded systems. Today’s and future embedded systems require increasing performance while being more energy efficient. Moreover, the functional safety for these embedded systems has to be improved or developed completely new. In this chapter, we first address the challenges of embedded multi-core real-time systems. To raise the resilience of such systems we use the deadlock-free synchronization model of Block et al. (A flexible real-time locking protocol for multiprocessors. 2012 IEEE international conference on embedded and real-time computing systems and applications, vol 0, pp 47–56, 2007). The metric mean Normalized Blocking Time (mNBT) is hereby used to measure the timing effects of the blocking behavior of strongly interacting tasks. In a second step, we present a model-based approach to map the tasks of an embedded real-time system to the cores of a multi-core processor. Moreover, we derive an execution time model from runtime measurements of software functions. This information is then used to perform precise probabilistic simulations of different task-to-core mappings and evaluate them with regard to task response times, inter-task blocking overhead and load distribution. Subsequently, we integrate the probabilistic simulation within an optimization technique to systematically improve the task-to-core mapping. We conclude with a case-study, where we demonstrate the effectiveness of the presented approach by optimizing the task-to-core mapping of a practical automotive powertrain system. KW - Embed System KW - Functional Safety KW - Arrival Curve KW - Task Allocation Problem KW - Deadline Violation Y1 - 2014 U6 - https://doi.org/10.1007/978-94-017-9136-6_16 SP - 253 EP - 268 PB - Springer CY - Dodrecht ER - TY - CHAP A1 - Soska, Alexander A1 - Mottok, Jürgen T1 - A New Conceptual Contribution for Serious Games in Academic Software Engineering Education T2 - European Conference on Software Engineering Education 2014 (ECSEE), 27 and 28 November 2014 in Seeon Monastery N2 - Nowadays, the popularity and field of application of serious games grows steadily. This educational method offers attractive pportunities for teaching and training by combining playful elements with learning content. By using game mechanics, thinking and technique, theoretical subject matters are treated in a fun and engaging way. Thereby, serious games utilize our intrinsic motivation to discover the surroundings in a playful manner. Embedded in educational settings, the goal is to mediate academic and non-academic knowledge to the students. Especially in the field of software engineering it is important to have skills which go beyond pure technical knowledge. Yet, the use of serious games is still a manageable amount. With this paper, we give a contribution to the theoretical design and development of serious games based on playful learning method and its relation to research-based learning in universal context. In addi- tion we analyze the existing serious games in software engineering and present our thoughts about planning our own. Y1 - 2014 UR - https://www.researchgate.net/publication/277266392_A_New_Conceptual_Contribution_for_Serious_Games_in_Academic_Software_Engineering_Education SN - 978-3-8440-3067-9 SP - 241 EP - 254 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Alfranseder, Martin A1 - Mucha, Matthias A1 - Schmidhuber, Stefan A1 - Sailer, Andreas A1 - Niemetz, Michael A1 - Mottok, Jürgen T1 - A modified synchronization model for dead-lock free concurrent execution of strongly interacting task sets in embedded systems T2 - 2013 International Conference on Applied Electronics (AE 2013), IEEE, 10-12 September 2013, Pilsen, Czech Republic N2 - Global scheduling algorithms are very promising for application in embedded real-time systems using multi-core controllers. In this paper we want to make a first step forward to apply such scheduling methods on real existing systems. Especially a new resource model is necessary to avoid deadlocks, as this goal can not be achieved by using the standard OSEK Priority Ceiling Protocol when shared global resources are in use. We also introduce the new metric mean Normalized Blocking Time in order to be able to compare locking mechanisms according to the timing effects of their blocking behavior. Finally we give a simulative application example of the new metric by the use of two different kinds of semaphore models and an example task set typical for existing embedded real-time systems in the automotive powertrain environment. Y1 - 2013 VL - 18 SP - 13 EP - 18 ER - TY - CHAP A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Error Model and the Reliability of Arithmetic Operations T2 - 2013 IEEE EUROCON - International Conference on Computer as a Tool, Zagreb, Croatia, July 1-4, 2013 N2 - Error detecting and correcting codes are widely used in data transmission, storage systems and also for data processing. In logical circuits like arithmetic operations, arbitrary faults can cause errors in the result. However in safety critical applications, it is important to avoid those errors which would lead to system failures. Several approaches are known to protect the result of operations during software processing. In the same way like transmission systems, coded processing uses codes for fault detection. But in contrast to transmission systems, there is no adequate channel model available which makes it possible to evaluate the residue error probability of an arithmetic operation in an analytical way. This paper tries to close the gap of arithmetic error models by the development of a model for an ordinary addition in a computer system. Thus, the reliability of an addition's result can be analytically evaluated. KW - addition KW - channel model KW - coded processing KW - fault simulation KW - Markov model KW - residue error probability Y1 - 2013 U6 - https://doi.org/10.1109/EUROCON.2013.6625047 SP - 630 EP - 637 ER - TY - CHAP A1 - Raab, Peter A1 - Racek, Stanislav A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Data Flow Analysis of Software Executed by Unreliable Hardware T2 - 16th Euromicro Conference on Digital System Design, Los Alamitos, CA, USA N2 - The data flow is a crucial part of software execution in recent applications. It depends on the concrete implementation of the realized algorithm and it influences the correctness of a result in case of hardware faults during the calculation. In logical circuits, like arithmetic operations in a processor system, arbitrary faults become a more tremendous aspect in future. With modern manufacturing processes, the probability of such faults will increase and the result of a software's data flow will be more vulnerable. This paper shows a principle evaluation method for the reliability of a software's data flow with arbitrary soft errors also with the concept of fault compensation. This evaluation is discussed by means of a simple example based on an addition. KW - data flow KW - error probability KW - fault compensation KW - reliability analysis KW - software-implemented-hardwarefault-tolerance (SIHFT) Y1 - 2013 U6 - https://doi.org/10.1109/DSD.2013.35 SP - 243 EP - 249 ER - TY - CHAP A1 - Oklapi, Erna A1 - Deubzer, Michael A1 - Schmidhuber, Stefan A1 - Mottok, Jürgen T1 - Verification of an Evolutionary Optimization Algorithm for Runnable Sequencing Problem T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Krapf, Tobias A1 - Mottok, Jürgen A1 - Siemers, Christian T1 - Synchronisationsverfahren in embedded Multicoresystemen T2 - Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezembern 2013, Sindelfingen Y1 - 2013 PB - Vogel Business Media CY - Würzburg ER - TY - CHAP A1 - Sailer, Andreas A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Alfranseder, Martin A1 - Mucha, Matthias A1 - Mottok, Jürgen T1 - Optimizing the task allocation step for multi-core processors within autosar T2 - 2013 International Conference on Applied Electronics, IEEE, Pilsen, Czech Republic N2 - We present a model-based optimization approach for the task allocation problem in embedded multi-core systems. The information therefore is obtained from a system description in AUTOSAR and runtime measurements of the runnables in hardware traces. Based on this an initial software partitioning of runnables to tasks is created. We then use a genetic algorithm to create and evaluate solutions to the task allocation problem. Each solution is hereby evaluated using a discrete event-based simulation, which allows the evaluation with regard to real-time properties, resource consumption and data-communication overhead. The significance of our approach is then shown in a case-study. There, we optimize the task allocation of an embedded system, whose complexity is comparable to that of an actual system, on a multi-core processor. Finally, the results of the optimization are transferred to an ECU Configuration Description to enable further development in compliance with the AUTOSAR methodology. KW - AUTOSAR KW - Multi-Objective Optimization KW - Multi-Core KW - Goodness-of-fit KW - Task Allocation Y1 - 2013 UR - https://ieeexplore.ieee.org/document/6636524 ER - TY - CHAP A1 - Tomer, Amir A1 - Hagel, Georg A1 - Mottok, Jürgen A1 - Alt, Dorit A1 - Barak, Miriam I. A1 - Hadar, Irit T1 - CAPELLA: A conceptual framework for adaptive life-long learning T2 - IEEE Global Engineering Education Conference (EDUCON), 25-28 April 2017, Athens, Greece N2 - In this paper we describe a proposed framework for Cooperative Adaptive Personalized Education for Life-long Learning and Activation (CAPELLA). CAPELLA comprises four models: A Knowledge Organization Model, a Learning Process Model, a Community Collaboration Model and a Gaming Model. The underlying pedagogical approach is based on the four pillars of learning: Learning to know, learning to do, learning to collaborate and learning to be. Based on these models and principles, CAPELLA provides a theoretical framework that may assist IT developers to develop state-of-the-art educational platforms and advanced learning applications. Using an example of a UML Diagramming Workshop we demonstrate how CAPELLA incorporates the principles of Adaptive Learning. Y1 - 2017 U6 - https://doi.org/10.1109/EDUCON.2017.7943041 SP - 1463 EP - 1472 ER - TY - CHAP A1 - Schumm, Michael A1 - Joseph, Saskia A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Schroll-Decker, Irmgard T1 - Lernarrangements im software engineering und deren evaluation – neue konzepte für hochschule und lebenslanges Lernen T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 ER - TY - CHAP A1 - Krämer, Stefan A1 - Raab, Peter A1 - Mottok, Jürgen T1 - Simulationsbasierte Reliability-Analyse – Einflüsse von zufälligen Fehlern auf das Echtzeit-Scheduling T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 SP - 613 EP - 622 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Mottok, Jürgen T1 - Kommunikationsmechanismen für sicherheitskritische multi-core Echtzeit-Systeme T2 - 5th Automotive Summerschool, Regensburg, September 2012 Y1 - 2012 ER - TY - RPRT A1 - Pfaller, M. A1 - Mottok, Jürgen T1 - Developing the e-learning class ‘practical training in c’ Y1 - 2013 ER - TY - CHAP A1 - De, Sangita A1 - Niklas, Michael A1 - Rooney, Brian A1 - Mottok, Jürgen A1 - Brada, Premek T1 - Towards Translation of Semantics of Automotive Interface Description Models from Franca to AUTOSAR Frameworks BT - An Approach using Semantic Synergies T2 - 2019 International Conference on Applied Electronics (AE), 10-11 Sept. 2019, Pilsen, Czech Republic N2 - The automotive industry is eventually evolving into a complex network of services. The heterogeneous and distributed nature of automotive software systems demands flexible software components which can operate in different environments. Because of heterogeneous automotive development environments, the domain experts, must cope with too many diversities, adaption layers, and incompatibilities to design applications for the current generation of autonomous driving vehicles. In this context, interface adaptation is a promising approach to achieve flexibility without directly changing the respective components. AUTOSAR, which is the de-facto standard for describing automotive system architecture and is a hugely comprehensive standard allowing designers full control from abstract system description to bare metal level deployment. However, the vehicle subsystems have still evolved to include multifarious high-level domains not covered by AUTOSAR e.g. Infotainment, Telematics etc. Therefore, it seems beneficial to bridge the semantic gaps between AUTOSAR applications and other standards of automotive application domains. The goal of this paper is to investigate interface semantic mapping and achieve transparent integration of domain-specific applications using the translation of semantics among the AUTOSAR platform software component models and other software components models of open source development platforms e.g. GENIVI. A key goal of such a modelling approach is the reuse of existing interface description languages and respective code generators. This will enhance future interoperability and decrease in incompatibility among these platforms. KW - Adaptation models KW - ARXML KW - Automotive engineering KW - component model KW - Connectors KW - FRAMEWORK KW - Franca IDL KW - interface KW - Receivers KW - semantic KW - synergy KW - traits Y1 - 2019 U6 - https://doi.org/10.23919/AE.2019.8867018 SP - 1 EP - 6 PB - University of West Bohemia ER - TY - CHAP A1 - Rudolph, Alexander A1 - Voget, Stefan A1 - Mottok, Jürgen T1 - A consistent safety case argumentation for artificial intelligence in safety related automotive systems – An Evaluation of a New Conceptual Functional Safety Approach T2 - Embedded Real-Time Software and Systems Conference (ERST²), Jan 2018, Toulouse/France N2 - Regarding the actual automotive safety norms the use of artificial intelligence (AI) in safety critical environments like autonomous driving is not possible. This paper introduces a new conceptual safety modelling approach and a safety argumentation to certify AI algorithms in a safety related context. Therefore, a model of an AI-system is presented first. Afterwards, methods and safety argumentation are applied to the model, whereas it is limited to a specific subset of AI-systems, i.e. off-board learning deterministic neural networks in this case. Other cases are left over for future research. The result is a consistent safety analysis approach that applies state of the art safety argumentations from other domains to the automotive domain. This will enforce the adaptation of the functional safety norm ISO26262 to enable general AI methods in safety critical systems in future. Y1 - 2018 UR - https://hal.archives-ouvertes.fr/hal-02156048 ER - TY - CHAP A1 - Mucha, Matthias A1 - Mottok, Jürgen A1 - Deubzer, Michael T1 - Probabilistic worst case response time estimation for multi-core real-time systems T2 - 2015 4th Mediterranean Conference on Embedded Computing (MECO), 14-18 June 2015, Budva, Montenegro N2 - Traditional methods rely on Static Timing Analysis techniques to compute the Worst Case Response Time for tasks in real-time systems. Multi-Core real-time systems are faced up with concurrent task executions, semaphore accesses, and task migrations where it may be difficult to obtain the worst case upper bound. A new three staged probabilistic estimation concept is presented. Worst Case Response Times are estimated for tasksets which consist of tasks with multiple time bases. The concept involves data generation with sample classification and sample size equalization, model fit and Worst Case Response Time estimation on the basis of extreme value distribution models. A Generalized Pareto Distribution model fit method which includes threshold detection and parameter estimation is also presented. Sample classification in combination with the new Generalized Pareto Distribution model fit method allows to estimate Worst Case Response Times with low pessimism ranges compared to estimation methods that uses the Generalized Pareto or the Gumbel max distribution without sample classification. Y1 - 2015 SP - 31 EP - 36 ER - TY - CHAP A1 - Reuter, Rebecca A1 - Hauser, Florian A1 - Muckelbauer, Daniel A1 - Stark, Theresa A1 - Antoni, Erika A1 - Mottok, Jürgen A1 - Wolff, Christian T1 - Using augmented reality in software engineering education? First insights to a comparative study of 2D and AR UML modeling T2 - Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS) and 31st Conference on Software Engineering Education and Training (CSEE&T), January 8 - 11, 2019 Grand Wailea, Hawaii N2 - Although there has been much speculation about the potential of Augmented Reality (AR) in teaching for learning material, there is a significant lack of empirical proof about its effectiveness and implementation in higher education. We describe a software to integrate AR using the Microsoft Hololens into UML (Unified Modeling Language) teaching. Its user interface is laid out to overcome problems of existing software. We discuss the design of the tool and report a first evaluation study. The study is based upon effectiveness as a metric for students performance and components of motivation. The study was designed as control group experiment with two groups. The experimental group had to solve tasks with the help of the AR modeling tool and the control group used a classic PC software. We identified tendencies that participants of the experimental group showed more motivation than the control group. Both groups performed equally well Y1 - 2019 U6 - https://doi.org/10.24251/HICSS.2019.938 SP - 7798 EP - 7807 ER - TY - CHAP A1 - Reuter, Rebecca A1 - Knietzsch, Marco A1 - Hauser, Florian A1 - Mottok, Jürgen T1 - Supporting Abstraction Skills Using Augmented Reality? T2 - ITiCSE '19, Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, July 2019, Aberdeen Scotland UK N2 - We investigated the potential of augmented reality (AR) to enable visualization of abstract concepts and present the first iteration of a teaching experiment that evaluates the use of AR as support for abstraction skills. Students were confronted with the task to present and explain information to different groups of stakeholders at the example of a coffee machine. Results show that students find it helpful to have a visual app-prototype and especially one that can be disassembled in different levels. The main goal was to sensitize students for the need to think about and to abstract information for certain roles and perspectives. Y1 - 2019 U6 - https://doi.org/10.1145/3304221.3325562 ER - TY - CHAP A1 - Schreistetter, Stefan A1 - Hauser, Florian A1 - Reuter, Rebecca A1 - Jahn, Sabrina A1 - Mottok, Jürgen T1 - Using Eye Tracking Data to analyze students’ tasks solving behavior in classroom contexts T2 - 12th International Conference of Education, Research and Innovation (ICERI 2019), Conference Proceedings, 2019, Seville (Spain) Y1 - 2019 SN - 978-84-09-14755-7 U6 - https://doi.org/10.21125/iceri.2019.1473 SN - 2340-1095 SP - 6087 EP - 6096 ER - TY - CHAP A1 - Jahn, Sabrina A1 - Gold-Veerkamp, Carolin A1 - Reuter, Rebecca A1 - Mottok, Jürgen A1 - Abke, Jörg T1 - Secure Software Engineering in academic education: students’ sreconceptions of it security T2 - 12th International Conference of Education, Research and Innovation (ICERI2019), 11-13 November 2019, Seville, Spain Y1 - 2019 U6 - https://doi.org/10.21125/iceri.2019.1624 SP - 6825 EP - 6834 ER - TY - CHAP A1 - Hauser, Florian A1 - Reuter, Rebecca A1 - Gegenfurtner, Andreas A1 - Gruber, Hans A1 - Mottok, Jürgen T1 - Eye movements in software modelling – what do they tell us about heuristics T2 - 12th International Conference of Education, Research and Innovation (ICERI 2019), Conference Proceedings, 2019, Seville (Spain) Y1 - 2019 SN - 978-84-09-14755-7 U6 - https://doi.org/10.21125/iceri.2019.1469 SP - 6064 EP - 6070 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen T1 - Optimizing Software Integration Testing by Considering Integration Testability and Test Complexity T2 - 10th IEEE Workshop on Intelligent Solutions in Embedded Systems, 2012, Klagenfurt, Austria Y1 - 2012 ER - TY - CHAP A1 - Soska, Alexander A1 - Mottok, Jürgen ED - Pivec, M. ED - Gründler, J. T1 - An Integrated Puzzle Game for Learning Programming Based on Students Syntactical Errors T2 - 11th European Conference on Game-Based Learning, Oct 5 - Oct 6, 2017, Graz N2 - Practical implementations are important for understanding the concepts and principles of programming. Self-employed coding encourages learners to acquire learning content and fosters the theory-practice transfer. Thereby, the earners face various difficulties and obstacles. Misconceptions and faults accompany the learners’ coding process and result in non-executable coding artefacts. The integrated compiler of programming environments provides information concerning error messages that indicate incorrect coding constructs. Usually due to unspecific and generic formulation, learners find it hard to understand these error messages. Yet these observable errors give valuable information about the learner’s coding behaviour and indicate current problems. These provide a link for adopted and appropriate learning assistance during the coding process. In this work in progress paper, we present first assumptions in assisting learners’ understanding and correction of programming errors by a game-based learning method. Our first approach focuses on the integration of a puzzle game into a programming environment. The game content adjusts to the error messages based on the analysis of the learner’s log file. We suggest that the integration of this approach rises the learner’s motivation to self-employed error handling and the quality of learning programming. Y1 - 2017 PB - Academic Conferences and Publishing International ER - TY - CHAP A1 - Osinski, Lukas A1 - Mottok, Jürgen ED - Schoeberl, Martin ED - Hochberger, Christian ED - Uhrig, Sascha ED - Brehm, Jürgen ED - Pionteck, Thilo T1 - S 3DES - Scalable Software Support for Dependable Embedded Systems T2 - Architecture of Computing Systems - ARCS 2019, 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings N2 - Scalable Software Support for Dependable Embedded Systems (S3DES) achieves fault tolerance by utilizing spatial software-based triple modular redundancy for computational and voter processes on application level. Due to the parallel execution of the replicas on distinct CPU cores it makes a step towards software-based fault tolerance against transient and permanent random hardware errors. Additionally, the compliance with real-time requirements in terms of response time is enhanced compared to similar approaches. The replicated voters, the introduced mutual voter monitoring and the optimized arithmetic encoding allow the detection and compensation of voter failures without the utilization of backward recovery. Fault injection experiments on real hardware reveal that S3DES can detect and mask all injected data and program flow errors under a single fault assumption, whereas an uncoded voting scheme yields approx. 12% silent data corruptions in a similar experiment. Y1 - 2019 U6 - https://doi.org/10.1007/978-3-030-18656-2_2 SP - 15 EP - 27 PB - Springer CY - Cham ER - TY - CHAP A1 - Weiherer, Kerstin A1 - Osinski, Lukas A1 - Mottok, Jürgen T1 - Software-Based Triple Modular Redundancy with Fault-Tolerant Replicated Voters T2 - 32nd International Conference on Architecture of Computing Systems, ARCS Workshop 2019, 20-21 May 2019, Copenhagen, Denmark N2 - New computing-intensive applications such as assisted or highly automated driving are rapidly expanding the domain of safety-critical embedded systems, driven by the vision of the driverless car. This development makes it necessary to use high performance multi-core systems which are commercially available and provide more parallelism in terms of redundant execution units, however, at the cost of being less reliable. With the continuous down-scaling of semiconductor technology, computing hardware exhibits an increasing vulnerability against random hardware faults. Since these high-performance controller provide less or no hardware redundancy to ensure a safe execution of the application, software-only fault tolerance approaches are under current investigation. Our Scalable Software Support for Dependable Embedded Systems (S3DES) approach achieves fault tolerance by utilizing software-based triple modular redundancy for computational and optimized arithmetic encoded voter processes to ensure fault detection and error handling on application level. In S3DES voters are replicated to allow the compensation of voting failures. However, new challenges with regard to error propagation and multiple voting result outputs are introduced by this extension. We describe how mutual voter monitoring and threshold value checks could be used to establish a hierarchy among the replicated voters without re-introducing a reliability bottleneck in the sense of a single point of failure and resolve the aforementioned challenges. Y1 - 2019 UR - https://ieeexplore.ieee.org/abstract/document/8836210 SP - 1 EP - 8 ER - TY - CHAP A1 - Jahn, Sabrina A1 - Kaul, Nicolas A1 - Mottok, Jürgen T1 - Using or Misusing? Introducing Misuse Cases in a Software Engineering Course for Undergraduate Engineering Students T2 - ITiCSE '22 : Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education, Vol 1: July 8 - 13, 2022, Dublin Ireland N2 - Today's cyberphysical systems are increasingly prone to misuse. To secure existing and future software systems, introducing concepts of IT-Security and Secure Software Engineering (SecSE) in Software Engineering (SE) courses is essential for academic education of future software engineers. This is not only important for computer science students, but also for engineering students studying topics of computing and SE. However, only little research exists on integrating these topics into traditional SE courses, especially for engineering students in non-computer science majors. To narrow this gap, this paper contributes with the design and evaluation of an exercise on modeling misuse cases alongside use cases, based on the inductive teaching method problem-based learning (PBL). The exercise is part of an educational design research investigating which learning content and teaching methods are suitable for integrating IT-Security and SecSE topics into traditional SE education of engineering students to convey factual knowledge as well as raise awareness and interest for both topics during software development. We present the integration of the exercise design into a traditional SE course for engineering students and its evaluation to examine its suitability. We evaluated the exercise design regarding the suitability of the design components, the learning content of misuse cases and the intended learning goals as well as its impact on students' motivation, and their interest in IT-security. The paper then presents indications on the feasibility and success of the exercise design for teaching misuse cases to engineering students and sparking their interest in IT-Security. KW - educational design research KW - mis-use case KW - problem-based learning KW - inductive teaching KW - engineering students KW - higher education KW - secure software engineering KW - IT-Security Y1 - 2022 U6 - https://doi.org/10.1145/3502718.3524823 SP - 491 EP - 497 PB - Association for Computing Machinery CY - New York, NY ER - TY - CHAP A1 - Reuter, Rebecca A1 - Jahn, Sabrina A1 - Figas, Paula A1 - Bartel, Alexander A1 - Mottok, Jürgen A1 - Hagel, Georg T1 - Learning Tasks for Software Engineering Education: An exemplary development of learning tasks for software engineering based on didactic function and knowledge type T2 - Proceedings of the 3rd European Conference of Software Engineering Education (ECSEE'18), JUne 2018, Seeon, Bavaria, Germany N2 - Learning tasks play an important role in education and especially in higher education. However, there is a significant lack in research regarding these in higher education. A learning task shows several characteristics, whereas the didactic function of a task is mostly considered. Two characteristics of learning tasks are focused in this paper: The didactic function and the type knowledge. Existing types of learning tasks are presented as well as a proposal for learning tasks in software engineering education that considers didactic functions, like elaboration, training or application and types of knowledge, i.e. factual, conceptual, procedural and metacognitive knowledge. This paper aims to serve as a guidance for lecturers who have the purpose to create learning tasks that address both characteristics -- the didactic function and the type of knowledge. Y1 - 2018 U6 - https://doi.org/10.1145/3209087.3209097 SP - 1 EP - 7 ER -