@inproceedings{RaabKraemerMottok, author = {Raab, Peter and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen}, title = {Error Model and the Reliability of Arithmetic Operations}, series = {2013 IEEE EUROCON - International Conference on Computer as a Tool, Zagreb, Croatia, July 1-4, 2013}, booktitle = {2013 IEEE EUROCON - International Conference on Computer as a Tool, Zagreb, Croatia, July 1-4, 2013}, doi = {10.1109/EUROCON.2013.6625047}, pages = {630 -- 637}, abstract = {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.}, language = {en} } @inproceedings{RaabRacekKraemeretal., author = {Raab, Peter and Racek, Stanislav and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen}, title = {Data Flow Analysis of Software Executed by Unreliable Hardware}, series = {16th Euromicro Conference on Digital System Design, Los Alamitos, CA, USA}, booktitle = {16th Euromicro Conference on Digital System Design, Los Alamitos, CA, USA}, doi = {10.1109/DSD.2013.35}, pages = {243 -- 249}, abstract = {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.}, language = {en} } @inproceedings{OklapiDeubzerSchmidhuberetal., author = {Oklapi, Erna and Deubzer, Michael and Schmidhuber, Stefan and Mottok, J{\"u}rgen}, title = {Verification of an Evolutionary Optimization Algorithm for Runnable Sequencing Problem}, series = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, language = {en} } @inproceedings{AlfransederKrapfMottoketal., author = {Alfranseder, Martin and Krapf, Tobias and Mottok, J{\"u}rgen and Siemers, Christian}, title = {Synchronisationsverfahren in embedded Multicoresystemen}, series = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezembern 2013, Sindelfingen}, booktitle = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezembern 2013, Sindelfingen}, publisher = {Vogel Business Media}, address = {W{\"u}rzburg}, language = {de} } @inproceedings{SailerSchmidhuberDeubzeretal., author = {Sailer, Andreas and Schmidhuber, Stefan and Deubzer, Michael and Alfranseder, Martin and Mucha, Matthias and Mottok, J{\"u}rgen}, title = {Optimizing the task allocation step for multi-core processors within autosar}, series = {2013 International Conference on Applied Electronics, IEEE, Pilsen, Czech Republic}, booktitle = {2013 International Conference on Applied Electronics, IEEE, Pilsen, Czech Republic}, abstract = {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.}, language = {en} } @inproceedings{TomerHagelMottoketal., author = {Tomer, Amir and Hagel, Georg and Mottok, J{\"u}rgen and Alt, Dorit and Barak, Miriam I. and Hadar, Irit}, title = {CAPELLA: A conceptual framework for adaptive life-long learning}, series = {IEEE Global Engineering Education Conference (EDUCON), 25-28 April 2017, Athens, Greece}, booktitle = {IEEE Global Engineering Education Conference (EDUCON), 25-28 April 2017, Athens, Greece}, doi = {10.1109/EDUCON.2017.7943041}, pages = {1463 -- 1472}, abstract = {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.}, language = {en} } @inproceedings{SchummJosephMottoketal., author = {Schumm, Michael and Joseph, Saskia and Mottok, J{\"u}rgen and Niemetz, Michael and Schroll-Decker, Irmgard}, title = {Lernarrangements im software engineering und deren evaluation - neue konzepte f{\"u}r hochschule und lebenslanges Lernen}, series = {Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen}, booktitle = {Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen}, language = {de} } @inproceedings{KraemerRaabMottok, author = {Kr{\"a}mer, Stefan and Raab, Peter and Mottok, J{\"u}rgen}, title = {Simulationsbasierte Reliability-Analyse - Einfl{\"u}sse von zuf{\"a}lligen Fehlern auf das Echtzeit-Scheduling}, series = {Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen}, booktitle = {Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen}, pages = {613 -- 622}, language = {de} } @inproceedings{AlfransederMottok, author = {Alfranseder, Martin and Mottok, J{\"u}rgen}, title = {Kommunikationsmechanismen f{\"u}r sicherheitskritische multi-core Echtzeit-Systeme}, series = {5th Automotive Summerschool, Regensburg, September 2012}, booktitle = {5th Automotive Summerschool, Regensburg, September 2012}, language = {de} } @techreport{PfallerMottok, type = {Working Paper}, author = {Pfaller, M. and Mottok, J{\"u}rgen}, title = {Developing the e-learning class 'practical training in c'}, language = {en} } @inproceedings{DeNiklasRooneyetal., author = {De, Sangita and Niklas, Michael and Rooney, Brian and Mottok, J{\"u}rgen and Brada, Premek}, title = {Towards Translation of Semantics of Automotive Interface Description Models from Franca to AUTOSAR Frameworks}, series = {2019 International Conference on Applied Electronics (AE), 10-11 Sept. 2019, Pilsen, Czech Republic}, booktitle = {2019 International Conference on Applied Electronics (AE), 10-11 Sept. 2019, Pilsen, Czech Republic}, publisher = {University of West Bohemia}, doi = {10.23919/AE.2019.8867018}, pages = {1 -- 6}, abstract = {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.}, language = {en} } @inproceedings{RudolphVogetMottok, author = {Rudolph, Alexander and Voget, Stefan and Mottok, J{\"u}rgen}, title = {A consistent safety case argumentation for artificial intelligence in safety related automotive systems - An Evaluation of a New Conceptual Functional Safety Approach}, series = {Embedded Real-Time Software and Systems Conference (ERST²), Jan 2018, Toulouse/France}, booktitle = {Embedded Real-Time Software and Systems Conference (ERST²), Jan 2018, Toulouse/France}, abstract = {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.}, language = {en} } @inproceedings{MuchaMottokDeubzer, author = {Mucha, Matthias and Mottok, J{\"u}rgen and Deubzer, Michael}, title = {Probabilistic worst case response time estimation for multi-core real-time systems}, series = {2015 4th Mediterranean Conference on Embedded Computing (MECO), 14-18 June 2015, Budva, Montenegro}, booktitle = {2015 4th Mediterranean Conference on Embedded Computing (MECO), 14-18 June 2015, Budva, Montenegro}, pages = {31 -- 36}, abstract = {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.}, language = {en} } @inproceedings{ReuterHauserMuckelbaueretal., author = {Reuter, Rebecca and Hauser, Florian and Muckelbauer, Daniel and Stark, Theresa and Antoni, Erika and Mottok, J{\"u}rgen and Wolff, Christian}, title = {Using augmented reality in software engineering education? First insights to a comparative study of 2D and AR UML modeling}, series = {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}, booktitle = {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}, doi = {10.24251/HICSS.2019.938}, pages = {7798 -- 7807}, abstract = {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}, language = {en} } @inproceedings{ReuterKnietzschHauseretal., author = {Reuter, Rebecca and Knietzsch, Marco and Hauser, Florian and Mottok, J{\"u}rgen}, title = {Supporting Abstraction Skills Using Augmented Reality?}, series = {ITiCSE '19, Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, July 2019, Aberdeen Scotland UK}, booktitle = {ITiCSE '19, Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, July 2019, Aberdeen Scotland UK}, doi = {10.1145/3304221.3325562}, abstract = {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.}, language = {en} } @inproceedings{SchreistetterHauserReuteretal., author = {Schreistetter, Stefan and Hauser, Florian and Reuter, Rebecca and Jahn, Sabrina and Mottok, J{\"u}rgen}, title = {Using Eye Tracking Data to analyze students' tasks solving behavior in classroom contexts}, series = {12th International Conference of Education, Research and Innovation (ICERI 2019), Conference Proceedings, 2019, Seville (Spain)}, booktitle = {12th International Conference of Education, Research and Innovation (ICERI 2019), Conference Proceedings, 2019, Seville (Spain)}, isbn = {978-84-09-14755-7}, issn = {2340-1095}, doi = {10.21125/iceri.2019.1473}, pages = {6087 -- 6096}, language = {en} } @inproceedings{JahnGoldVeerkampReuteretal., author = {Jahn, Sabrina and Gold-Veerkamp, Carolin and Reuter, Rebecca and Mottok, J{\"u}rgen and Abke, J{\"o}rg}, title = {Secure Software Engineering in academic education: students' sreconceptions of it security}, series = {12th International Conference of Education, Research and Innovation (ICERI2019), 11-13 November 2019, Seville, Spain}, booktitle = {12th International Conference of Education, Research and Innovation (ICERI2019), 11-13 November 2019, Seville, Spain}, doi = {10.21125/iceri.2019.1624}, pages = {6825 -- 6834}, language = {en} } @inproceedings{HauserReuterGegenfurtneretal., author = {Hauser, Florian and Reuter, Rebecca and Gegenfurtner, Andreas and Gruber, Hans and Mottok, J{\"u}rgen}, title = {Eye movements in software modelling - what do they tell us about heuristics}, series = {12th International Conference of Education, Research and Innovation (ICERI 2019), Conference Proceedings, 2019, Seville (Spain)}, booktitle = {12th International Conference of Education, Research and Innovation (ICERI 2019), Conference Proceedings, 2019, Seville (Spain)}, isbn = {978-84-09-14755-7}, doi = {10.21125/iceri.2019.1469}, pages = {6064 -- 6070}, language = {en} } @inproceedings{SteindlMottok, author = {Steindl, Michael and Mottok, J{\"u}rgen}, title = {Optimizing Software Integration Testing by Considering Integration Testability and Test Complexity}, series = {10th IEEE Workshop on Intelligent Solutions in Embedded Systems, 2012, Klagenfurt, Austria}, booktitle = {10th IEEE Workshop on Intelligent Solutions in Embedded Systems, 2012, Klagenfurt, Austria}, language = {en} } @inproceedings{SoskaMottok, author = {Soska, Alexander and Mottok, J{\"u}rgen}, title = {An Integrated Puzzle Game for Learning Programming Based on Students Syntactical Errors}, series = {11th European Conference on Game-Based Learning, Oct 5 - Oct 6, 2017, Graz}, booktitle = {11th European Conference on Game-Based Learning, Oct 5 - Oct 6, 2017, Graz}, editor = {Pivec, M. and Gr{\"u}ndler, J.}, publisher = {Academic Conferences and Publishing International}, abstract = {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.}, language = {en} } @inproceedings{OsinskiMottok, author = {Osinski, Lukas and Mottok, J{\"u}rgen}, title = {S 3DES - Scalable Software Support for Dependable Embedded Systems}, series = {Architecture of Computing Systems - ARCS 2019, 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings}, booktitle = {Architecture of Computing Systems - ARCS 2019, 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings}, editor = {Schoeberl, Martin and Hochberger, Christian and Uhrig, Sascha and Brehm, J{\"u}rgen and Pionteck, Thilo}, publisher = {Springer}, address = {Cham}, doi = {10.1007/978-3-030-18656-2_2}, pages = {15 -- 27}, abstract = {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.}, language = {en} }