@inproceedings{RennerPozzobonMottok, author = {Renner, Sebastian and Pozzobon, Enrico and Mottok, J{\"u}rgen}, title = {A Hardware in the Loop Benchmark Suite to Evaluate NIST LWC Ciphers on Microcontrollers}, series = {Information and Communications Security: 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24-26, 2020, Proceedings}, booktitle = {Information and Communications Security: 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24-26, 2020, Proceedings}, editor = {Meng, Weizhi}, publisher = {Springer}, address = {Cham}, doi = {10.1007/978-3-030-61078-4_28}, pages = {495 -- 509}, abstract = {The National Institute of Standards and Technology (NIST) started the standardization process for lightweight cryptography algorithms in 2018. By the end of the first round, 32 submissions have been selected as 2nd round candidates. NIST allowed designers of 2nd round submissions to provide small updates on both their specifications and implementation packages. In this work, we introduce a benchmarking framework for evaluating the performance of NIST Lightweight Cryptography (LWC) candidates on embedded platforms. We show the features and application of the framework and explain its design rationale. Moreover, we provide information on how we aim to present up-to-date performance figures throughout the NIST LWC competition. In this paper, we present an excerpt of our software benchmarking results regarding speed and memory requirements of selected ciphers. All up-to-date results, including benchmarking different test cases for multiple variants of each 2nd round algorithm on five different microcontrollers, are periodically published to a public website. While initially only the reference implementations were available, the ability of automatically testing the performance of the candidate algorithms on multiple platforms becomes especially relevant as more optimized implementations are developed. Finally, we show how the framework can be extended in different directions: support for more target platforms can be easily added, different kinds of algorithms can be tested, and other test metrics can be acquired. The focus of this paper should rather lay on the framework design and testing methodology than on the current results, especially for reference code.}, language = {en} } @inproceedings{ReuterStarkSedelmaieretal., author = {Reuter, Rebecca and Stark, Theresa and Sedelmaier, Yvonne and Landes, Dieter and Mottok, J{\"u}rgen and Wolff, Christian}, title = {Insights in Students' Problems during UML Modeling}, series = {2020 IEEE Global Engineering Education Conference (EDUCON): Proceedings}, booktitle = {2020 IEEE Global Engineering Education Conference (EDUCON): Proceedings}, doi = {10.1109/EDUCON45650.2020.9125110}, pages = {592 -- 600}, abstract = {UML (Unified Modeling Language) is the current de facto as well as de jure standard (ISO/IEC 19505:2012) notation to visualize models in software development. UML provides essential guidelines and rules to visualize and understand complex software systems. This is the reason why it has become part of curricula for software engineering courses at many universities worldwide. It is well known, however, that UML is hard to grasp for novices, mainly due to its complexity. In order to tackle the problem of teaching UML to novice students appropriately, it is inevitable to understand their needs and problems much better than we do now. This paper presents empirical insights into students' problems when developing common UML diagrams. Identified problems are generalized, giving rise to a problem catalogue that is derived from our empirical findings, thus establishing a basis for addressing these problems through focused learning arrangements.}, language = {en} } @inproceedings{GruberWolffMottoketal., author = {Gruber, Hans and Wolff, Christian and Mottok, J{\"u}rgen and Bazo, Alexander and Hauser, Florian and Schreistetter, Stefan}, title = {Tutorial on Software Engineering Education in Co-Located Multi-User Eye-Tracking-Environments}, series = {Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training: Munich, November 2020}, booktitle = {Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training: Munich, November 2020}, doi = {10.1109/CSEET49119.2020.9206170}, abstract = {We briefly describe a tutorial on the application of Eye-Tracking technology for Software Engineering Education. We will showcase our setup of a large-scale Eye-Tracking-Classroom and its usage for real-time improvement of traditional learning scenarios in Software Engineering Education. We will focus on the integration of gaze data into modern integrated development environments (IDEs) and demonstrate a complete workflow for its usage in co-located multi-user Eye-Tracking-Environments.}, language = {en} } @inproceedings{InderwiesMottok, author = {Inderwies, Tom and Mottok, J{\"u}rgen}, title = {Secure Software Update of a Secure Module in the Power Grid}, series = {Proceedings of the Regensburg Applied Research Conference 2020 (RARC 2020), July 31st}, booktitle = {Proceedings of the Regensburg Applied Research Conference 2020 (RARC 2020), July 31st}, pages = {25 -- 31}, language = {en} } @inproceedings{HauserSchreistetterReuteretal., author = {Hauser, Florian and Schreistetter, Stefan and Reuter, Rebecca and Mottok, J{\"u}rgen and Gruber, Hans and Holmqvist, Kenneth and Schorr, Nick}, title = {Code reviews in C++: Preliminary results from an eye tracking study}, series = {ETRA '20 Short Papers: ACM Symposium on Eye Tracking Research and ApplicationsJune 2020}, booktitle = {ETRA '20 Short Papers: ACM Symposium on Eye Tracking Research and ApplicationsJune 2020}, isbn = {ISBN 9781450371346}, doi = {10.1145/3379156.3391980}, pages = {1 -- 5}, abstract = {Code reviews are an essential part of quality assurance in modern software projects. But despite their great importance, they are still carried out in a way that relies on human skills and decisions. During the last decade, there have been several publications on code reviews using eye tracking as a method, but only a few studies have focused on the performance differences between experts and novices. To get a deeper understanding of these differences, the following experiment was developed: This study surveys expertise-related differences in experts', advanced programmers', and novices' eye movements during the review of eight short C++ code examples, including correct and erroneous codes. A sample of 35 participants (21 novices, 14 advanced and expert programmers) were recruited. A Tobii Spectrum 600 was used for the data collection. Measures included participants' eye movements during the code review, demographic background data, and cued retrospective verbal comments on replays of their own eye movement recordings. Preliminary results give proof for experience-related differences between participants. Advanced and expert programmers performed significantly better in case of error detection and the eye tracking data implies a more efficient reviewing strategy.}, language = {en} } @inproceedings{HauserStarkMottoketal., author = {Hauser, Florian and Stark, Theresa and Mottok, J{\"u}rgen and Gruber, Hans and Reuter, Rebecca}, title = {Deliberate Practice in Programming: How is it carried out by programmers?}, series = {ECSEE '20: Proceedings of the 4th European Conference on Software Engineering Education, Seeon, Germany, June 2020}, booktitle = {ECSEE '20: Proceedings of the 4th European Conference on Software Engineering Education, Seeon, Germany, June 2020}, isbn = {ISBN 9781450377522}, doi = {10.1145/3396802.3396815}, pages = {42 -- 46}, abstract = {This work in progress study examines through which activities programmers perform deliberate practice to improve their own skills in coding and programming. For this reason, a qualitative questionnaire was developed and conducted with a sample of 22 participants. The results indicate that programmers perform formal and informal forms of training and learning. Typically, a classical programming training in the context of a university course or for work-related reasons is a first step in the acquisition of expertise. Building on these basic skills, non-formal and informal learning activities are carried out by the learners. Especially the social interaction and the collaborative work with other programmers is of great importance in this context. The activities mentioned by the test persons fulfil the characteristics of deliberate practice and will be examined more closely in a further study.}, language = {en} } @inproceedings{SchmidFritzMottok, author = {Schmid, Michael and Fritz, Florian and Mottok, J{\"u}rgen}, title = {Parallel Programming in Real-Time Systems}, series = {Architecture of computing systems - ARCS 2019, 32nd international conference, Copenhagen, Denmark, May 20-21, 2019, proceedings}, booktitle = {Architecture of computing systems - ARCS 2019, 32nd international conference, Copenhagen, Denmark, May 20-21, 2019, proceedings}, publisher = {VDE-Verlag}, address = {Berlin}, abstract = {The enormous amounts of data modern real-time systems have to process lead to expensive, long-lasting calculations. In order to manage those computations in a timely manner, parallel task models have gained a lot of popularity lately. However, parallel programming can be very cumbersome and verbose. Other computationally intensive sectors have dealt with parallel computing for decades and have accumulated their experience in the development of parallel frameworks. Examples of well known parallel runtime systems are OpenMP, Intel Threading Building Blocks (TBB) and Microsoft Parallel Pattern Library (PPL). These runtime systems allow developers to enhance parallelism in their applications in a straightforward fashion. However, those parallel frameworks and the patternbased interfaces they provide might not be easily applicable in real-time systems. In this paper, we investigate the use of parallel programming frameworks in time-critical systems. On that account, we discuss considerations for the design of real-time applications that make use of such parallel runtime systems. Furthermore, we evaluate three library-based frameworks from different computing sectors, namely Intel Threading Building Blocks, Embedded Multicore Building Blocks (EMBB) and High Performance ParalleX (HPX), by conducting benchmarks of various parallel algorithms on an embedded multicore architecture.}, language = {en} } @inproceedings{MottokSchillerVoelkletal., author = {Mottok, J{\"u}rgen and Schiller, Frank and V{\"o}lkl, Thomas and Zeitler, Thomas}, title = {A concept for a safe realization of a state machine in embedded automotive applications}, series = {Computer safety, reliability, and security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007; proceedings}, booktitle = {Computer safety, reliability, and security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007; proceedings}, doi = {10.1007/978-3-540-75101-4_2}, pages = {283 -- 288}, abstract = {Currently, both fail safe and fail operational architectures are based on hardware redundancy in automotive embedded systems. In contrast to this approach, safety is either a result of diverse software channels or of one channel of specifically coded software within the framework of Safely Embedded Software. Product costs are reduced and flexibility is increased. The overall concept is inspired by the well-known Vital Coded Processor approach. Since Mealy state machines are frequently used in embedded automotive systems, application software with a general Mealy state machine is realized differently with Safely Embedded Software starting from the high level programming language C with corresponding measurements.}, language = {en} } @article{HummelMottokEgenetal., author = {Hummel, M. and Mottok, J{\"u}rgen and Egen, R. and Schiller, Frank and Mattes, T. and Blum, M. and Druckstein, F.}, title = {Generische Safety-Architektur f{\"u}r Kfz-Software}, series = {Spektrum, das Magazin der Hochschule Regensburg}, journal = {Spektrum, das Magazin der Hochschule Regensburg}, address = {Regensburg}, organization = {Hochschule f{\"u}r Angewandte Wissenschaften Regensburg}, language = {de} } @article{SchillerMottokBlumetal., author = {Schiller, Frank and Mottok, J{\"u}rgen and Blum, M. and Duckstein, F. and Egen, R. and Hummel, M. and Mattes, T.}, title = {Generische Safety-Architektur f{\"u}r KFZ-Software}, series = {Hanser automotive}, journal = {Hanser automotive}, pages = {52 -- 54}, language = {de} } @inproceedings{DeubzerMottokFlugetal., author = {Deubzer, Michael and Mottok, J{\"u}rgen and Flug, Christian and Zeitler, Thomas}, title = {Profiling Performance Analyse von Embedded Real-Time System Architekturen}, series = {Embedded Software Engineering Kongress, Tagungsband ; 8. bis 10. Dezember 2008, Sindelfingen}, booktitle = {Embedded Software Engineering Kongress, Tagungsband ; 8. bis 10. Dezember 2008, Sindelfingen}, pages = {155 -- 167}, language = {en} } @article{FederrathMottokPloessletal., author = {Federrath, H. and Mottok, J{\"u}rgen and Pl{\"o}ßl, K. and V{\"o}lkl, Thomas}, title = {Automotive safety and security}, series = {Jahresr{\"u}ckblick 2007 des Bayerischen IT-Sicherheitsclusters}, journal = {Jahresr{\"u}ckblick 2007 des Bayerischen IT-Sicherheitsclusters}, pages = {25}, language = {de} } @inproceedings{SchmidtMottok, author = {Schmidt, Peter and Mottok, J{\"u}rgen}, title = {"Werkstattbericht" Bioagile Softwareentwicklung}, series = {Embedded Software Engineering Kongress, Tagungsband ; 8. bis 10. Dezember 2008, Sindelfingen}, booktitle = {Embedded Software Engineering Kongress, Tagungsband ; 8. bis 10. Dezember 2008, Sindelfingen}, pages = {455 -- 460}, language = {de} } @inproceedings{MottokSchiller, author = {Mottok, J{\"u}rgen and Schiller, Frank}, title = {MISRA C++:2008 and safely embedded software - a safety framework for C++}, series = {Proceedings of the Automotive Safety \& Security Conference}, booktitle = {Proceedings of the Automotive Safety \& Security Conference}, language = {en} } @inproceedings{SchirdewahnMottok, author = {Schirdewahn, B. and Mottok, J{\"u}rgen}, title = {Implementierungsl{\"o}sungen f{\"u}r die Eigenentwicklung eines deterministischen, nicht preemptiven Echtzeit Betriebssystems zur Verwaltung eingebetteter Applikationen}, series = {Embedded Software Engineering Kongress, Tagungsband ; 8. bis 10. Dezember 2008, Sindelfingen}, booktitle = {Embedded Software Engineering Kongress, Tagungsband ; 8. bis 10. Dezember 2008, Sindelfingen}, pages = {141 -- 147}, language = {de} } @article{Mottok, author = {Mottok, J{\"u}rgen}, title = {Aktuelle Forschungsergebnisse aus dem "Laboratory for Safe and Secure Systems"(LaS3)}, series = {Jahresr{\"u}ckblick 2008 des Bayerischen IT-Sicherheitsclusters}, journal = {Jahresr{\"u}ckblick 2008 des Bayerischen IT-Sicherheitsclusters}, pages = {13 -- 15}, language = {de} } @inproceedings{MottokSchiller, author = {Mottok, J{\"u}rgen and Schiller, Frank}, title = {Safely embedded software and MISRA C++: 2008 - a safety framework for c++}, series = {Proceedings of the SAFETY@SIEMENS Conference}, booktitle = {Proceedings of the SAFETY@SIEMENS Conference}, language = {en} } @inproceedings{Mottok, author = {Mottok, J{\"u}rgen}, title = {Safely embedded software- a safety framework for c++}, series = {Proceedings of the 1st Embedded Software Engineering Conference, 8. bis 10. Dezember 2008, Sindelfingen}, booktitle = {Proceedings of the 1st Embedded Software Engineering Conference, 8. bis 10. Dezember 2008, Sindelfingen}, pages = {444 -- 449}, language = {en} } @inproceedings{DeubzerMargullMottoketal., author = {Deubzer, Michael and Margull, Ulrich and Mottok, J{\"u}rgen and Niemetz, Michael and Wirrer, Gerhard}, title = {Partitionierungs-Scheduling von Automotive Restricted Tasksystemen auf Multiprozessorplattformen}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {536 -- 542}, language = {de} } @inproceedings{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Modifikation des Taskzustandsmodells des LLREF-Schedulers auf einem Dual-Core-Prozessor}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {628 -- 636}, language = {de} } @inproceedings{MottokHagelUteschetal., author = {Mottok, J{\"u}rgen and Hagel, Georg and Utesch, Matthias and Waldherr, Franz}, title = {Konstruktivistische Didaktik - ein Rezept f{\"u}r eine bessere Software Engineering Ausbildung?}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {601 -- 610}, language = {de} } @inproceedings{SchmidtMottok, author = {Schmidt, Peter and Mottok, J{\"u}rgen}, title = {Memorandum der Bioagile Software- und Systementwicklung}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {487 -- 497}, language = {de} } @inproceedings{BaerwaldHauffMottok, author = {B{\"a}rwald, Andreas and Hauff, Harald and Mottok, J{\"u}rgen}, title = {Qualification and certification of development tools for safety-critical applications}, series = {Proceedings of Dependability@SIEMENS Conference}, booktitle = {Proceedings of Dependability@SIEMENS Conference}, abstract = {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.}, language = {en} } @article{HartigHabermannMottok, author = {Hartig, Wolfgang and Habermann, Albert and Mottok, J{\"u}rgen}, title = {Mehr Qualit{\"a}t durch modellbasiertes Testen}, series = {Elektronik automotive 3}, journal = {Elektronik automotive 3}, pages = {32 -- 35}, language = {de} } @inproceedings{SteindlMottokMeieretal., author = {Steindl, Michael and Mottok, J{\"u}rgen and Meier, Hans and Schiller, Frank and Fr{\"u}chtl, M.}, title = {Diskussion des Einsatzes von Safely Embedded Software in FPGA-Architekturen}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {655 -- 661}, language = {de} } @inproceedings{StudtMottokUteschetal., author = {Studt, Reimer and Mottok, J{\"u}rgen and Utesch, Matthias and Landes, Dieter}, title = {Anwendung der Bloom´schen Taxonomie auf Lehrinhalte des Software-Engineerings}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {583 -- 593}, language = {de} } @inproceedings{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Modifikation des Taskzustandsmodells des LLREF-Schedulers auf einem Dual-Core-Prozess}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {628 -- 636}, language = {de} } @inproceedings{SchorerKuntzMottok, author = {Schorer, Michael and Kuntz, Stefan and Mottok, J{\"u}rgen}, title = {Beschreibung eines kooperativen Tasksystems mit OSEK-konformen Scheduler durch Petri Netze}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {637 -- 644}, language = {de} } @inproceedings{StamatescuDeubzerMottoketal., author = {Stamatescu, G. and Deubzer, Michael and Mottok, J{\"u}rgen and Popescu, Dan}, title = {Migration overhead in multiprocessor scheduling}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {645 -- 654}, language = {en} } @article{HartigHabermannMottok, author = {Hartig, Wolfgang and Habermann, Albert and Mottok, J{\"u}rgen}, title = {Model-based testing for better quality}, series = {Vector, Technicle Article}, journal = {Vector, Technicle Article}, language = {en} } @article{Mottok, author = {Mottok, J{\"u}rgen}, title = {Safely embedded software}, series = {Embedded Software Engineering Report}, volume = {53}, journal = {Embedded Software Engineering Report}, pages = {10 -- 11}, language = {en} } @inproceedings{SteindlMottokMeieretal., author = {Steindl, Michael and Mottok, J{\"u}rgen and Meier, Hans and Schiller, Frank and Fr{\"u}chtl, M.}, title = {Safeguarded Processing of Sensor Data}, series = {IT-SecurityArea (IT-SA 2009) vom 13.-15. Oktober 2009, N{\"u}rnberg}, booktitle = {IT-SecurityArea (IT-SA 2009) vom 13.-15. Oktober 2009, N{\"u}rnberg}, pages = {8}, abstract = {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.}, language = {en} } @article{DeubzerMottokBaerwald, author = {Deubzer, Michael and Mottok, J{\"u}rgen and B{\"a}rwald, Andreas}, title = {Dependability-Betrachtung von Multicore-Scheduling}, series = {HANSER Automotive}, journal = {HANSER Automotive}, number = {11}, pages = {24 -- 27}, abstract = {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{\"a}hrleisten. In diesem Beitrag betrachten die Hochschule Regensburg und die T{\"U}V S{\"u}dAutomotive GmbH das Scheduling eines Echtzeitsystems als ein sicher-heitsrelevantes Sub-System.}, language = {de} } @inproceedings{BierlBoehmFraunhofferetal., author = {Bierl, Rudolf and Boehm, M. and Fraunhoffer, Judith and Gardeia, Armin and Mottok, J{\"u}rgen and Schneider, Ralph and Streubel, J.}, title = {"Regensburger Modell zu den P-Seminaren" - Ein Konzept zur Gestaltung der Schnittstelle Gymnasium - Hochschule und zur Praxis einer kooperativen Lehr-Lern-Didaktik f{\"u}r Informationstechnik}, series = {3rd Embedded Software Engineering Congress, 7. bis 9. Dezember, Sindelfingen}, booktitle = {3rd Embedded Software Engineering Congress, 7. bis 9. Dezember, Sindelfingen}, publisher = {Vogel Business Media}, address = {W{\"u}rzburg}, language = {de} } @inproceedings{HagelMottokUteschetal., author = {Hagel, Georg and Mottok, J{\"u}rgen and Utesch, Matthias and Landes, Dieter and Studt, Reimer}, title = {Software Engineering Lernen f{\"u}r die berufliche Praxis - Erfahrungen mit dem konstruktivistischen Methodenbaukasten}, series = {Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen}, booktitle = {Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen}, language = {de} } @inproceedings{BraunMottokMiedletal., author = {Braun, J{\"u}rgen and Mottok, J{\"u}rgen and Miedl, Christian and Greyer, D. and Minas, Mark}, title = {Fail-Safe und Fault-Tolerant Mechanismen}, series = {Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen}, booktitle = {Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen}, pages = {378 -- 386}, language = {en} } @inproceedings{SteindlMottokMeieretal., author = {Steindl, Michael and Mottok, J{\"u}rgen and Meier, Hans and Schiller, Frank and Fr{\"u}chtl, M.}, title = {Migration of SES to FPGA Based Architectural Concepts}, series = {Proceedings of the Workshop 'Safely embedded software'}, booktitle = {Proceedings of the Workshop 'Safely embedded software'}, language = {en} } @article{DeubzerMottok, author = {Deubzer, Michael and Mottok, J{\"u}rgen}, title = {Dependability von Systemen mit dynamischen Multicore-Schedulingalgorithmen}, series = {safetronic}, journal = {safetronic}, language = {de} } @article{RaabMottokMeier, author = {Raab, Peter and Mottok, J{\"u}rgen and Meier, Hans}, title = {OSEK-RTOS f{\"u}r Jedermann (Teil 2)}, series = {Embedded Software Engineering Report}, volume = {53}, journal = {Embedded Software Engineering Report}, pages = {10 -- 12}, language = {de} } @article{RaabMottokMeier, author = {Raab, Peter and Mottok, J{\"u}rgen and Meier, Hans}, title = {OSEK-RTOS f{\"u}r Jedermann (Teil 1)}, series = {Embedded Software Engineering Report}, volume = {53}, journal = {Embedded Software Engineering Report}, number = {September}, pages = {14 -- 15}, language = {de} } @article{DeubzerMottokMargulletal., author = {Deubzer, Michael and Mottok, J{\"u}rgen and Margull, Ulrich and Niemetz, Michael and Wirrer, Gerhard}, title = {Efficient Scheduling of Reliable Automotive Multi-core Systems with PD² by Weakening ERfair Task System Requirements}, series = {Automotive Safety and Security}, journal = {Automotive Safety and Security}, pages = {53 -- 67}, abstract = {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.}, language = {en} } @article{DeubzerSchillerMottoketal., author = {Deubzer, Michael and Schiller, Frank and Mottok, J{\"u}rgen and Niemetz, Michael and Margull, Ulrich}, title = {Effizientes Multicore-Scheduling in Eingebetteten Systemen - Teil 1: Algorithmen f{\"u}r zuverl{\"a}ssige Echtzeitsysteme}, series = {atp - Automatisierungstechnische Praxis}, journal = {atp - Automatisierungstechnische Praxis}, number = {9}, pages = {60 -- 67}, abstract = {Eingebettete Systeme unterliegen neben den funktionalen Anforderungen besonders nicht funktionalen Qualit{\"a}tsanforderungen wie Effizienz, Zuverl{\"a}ssigkeit und Echtzeitf{\"a}higkeit. Mit steigendem Bedarf an Rechenkapazit{\"a}t k{\"o}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{\"o}gliche Prozessorarchitektur f{\"u}r zuk{\"u}nftige Automotive Multicore-Systeme und die Abstraktion der Software f{\"u}r diese Systeme vorgestellt. Nach einer Klassifkation von Multicore-Scheduling-Algorithmen pr{\"a}sentieren wir exemplarisch einen Algorithmus mit statischer Taskallokation und einen Algorithmus mit dynamischer Taskallokation. Bei beiden Algorithmen handelt es sich um eine {\"U}berf{\"u}hrung theoretisch behandelter Algorithmen auf Automotive Systeme.}, language = {de} } @inproceedings{SchorerKuntzMottok, author = {Schorer, Michael and Kuntz, Stefan and Mottok, J{\"u}rgen}, title = {Verification of Behavioral Compatibility in the Virtual Integration Methodology}, series = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010}, booktitle = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010}, doi = {10.1109/WISES.2010.5548424}, pages = {35 -- 42}, abstract = {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.}, language = {en} } @article{DeubzerSchillerMottoketal., author = {Deubzer, Michael and Schiller, Frank and Mottok, J{\"u}rgen and Niemetz, Michael and Margull, Ulrich}, title = {Effizientes Multicore-Scheduling in Eingebetteten Systemen - Teil 2: Ein simulationsbasierter Ansatz zum Vergleich von Scheduling-Algorithmen}, series = {atp - Automatisierungstechnische Praxis}, volume = {52}, journal = {atp - Automatisierungstechnische Praxis}, number = {10}, abstract = {Eingebettete Systeme unterliegen neben den funktionalen Anforderungen besonders nichtfunktionalen Qualit{\"a}tsanforderungen wie Effizienz, Zuverl{\"a}ssigkeit und Echtzeitf{\"a}higkeit. Mit steigendem Bedarf an Rechenkapazit{\"a}t k{\"o}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{\"u}r Multicore-Systeme mit voller Migration und dynamischer Task-Priorit{\"a}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{\"u}r eine Gruppe von Automotive Powertrain Systemen.}, language = {de} } @inproceedings{DeubzerMargullMottoketal., author = {Deubzer, Michael and Margull, Ulrich and Mottok, J{\"u}rgen and Niemetz, Michael and Wirrer, Gerhard}, title = {Partly Proportionate Fair Multiprocessor Scheduling of Heterogeneous Task Systems}, series = {5th Embedded Real Time Software and Systems Conference, May 2010}, booktitle = {5th Embedded Real Time Software and Systems Conference, May 2010}, abstract = {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.}, language = {en} } @inproceedings{BaerwaldHauffMottok, author = {B{\"a}rwald, Andreas and Hauff, Harald and Mottok, J{\"u}rgen}, title = {Qualification and Certification of Development Tools for Safety-Critical Applications}, series = {Automotive Safety \& Security}, booktitle = {Automotive Safety \& Security}, pages = {135 -- 149}, abstract = {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.}, language = {en} } @inproceedings{SteindlMottokMeier, author = {Steindl, Michael and Mottok, J{\"u}rgen and Meier, Hans}, title = {SES-based Framework for Fault-tolerant Systems}, series = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems, Heraklion, Greece, July 2010}, booktitle = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems, Heraklion, Greece, July 2010}, doi = {10.1109/WISES.2010.5548427}, pages = {12 -- 16}, abstract = {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.}, language = {en} } @article{BaerwaldHauffMottok, author = {B{\"a}rwald, Andreas and Hauff, Harald and Mottok, J{\"u}rgen}, title = {Certification of safety relevant systems - Benefits of using pre-certified components}, series = {Automotive Safety and Security}, journal = {Automotive Safety and Security}, language = {en} } @inproceedings{StappertJonssonMottoketal., author = {Stappert, Friedhelm and Jonsson, Jan and Mottok, J{\"u}rgen and Johansson, Rolf}, title = {A Design Framework for End-to-End Timing Constrained Automotive}, series = {5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France}, booktitle = {5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France}, language = {en} } @inproceedings{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Osek-basierende Implementierung des LLREF-Scheduling-Algorithmus f{\"u}r eine Dual-Core-Architektur}, series = {2. Landshuter Symposium Mikrosystemtechnik, Tagungsband, 24. une 25. Februar 2010, Hochschule Landshut}, booktitle = {2. Landshuter Symposium Mikrosystemtechnik, Tagungsband, 24. une 25. Februar 2010, Hochschule Landshut}, pages = {343 -- 349}, language = {de} } @inproceedings{SteindlMottokMeieretal., author = {Steindl, Michael and Mottok, J{\"u}rgen and Meier, Hans and Schiller, Frank and Fr{\"u}chtl, M.}, title = {Safeguarded Processing of Sensor Data}, series = {5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France}, booktitle = {5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France}, language = {en} } @inproceedings{RaabKraemerMottok, author = {Raab, Peter and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen}, title = {Cyclic codes and error detection during data processing in embedded software systems}, series = {Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen}, booktitle = {Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen}, pages = {577 -- 590}, language = {en} } @article{BaerwaldHauffMottok, author = {B{\"a}rwald, Andreas and Hauff, Harald and Mottok, J{\"u}rgen}, title = {Qualifizierung und Zertifizierung von Software-Entwicklungswerkzeugen}, series = {Hanser Automotive}, journal = {Hanser Automotive}, pages = {34 -- 39}, language = {de} } @article{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Multi-Core Scheduling in Embedded Systemen, Teil 1}, series = {Hanser Automotive}, journal = {Hanser Automotive}, number = {1-2}, pages = {18 -- 22}, language = {en} } @article{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Multi-Core Scheduling in Embedded Systemen, Teil 2}, series = {Hanser Automotive}, journal = {Hanser Automotive}, number = {3-4}, pages = {23 -- 25}, language = {en} } @article{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Multi-Core Scheduling in Embedded Systemen, Teil 3}, series = {Hanser Automotive}, journal = {Hanser Automotive}, number = {5-6}, pages = {14 -- 16}, language = {en} } @inproceedings{MottokGardeia, author = {Mottok, J{\"u}rgen and Gardeia, Armin}, title = {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}, series = {2011 IEEE Global Engineering Education Conference (EDUCON), Amman, Jordan, 2011}, booktitle = {2011 IEEE Global Engineering Education Conference (EDUCON), Amman, Jordan, 2011}, doi = {10.1109/EDUCON.2011.5773255}, pages = {917 -- 920}, abstract = {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.}, language = {en} } @inproceedings{RaabKraemerMottoketal., author = {Raab, Peter and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans and Racek, Stanislav}, title = {Safe software processing by concurrent execution in a real-time operating system}, series = {16th International Conference on Applied Electronics (AE 2011), 2011, Pilsen, Czech Republic}, booktitle = {16th International Conference on Applied Electronics (AE 2011), 2011, Pilsen, Czech Republic}, pages = {315 -- 319}, abstract = {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.}, language = {en} } @inproceedings{BraunMottokMiedletal., author = {Braun, J{\"u}rgen and Mottok, J{\"u}rgen and Miedl, Christian and Geyer, Dirk and Minas, Mark}, title = {Overview and Evaluation of Fail-Safe and Fault-Tolerant Mechanisms for the Electromobility according to ISO26262}, series = {1st International Electromobility Congress, 12. - 13. 5. 2011, Prague}, booktitle = {1st International Electromobility Congress, 12. - 13. 5. 2011, Prague}, pages = {5}, language = {en} } @inproceedings{SchmidhuberDeubzerMottok, author = {Schmidhuber, Stefan and Deubzer, Michael and Mottok, J{\"u}rgen}, title = {Parallelisierte Echtzeitanalyse von Eingebetteten Systemen}, series = {Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen}, booktitle = {Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen}, pages = {516 -- 524}, language = {de} } @inproceedings{Mottok, author = {Mottok, J{\"u}rgen}, title = {Storytelling: Finite state machines Lernen leicht gemacht!}, series = {Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen}, booktitle = {Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen}, language = {de} } @inproceedings{Mottok, author = {Mottok, J{\"u}rgen}, title = {General purpose computing on graphics processing unit by using cuda}, series = {Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg}, booktitle = {Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg}, language = {en} } @inproceedings{Mottok, author = {Mottok, J{\"u}rgen}, title = {Ses and the iso 26262}, series = {Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg}, booktitle = {Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg}, language = {en} } @inproceedings{LaloDeubzerSchmidhuberetal., author = {Lalo, Erjola and Deubzer, Michael and Schmidhuber, Stefan and Oklapi, Erna and Mottok, J{\"u}rgen}, title = {Task Priority Optimization in Real-Time Multi-Core Embedded Systems}, series = {4. Landshuter Symposium Mikrosystemtechnik, Mikrosystemtechnik als Schl{\"u}sseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. M{\"a}rz 2014, Hochschule Landshut}, booktitle = {4. Landshuter Symposium Mikrosystemtechnik, Mikrosystemtechnik als Schl{\"u}sseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. M{\"a}rz 2014, Hochschule Landshut}, address = {Landshut}, isbn = {978-3-9812696-5-9}, pages = {96 -- 109}, abstract = {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.}, language = {de} } @inproceedings{AltmannBirknerHaeckletal., author = {Altmann, Andreas and Birkner, Wolfgang and H{\"a}ckl, Franz-Xaver and Hanner, Christopher and Liebhart, Peter and Metschl, Samuel and Weck, Florian and Farmbauer, Michael and Heiß, Manfred and Cuno, H.-H. and Fuhrmann, Thomas and Mandl, Roland and Mottok, J{\"u}rgen and Niemetz, Michael}, title = {Payload development and launch of a stratosphere balloon mission}, series = {IEEE Global Engineering Education Conference (EDUCON 2014), 3-5 April 2014, Istanbul, Turkey}, booktitle = {IEEE Global Engineering Education Conference (EDUCON 2014), 3-5 April 2014, Istanbul, Turkey}, doi = {10.1109/EDUCON.2014.6826065}, abstract = {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.}, language = {en} } @article{RaabKraemerMottoketal., author = {Raab, Peter and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Vavricka, Vlastimil}, title = {Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems}, series = {Computing and Informatics (CAI)}, volume = {33}, journal = {Computing and Informatics (CAI)}, pages = {721 -- 734}, abstract = {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.}, language = {en} } @inproceedings{KraemerRaabMottoketal., author = {Kr{\"a}mer, Stefan and Raab, Peter and Mottok, J{\"u}rgen and Racek, Stanislav}, title = {Comparison of Enhanced Markov Models and Discrete Event Simulation}, series = {17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, Italy}, booktitle = {17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, Italy}, doi = {10.1109/DSD.2014.42}, pages = {591 -- 598}, abstract = {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.}, language = {en} } @inproceedings{MottokScharfenberg, author = {Mottok, J{\"u}rgen and Scharfenberg, Georg}, title = {Forschendes Lernen im Masterstudiengang Applied Research in Engineering Sciences}, series = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8440-2875-1}, pages = {55 -- 61}, language = {de} } @inproceedings{ScharfenbergMottok, author = {Scharfenberg, Georg and Mottok, J{\"u}rgen}, title = {Forschungsmaster entwickelt sich zum Wirtschaftsfaktor in Bayern}, series = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8440-2875-1}, pages = {55 -- 61}, language = {de} } @misc{Weiss, author = {Weiss, Nils}, title = {Reverse Engineering and Weaponizing OBD Dongles}, series = {Automotive Security Research Group, Stuttgart, Germany 2019, Meeting 22}, journal = {Automotive Security Research Group, Stuttgart, Germany 2019, Meeting 22}, language = {de} } @inproceedings{GschossmannJobstMottoketal., author = {Gschossmann, Andreas and Jobst, Simon and Mottok, J{\"u}rgen and Bierl, Rudolf}, title = {A Measure of Confidence of Artificial Neural Network Classifiers}, series = {ARCS Workshop 2019; 32nd International Conference on Architecture of Computing Systems, 20-21 May 2019, Copenhagen, Denmark}, booktitle = {ARCS Workshop 2019; 32nd International Conference on Architecture of Computing Systems, 20-21 May 2019, Copenhagen, Denmark}, publisher = {VDE-Verlag}, address = {Berlin}, pages = {153 -- 157}, abstract = {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.}, language = {en} } @inproceedings{SchmidhuberDeubzerMaderetal., author = {Schmidhuber, Stefan and Deubzer, Michael and Mader, Ralph and Niemetz, Michael and Mottok, J{\"u}rgen}, title = {Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor}, series = {4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany, October 27-29, 2014, Proceedings}, booktitle = {4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany, October 27-29, 2014, Proceedings}, publisher = {Springer}, address = {Munich}, isbn = {978-3-319-12213-7}, doi = {10.1007/978-3-319-12214-4_12}, pages = {152 -- 165}, abstract = {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.}, language = {en} } @inproceedings{KraemerRaabMottoketal., author = {Kr{\"a}mer, Stefan and Raab, Peter and Mottok, J{\"u}rgen and Racek, Stanislav}, title = {Comparison of Enhanced Markov Models and Discrete Event Simulation - for evaluation of probabilistic Faults in safety-critical real-time task sets}, series = {Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design}, booktitle = {Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design}, doi = {10.1109/DSD.2014.42}, pages = {591 -- 598}, abstract = {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.}, language = {en} } @inproceedings{AlfransederDeubzerJustusetal., author = {Alfranseder, Martin and Deubzer, Michael and Justus, Benjamin and Mottok, J{\"u}rgen and Siemers, Christian}, title = {An Efficient Spin-Lock Based Multi-Core Resource Sharing Protocol}, series = {33rd IEEE International Performance, Computing, and Communications Conference (IPCCC), Austin (TX), USA, 5-7 December 2014}, booktitle = {33rd IEEE International Performance, Computing, and Communications Conference (IPCCC), Austin (TX), USA, 5-7 December 2014}, doi = {10.1109/PCCC.2014.7017090}, abstract = {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.}, language = {en} } @inproceedings{AlfransederKrapfMaderetal., author = {Alfranseder, Martin and Krapf, Tobias and Mader, Ralph and Niemetz, Michael and Mottok, J{\"u}rgen and Siemers, Christian}, title = {An Efficient Partitioning Strategy for Runnables in Weakly Dependent Tasks on Embedded Multi-Core Systems}, series = {Embedded real-time software and systems (ERTS² 2014), Feb 2014, Toulouse, France}, booktitle = {Embedded real-time software and systems (ERTS² 2014), Feb 2014, Toulouse, France}, abstract = {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.}, language = {en} } @inproceedings{HelmDeubzerMottok, author = {Helm, C. and Deubzer, Michael and Mottok, J{\"u}rgen}, title = {Analyse der Echtzeiteigenschaften von Multicore Speicherarchitekturen in Eingebetteten Systemen mittels einer konfigurierbaren Simulationssoftware}, series = {4. Landshuter Symposium Mikrosystemtechnik : Mikrosystemtechnik als Schl{\"u}sseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. M{\"a}rz 2014, Hochschule Landshut}, booktitle = {4. Landshuter Symposium Mikrosystemtechnik : Mikrosystemtechnik als Schl{\"u}sseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. M{\"a}rz 2014, Hochschule Landshut}, editor = {Ivanov, Artem and Bicker, Marc and Patzelt, Peter}, address = {Landshut}, isbn = {978-3-9812696-5-9}, pages = {109 -- 117}, language = {de} } @inproceedings{LaloSchmidhuberDeubzeretal., author = {Lalo, Erjola and Schmidhuber, Stefan and Deubzer, Michael and Mottok, J{\"u}rgen}, title = {Extended Task Priority and Preemptability Optimization in Real-Time Multi-Core Embedded Systems}, series = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, address = {Ingolstadt}, isbn = {978-3-8440-2875-1}, pages = {90 -- 95}, language = {en} } @inproceedings{ThielHacklMottok, author = {Thiel, P. and Hackl, Magnus and Mottok, J{\"u}rgen}, title = {Designing efficient Node.js applications - Approaching useful patterns}, series = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8440-2875-1}, pages = {40 -- 46}, language = {en} } @inproceedings{HacklThielMottok, author = {Hackl, Magnus and Thiel, Patrik and Mottok, J{\"u}rgen}, title = {Not Only SQL - a comparison to traditional RDBMS}, series = {4th Applied Research Conference (ARC 2014), 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference (ARC 2014), 5th July 2014, Ingolstadt}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8440-2875-1}, language = {en} } @inproceedings{RaabMottok, author = {Raab, Peter and Mottok, J{\"u}rgen}, title = {Modellbasierte Zuverl{\"a}ssigkeitsanalysen von arithmetischen Operationen in einem Prozessorsystem}, series = {Proceedings of safe.tech 2014, 20. und 21. Mai 2014, M{\"u}nchen}, booktitle = {Proceedings of safe.tech 2014, 20. und 21. Mai 2014, M{\"u}nchen}, language = {de} } @inproceedings{FigasKnoerlMoertlbaueretal., author = {Figas, Paula and Kn{\"o}rl, Susanne and M{\"o}rtlbauer, Stefanie and Sedelmaier, Yvonne and Schroll-Decker, Irmgard}, title = {Developing Software Engineering Education as a Didactical Discipline in its own right}, series = {1st European Conference on Software Engineering Education (ECSEE) at Seon Monastery, Germany}, booktitle = {1st European Conference on Software Engineering Education (ECSEE) at Seon Monastery, Germany}, editor = {Hagel, Georg and Mottok, J{\"u}rgen}, publisher = {Shaker Verlag}, pages = {1 -- 15}, abstract = {Simultaneously to the growing significance of the discipline software engineering (SE) also its education becomes more important. This reinforces the need of a theoretical foundation of software engineering education, but there is still a lack of scientifically justified didactical concepts. In the context of the project EVELIN (Experimental Improvement in Learning Software Engineer-ing) the authors want to give a decisive impulse for the development of a "Fachdidaktik software engineering" (FD-SE). In order to compile an adequate theoretical basis for a Fachdidaktik of software engineering "Allgemeine Did-aktik" (AD)1, its relation to "Fachdidaktik" (FD) in general, the special branch of science of software engineering and related scientific disciplines are dis-cussed. This analysis is used to justify the necessity of an autonomous scientific discipline Fachdidaktik software engineering which meets the challenges of teaching and learning software engineering. The main contributions of this pa-per are proposals on how this FD can be built scientifically upon AD, on the one hand, and how it can be implemented by specific didactical approaches for software engineering, on the other hand.}, subject = {Fachdidaktik}, language = {en} } @inproceedings{OklapiDeubzerSchmidhuberetal., author = {Oklapi, Erna and Deubzer, Michael and Schmidhuber, Stefan and Lalo, Erjola and Mottok, J{\"u}rgen}, title = {Optimization of Real-Time Multicore Systems Reached by a Genetic Algorithm Approach for Runnable Sequencing}, series = {2014 International Conference on Applied Electronics, Pilsen, Czech Republic}, booktitle = {2014 International Conference on Applied Electronics, Pilsen, Czech Republic}, doi = {10.1109/AE.2014.7011709}, pages = {233 -- 238}, abstract = {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.}, language = {en} } @incollection{MottokAlfransederSchmidhuberetal., author = {Mottok, J{\"u}rgen and Alfranseder, Martin and Schmidhuber, Stefan and Mucha, Matthias and Sailer, Andreas}, title = {How to improve the reactiveness and efficiency of embedded multicore systems by use of probabilistic simulation and optimization techniques}, series = {Improving Disaster Resilience and Mitigation - New Means and Tools. NATO Science for Peace and Security Series C: Environmental Security}, booktitle = {Improving Disaster Resilience and Mitigation - New Means and Tools. NATO Science for Peace and Security Series C: Environmental Security}, editor = {Teodorescu, Horia-Nicolai and Kirschenbaum, Alan and Cojocaru, Svetlana and Bruderlein, Claude}, publisher = {Springer}, address = {Dodrecht}, doi = {10.1007/978-94-017-9136-6_16}, pages = {253 -- 268}, abstract = {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.}, language = {en} } @inproceedings{BraunMottok, author = {Braun, J{\"u}rgen and Mottok, J{\"u}rgen}, title = {Fail-Safe and Fail-Operational Systems safeguarded with Coded Processing}, 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}, isbn = {978-1-4673-2231-7}, doi = {10.1109/EUROCON.2013.6625234}, pages = {1878 -- 1885}, abstract = {Safety has the highest priority because it helps contribute to customer confidence and thereby ensures further growth of the new markets, like electromobility. Therefore in series production redundant hardware concepts like dual core microcontrollers running in lock-step-mode are used to reach for example ASIL D safety requirements given from the ISO 26262. Coded processing is capable of reducing redundancy in hardware by adding diverse redundancy in software, e.g. by specific coding of data and instructions. A system with two coded processing channels is considered. Both channels are active. When one channel fails, the service can be continued with the other channel. It is imaginable that the two channels with implemented coded processing are running with time redundancy on a single core or on a multi core system where for example different ASIL levels are partitioned on different cores. In this paper a redundancy concept based on coded processing will be taken into account. The improvement of the Mean Time To Failure by safeguarding the system with coded processing will be computed for fail-safe as well as for fail-operational systems. The use of the coded processing approach in safeguarding failsafe systems is proved.}, language = {en} } @inproceedings{SoskaMottok, author = {Soska, Alexander and Mottok, J{\"u}rgen}, title = {A New Conceptual Contribution for Serious Games in Academic Software Engineering Education}, series = {European Conference on Software Engineering Education 2014 (ECSEE), 27 and 28 November 2014 in Seeon Monastery}, booktitle = {European Conference on Software Engineering Education 2014 (ECSEE), 27 and 28 November 2014 in Seeon Monastery}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8440-3067-9}, pages = {241 -- 254}, abstract = {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.}, language = {en} } @inproceedings{AlfransederMuchaSchmidhuberetal., author = {Alfranseder, Martin and Mucha, Matthias and Schmidhuber, Stefan and Sailer, Andreas and Niemetz, Michael and Mottok, J{\"u}rgen}, title = {A modified synchronization model for dead-lock free concurrent execution of strongly interacting task sets in embedded systems}, series = {2013 International Conference on Applied Electronics (AE 2013), IEEE, 10-12 September 2013, Pilsen, Czech Republic}, volume = {18}, booktitle = {2013 International Conference on Applied Electronics (AE 2013), IEEE, 10-12 September 2013, Pilsen, Czech Republic}, pages = {13 -- 18}, abstract = {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.}, language = {en} } @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{BraunMottokMiedletal., author = {Braun, J{\"u}rgen and Mottok, J{\"u}rgen and Miedl, Christian and Geyer, Dirk and Minas, Mark}, title = {Increasing the reliability of single and multicore systems with software rejuvenation and coded processing}, series = {Automotive Safety \& Security 2012, Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 14.-15. Nov. 2012, Karlsruhe}, booktitle = {Automotive Safety \& Security 2012, Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 14.-15. Nov. 2012, Karlsruhe}, pages = {163 -- 178}, abstract = {The safety of electric vehicles has the highest priority because it helps contribute to customer confidence and thereby ensures further growth of the electromobility market. Therefore in series production redundant hardware concepts like dual core microcontrollers running in lock-step-mode are used to reach ASIL D safety requirements given from the ISO 26262. Coded processing is capable of reducing redundancy in hardware by adding diverse redundancy in software, e.g. by specific coding of data and instructions. A system with two coded processing channels is considered. One channel is active and one is in cold standby. When the active channel fails, the service is switched from the active channel to the standby channel. It is imaginable that the two channels with implemented coded processing are running with time redundancy on a single core or on a multi core system where for example different ASIL levels are partitioned on different cores. In this paper a redundant concept based on coded processing and software rejuvenation will be taken into account.}, 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} }