@misc{BaerwaldMottok, author = {B{\"a}rwald, Andreas and Mottok, J{\"u}rgen}, title = {Zertifizierung von Werkzeugen und Werkzeugketten}, series = {Software im Automobil, Stuttgart, 04./05. Mai 2010}, journal = {Software im Automobil, Stuttgart, 04./05. Mai 2010}, 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 = {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} } @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{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{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} } @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} } @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{HobelsbergerDumkeMottoketal., author = {Hobelsberger, Martin and Dumke, Reiner and Mottok, J{\"u}rgen and Niemetz, Michael and Wirrer, Gerhard}, title = {An Experience-Based Repository of Reusable Components for an Component-Based Automotive Software System}, series = {Applied Software Measurement, proceedings of the joined International Conferences on Software Measurement IWSM/MetriKon/Mensura 2010, 10.-12. November 2010, Stuttgart, Germany}, booktitle = {Applied Software Measurement, proceedings of the joined International Conferences on Software Measurement IWSM/MetriKon/Mensura 2010, 10.-12. November 2010, Stuttgart, Germany}, pages = {218 -- 240}, 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{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{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{DeubzerHobelsbergerMottoketal., author = {Deubzer, Michael and Hobelsberger, Martin and Mottok, J{\"u}rgen and Schiller, Frank and Dumke, Reiner and Siegle, Markus and Margull, Ulrich and Niemetz, Michael and Wirrer, Gerhard}, title = {Modeling and Simulation of Embedded Real-Time Multi-Core Systems}, 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 = {en} } @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 = {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{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{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} } @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{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} } @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} } @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} } @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{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} } @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{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{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} } @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-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{HobelsbergerMottok, author = {Hobelsberger, Martin and Mottok, J{\"u}rgen}, title = {Software Qualit{\"a}t - eine Glaubensfrage? Ein {\"U}berblick {\"u}ber Modelle der Softwarezuverl{\"a}ssigkeit}, 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 = {134 -- 148}, language = {de} } @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} } @misc{HobelsbergerMottokDumke, author = {Hobelsberger, Martin and Mottok, J{\"u}rgen and Dumke, Reiner}, title = {A model based safety analysis approach for embedded system architectures}, series = {Tag der Technik 2008}, journal = {Tag der Technik 2008}, language = {en} } @misc{DeubzerMottokFlugetal., author = {Deubzer, Michael and Mottok, J{\"u}rgen and Flug, Christian and Zeitler, Thomas}, title = {A method of performance analysis for embedded system architectures}, series = {8. Tag der Technik am 13. Juni 2008 an der Hochschule Regensburg}, journal = {8. Tag der Technik am 13. Juni 2008 an der Hochschule Regensburg}, language = {en} } @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} } @article{HobelsbergerMottokDeubzer, author = {Hobelsberger, Martin and Mottok, J{\"u}rgen and Deubzer, Michael}, title = {Modellbasierte Sicherheitsanalysen von Software Architekturen}, series = {Jahresr{\"u}ckblick 2008 des Bayerischen IT-Sicherheitsclusters}, journal = {Jahresr{\"u}ckblick 2008 des Bayerischen IT-Sicherheitsclusters}, pages = {14}, language = {de} } @article{DeubzerMottokHobelsberger, author = {Deubzer, Michael and Mottok, J{\"u}rgen and Hobelsberger, Martin}, title = {Profiling in Embedded Real-Time Software Systemen}, series = {Jahresr{\"u}ckblick 2008 des Bayerischen IT-Sicherheitsclusters}, journal = {Jahresr{\"u}ckblick 2008 des Bayerischen IT-Sicherheitsclusters}, pages = {13}, 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} } @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{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{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{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{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{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{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} } @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} }