TY - CHAP A1 - Mottok, Jürgen A1 - Alfranseder, Martin A1 - Schmidhuber, Stefan A1 - Mucha, Matthias A1 - Sailer, Andreas ED - Teodorescu, Horia-Nicolai ED - Kirschenbaum, Alan ED - Cojocaru, Svetlana ED - Bruderlein, Claude T1 - How to improve the reactiveness and efficiency of embedded multicore systems by use of probabilistic simulation and optimization techniques T2 - Improving Disaster Resilience and Mitigation - New Means and Tools. NATO Science for Peace and Security Series C: Environmental Security N2 - Safe and reliable multi-core technology becomes more and more important in the field of embedded systems. Today’s and future embedded systems require increasing performance while being more energy efficient. Moreover, the functional safety for these embedded systems has to be improved or developed completely new. In this chapter, we first address the challenges of embedded multi-core real-time systems. To raise the resilience of such systems we use the deadlock-free synchronization model of Block et al. (A flexible real-time locking protocol for multiprocessors. 2012 IEEE international conference on embedded and real-time computing systems and applications, vol 0, pp 47–56, 2007). The metric mean Normalized Blocking Time (mNBT) is hereby used to measure the timing effects of the blocking behavior of strongly interacting tasks. In a second step, we present a model-based approach to map the tasks of an embedded real-time system to the cores of a multi-core processor. Moreover, we derive an execution time model from runtime measurements of software functions. This information is then used to perform precise probabilistic simulations of different task-to-core mappings and evaluate them with regard to task response times, inter-task blocking overhead and load distribution. Subsequently, we integrate the probabilistic simulation within an optimization technique to systematically improve the task-to-core mapping. We conclude with a case-study, where we demonstrate the effectiveness of the presented approach by optimizing the task-to-core mapping of a practical automotive powertrain system. KW - Embed System KW - Functional Safety KW - Arrival Curve KW - Task Allocation Problem KW - Deadline Violation Y1 - 2014 U6 - https://doi.org/10.1007/978-94-017-9136-6_16 SP - 253 EP - 268 PB - Springer CY - Dodrecht ER - TY - CHAP A1 - Soska, Alexander A1 - Mottok, Jürgen T1 - A New Conceptual Contribution for Serious Games in Academic Software Engineering Education T2 - European Conference on Software Engineering Education 2014 (ECSEE), 27 and 28 November 2014 in Seeon Monastery N2 - Nowadays, the popularity and field of application of serious games grows steadily. This educational method offers attractive pportunities for teaching and training by combining playful elements with learning content. By using game mechanics, thinking and technique, theoretical subject matters are treated in a fun and engaging way. Thereby, serious games utilize our intrinsic motivation to discover the surroundings in a playful manner. Embedded in educational settings, the goal is to mediate academic and non-academic knowledge to the students. Especially in the field of software engineering it is important to have skills which go beyond pure technical knowledge. Yet, the use of serious games is still a manageable amount. With this paper, we give a contribution to the theoretical design and development of serious games based on playful learning method and its relation to research-based learning in universal context. In addi- tion we analyze the existing serious games in software engineering and present our thoughts about planning our own. Y1 - 2014 UR - https://www.researchgate.net/publication/277266392_A_New_Conceptual_Contribution_for_Serious_Games_in_Academic_Software_Engineering_Education SN - 978-3-8440-3067-9 SP - 241 EP - 254 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Oklapi, Erna A1 - Deubzer, Michael A1 - Schmidhuber, Stefan A1 - Mottok, Jürgen T1 - Verification of an Evolutionary Optimization Algorithm for Runnable Sequencing Problem T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 ER - TY - CHAP A1 - Tao, Ye A1 - Liu, Guozhu A1 - Mottok, Jürgen A1 - Hackenberg, Rudolf A1 - Hagel, Georg A1 - Mottok, Jürgen T1 - Just-in-Time Teaching in software engineering: A Chinese-German empirical case study T2 - 2014 IEEE Global Engineering Education Conference (EDUCON), 3-5 April 2014, Istanbul, Turkey N2 - Learning centered teaching becomes an important factor in a global perspective of learning software engineering. The Just-in-Time Teaching approach is used in a Chinese-German empirical case study. In a one year terminated project we will analyze the performance of our students in an active learning scenario with Just-in-Time Teaching and Peer Instruction. We will contribute an inter-cultural comparison of achieved competencies by student’s self-assessment and teacher’s observation. KW - Activating Learning KW - Blended Learning KW - Conferences KW - Educational institutions KW - E-Learning KW - ISO Standards KW - JiTT KW - Just-in-Time Teaching KW - Materials KW - Practical Learning KW - Software KW - Software engineering Y1 - 2014 U6 - https://doi.org/10.1109/EDUCON.2014.6826220 SP - 983 EP - 986 PB - IEEE ER - TY - CHAP A1 - Soska, Alexander A1 - Schroll-Decker, Irmgard A1 - Mottok, Jürgen T1 - Implementation of Practical Exercises in Software Engineering Education to Improve the Acquirement of Functional and Non-Functional Competences T2 - 2014 International Conference on Interactive Collaborative Learning (ICL), 3-6 Dec. 2014, Dubai, UAE N2 - Software Engineering is a very volatile profession that requires a variety of theoretical as well as practical skills. In addition to expertise technical knowledge, graduates have to have a variety of social, methodical and personal competences. The acquirement of these non-functional competences are getting more and more important for a successful software engineer. To fulfill these requirements, it is necessarily important to prepare future professionals already during their college course of education. This paper presents exercises for a software engineering lecture with the goal to strengthen the students' practical experiences and to support the development of their non-functional competences. The developed exercises impart technical knowledge and encourage the students to improve their self-organized and lifelong learning. Thereby they are facing practical issues in all steps of the software engineering process while working on an inter semester project. KW - software engineering education KW - project-based learning KW - software engineering exercises KW - competences Y1 - 2014 U6 - https://doi.org/10.1109/ICL.2014.7017795 ER - TY - CHAP A1 - Seidl, M. A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Improving the reliability of an embedded real-time system by applying coded processing T2 - 4th Applied Research Conference, 5th July 2014, Ingolstadt Y1 - 2014 SN - 978-3-8440-2875-1 SP - 70 EP - 74 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Kopp, Felix A1 - Köhler, Thorsten A1 - Mottok, Jürgen ED - Ivanov, Artem ED - Bicker, Marc ED - Patzelt, Peter T1 - Bildgebende Verfahren zur dreidimensionalen Rekonstruktion aus Bildsequenzen basierend auf der Bundler SFM Toolchain T2 - 4. Landshuter Symposium Mikrosystemtechnik : Mikrosystemtechnik als Schlüsseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. März 2014, Hochschule Landshut N2 - Vorgestellt wird der Structure from Motion (SFM)Toolchain Bundler zur Erzeugung von Punktwolken aus unkalibrierten Kameraaufnahmen und deren Optimierungsmöglichkeiten durch zeitnahe Verfahren zur Interessenpunktextraktion. Das Extrahieren markanter Punkte aus Bildern beinhaltet eines der zeitintensivsten sowie herausforderndsten Aufgaben im dreidimensionalen Rekonstruktionsprozess. Vor allem im Hinblick auf die Integration von Structure from Motion Verfahren auf eingebettete Systeme sind Rechenzeit und Speicherverbrauch von hohem Interesse. Für dreidimensionale Rekonstruktionsalgorithmen ist das Finden akkurater Punktkorrespondenzen von hoher Priorität. Die Anforderungen an Punktdetektor, -deskriptor und -matcher sind dementsprechend hoch. Untersucht wurden die Ansätze zur Interessenpunktextraktion. Hierzu gehören, der von der Bundler SFM Toolchain genutzte, Scale-invariant feature transform (SIFT) sowie Speeded Up Robust Features (SURF), Binary Robust Invariant Scalable Keypoints (BRISK) und Fast Retina Keypoint (FREAK). Es wird gezeigt, dass das Ersetzen von SIFT in der Toolchain vor allem durch die binären Deskriptoren BRISK und FREAK zu wesentlich kürzeren Laufzeiten führen kann. Dies ist vor allem für eingebettete Systeme mit eingeschränkter Rechenleistung von Bedeutung. In Bezug auf die Genauigkeit der gefundenen Punktkorrespondenzen übertreffen sowohl FREAK als auch BRISK die nicht binären Ansätze im Anwendungsprofil. Zur Beschreibung von Interessenpunkten sind die binären Ansätze eine sinnvolle Optimierungsmöglichkeit hinsichtlich Laufzeit und Genauigkeit, während der in BRISK enthaltene Detektor nicht an die Performance der nicht binären Alternativen herankommt. Insgesamt betrachtet wurden die besten Ergebnisse (Laufzeit und Genauigkeit) mit den Kombinationen SURF/FREAK und SURF/BRISK erreicht. Die evaluierten Algorithmen(SIFT,SURF,BRISK,FREAK) sollen künftig in der Umgebung einer kompletten 3D-Rekonstruktions-Toolchain getestet und ausgewertet werden. Hierbei ist auch auf die Abhängigkeit von verschiedenen Matching-Verfahren zu achten. Darüber hinaus sollen weitere Optimierungsmöglichkeiten für Anwendungen basierend auf Bündelausgleichung untersucht werden. KW - Bildfolge KW - Bildgebungsverfahren KW - Bildrekonstruktion KW - Bündelung KW - dreidimensionale Struktur KW - Oberflächenrekonstruktion Y1 - 2014 SN - 978-3-9812696-5-9 SP - 118 EP - 125 CY - Landshut ER - TY - CHAP A1 - Bayer, Michael A1 - Noebauer, Josef A1 - Mottok, Jürgen T1 - Weiterentwicklung eines portablen OSEK-OS basierten Echtzeitbetriebssystems zu einem konfigurierbaren AUTOSAR-OS T2 - 4. Landshuter Symposium Mikrosystemtechnik, Mikrosystemtechnik als Schlüsseltechnologie der Systemintegration, Tagungsband zum Symposium 12./13. März 2014, Hochschule Landshut N2 - AUTOSAR spezifiziert ein statisches Echtzeitbetriebssystem (AUTOSAR-OS), welches auf die Bedürfnisse der Automobilindustrie zugeschnitten ist. Dabei stellt die AUTOSAR-OS-Spezifikation im Wesentlichen eine Weiterentwicklung von OSEK-OS dar. Die Unterschiede zu einem OSEK-OS sind im Wesentlichen eine erweiterte Programmierschnittstelle für Counter, Schedule Tables zur Abbildung komplexer zeitgesteuerter Abläufe und Stack Monitoring. Der Scheduler arbeitet prioritätsbasiert und unterstützt unterbrechbare und nicht unterbrechbare Tasks. Eine Ressourcenverwaltung mit Priority Ceiling Protokoll verhindert Deadlocks und Prioritäteninversion. Tasks sind entweder als "Basic Tasks" oder "Extended Tasks" konfiguriert. Nach einer kurzen Vorstellung der OS-Spezifikation wird eine darauf basierte Architektur für das Betriebssystem hergeleitet. Die konkrete Implementierung ist aufgeteilt in einen konfigurationsabhängigen Teil und einen statischen Quellcodeteil. Der konfigurationsabhängige Teil wird von einem Quellcodegenerator erzeugt. Der statische Teil wird in einer Schichtenarchitektur erstellt, um eine Trennung zwischen plattformabhängigem und plattformunabhängigem Quellcode zu erreichen, da die hierfür vorgesehene AUTOSAR-Methode nicht ausreicht. Die Portierung des OS auf eine neue Hardwareplattform zeigt, dass nur die plattormabhängige Quellcodeschicht des Betriebssystems geändert werden muss. Bei der Validierung des Betriebssystems wurde neben einem funktionellen Test auch die Performance für charakteristische Aufgaben, wie beispielsweise einem Kontextwechsel, gemessen. Diese Werte werden mit einem kommerziellen, stark optimierten AUTOSAR-OS verglichen. KW - Auftragsverwaltung (DV) KW - Automobilindustrie KW - Echtzeitbetriebssystem KW - Echtzeitsystem KW - eingebettetes System KW - Quellencodierung KW - Systemarchitektur KW - Task-Management KW - Validierung Y1 - 2014 SN - 978-3-9812696-5-9 SP - 154 EP - 161 CY - Landshut ER - TY - CHAP A1 - Studt, Reimer A1 - Weiß, Florian A1 - Mottok, Jürgen A1 - Weiss, Florian A1 - Mottok, Jürgen T1 - An engineering approach to developing lecture material for new study courses T2 - 2014 IEEE Global Engineering Education Conference (EDUCON), 3-5 April 2014, Istanbul, Turkey N2 - Professional software development is a complex task with many inputs and a complex output. In order to handle complex topics as software or complex engineering projects, structured processes as the V-model or iterative development processes exist. Similarly, the development of a software engineering lecture is a task with many inputs, and a complex output. A structured and methodological approach to the development of a lecture is presented, which applies the same principles as used in the development of software. KW - biomedical engineering KW - competence model KW - computer science education KW - Education KW - Insulin KW - Knowledge engineering KW - lecture development KW - Materials KW - Software KW - Software engineering KW - Unified modeling language Y1 - 2014 U6 - https://doi.org/10.1109/EDUCON.2014.6826153 SP - 592 EP - 597 PB - IEEE ER - TY - JOUR A1 - Freiling, Felix A1 - Grimm, Rüdiger A1 - Großpietsch, Karl-Erwin A1 - Keller, Hubert B. A1 - Mottok, Jürgen A1 - Münch, Isabel A1 - Rannenberg, Kai A1 - Saglietti, Francesca T1 - Technische Sicherheit und Informationssicherheit. Unterschiede und Gemeinsamkeiten JF - Informatik-Spektrum Y1 - 2014 U6 - https://doi.org/10.1007/s00287-013-0748-2 VL - 37 IS - 1 SP - 14 EP - 24 PB - Springer ER - TY - GEN A1 - Alfranseder, Martin A1 - Schmidhuber, Stefan A1 - Mucha, Matthias A1 - Sailer, Andreas A1 - Mottok, Jürgen T1 - How to improve the reactiveness and efficiency of embedded multicore systems by use of probabilistic simulation and optimization techniques: A case study BT - Invited Poster Session T2 - Advanced Research Workshop: Improving Disaster Resilience and Mitigation - New Means and Tools, Trends, Iasi Y1 - 2013 ER - TY - CHAP A1 - Sailer, Andreas A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Mottok, Jürgen T1 - Amalthea – Plattform für kontinuierliche, modellbasierte Entwicklung T2 - Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen Y1 - 2013 SP - 538 EP - 544 ER - TY - CHAP A1 - Krämer, Stefan A1 - Simsek, Erol A1 - Braun, Jürgen A1 - Deubzer, Michael A1 - Stingl, Armin A1 - Hobelsberger, Martin A1 - Mottok, Jürgen T1 - Mut zu Fehlern, um die Qualität zu steigern – Fault-Injection zur Steigerung der Zuverlässigkeit T2 - Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen Y1 - 2013 SN - 978-3-8343-2408-5 SP - 577 EP - 585 ER - TY - CHAP A1 - Braun, Jürgen A1 - Mottok, Jürgen T1 - Fail-Safe and Fail-Operational Systems safeguarded with Coded Processing T2 - 2013 IEEE EUROCON - International Conference on Computer as a Tool, Zagreb, Croatia, July 1-4, 2013 N2 - 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. KW - fail-safe KW - fail-operational KW - fault-tolerant KW - failure probability KW - coded processing KW - Safely Embedded Software KW - SES KW - safety measure KW - ISO 26262 KW - electromobility KW - Mean Time To Failure KW - MTTF KW - reliability KW - diversity Y1 - 2013 SN - 978-1-4673-2231-7 U6 - https://doi.org/10.1109/EUROCON.2013.6625234 SP - 1878 EP - 1885 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Mucha, Matthias A1 - Schmidhuber, Stefan A1 - Sailer, Andreas A1 - Niemetz, Michael A1 - Mottok, Jürgen T1 - A modified synchronization model for dead-lock free concurrent execution of strongly interacting task sets in embedded systems T2 - 2013 International Conference on Applied Electronics (AE 2013), IEEE, 10-12 September 2013, Pilsen, Czech Republic N2 - Global scheduling algorithms are very promising for application in embedded real-time systems using multi-core controllers. In this paper we want to make a first step forward to apply such scheduling methods on real existing systems. Especially a new resource model is necessary to avoid deadlocks, as this goal can not be achieved by using the standard OSEK Priority Ceiling Protocol when shared global resources are in use. We also introduce the new metric mean Normalized Blocking Time in order to be able to compare locking mechanisms according to the timing effects of their blocking behavior. Finally we give a simulative application example of the new metric by the use of two different kinds of semaphore models and an example task set typical for existing embedded real-time systems in the automotive powertrain environment. Y1 - 2013 VL - 18 SP - 13 EP - 18 ER - TY - CHAP A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Error Model and the Reliability of Arithmetic Operations T2 - 2013 IEEE EUROCON - International Conference on Computer as a Tool, Zagreb, Croatia, July 1-4, 2013 N2 - Error detecting and correcting codes are widely used in data transmission, storage systems and also for data processing. In logical circuits like arithmetic operations, arbitrary faults can cause errors in the result. However in safety critical applications, it is important to avoid those errors which would lead to system failures. Several approaches are known to protect the result of operations during software processing. In the same way like transmission systems, coded processing uses codes for fault detection. But in contrast to transmission systems, there is no adequate channel model available which makes it possible to evaluate the residue error probability of an arithmetic operation in an analytical way. This paper tries to close the gap of arithmetic error models by the development of a model for an ordinary addition in a computer system. Thus, the reliability of an addition's result can be analytically evaluated. KW - addition KW - channel model KW - coded processing KW - fault simulation KW - Markov model KW - residue error probability Y1 - 2013 U6 - https://doi.org/10.1109/EUROCON.2013.6625047 SP - 630 EP - 637 ER - TY - CHAP A1 - Raab, Peter A1 - Racek, Stanislav A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Data Flow Analysis of Software Executed by Unreliable Hardware T2 - 16th Euromicro Conference on Digital System Design, Los Alamitos, CA, USA N2 - The data flow is a crucial part of software execution in recent applications. It depends on the concrete implementation of the realized algorithm and it influences the correctness of a result in case of hardware faults during the calculation. In logical circuits, like arithmetic operations in a processor system, arbitrary faults become a more tremendous aspect in future. With modern manufacturing processes, the probability of such faults will increase and the result of a software's data flow will be more vulnerable. This paper shows a principle evaluation method for the reliability of a software's data flow with arbitrary soft errors also with the concept of fault compensation. This evaluation is discussed by means of a simple example based on an addition. KW - data flow KW - error probability KW - fault compensation KW - reliability analysis KW - software-implemented-hardwarefault-tolerance (SIHFT) Y1 - 2013 U6 - https://doi.org/10.1109/DSD.2013.35 SP - 243 EP - 249 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Krapf, Tobias A1 - Mottok, Jürgen A1 - Siemers, Christian T1 - Synchronisationsverfahren in embedded Multicoresystemen T2 - Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezembern 2013, Sindelfingen Y1 - 2013 PB - Vogel Business Media CY - Würzburg ER - TY - CHAP A1 - Sailer, Andreas A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Alfranseder, Martin A1 - Mucha, Matthias A1 - Mottok, Jürgen T1 - Optimizing the task allocation step for multi-core processors within autosar T2 - 2013 International Conference on Applied Electronics, IEEE, Pilsen, Czech Republic N2 - We present a model-based optimization approach for the task allocation problem in embedded multi-core systems. The information therefore is obtained from a system description in AUTOSAR and runtime measurements of the runnables in hardware traces. Based on this an initial software partitioning of runnables to tasks is created. We then use a genetic algorithm to create and evaluate solutions to the task allocation problem. Each solution is hereby evaluated using a discrete event-based simulation, which allows the evaluation with regard to real-time properties, resource consumption and data-communication overhead. The significance of our approach is then shown in a case-study. There, we optimize the task allocation of an embedded system, whose complexity is comparable to that of an actual system, on a multi-core processor. Finally, the results of the optimization are transferred to an ECU Configuration Description to enable further development in compliance with the AUTOSAR methodology. KW - AUTOSAR KW - Multi-Objective Optimization KW - Multi-Core KW - Goodness-of-fit KW - Task Allocation Y1 - 2013 UR - https://ieeexplore.ieee.org/document/6636524 ER - TY - RPRT A1 - Pfaller, M. A1 - Mottok, Jürgen T1 - Developing the e-learning class ‘practical training in c’ Y1 - 2013 ER - TY - BOOK A1 - Gebhard, Vera A1 - Rieger, Gerhard M. A1 - Mottok, Jürgen A1 - Gießelbach, Christian T1 - Funktionale Sicherheit nach ISO 26262 BT - Ein Praxisleitfaden zur Umsetzung KW - Funktionssicherheit KW - ISO/DIS 26262 KW - Kraftfahrzeugbau KW - OEM KW - Produktentwicklung Y1 - 2013 SN - 978-3-89864-788-5 PB - dpunkt.verlag CY - Heidelberg ER - TY - JOUR A1 - Joseph, Saskia A1 - Schumm, Michael A1 - Rummel, Otmar A1 - Soska, Alexander A1 - Renschke, Michael A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Schroll-Decker, Irmgard T1 - Teaching finite state machines with case method and role play JF - 2014 IEEE Global Engineering Education Conference (EDUCON 2014) : Istanbul, Turkey, 3 - 5 April 2014 N2 - The professional requirements in Software Engineering have become highly volatile due to the complexities of project development and rapid and innovative changes occurring in the field. Therefore, the development of inter-personal and social competences has gained central importance in the training of software developers. This paper will present a concept allowing to acquire competences by using Case Method and Role Play as instruments in several lectures of Software Engineering. By approaching the issue of competence acquisition on a technical as well as on an educational and social level, life-long learning is facilitated and supported. KW - Case Method KW - competences KW - learning arrangement KW - life-long learning KW - Role Play Y1 - 2013 U6 - https://doi.org/10.1109/EduCon.2013.6530275 SP - 1302 EP - 1305 PB - IEEE ER - TY - CHAP A1 - Sailer, Andreas A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Hobelsberger, Martin A1 - Mottok, Jürgen T1 - Requirements engineering for a continuous design flow and methodology T2 - 2nd Applied Research Conference 2012 (ARC 2012) 25./26. June 2012, Nuremberg Y1 - 2012 SN - 978-3-8440-1093-0 SP - 76 EP - 79 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Schmidhuber, Stefan A1 - Sailer, Andreas A1 - Deubzer, Michael A1 - Hobelsberger, Martin A1 - Mottok, Jürgen T1 - Overview of the itea2-project amalthea T2 - 2nd Applied Research Conference 2012 (ARC 2012) 25./26. June 2012, Nuremberg Y1 - 2012 SN - 978-3-8440-1093-0 SP - 60 EP - 62 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Braun, Jürgen A1 - Mottok, Jürgen A1 - Miedl, Christian A1 - Geyer, Dirk A1 - Minas, Mark T1 - Increasing the reliability of single and multicore systems with software rejuvenation and coded processing T2 - Automotive Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. Nov. 2012, Karlsruhe N2 - 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. Y1 - 2012 UR - https://dl.gi.de/handle/20.500.12116/17555 SP - 163 EP - 178 ER - TY - CHAP A1 - Schumm, Michael A1 - Joseph, Saskia A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Schroll-Decker, Irmgard T1 - Lernarrangements im software engineering und deren evaluation – neue konzepte für hochschule und lebenslanges Lernen T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 ER - TY - CHAP A1 - Krämer, Stefan A1 - Raab, Peter A1 - Mottok, Jürgen T1 - Simulationsbasierte Reliability-Analyse – Einflüsse von zufälligen Fehlern auf das Echtzeit-Scheduling T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 SP - 613 EP - 622 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Mottok, Jürgen T1 - Kommunikationsmechanismen für sicherheitskritische multi-core Echtzeit-Systeme T2 - 5th Automotive Summerschool, Regensburg, September 2012 Y1 - 2012 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen T1 - Optimizing Software Integration Testing by Considering Integration Testability and Test Complexity T2 - 10th IEEE Workshop on Intelligent Solutions in Embedded Systems, 2012, Klagenfurt, Austria Y1 - 2012 ER - TY - CHAP A1 - Krämer, Stefan A1 - Raab, Peter A1 - Mottok, Jürgen A1 - Racek, Stanislav T1 - Reliability analysis of real-time scheduling by means of stochastic simulation T2 - 2012 International Conference on Applied Electronics (AE 2012), Pilsen, Czech Republic, 5 - 7 September 2012 N2 - 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. Y1 - 2012 SP - 151 EP - 156 ER - TY - CHAP A1 - Braun, Jürgen A1 - Mottok, Jürgen A1 - Miedl, Christian A1 - Geyer, Dirk A1 - Minas, Mark T1 - Capability of single hardware channel for automotive safety applications according to ISO 26262 T2 - 2012 International Conference on Applied Electronics (AE 2012), Pilsen, Czech Republic, 5 - 7 September 2012 Y1 - 2012 SN - 978-80-261-0038-6 SP - 41 EP - 45 ER - TY - CHAP A1 - Schumm, Michael A1 - Joseph, Saskia A1 - Schroll-Decker, Irmgard A1 - Niemetz, Michael A1 - Mottok, Jürgen T1 - Required competences in software engineering – pair programming as an instrument for facilitating life-long learning T2 - 15th International Conference on Interactive Collaborative Learning and 41st International Conference on Engineering Pedagogy, Villach N2 - The professional requirements in software engineering have become highly volatile due to the complexities of project development and rapid and innovative changes occurring in the field. Therefore, the development of inter-personal and social competences has gained central importance in the training of software developers. The following text will present a concept allowing to acquire competences by using Pair Programming as an instrument. Moreover, arrangements for learning and teaching will be presented facilitating the acquisition of these competences. By approaching the issue of competence acquisition on a technical as well as on an educational and social level, lifelong learning is facilitated and supported. Y1 - 2012 U6 - https://doi.org/10.1109/ICL.2012.6402229 ER - TY - CHAP A1 - Schmittner, Christoph A1 - Scharfenberg, Georg A1 - Mottok, Jürgen A1 - Strassmeier, Stefan A1 - Limmer, Thomas T1 - Analysis of the functional and electrical safety of charging stations T2 - 2nd Applied Research Conference 2012 (ARC 2012), 25./26. June 2012, Nuremberg N2 - The number of public charging stations for electric vehicles is rising. It's estimated that in 2014 more than 1.000.000 public charging stations will be installed worldwide. Currently there is no specific standard for Functional Safety and the standard for Electrical Safety is derived from standards for similar systems. The intent of this paper is to examine the existing safety architecture of mode 3 charging stations. First the standards for the charging process and the different modes are presented. Then a standard architecture for a mode 3 charging station, based on the IEC 61841, is described. After that a risk analysis of this model is performed and the electrical and Functional Safety of the architecture are analyzed. Both analyses are based on the general safety standards VDE 0100 and IEC 61508. After that possibilities for improvements and future challenges with Mode 4 charging are discussed. Y1 - 2012 SP - 80 EP - 85 ER - TY - CHAP A1 - Raab, Peter A1 - Racek, Stanislav A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Reliability of Task Execution during Safe Software Processing T2 - 15th Euromicro Conference on Digital System Design, Cesme, Turkey N2 - This paper presents the reliability evaluation of task execution during safe software processing. The standard method of duplication in a safety-critical application can also be applied for tasks in a software system. But in addition to this, there is also the possibility for coded task processing to increase the reliability and availability of software. The presented analysis covers the reliability analysis of a single, a duplicated and a coded task by the technique of continuous time Markov processes. Markov processes are often used for the reliability evaluation of safety-critical systems. We introduce a method to describe the execution time of tasks by means of enhanced Markov models and their solution by numerical methods. KW - reliability analysis KW - continuous-time Markov process KW - error probability KW - Erlang-distribution Y1 - 2012 U6 - https://doi.org/10.1109/DSD.2012.110 SP - 84 EP - 89 ER - TY - JOUR A1 - Braun, Jürgen A1 - Geyer, Dirk A1 - Mottok, Jürgen T1 - Alternative measure for safety related software JF - ATZelektronik N2 - Wie kann die funktionale Sicherheit in Fahrzeugen zukunftssicher und effektiv gewährleistet werden? Und wie kann dies speziell in elektrifizierten Antrieben gelingen? Mit dieser Aufgabenstellung haben sich AVL in Kooperation mit dem LaS³ und der Universität der Bundeswehr München in einem Forschungsprojekt beschäftigt. Die Antwort lautet: Die automatischen Speichertests in Zusammenspiel mit der Programmfluss-Überwachung und redundanter Hardware können besonders effektiv durch die „Codierte Verarbeitung“ ersetzt werden. Denn hier wird die Diversität in Software erhöht, um die aufwendigere und kostspielige Redundanz von Hardware zu reduzieren. Y1 - 2012 SN - 1862-1791 IS - 04 SP - 40 EP - 43 ER - TY - JOUR A1 - Ostermeier, Daniel A1 - Mottok, Jürgen A1 - Knorr, Christine A1 - Huber, Michael ED - Mottok, Jürgen ED - Ziemann, Olaf T1 - Competence Atlas for Save and Green Road Vehicles in the Electro Mobility Cluster Regensburg JF - Applied Research Conference 2012 (ARC 2012) 25./26. June 2012, Nuremberg Y1 - 2012 SP - 86 EP - 92 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Migration path for secure and economic smart power grid devices with transitional smart metering support T2 - 2nd Applied Research Conference 2012 (ARC 2012), 25./26. June 2012, Nuremberg Y1 - 2012 SP - 64 EP - 70 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Porting the microsoft .net micro framework onto an embedded operating system T2 - 2nd Applied Research Conference 2012 (ARC 2012) 25./26. June 2012, Nuremberg Y1 - 2012 SP - 26 EP - 30 ER - TY - JOUR A1 - Mottok, Jürgen T1 - Embedded functional safety, funktional safety in der praxis JF - Bayern Innovativ Y1 - 2012 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Embedded trends T2 - Technologietag 2012, am 28. März, München Y1 - 2012 ER - TY - CHAP A1 - Landes, Dieter A1 - Sedelmaier, Yvonne A1 - Pfeiffer, Volkhard A1 - Mottok, Jürgen A1 - Hagel, Georg T1 - Learning and teaching software process models T2 - Proceedings of the 2012 IEEE Global Engineering Education Conference (EDUCON), 17-20 April 2012, Marrakech, Morocco N2 - Software process models are fairly abstract tools for organizing large, complex software development projects. Since particularly undergraduate students commonly do not have any experience in being part of such a project, their understanding of the benefits and shortcomings of particular process models is very limited. Even more, frequently they are not aware of the need to follow a particular process model since their previous one-person software assignments were too small for requiring any such model at all. Y1 - 2012 U6 - https://doi.org/10.1109/EDUCON.2012.6201191 ER - TY - CHAP A1 - Abke, Jörg A1 - Brune, Philipp A1 - Haupt, Wolfram A1 - Hagel, Georg A1 - Landes, Dieter A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Pfeiffer, Volkhard A1 - Studt, Reimer A1 - Schroll-Decker, Irmgard A1 - Sedelmaier, Yvonne T1 - Evelin – ein Forschungsprojekt zur systematischen Verbesserung des Lernens von Software Engineering T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 SN - 978-3-8343-2407-8 SP - 653 EP - 658 ER - TY - CHAP A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Mottok, Jürgen ED - Mottok, Jürgen ED - Ziemann, Olaf T1 - Genetic optimization of real-time multicore systems with respect to communication-based metrics T2 - 2nd Applied Research Conference 2012 (ARC 2012) 25./26. June 2012, Nuremberg Y1 - 2012 SN - 978-3-8440-1093-0 SP - 21 EP - 25 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Joseph, Saskia A1 - Schumm, Michael A1 - Schroll-Decker, Irmgard A1 - Niemetz, Michael A1 - Mottok, Jürgen T1 - Anmerkungen zur Kompetenz-Performanz-Relation: Software Engineering im Spannungsfeld der beruflichen Anforderungen T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 ER - TY - CHAP A1 - Felis, Simeon A1 - Mottok, Jürgen A1 - Bauer, B. A1 - Kohlert, Dieter A1 - Jantz, D. A1 - Laumer, M. T1 - FBI3 – Fehlereinspeisung auf Hardware-Ebene T2 - 3. Landshuter Symposium Mikrosystemtechnik, Tagungsband, 13. und 14. März 2012, Hochschule Landshut Y1 - 2012 SP - 119 EP - 127 ER - TY - CHAP A1 - Alfranseder, Martin A1 - Mottok, Jürgen T1 - Benchmarking parallelisierbarer Algorithmen auf cuda Architekturen T2 - Tagungsband 5th Embedded Software Engineering Kongress, 3. bis 7. Dezember 2012, Sindelfingen Y1 - 2012 PB - Vogel Business Media CY - Würzburg ER - TY - CHAP A1 - Mottok, Jürgen T1 - Dependable multicore scheduling T2 - Continental Software Conference Y1 - 2012 ER - TY - CHAP A1 - Nick, Matthias A1 - Schorer, Michael A1 - Mottok, Jürgen ED - Mottok, Jürgen ED - Ziemann, Olaf T1 - Feasibility Study of a Build System Performing Automated Builds Based on Model-Based Build Descriptions T2 - 2nd Applied Research Conference 2012 (ARC 2012), 25./26. June 2012, Nuremberg Y1 - 2012 SP - 71 EP - 75 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen T1 - Deriving an integration order in a component-based embedded system using simulated annealing T2 - Proceedings of the 13. Mitteldeutschen Nachwuchswissenschaftlerkonferenz (NWK13), April 2012, Goerlitz, Germany Y1 - 2012 SN - 978-3-86870-436-5 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen T1 - Considering Schedule Requirements of Software Integration in Component based Embedded System T2 - International Conference on Applied Electronics, 2012, Pilsen, Czech Republic Y1 - 2012 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Verbundprojekt EVELIN T2 - HDS.Forum Lernkulturen Y1 - 2012 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Entdeckendes Lernen T2 - HDS.Forum Lernkulturen Y1 - 2012 ER - TY - CHAP A1 - Hansch, G. A1 - Staudte, Ch. A1 - Gerhager, S. A1 - Hackenberg, Rudolf A1 - Mottok, Jürgen ED - Mottok, Jürgen ED - Ziemann, Olaf T1 - Migration path for secure and economic smart power grid devices with transitional smart metering support T2 - Applied Research Conference 2012 (ARC 2012), 25./26. June 2012 Nuremberg Y1 - 2012 SN - 2012 978-3-8440-1093-0 SP - 63 EP - 69 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Bock, T. A1 - Mottok, Jürgen A1 - Köhler, Thorsten ED - Mottok, Jürgen ED - Ziemann, Olaf T1 - A gesture-based human-machine interface using stereoscopic depth images T2 - 2nd Applied Research Conference 2012 (ARC 2012), 25./26. June 2012, Nuremberg N2 - Reasonable integration of gesture-based automotive HMI-functionality offers potential safety benefits by reducing driver distractions and glance times to operate tertiary in-car devices. Stereo camera systems are a well investigated choice to perform the task of generating depth data for spatial gesture recognition. This paper describes the functionality of our stereo vision software, which is intended for application in a target system based on CMOS wafer-level cameras. The retrieved point cloud data was passed to a gesture-based sample application. Y1 - 2012 SP - 166 EP - 169 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen T1 - Cyclic codes and error detection during data processing in embedded software systems T2 - Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen Y1 - 2011 SP - 577 EP - 590 ER - TY - CHAP A1 - Mottok, Jürgen A1 - Gardeia, Armin T1 - The regensburg concept of p-seminars – how to organize the interface between secondary school and university education to create a didactic cooperation between teaching and learning of software engineering with lego mindstorms nxt embedded robot systems T2 - 2011 IEEE Global Engineering Education Conference (EDUCON), Amman, Jordan, 2011 N2 - This paper describes the background and the theory of the learning arrangement “The Regensburg Concept of P 1 - Seminars” and its potential fields of application. This conception was designed to meet the various requirements caused by the Bologna Accords and the restructuring of the senior years of German secondary school education. At the same time it aims at finding solutions for a severe problem topical in Germany: the lack of students qualifying in MINT (the fields of mathematics, informatics, natural sciences and techniques.) The focus of this conception is on the cooperation between universities and schools hence a draft of the P-Seminar has already been realized and evaluated during a pilot phase at a local secondary school. These experiences serve as a solid basis for the development of a concrete plan that makes it possible to transfer the concept to similar projects in future. In the following paragraphs keywords that are applied to the lexical field of the Regensburg Concept are elaborated e.g. "practive learning", an interaction of practical and active learning. Y1 - 2011 U6 - https://doi.org/10.1109/EDUCON.2011.5773255 SP - 917 EP - 920 ER - TY - CHAP A1 - Raab, Peter A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Racek, Stanislav T1 - Safe software processing by concurrent execution in a real-time operating system T2 - 16th International Conference on Applied Electronics (AE 2011), 2011, Pilsen, Czech Republic N2 - The requirements for safety-related software systems increases rapidly. To detect arbitrary hardware faults, there are applicable coding mechanism, that add redundancy to the software. In this way it is possible to replace conventional multi-channel hardware and so reduce costs. Arithmetic codes are one possibility of coded processing and are used in this approach. A further approach to increase fault tolerance is the multiple execution of certain critical parts of software. This kind of time redundancy is easily realized by the parallel processing in an operating system. Faults in the program flow can be monitored. No special compilers, that insert additional generated code into the existing program, are required. The usage of multi-core processors would further increase the performance of such multi-channel software systems. In this paper we present the approach of program flow monitoring combined with coded processing, which is encapsulated in a library of coded data types. The program flow monitoring is indirectly realized by means of an operating system. Y1 - 2011 SP - 315 EP - 319 ER - TY - CHAP A1 - Braun, Jürgen A1 - Mottok, Jürgen A1 - Miedl, Christian A1 - Geyer, Dirk A1 - Minas, Mark T1 - Overview and Evaluation of Fail-Safe and Fault-Tolerant Mechanisms for the Electromobility according to ISO26262 T2 - 1st International Electromobility Congress, 12. - 13. 5. 2011, Prague Y1 - 2011 ER - TY - CHAP A1 - Schmidhuber, Stefan A1 - Deubzer, Michael A1 - Mottok, Jürgen T1 - Parallelisierte Echtzeitanalyse von Eingebetteten Systemen T2 - Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen Y1 - 2011 SP - 516 EP - 524 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Storytelling: Finite state machines Lernen leicht gemacht! T2 - Proceedings of the 4rd Embedded Software Engineering Congress (ESE), 5.-9. Dezember 2011, Sindelfingen Y1 - 2011 ER - TY - CHAP A1 - Mottok, Jürgen T1 - General purpose computing on graphics processing unit by using cuda T2 - Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg Y1 - 2011 ER - TY - CHAP A1 - Mottok, Jürgen T1 - Ses and the iso 26262 T2 - Applied Research Conference 2011 (ARC 2011), 6. April, Regensburg Y1 - 2011 ER - TY - GEN A1 - Bärwald, Andreas A1 - Mottok, Jürgen T1 - Zertifizierung von Werkzeugen und Werkzeugketten T2 - Software im Automobil, Stuttgart, 04./05. Mai 2010 Y1 - 2010 UR - https://de.slideshare.net/AndreasBaerwald/zertifizierung-von-werkzeugen-und-werkzeugketten ER - TY - CHAP A1 - Deubzer, Michael A1 - Hobelsberger, Martin A1 - Mottok, Jürgen A1 - Schiller, Frank A1 - Dumke, Reiner A1 - Siegle, Markus A1 - Margull, Ulrich A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - Modeling and Simulation of Embedded Real-Time Multi-Core Systems T2 - Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen KW - Real-Time Systems KW - Multicore KW - Model-Driven Development KW - Architecture Description Language KW - Simulation Y1 - 2010 UR - https://www.unibw.de/technische-informatik/mitarbeiter/professoren/siegle/publikationen/ese2010_muco_modsim.pdf ER - TY - CHAP A1 - Hobelsberger, Martin A1 - Dumke, Reiner A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - An Experience-Based Repository of Reusable Components for an Component-Based Automotive Software System T2 - Applied Software Measurement, proceedings of the joined International Conferences on Software Measurement IWSM/MetriKon/Mensura 2010, 10.-12. November 2010, Stuttgart, Germany Y1 - 2010 SP - 218 EP - 240 ER - TY - JOUR A1 - Deubzer, Michael A1 - Mottok, Jürgen A1 - Bärwald, Andreas T1 - Dependability-Betrachtung von Multicore-Scheduling JF - HANSER Automotive N2 - 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ährleisten. In diesem Beitrag betrachten die Hochschule Regensburg und die TÜV SüdAutomotive GmbH das Scheduling eines Echtzeitsystems als ein sicher-heitsrelevantes Sub-System. Y1 - 2010 UR - https://res.cloudinary.com/sternwald-systems/raw/upload/v1/hugoprd/ARTIKEL_ATTACH/00207DD4_0669BA3F5B24/4b2124fb030a4d3d5a42a83aaec4bddadebe3077/AM_2010_11_Dependability-Betrachtung-von-Multicore-Scheduling.pdf IS - 11 SP - 24 EP - 27 ER - TY - CHAP A1 - Bierl, Rudolf A1 - Boehm, M. A1 - Fraunhoffer, Judith A1 - Gardeia, Armin A1 - Mottok, Jürgen A1 - Schneider, Ralph A1 - Streubel, J. T1 - “Regensburger Modell zu den P-Seminaren” – Ein Konzept zur Gestaltung der Schnittstelle Gymnasium – Hochschule und zur Praxis einer kooperativen Lehr-Lern-Didaktik für Informationstechnik T2 - 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember, Sindelfingen Y1 - 2010 PB - Vogel Business Media CY - Würzburg ER - TY - CHAP A1 - Hagel, Georg A1 - Mottok, Jürgen A1 - Utesch, Matthias A1 - Landes, Dieter A1 - Studt, Reimer T1 - Software Engineering Lernen für die berufliche Praxis – Erfahrungen mit dem konstruktivistischen Methodenbaukasten T2 - Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen Y1 - 2010 ER - TY - CHAP A1 - Braun, Jürgen A1 - Mottok, Jürgen A1 - Miedl, Christian A1 - Greyer, D. A1 - Minas, Mark T1 - Fail-Safe und Fault-Tolerant Mechanismen T2 - Proceedings of the 3rd Embedded Software Engineering Congress, 7. bis 9. Dezember 2010, Sindelfingen Y1 - 2010 SP - 378 EP - 386 ER - TY - JOUR A1 - Deubzer, Michael A1 - Mottok, Jürgen T1 - Dependability von Systemen mit dynamischen Multicore-Schedulingalgorithmen JF - safetronic Y1 - 2010 ER - TY - JOUR A1 - Deubzer, Michael A1 - Mottok, Jürgen A1 - Margull, Ulrich A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - Efficient Scheduling of Reliable Automotive Multi-core Systems with PD² by Weakening ERfair Task System Requirements JF - Automotive Safety and Security N2 - 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. Y1 - 2010 UR - https://www.researchgate.net/publication/287883010_Efficient_scheduling_of_reliable_automotive_multi-core_systems_with_pd2_by_weakening_erfair_tasksystem_requirements SP - 53 EP - 67 ER - TY - JOUR A1 - Deubzer, Michael A1 - Schiller, Frank A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Margull, Ulrich T1 - Effizientes Multicore-Scheduling in Eingebetteten Systemen – Teil 1: Algorithmen für zuverlässige Echtzeitsysteme JF - atp - Automatisierungstechnische Praxis N2 - Eingebettete Systeme unterliegen neben den funktionalen Anforderungen besonders nicht funktionalen Qualitätsanforderungen wie Effizienz, Zuverlässigkeit und Echtzeitfähigkeit. Mit steigendem Bedarf an Rechenkapazität kö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ögliche Prozessorarchitektur für zukünftige Automotive Multicore-Systeme und die Abstraktion der Software für diese Systeme vorgestellt. Nach einer Klassifkation von Multicore-Scheduling-Algorithmen präsentieren wir exemplarisch einen Algorithmus mit statischer Taskallokation und einen Algorithmus mit dynamischer Taskallokation. Bei beiden Algorithmen handelt es sich um eine Überführung theoretisch behandelter Algorithmen auf Automotive Systeme. Y1 - 2010 UR - https://docplayer.org/4474533-Effizienter-einsatz-von-multicore-systemen.html IS - 9 SP - 60 EP - 67 ER - TY - CHAP A1 - Schorer, Michael A1 - Kuntz, Stefan A1 - Mottok, Jürgen T1 - Verification of Behavioral Compatibility in the Virtual Integration Methodology T2 - 8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010 N2 - 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. Y1 - 2010 U6 - https://doi.org/10.1109/WISES.2010.5548424 SP - 35 EP - 42 ER - TY - JOUR A1 - Deubzer, Michael A1 - Schiller, Frank A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Margull, Ulrich T1 - Effizientes Multicore-Scheduling in Eingebetteten Systemen – Teil 2: Ein simulationsbasierter Ansatz zum Vergleich von Scheduling-Algorithmen JF - atp - Automatisierungstechnische Praxis N2 - Eingebettete Systeme unterliegen neben den funktionalen Anforderungen besonders nichtfunktionalen Qualitätsanforderungen wie Effizienz, Zuverlässigkeit und Echtzeitfähigkeit. Mit steigendem Bedarf an Rechenkapazität kö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ür Multicore-Systeme mit voller Migration und dynamischer Task-Prioritä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ür eine Gruppe von Automotive Powertrain Systemen. Y1 - 2010 VL - 52 IS - 10 ER - TY - CHAP A1 - Deubzer, Michael A1 - Margull, Ulrich A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - Partly Proportionate Fair Multiprocessor Scheduling of Heterogeneous Task Systems T2 - 5th Embedded Real Time Software and Systems Conference, May 2010 N2 - 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. Y1 - 2010 ER - TY - CHAP A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Qualification and Certification of Development Tools for Safety-Critical Applications T2 - Automotive Safety & Security N2 - 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. Y1 - 2010 UR - https://www.researchgate.net/publication/289001902_Qualification_and_certification_of_development_tools_for_safety-critical_applications SP - 135 EP - 149 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans T1 - SES-based Framework for Fault-tolerant Systems T2 - 8th IEEE Workshop on Intelligent Solutions in Embedded Systems, Heraklion, Greece, July 2010 N2 - 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. Y1 - 2010 U6 - https://doi.org/10.1109/WISES.2010.5548427 SP - 12 EP - 16 ER - TY - JOUR A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Certification of safety relevant systems – Benefits of using pre-certified components JF - Automotive Safety and Security Y1 - 2010 ER - TY - CHAP A1 - Stappert, Friedhelm A1 - Jonsson, Jan A1 - Mottok, Jürgen A1 - Johansson, Rolf T1 - A Design Framework for End-to-End Timing Constrained Automotive T2 - 5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France Y1 - 2010 UR - https://hal.archives-ouvertes.fr/hal-02264378 ER - TY - CHAP A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Osek-basierende Implementierung des LLREF-Scheduling-Algorithmus für eine Dual-Core-Architektur T2 - 2. Landshuter Symposium Mikrosystemtechnik, Tagungsband, 24. une 25. Februar 2010, Hochschule Landshut Y1 - 2010 SP - 343 EP - 349 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Schiller, Frank A1 - Früchtl, M. T1 - Safeguarded Processing of Sensor Data T2 - 5th Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010, Toulouse, France Y1 - 2010 ER - TY - JOUR A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Qualifizierung und Zertifizierung von Software-Entwicklungswerkzeugen JF - Hanser Automotive Y1 - 2010 SP - 34 EP - 39 ER - TY - JOUR A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Multi-Core Scheduling in Embedded Systemen, Teil 1 JF - Hanser Automotive Y1 - 2010 IS - 1-2 SP - 18 EP - 22 ER - TY - JOUR A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Multi-Core Scheduling in Embedded Systemen, Teil 2 JF - Hanser Automotive Y1 - 2010 IS - 3-4 SP - 23 EP - 25 ER - TY - JOUR A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Multi-Core Scheduling in Embedded Systemen, Teil 3 JF - Hanser Automotive Y1 - 2010 IS - 5-6 SP - 14 EP - 16 ER - TY - CHAP A1 - Hobelsberger, Martin A1 - Mottok, Jürgen T1 - Software Qualität – eine Glaubensfrage? Ein Überblick über Modelle der Softwarezuverlässigkeit T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 134 EP - 148 ER - TY - CHAP A1 - Deubzer, Michael A1 - Margull, Ulrich A1 - Mottok, Jürgen A1 - Niemetz, Michael A1 - Wirrer, Gerhard T1 - Partitionierungs-Scheduling von Automotive Restricted Tasksystemen auf Multiprozessorplattformen T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 536 EP - 542 ER - TY - CHAP A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Modifikation des Taskzustandsmodells des LLREF-Schedulers auf einem Dual-Core-Prozessor T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 628 EP - 636 ER - TY - CHAP A1 - Mottok, Jürgen A1 - Hagel, Georg A1 - Utesch, Matthias A1 - Waldherr, Franz T1 - Konstruktivistische Didaktik - ein Rezept für eine bessere Software Engineering Ausbildung? T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 601 EP - 610 ER - TY - CHAP A1 - Schmidt, Peter A1 - Mottok, Jürgen T1 - Memorandum der Bioagile Software- und Systementwicklung T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 487 EP - 497 ER - TY - CHAP A1 - Bärwald, Andreas A1 - Hauff, Harald A1 - Mottok, Jürgen T1 - Qualification and certification of development tools for safety-critical applications T2 - Proceedings of Dependability@SIEMENS Conference N2 - 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. Y1 - 2009 ER - TY - JOUR A1 - Hartig, Wolfgang A1 - Habermann, Albert A1 - Mottok, Jürgen T1 - Mehr Qualität durch modellbasiertes Testen JF - Elektronik automotive 3 Y1 - 2009 UR - https://www.elektroniknet.de/automotive/software-tools/mehr-qualitaet-durch-modellbasiertes-testen.1370.html SP - 32 EP - 35 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Schiller, Frank A1 - Früchtl, M. T1 - Diskussion des Einsatzes von Safely Embedded Software in FPGA-Architekturen T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 655 EP - 661 ER - TY - CHAP A1 - Studt, Reimer A1 - Mottok, Jürgen A1 - Utesch, Matthias A1 - Landes, Dieter T1 - Anwendung der Bloom´schen Taxonomie auf Lehrinhalte des Software-Engineerings T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 583 EP - 593 ER - TY - CHAP A1 - Krämer, Stefan A1 - Mottok, Jürgen A1 - Meier, Hans T1 - Modifikation des Taskzustandsmodells des LLREF-Schedulers auf einem Dual-Core-Prozess T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 628 EP - 636 ER - TY - CHAP A1 - Schorer, Michael A1 - Kuntz, Stefan A1 - Mottok, Jürgen T1 - Beschreibung eines kooperativen Tasksystems mit OSEK-konformen Scheduler durch Petri Netze T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 637 EP - 644 ER - TY - CHAP A1 - Stamatescu, G. A1 - Deubzer, Michael A1 - Mottok, Jürgen A1 - Popescu, Dan T1 - Migration overhead in multiprocessor scheduling T2 - Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen Y1 - 2009 SP - 645 EP - 654 ER - TY - JOUR A1 - Hartig, Wolfgang A1 - Habermann, Albert A1 - Mottok, Jürgen T1 - Model-based testing for better quality JF - Vector, Technicle Article Y1 - 2009 ER - TY - JOUR A1 - Mottok, Jürgen T1 - Safely embedded software JF - Embedded Software Engineering Report Y1 - 2009 VL - 53 SP - 10 EP - 11 ER - TY - CHAP A1 - Steindl, Michael A1 - Mottok, Jürgen A1 - Meier, Hans A1 - Schiller, Frank A1 - Früchtl, M. T1 - Safeguarded Processing of Sensor Data T2 - IT-SecurityArea (IT-SA 2009) vom 13.-15. Oktober 2009, Nürnberg N2 - 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. KW - Safety embedded software KW - FPGA KW - Diverse instructions KW - Safety code weaving Y1 - 2009 UR - https://hal.archives-ouvertes.fr/hal-02268737 ER -