@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} } @misc{Kraemer, author = {Kr{\"a}mer, Stefan}, title = {Effects of Arbitrary Hardware Faults on Multicore Scheduling in Safety-critical Applications - Evaluation by enhanced Markov models and discrete event simulation}, series = {2014 PESW - The 2nd Prague Embedded Systems Workshop, June 2014}, journal = {2014 PESW - The 2nd Prague Embedded Systems Workshop, June 2014}, 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} } @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{SoskaSchummJosephetal., author = {Soska, Alexander and Schumm, Michael and Joseph, Saskia and Reschke, Michael and Mottok, J{\"u}rgen and Niemetz, Michael and Schroll-Decker, Irmgard}, title = {Comparison of Frontal Lecture and Workshop Learning Arrangements in a Software Engineering Education Project}, series = {2014 IEEE Global Engineering Education Conference (EDUCON), Istanbul, Turkey}, booktitle = {2014 IEEE Global Engineering Education Conference (EDUCON), Istanbul, Turkey}, doi = {10.1109/EDUCON.2014.6826162}, pages = {653 -- 658}, abstract = {The increase in complexity of software and its creation over the last decades requires an increase in the quality of the education of software engineering professionals. The number of Universities which answer this call by replacing or extending lectures with simulated software projects is constantly rising. However, the question how to best transfer new technological knowledge needed to be successful within this projects to the students remains open. Therefore this paper will present a comparison between the classical frontal lecture and a modern workshop learning arrangement used within these projects. By the use of workshops not only the knowledge transfer but also the acquisition of personal and social competences will be facilitated. Furthermore positive experiences with workshops at university level will support life-long learning.}, 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{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{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{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{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} } @inproceedings{MiedlBraun, author = {Miedl, Christian and Braun, J{\"u}rgen}, title = {Powertrain and electric system design of a 800-volt all-electric car}, series = {European Conference on Nanoelectronics and Embedded Systems for Electric Mobility, eMotion in Smart Cities, 24.-28. September, 2012, Bologna, Italy}, booktitle = {European Conference on Nanoelectronics and Embedded Systems for Electric Mobility, eMotion in Smart Cities, 24.-28. September, 2012, Bologna, Italy}, language = {en} } @inproceedings{BraunMottokMiedletal., author = {Braun, J{\"u}rgen and Mottok, J{\"u}rgen and Miedl, Christian and Geyer, Dirk and Minas, Mark}, title = {Capability of single hardware channel for automotive safety applications according to ISO 26262}, series = {2012 International Conference on Applied Electronics (AE 2012), Pilsen, Czech Republic, 5 - 7 September 2012}, booktitle = {2012 International Conference on Applied Electronics (AE 2012), Pilsen, Czech Republic, 5 - 7 September 2012}, isbn = {978-80-261-0038-6}, pages = {41 -- 45}, language = {en} } @inproceedings{KraemerRaabMottoketal., author = {Kr{\"a}mer, Stefan and Raab, Peter and Mottok, J{\"u}rgen and Racek, Stanislav}, title = {Reliability analysis of real-time scheduling by means of stochastic simulation}, series = {2012 International Conference on Applied Electronics (AE 2012), Pilsen, Czech Republic, 5 - 7 September 2012}, booktitle = {2012 International Conference on Applied Electronics (AE 2012), Pilsen, Czech Republic, 5 - 7 September 2012}, pages = {151 -- 156}, abstract = {We present a simulation-based approach to reliability analysis combined with a schedulability analysis of software intensive embedded real-time systems. In such a system not only does the software execution have to be hardened against soft errors, e.g., by means of coded processing or diverse execution, but also the real-time requirements have still to be met in the presence of such error to guarantee a safe operation of the system. For that reason, the influence regarding the real-time characteristics of a given sporadic error with a certain error rate is analyzed by means of a Monte Carlo simulation. Different safety design patterns are introduced and compared. Furthermore, the impact on the schedulability of an embedded system is discussed.}, 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{KraemerSimsekBraunetal., author = {Kr{\"a}mer, Stefan and Simsek, Erol and Braun, J{\"u}rgen and Deubzer, Michael and Stingl, Armin and Hobelsberger, Martin and Mottok, J{\"u}rgen}, title = {Mut zu Fehlern, um die Qualit{\"a}t zu steigern - Fault-Injection zur Steigerung der Zuverl{\"a}ssigkeit}, series = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen}, booktitle = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen}, isbn = {978-3-8343-2408-5}, pages = {577 -- 585}, language = {de} } @inproceedings{SailerSchmidhuberDeubzeretal., author = {Sailer, Andreas and Schmidhuber, Stefan and Deubzer, Michael and Mottok, J{\"u}rgen}, title = {Amalthea - Plattform f{\"u}r kontinuierliche, modellbasierte Entwicklung}, series = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen}, booktitle = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen}, pages = {538 -- 544}, language = {de} } @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{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{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{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} }