Quality Assurance for Embedded Systems, Validation and Testing, Computer-Aided Verification, System Verification and HW/SW Co-Verification

Größe: px
Ab Seite anzeigen:

Download "Quality Assurance for Embedded Systems, Validation and Testing, Computer-Aided Verification, System Verification and HW/SW Co-Verification"

Transkript

1 Name of Module: Quality Assurance of Embedded Systems Person Responsible for Module: Secretariat: Sabine Glesner TEL 12-4 Paula Herber CP (ECTS): Short Name: 6 MINF-SE-QSES.W12 address: 1. Qualification Aims Graduates of this module are able to master methods and techniques with which the quality of embedded systems can be systematically ensured. They have knowledge about existing techniques and know how to apply them. Furthermore, they are also able to incorporate new techniques using advanced reading material (e.g., conference proceedings), and to present their main characteristics and how they work. The course mainly imparts: (a) knowledge: 40% (b) skills: 30% (c) competences: 30% 2. Content Quality Assurance for Embedded Systems, Validation and Testing, Computer-Aided Verification, System Verification and HW/SW Co-Verification 3. Module Components Course Name Cour se type Weekly hours per semest er CPs (according to ECTS) Compulsory(C) / Compulsory Elective (CE) Semester (WS / SS) Quality Assurance of Embedded Systems IV 4 6 C WS 4. Description of Teaching and Learning Methods This module is an integrated course with lectures, exercises and seminar parts. 5. Prerequisites for Participation Knowledge from bachelor modules in Computer Science/Technical Computer Science or the like. Recommended are basic skills in software engineering for embedded systems. 6. Target Group of Module Compulsory Module for master students in Automotive Systems and ICT Innovations (Embedded Systems) Compulsory Elective Module for master students in Computer Science and Computer Engineering. 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Contact Hours 15*4 60 Pre- and postprocessing 15*4 60 Preparation of presentation 30 Exam Preparation 30 Total Module Examination and Grading Procedures

2 Method of examination: oral exam. Prerequisite for the attendance of the exam is an oral presentation about an advanced quality assurance topic during the semester 9. Duration of Module The module can be completed within one semester. 10. Number of Participants The maximal number of participants is limited to Enrolment Procedures A registration is necessary. Information about the enrolment procedure is published on our website (http://www.pes.tu-berlin.de) at the beginning of each semester. 12. Recommended Reading, Lecture Notes Lecture notes available in paper form? yes no x Lecture notes available in electronic form? yes x no Slides are available at Literature: Edmund Clarke, Orna Grumberg, Dolon Peled: Model Checking. MIT Press, Christel Baier aund Joost-Pieter Katoen: Principles of Model Checking, The MIT Press, Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh: Handbook of Satisfiability. IOS Press, More reading material will be announced in the lecture and on the course website during the semester. 13. Other Information Updated information on this module and the course website for each semester can be found at

3 Titel des Moduls : Seminar Programmierung eingebetteter Systeme Verantwortlich für das Modul: Sekr.: Prof. Dr. Sabine Glesner TEL 12-4 Modulbeschreibung LP (nach Kurzbezeichnung: ECTS):3 MINF-SE-SPES.W Qualifikationsziele Absolventinnen und Absolventen des Moduls können sich in Forschungsarbeiten aus dem Bereich eingebetteter Systeme selbständig einarbeiten und sind in der Lage, die Ergebnisse zu präsentieren. Die Veranstaltung vermittelt überwiegend: Fachkompetenz 25% Methodenkompetenz 25% Systemkompetenz 30% Sozialkompetenz 20% 2. Inhalte Über 98% aller programmierbaren Prozessoren werden in eingebetteten Systemen eingesetzt. Der Software-Anteil in eingebetteten Systemen spielt dabei zunehmend größere Rolle. Zum Beispiel betrug in einem PKW gehobener Ausstattung im Jahr 2003 die Größe eingebetteter Software 70 MB, in aktuellen Fahrzeugen sind bereits bis zu 1 GB Software enthalten. Ähnlich wie das exponentielle Wachstum im Hardwarebereich mit Moore's Law charakterisiert wird, beobachtet man ein analoges exponentielles Wachstum bei eingebetteter Software. In diesem Seminar werden aktuelle Forschungsarbeiten zum Entwurf sicherer, zuverlässiger und effizienter eingebetteter Systeme behandelt. 3. Modulbestandteile LV-Titel LV-Art SWS LP(nach ECTS) Seminar Programmierung eingebetteter Systeme 4. Beschreibung der Lehrformen Pflicht(P) / Wahlpflicht(WP) Semester (WiSe / SoSe) SE 2 3 P WiSe/SoSe Die Teilnehmer erarbeiten anhand von Originalliteratur aktuelle forschungsnahe Themen, stellen diese in einem Vortrag vor und fertigen eine schriftliche Ausarbeitung zu ihrem Vortrag an. Die Unterrichtssprache des Moduls ist deutsch. 5. Voraussetzungen für die Teilnahme Kenntnisse aus den Modulen von Bachelor Informatik/Technische Informatik oder Vergleichbares sind vorausgesetzt. 6. Verwendbarkeit Masterstudiengange Informatik: Studienschwerpunkt System Engineering, Masterstudiengang Technische Informatik: Studienschwerpunkt Software Engineering, Masterstudiengang technische Informatik (StO/PO 2012): - Studienschwerpunkt Eingebettete Systeme (Embedded Systems; Elektrotechnik, Technische Informatik oder Informatik) - Studienschwerpunkt Software Engineering ( Software Engineering; Technische Informatik oder Informatik) Masterstudiengang Automotive Systems und Masterstudiengang Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK) 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Stunden Präsenz 14 Besprechungen 6 Literaturarbeit 30

4 Vortragsvorbereitung 20 Schriftliche Ausarbeitung Prüfung und Benotung des Moduls Summe 90 Prüfungsform: Prüfungsäquivalente Studienleistungen. Es ist eine schriftliche Ausarbeitung im Umfang von 6-10 Seiten anzufertigen (50%) und ein Vortrag zu halten (50%). Die Gesamtnote setzt sich aus diesen Teilergebnissen zusammen. Die einzelnen Teilleistungen sind nicht kompensierbar. 9. Dauer des Moduls Das Modul kann in einem Semester abgeschlossen werden. 10. Teilnehmer(innen)zahl Maximale Teilnehmerzahl beschränkt auf Anmeldeformalitäten Für die Veranstaltung dieses Moduls ist eine Anmeldung erforderlich. Diese erfolgt in einer Einführungsveranstaltung, in der auch die Themen vorgestellt und vergeben werden (nähere Informationen zum Anmeldeverfahren werden durch Aushang oder auf der Internetseite (http://www.pes.tu-berlin.de) des Lehrstuhls bekannt gegeben). 12. Literaturhinweise, Skripte Skripte in Papierform vorhanden ja, nein X Skripte in elektronischer Form vorhanden ja X, nein Folien unter verfügbar Literatur wird zum Einführungstermin und auf den Internetseiten angekündigt. 13. Sonstiges Englischer Name des Moduls: Seminar: Software Engineering for Embedded Systems

5 Titel des Moduls : Analyse und Optimierung Eingebetteter Systeme Verantwortlich für das Modul: Sekr.: Prof Dr. Sabine Glesner TEL Qualifikationsziele Modulbeschreibung LP (nach Kurzbezeichnung: ECTS):6 MINF-SE-AOES.W12 Nach Abschluss des Moduls beherrschen die Studierenden Methoden und Techniken, mit denen eingebettete Systeme analysiert und für spezielle Architekturen optimiert werden können. Die Veranstaltung vermittelt überwiegend: Fachkompetenz 30% Methodenkompetenz 30% Systemkompetenz 30% Sozialkompetenz 10% 2. Inhalte Der Softwareanteil von eingebetteten Systemen hat über die letzten Jahre stark zugenommen. Dabei wird der letztendliche Maschinencode nicht mehr von Hand optimiert, sondern es werden zunehmend automatisierte Optimierungstechniken für eingebettete Systeme eingesetzt. Anders als bei klassischer Software wird in eingebetteten Systemen nicht nur für Laufzeitperformanz optimiert, sondern auch im Hinblick auf Codegröße, Speicherverbrauch, Energieverbrauch und effiziente Ausnutzung der Hardware. Insbesondere für eingebettete Systeme werden häufig spezielle Architekturen wie heterogene Multiprozessorsysteme eingesetzt. In der Vorlesung soll zunächst ein Überblick über Verfahren der Analyse und Optimierung gegeben werden. Anschließend werden verschiedene Analysen und Optimierungen im Detail betrachtet, die insbesondere für eingebettete Systeme eine große Rolle spielen, wie z.b. Abhängigkeitsanalysen, Schleifentransformationen, Codeauswahl und Scheduling für spezielle Architekturen. In der Übung werden die Inhalte der Vorlesung vertieft und aktuelle Forschungspapiere zur Analyse und Optimierung für eingebettete Systeme gelesen und diskutiert. 3. Modulbestandteile Analyse und Optimierung Eingebetteter Systeme LV-Titel LV-Art SWS LP(nach ECTS) Pflicht(P) / Wahlpflicht(WP) Semester (WiSe / SoSe) VL 2 2 P WiSe Analyse und Optimierung Eingebetteter Systeme IV 2 4 P WiSe 4. Beschreibung der Lehrformen Das Modul gliedert sich in einen Vorlesungs- und einen Übungsteil. In der Übung werden die in der Vorlesung vermittelten Inhalte vertieft und in kleinen Gruppen anhand theoretischer und praktischer Aufgaben eingeübt. Die Unterrichtssprache des Moduls ist deutsch. 5. Voraussetzungen für die Teilnahme Kenntnisse aus den Modulen von Bachelor Informatik/Technische Informatik oder Vergleichbares sind vorausgesetzt. 6. Verwendbarkeit Wahlpflichtmodul im Masterstudiengang Informatik / Studienschwerpunkt System Engineering, Masterstudiengang Technische Informatik / Studienschwerpunkt Software Engineering, Masterstudiengang Technische Informatik (StO/PO 2012): - Studienschwerpunkt Eingebettete Systeme (Embedded Systems; Elektrotechnik, Technische Informatik oder Informatik)

6 - Studienschwerpunkt Software Engineering (Software Engineering; Technische Informatik oder Informatik) Automotive Systems und Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK) 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Stunden Präsenz VL: 15*2h 30h Präsenz UE: 15*2h 30h Nachbereitung 30h Bearbeitung der Übungsaufgaben 48h Prüfungsvorbereitung 42h Summe 180h = 6 ECTS 8. Prüfung und Benotung des Moduls Prüfungsform: Mündliche Prüfung Voraussetzung für die Teilnahme an der Prüfung ist das erfolgreiche Bearbeiten von zwei Übungsblättern im Semester. 9. Dauer des Moduls Das Modul kann in einem Semester abgeschlossen werden. 10. Teilnehmer(innen)zahl Maximale Teilnehmerzahl beschränkt auf Anmeldeformalitäten Für die Veranstaltungen dieses Moduls ist eine Anmeldung erforderlich (nähere Informationen zum Anmeldeverfahren werden unter bekannt gegeben). 12. Literaturhinweise, Skripte Skripte in Papierform vorhanden ja, nein X Skripte in elektronischer Form vorhanden ja X, nein Folien unter verfügbar Literatur: Steven S. Muchnick: Advanced Compiler Design & Implementation. Morgan Kaufmann, Keith D. Cooper & Linda Torczon: Engineering a Compiler. Morgan Kaufmann, Randy Allen & Ken Kennedy: Optimizing Compilers for Modern Architectures. Morgan Kaufmann, Weitere Literatur wird in der Vorlesung und auf den Internetseiten angekündigt. 13. Sonstiges Englischer Name des Moduls: Analysis and Optimization of Embedded Systems

7 Name of Module: Optimization of Multi-Core Systems Person Responsible for Module: Prof. Dr. Sabine Glesner Secretariat: TEL 12-4 Module Description CP (ECTS): Short Name: 9 MINF-SE-OMCS.W12 address: 1. Qualification Aims After successful completion students have practical experiences in methods, techniques, and tools for compiler design especially for embedded architectures and multi-core systems. They are capable to solve problem definitions in teamwork. The course is principally designed to impart Knowledge 40 %, skills 30 %, 30 % competences 2. Content Requirements on embedded systems are increasingly rising considering run-time performance, code size, memory usage, energy consumption and in particular efficient usage of hardware resources. Therefore, special architectures for embedded systems are used, e.g., parallel processors or heterogenous multi-core processor systems. These systems are capable to process several taks in parallel while gaining enormous high performance at low energy consumption. How multi-core architectures can be efficiently utilized is not definitely resolved. Some approaches consider automatic parallelization, task mapping, HW/SW partitioning and dynamic reconfiguration. In this course different approaches for optimizing multi-core systems will be evaluated. In particular special optimizations shall be developed, which directly utilize the architecture of the multi-core system. 3. Module Components Course Name Cour se type Weekly hours per semest er CPs (according to ECTS) Compulsory(C) / Compulsory Elective (CE) Semester (WS / SS) Optimization of Multi- Core Systems SE 2 3 C SoSe Optimization of Multi- Core Systems PJ 4 6 C SoSe 4. Description of Teaching and Learning Methods This course consists of a project (4 weekly hours) and a seminar (2 weekly hours). Participants of the project train in practical assignments methods and techniques to optimize multi-core systems. In seminars, they present reports and discuss their presented topics. 5. Prerequisites for Participation Knowledge from bachelor modules in Computer Science/Technical Computer Science or the like. Recommended are basic skills in software engineering for embedded systems. We also recommend attending our master course "Analysis and Optimization of Embedded Systems" (AOES) in a previous semester. 6. Target Group of Module Compulsory withinmasters program Computer Science (Informatik) / Major field of study System Engineering, Masters program Computer Engineering (Technische Informatik) / Major field of study Software Engineering, Masters program Computer Engineering (Technische Informatik - StO/PO 2012): - Major field of study Embedded Systems (Embedded Systems; Electrical Engineering (Elektrotechnik), Computer Engineering (Technische Informatik) or Computer Science (Informatik)) - Major field of study Software Engineering (Software Engineering; Computer Engineering (Technische Informatik) or Computer Science (Informatik)) Masters program Automotive Systems and Masters program Economical Engineering (Wirtschaftsingenieurwesen) (with Engineering Science IuK)

8 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Seminar presence 15*2 30 Preparation of presentation 60 Project Presence 15*4 60 Assignments 120 Total Module Examination and Grading Procedures To pass the module, both of the following requirements (Prüfungsäquivalente Studienleistung) have to be fulfilled: during the seminar the participants have to present the progress of the project (30%) oral exam at the end of the semester (70%) The module is graded. If both requirements are passed (4.0 or better) the module is passed. 9. Duration of Module The module can be completed within 1 semester/in 2 semester 10. Number of Participants The maximal number of participants is limited to Enrolment Procedures A registration is necessary. Information about the enrolment procedure is published on our website (http://www.pes.tu-berlin.de) at the beginning of each semester. 12. Recommended Reading, Lecture Notes Lecture notes available in paper form? yes nox I Lecture notes available in electronic form? yes x no Slides are available at Recommended Reading: Steven S. Muchnick: Advanced Compiler Design & Implementation. Morgan Kaufmann, Keith D. Cooper & Linda Torczon: Engineering a Compiler. Morgan Kaufmann, Randy Allen & Ken Kennedy: Optimizing Compilers for Modern Architectures. Morgan Kaufmann, More reading material will be announced in the lecture and on the course website during the semester. 13. Other Information Updated information on this module and the course website for each semester can be found at

9 Titel des Moduls : Projekt: Qualitätssicherung für eingebettete Systeme Verantwortlich für das Modul: Sekr.: Prof. Dr. Sabine Glesner, TEL 12-4 Dr. Paula Herber 1. Qualifikationsziele Modulbeschreibung LP (nach Kurzbezeichnung: ECTS):9 MINF-SE-PQSES.W12 Nach erfolgreichem Abschluss des Moduls besitzen die Studierenden praktische Erfahrung im Einsatz von Methoden, Techniken und Werkzeugen zur Qualitätssicherung eingebetteter Systeme. Sie sind darin geübt, entsprechende Aufgabenstellungen im Team zu lösen. Die Veranstaltung vermittelt überwiegend: Fachkompetenz 25% Methodenkompetenz 25% Systemkompetenz 25% Sozialkompetenz 25% 2. Inhalte Eingebettete Systeme stellen oft sicherheitskritische Systeme dar. Das bedeutet, dass Fehler im System zu hohen finanziellen Kosten und im schlimmsten Fall zur Gefährdung des Lebens führen können. Solche Systeme sind zum Beispiel durch Autos, Flugzeuge und Kraftwerke gegeben. Die Korrektheit von eingebetteten Systemen ist nicht ausschließlich durch funktionale Korrektheit, sondern auch durch nichtfunktionale Aspekte wie Echtzeitfähigkeit, geringem Energieverbrauch usw. gegeben. In diesem Projekt werden verschiedene (vollständige und unvollständige) Qualitätssicherungstechniken betrachtet und integriert für eine Beispielapplikation angewendet. Als Anwendungsplattform dienen 8 Lego Mindstorm Roboter. Es werden insbesondere Model Checking sowie Simulations- und Testwerkzeuge betrachtet und deren Anwendbarkeit für komplexe eingebettete Systeme diskutiert. 3. Modulbestandteile LV-Titel LV-Art SWS Seminar: Qualitätssicherung für eingebettete Systeme Projekt: Qualitätssicherung für eingebettete Systeme 4. Beschreibung der Lehrformen LP(nach ECTS) Pflicht(P) / Wahlpflicht(WP) Semester (WiSe / SoSe) SE 2 3 P SoSe PJ 4 6 P SoSe Das Modul gliedert sich in ein Projekt und ein Seminar. Die Teilnehmer des Projekts trainieren in praktischen Aufgaben den Einsatz von Methoden und Techniken zur Qualitätssicherung von eingebetteten Systemen. Im Seminar halten die Teilnehmer Referate und diskutieren die vorgetragenen Inhalte. Die Unterrichtssprache des Moduls ist deutsch. 5. Voraussetzungen für die Teilnahme Inhaltlich werden die Kenntnisse aus dem Master Modul Qualitätssicherung eingebetteter Systeme oder Vergleichbares vorausgesetzt. 6. Verwendbarkeit Wahlpflichtmodul in den Master-Studiengängen Informatik / Studienschwerpunkt System Engineering, Technische Informatik / Studienschwerpunkt Software Engineering, Masterstudiengang Technische Informatik (StO/PO 2012): - Studienschwerpunkt Eingebettete Systeme (Embedded Systems; Elektrotechnik, Technische Informatik oder Informatik

10 - Studienschwerpunkt Sicherheit und Zuverlässigkeit (Security and Dependability; Technische Informatik oder Informatik) - Studienschwerpunkt Software Engineering (Software Engineering; Technische Informatik oder Informatik) Masterstudiengang Automotive Systems und Masterstudiengang Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK) 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Summe Seminar Präsenz 15*2h 30h Vorbereitung der Referate Projekt: 60h Zwischensumme 90 h= 3 LP Präsenz 15*4h 60h Bearbeiten der Projektaufgaben 120h Zwischensumme 180 h= 6 LP Summe SE und PJ 270 h 8. Prüfung und Benotung des Moduls Prüfungsform: Prüfungsäquivalente Studienleistungen. Folgende Studienleistungen werden bewertet: - Innerhalb des Seminars sind Vorträge zum Projektfortschritt (30%) zu halten, - die Projektabnahme erfolgt im Rahmen einer mündlichen Rücksprache (70%) am Ende des Semesters Die Gesamtnote setzt sich aus diesen beiden Teilergebnissen zusammen. Die einzelnen Teilleistungen sind nicht kompensierbar. 9. Dauer des Moduls Das Modul kann in einem Semester abgeschlossen werden. 10. Teilnehmer(innen)zahl Maximale Teilnehmerzahl beschränkt auf Anmeldeformalitäten Anmeldung zu Beginn des jeweiligen Semesters (Aushang / Ankündigung auf der Internetseite beachten). 12. Literaturhinweise, Skripte Skripte in Papierform vorhanden ja, nein X Skripte in elektronischer Form vorhanden ja X, nein e Folien unter verfügbar Literatur: Peter Liggesmeyer: Software-Qualität: Testen, Analysieren und Verifizieren von Software, Spektrum, Akademischer Verlag, Christel Baier und Joost-Pieter Katoen: Principles of Model Checking, The MIT Press, Weitere Literatur wird in der Veranstaltung und auf den Internetseiten angekündigt. 13. Sonstiges

11 Englischer Name des Moduls: Project: Quality Assurance for Embedded Systems

12 Name of Module: Hot Topics in Operating Systems and Distributed Systems Person Responsible for Module: Secretariat: Heiss EN 6 Module Description CP (ECTS): Short Name: 3 MINF-SE-OSSem.W12 address: 1. Qualification Aims Ability to analyze the state of the art of a research topic and to summarize it for an expert audience. The students learn to find and to classify publications on research, to give oral presentations covering a complex topic, and to write a research paper. The students get familiar with techniques used in the scientific community like peer reviews, conference presentations, and defending the finding in a discussion after the presentation. The course is principally designed to impart: technical skills 10 %, method skills 45 % system skills 0 % social skills 45% 2. Content The students choose a currently highly active topic within the domain of operating system and distributed system research. By analyzing their topic and listening to the talks of the other participants, the students learn about leading edge research results. Furthermore, the students learn presentation techniques for the talk and scientific writing skills. 3. Module Components Course Name Course Type Weekly hours per semester CPs (acc. to ECTS) Compulsory(C) / Compulsory Elective (CE) Semester (WiSe / SoSe) Seminar Hot Topic in OS & DS S 2 3 C WiSe/SoSe 4. Description of Teaching and Learning Methods The module consists mainly of self-organized work by the individual students with regular individual or group meetings with the supervisor. Matching the progress there are lectures introducing the seminar topic, on presentation techniques, and on scientific writing. The central element is the talk session given by the students after they analyzed their topic. The written documentation is subject to a peer review process within the class before it is submitted for grading. 5. Prerequisites for Participation The contents of the modules Operating System Design or Embedded Operating Systems. 6. Target Group of Module Master students of Computer Science (specialty area System Engineering) and Computer Engineering (specialty area Technische Anwendungen ) 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Presence in meetings 2*15 30 Search for material and references 20 Preparation of presentation 16 Writing seminar paper 16 Peer Review 8 Total 90

13 8. Module Examination and Grading Procedures The exam consists of several achievements (Prüfungsäquivalente Studienleistungen): The talk and the research paper contribute 50% each to the final mark. 9. Duration of Module 1 semester 10. Number of Participants Enrolment Procedures See homepage of module at 12. Recommended Reading, Lecture Notes Lecture notes available in paper form? yes no X Lecture notes in paper form are sometimes made available during class. Lecture notes available in electronic form? yes X no If yes, please specify web address: Recommended Reading: will be announced. 13. Other Information Module may not be offered each year. German name of module: Aktuelle Themen in Betriebssystemen und verteilten Systemen

14 Name of Module: Embedded Operating Systems Person Responsible for Module: Heiss Secretariat: EN 6 Module Description CP (ECTS): Short Name: 6 MINF-SE-EOS.W12 address: 1. Qualification Aims Students who have successfully finished this module have an advanced knowledge of operating systems for embedded systems. They are aware of the specific design aspects like realtime behavior, energy consumption, schedulability and fault tolerance and know of their interdependencies. They also have acquired practical training in low level programming of a specific embedded processor. The course is principally designed to impart technical skills 50 %, method skills 40 % system skills 10 % social skills 0 % 2. Content Embedded OS: Requirements for embedded systems; example application areas; embedded processor architecture; realtime scheduling; worst case execution time estimation, schedulability analysis; Dependable Systems: Basic notions and quantities, failure models, fault trees, availability analysis for composition, Byzantine protocols 3. Module Components Course Name Course type Weekly hours per semester CPs (acc. to ECTS) Compulsory(C) / Compulsory Elective (CE) Semester (WiSe / SoSe) Embedded Operating Systems L 2 3 C SoSe Dependable Systems L 2 3 C WiSe 4. Description of Teaching and Learning Methods The lecture conveys the material in traditional form. The tutorial encompasses interactive discussion of issues related to the lecture material. Students may present results of their assignments (homework). 5. Prerequisites for Participation Basic (undergraduate) course on operating systems is required to follow the lectures. 6. Target Group of Module Master students of Computer Science (specialty area System Engineering) Master students of Computer Engineering ( specialty area Technische Anwendungen ) Master students of Computer Engineering (StO/PO 2012): - Studienschwerpunkt Eingebettete Systeme (Embedded Systems; Elektrotechnik, Technische Informatik oder Informatik) - Studienschwerpunkt Software Engineering ( Software Engineering; Technische Informatik oder Informatik) 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Presence in lectures 3*15 45 Presence in tutorials 1*15 15 Pre- and postpreparation of classes 2*15 30 assignments 60

15 Exam preparation 30 Total Module Examination and Grading Procedures Oral examination 9. Duration of Module The module can be completed within 2 semester 10. Number of Participants 11. Enrolment Procedures See homepage of module at 12. Recommended Reading, Lecture Notes Lecture notes available in paper form? yes no X Lecture notes in paper form are sometimes made available during class. Lecture notes available in electronic form? yes X no Recommended Reading: T. Anderson, P.A. Lee: Fault Tolerance Principles and Practice, Prentice Hall, 1982 D.K. Pradhan (Hrsg.): Fault Tolerant Computer Systems, Prentice Hall, 1996 D.P. Siewiorek, R.S. Swarz: The Theory and Practice of Reliable Systems Design, Digital Press, 1995 C.M. Krishna, K.G. Shin, Real-Time Systems, McGraw-Hill, 1997 Jane W. S. Lui, Real-Time Systems, Prentice Hall, 2000 Tanenbaum, A.; Woodhull, A.: Operating Systems Design and Implementation, 3 rd ed.., Prentice Hall, 2006 Stallings, W.: Operating Systems, 5th ed., Prentice Hall, Other Information German name of module: Eingebettete Betriebssysteme

16 Name of Module: Operating System Design Person Responsible for Module: Heiss Secretariat: EN 6 Module Description CP (ECTS): Short Name: 6 MINF-SE-OSD.W12 address: 1. Qualification Aims Students who have successfully finished this module have an advanced knowledge of operating systems. They are aware of different architectural approaches and know their advantages and disadvantages. They have acquired the ability for well-founded design decisions based on qualitative and quantitative arguments. They have a sound knowledge of modern approaches like microkernels or virtual machines. The course is principally designed to impart: technical skills 50 %, method skills 40 % system skills 10 % social skills 0 % 2. Content Operating System architecture, micro- and macrokernels, design principles, resource management, virtualization, distributed OS, modern file systems, queuing models 3. Module Components Course Name Course Type Weekly hours per semester CPs (according to ECTS) Compulsory(C)/Compulsory Elective (CE) Semester (WiSe / SoSe) Operating System Design L 3 C WiSe 6 Tutorial T 1 C WiSe 4. Description of Teaching and Learning Methods The lecture conveys the material in traditional form. The tutorial encompasses interactive discussion of issues related to the lecture material. Students may present results of their assignments (homework). 5. Prerequisites for Participation Basic (undergraduate) course on operating systems is required. 6. Target Group of Module Master students of Computer Science (specialty area System Engineering) and Computer Engineering ( specialty area Technische Anwendungen ) 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Presence in lectures 3*15 45 Presence in tutorials 1*15 15 Pre- and postpreparation of classes 2*15 30 assignments 60 Exam preparation 30 Total 180

17 8. Module Examination and Grading Procedures Oral examination 9. Duration of Module 1 Semester 10. Number of Participants 11. Enrolment Procedures See homepage of module at 12. Recommended Reading, Lecture Notes Lecture notes available in paper form? yes no X Lecture notes in paper form are sometimes made available during class. Lecture notes available in electronic form? yes X no Recommended Reading 13. Other Information German name of module: Betriebssystemkonzepte

18 Name of Module: IT Security Lab: Vulnerability Assessment Person Responsible for Module: Secretariat: Heiss EN 6 Module Description CP (ECTS): Short Name: 6 MINF-SE-SecLab.W12 address: 1. Qualification Aims Students who have successfully finished the course will be able to select the right approach and tools to analyze unknown software for security problems. They will be able to assess the significance of their findings and to explain it to a non-expert. The course is principally designed to impart technical skills 50 %, method skills 40 % system skills 0 % social skills 10 % 2. Content Manual and semi-automated code reviews of server software, web applications, and client software. Fixing the problem with low impact on the existing system and its usability as well as documenting the findings in advisories will be in the focus, too. 3. Module Components Weekly Compulsory(C) / Course CPs (according Semester Course Name hours per Compulsory Elective (CE) Type to ECTS) (WiSe / SoSe) semester IT Security Lab: Vulnerability Assessment PR 2 6 C WiSe 4. Description of Teaching and Learning Methods The main teaching method of this module is problem based learning. In order to get to know the tools and best practice, a series of interactive lectures is given. There will be small hands-on exercises to get familiar with the topics taught. To get practical experience, the participants will then work on multiple complex cases. The exercises are concluded with a general discussion on the results of the exercise, but also on the strategies employed by the participants. Additionally, each student will give a talk on recent developments in the security area. The learned skills will be applied in an international security contest during the semester (if no contest is organized during a given semester, this part will be substituted by a local exercise with a similar setting). 5. Prerequisites for Participation Programming skills in at least one of the following languages: C, PHP, shell script and experience operating a Linux system are required. Knowledge of a basic/undergrad security lecture is recommended. 6. Target Group of Module Master students of Computer Science (specialty area System Engineering) and Computer Engineering (specialty area Technische Anwendungen ). 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Presence in lab 2*15 30 Practical cases 90 Preparing a talk 30 Participation and preparation for security contest 30 Total 180

19 8. Module Examination and Grading Procedures The exam consists of two achievements (Prüfungsäquivalente Studienleistungen): The practical cases are weighted with 2/3 and the talk 1/3. 9. Duration of Module 1 semester 10. Number of Participants Max. 21 students 11. Enrolment Procedures See homepage of module at 12. Recommended Reading, Lecture Notes Lecture notes available in paper form? yes no X Lecture notes in paper form are sometimes made available during class. Lecture notes available in electronic form? yes no X The material for the course will be published on the elearning plattform ISIS. Recommended Reading: 13. Other Information German name of module: Praktikum Rechnersicherheit

20 Name of Module: Operating System Project and Seminar Person Responsible for Module: Secretariat: Heiss EN 6 Module Description CP (ECTS): Short Name: 9 MINF-SE-OSPJ.W12 address: 1. Qualification Aims Ability to solve a specific development problem in the area of operating systems as a team. Competence in design of concurrent software, teamwork, project management, documentation, presentation The course is principally designed to impart: technical skills 20 %, method skills 40 % system skills 0 % social skills 40% 2. Content The module consists of a complex demanding development project in which the students perform designand implementation tasks in self-organizing way. The module starts with a seminar phase to acquire the state of the art. 3. Module Components Course Name Course type Weekly hours per semester CPs (acc. to ECTS) Compulsory(C) / Compulsory Elective (CE) Semester(WiSe / SoSe) Operating System Project PJ 4 6 C WiSe/SoSe Hot Topics in OS and DS SE 2 3 C WiSe/SoSe 4. Description of Teaching and Learning Methods The module is strongly self-organized by the students. The supervisor only defines goals and helps to resolve conflicts. The module starts with a seminar phase to acquire the state of the art relevant to the project. In this phase, students give presentations and write seminar papers. After that, the task to be solved is analyzed and modularized, specifications are written, roles and functions assigned, and milestones defined. The project ends with a joint presentation of the final result and the submission of a written report. 5. Prerequisites for Participation The contents of the modules Operating System Design or Embedded Operating Systems. 6. Target Group of Module Master students of Computer Science (specialty area System Engineering) and Computer Engineering ( specialty area Technische Anwendungen ) 7. Work Requirements and Credit Points Course Type Calculation Factor Hours Presence in meetings 4*15 60 Search for material and references 15 Preparation of presentation 25 Writing seminar paper 20 Implementation work 130 Final presentation 20 Total 270

URL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/ Modulbeschreibung

URL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/ Modulbeschreibung Titel des Moduls: Softwarequalität - Praxis Engl.: Applied Software Quality Verantwortlich für das Modul: Jähnichen, Stefan E-Mail: stefan.jaehnichen@tu-berlin.de Modulbeschreibung LP (nach ): 3 URL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/

Mehr

Modulbeschreibung. The course is principally designed to impart: technical skills 50%, method skills 40%, system skills 10%, social skills 0%.

Modulbeschreibung. The course is principally designed to impart: technical skills 50%, method skills 40%, system skills 10%, social skills 0%. Titel des Moduls: Parallel Systems Dt.: Parallele Systeme Verantwortlich für das Modul: Heiß, Hans-Ulrich E-Mail: lehre@kbs.tu-berlin.de URL: http://www.kbs.tu-berlin.de/ Modulnr.: 866 (Version 2) - Status:

Mehr

UNIGRAZONLINE. With UNIGRAZonline you can organise your studies at Graz University. Please go to the following link: https://online.uni-graz.

UNIGRAZONLINE. With UNIGRAZonline you can organise your studies at Graz University. Please go to the following link: https://online.uni-graz. English Version 1 UNIGRAZONLINE With UNIGRAZonline you can organise your studies at Graz University. Please go to the following link: https://online.uni-graz.at You can choose between a German and an English

Mehr

The Master of Science Entrepreneurship and SME Management

The Master of Science Entrepreneurship and SME Management The Master of Science Entrepreneurship and SME Management 1 WELCOME! 2 Our Business Faculty focus on SME and Innovation. We are accredited from AQAS. Thus, our Master in SME offers a new and innovative

Mehr

Syllabus Course description

Syllabus Course description Syllabus Course description Course title Human Resources and Organization Course code 27166 Scientific sector SECS-P/10 Degree Bachelor in Economics and Management Semester and academic year 2nd semester

Mehr

Modulhandbuch für den Masterstudiengang Informatik

Modulhandbuch für den Masterstudiengang Informatik Modulhandbuch für den Masterstudiengang Informatik Sommersemester 2012 Modul-ID Verantwortliche/-r MINF-SE- QSES MINF-SE-SPES MINF-SE- AOES MINF-SE- OMCS MINF-SE- PQSES MINF-SE- OSSem Modulübersicht Masterstudiengang

Mehr

Accounting course program for master students. Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe

Accounting course program for master students. Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe Accounting course program for master students Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe 2 Accounting requires institutional knowledge... 3...but it pays: Lehman Bros. Inc.,

Mehr

Introduction to the diploma and master seminar in FSS 2010. Prof. Dr. Armin Heinzl. Sven Scheibmayr

Introduction to the diploma and master seminar in FSS 2010. Prof. Dr. Armin Heinzl. Sven Scheibmayr Contemporary Aspects in Information Systems Introduction to the diploma and master seminar in FSS 2010 Chair of Business Administration and Information Systems Prof. Dr. Armin Heinzl Sven Scheibmayr Objective

Mehr

Fachstudium Studienschwerpunkt Kommunikationstechnik

Fachstudium Studienschwerpunkt Kommunikationstechnik Fachstudium Studienschwerpunkt Kommunikationstechnik Titel des Moduls: CIT1:Verteilte Systeme Verantwortliche/-r für das Modul: Kao 1. Qualifikationsziele LP (ECTS): 6 Sekr.: EN 59 Modulbeschreibung Kurzbezeichnung:

Mehr

Lehrangebot am Institut für Marketing

Lehrangebot am Institut für Marketing Institut für Marketing Univ.-Prof. Dr. Anton Meyer Lehrangebot am Institut für Marketing für Master of Science - Informationen, Vorgehen, Richtlinien Stand: Oktober 2011 www.marketing.bwl.lmu.de Übersicht

Mehr

ISO 15504 Reference Model

ISO 15504 Reference Model Prozess Dimension von SPICE/ISO 15504 Process flow Remarks Role Documents, data, tools input, output Start Define purpose and scope Define process overview Define process details Define roles no Define

Mehr

Einführung SoSe 2015 Introductory Event summer semester 2015 MSc Wirtschaftsinformatik / Information Systems Management

Einführung SoSe 2015 Introductory Event summer semester 2015 MSc Wirtschaftsinformatik / Information Systems Management Fotolia/buchachon Einführung SoSe 2015 Introductory Event summer semester 2015 MSc Wirtschaftsinformatik / Information Systems Management Prof. Dr. Ing. Stefan Tai 13.04.2015 Willkommen Welcome Die nächsten

Mehr

Sekr. FR 3-2. Modulbeschreibung

Sekr. FR 3-2. Modulbeschreibung Titel des Moduls: Logik und Komplexität Verantwortliche/-r für das Modul: Kreutzer Sekr. FR 3-2 LP (nach ECTS): Kurzbezeichnung: 6 BINF-LAS-IV-FMT.W12 Email: stephan.kreutzer@tu-berlin.de Modulbeschreibung

Mehr

Lehrangebot am Institut für Marketing für Master of Science

Lehrangebot am Institut für Marketing für Master of Science Univ.-Prof. Dr. Anton Meyer Institut für Marketing Lehrangebot am Institut für Marketing für Master of Science - Informationen, Vorgehen, Richtlinien Stand: August 2012 www.marketingworld.de Übersicht

Mehr

Turnus: semesterweise 15%

Turnus: semesterweise 15% Modulbeschreibung IV.2. Modulbezeichnung: Marketing Bezüge zu anderen Modulen Vorgelagerte Module: keine Nachgelagerte Module: keine Modulverantwortliche/r: Prof. Dr. Ginter Modulart: Pflichtveranstaltung

Mehr

Modul Strategic Management (PGM-07)

Modul Strategic Management (PGM-07) Modul Strategic Management (PGM-07) Beschreibung u. Ziele des Moduls Dieses Modul stellt als eine der wesentlichen Formen wirtschaftlichen Denkens und Handelns den strategischen Ansatz vor. Es gibt einen

Mehr

Exercise (Part II) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part II) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1 Exercise (Part II) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All

Mehr

Algorithms for graph visualization

Algorithms for graph visualization Algorithms for graph visualization Project - Orthogonal Grid Layout with Small Area W INTER SEMESTER 2013/2014 Martin No llenburg KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum

Mehr

XML Template Transfer Transfer project templates easily between systems

XML Template Transfer Transfer project templates easily between systems Transfer project templates easily between systems A PLM Consulting Solution Public The consulting solution XML Template Transfer enables you to easily reuse existing project templates in different PPM

Mehr

Modulhandbuch Medieninformatik - Master of Science

Modulhandbuch Medieninformatik - Master of Science Modulhandbuch Medieninformatik - Master of Science gültig ab Wintersemester 2013/14 Inhaltsverzeichnis Module M 25: Vertiefungsmodul Software Engineering (Advanced Software Engineering) M 26: Projektmodul

Mehr

Praktikum Entwicklung Mediensysteme (für Master)

Praktikum Entwicklung Mediensysteme (für Master) Praktikum Entwicklung Mediensysteme (für Master) Organisatorisches Today Schedule Organizational Stuff Introduction to Android Exercise 1 2 Schedule Phase 1 Individual Phase: Introduction to basics about

Mehr

Modulbeschreibung: Master of Education Informatik

Modulbeschreibung: Master of Education Informatik Modulbeschreibung: Master of Education Informatik Die Gewichtung der Einzelnoten bezieht sich im Folgenden auf eine Gesamtpunktzahl von 34 zu erbringenden Leistungspunkten. Nichtbenotete Leistungspunkte

Mehr

Customer-specific software for autonomous driving and driver assistance (ADAS)

Customer-specific software for autonomous driving and driver assistance (ADAS) This press release is approved for publication. Press Release Chemnitz, February 6 th, 2014 Customer-specific software for autonomous driving and driver assistance (ADAS) With the new product line Baselabs

Mehr

Teil II Lehrveranstaltungen

Teil II Lehrveranstaltungen Satzung des Fachbereichs Elektrotechnik der Fachhochschule Lübeck über das Studium im Bachelor-Studiengang Informatik/Softwaretechnik (INF) (Studienordnung Informatik/Softwaretechnik (INF)) Vom 9. Oktober

Mehr

TMF projects on IT infrastructure for clinical research

TMF projects on IT infrastructure for clinical research Welcome! TMF projects on IT infrastructure for clinical research R. Speer Telematikplattform für Medizinische Forschungsnetze (TMF) e.v. Berlin Telematikplattform für Medizinische Forschungsnetze (TMF)

Mehr

Software Engineering verteilter Systeme. Hauptseminar im WS 2011 / 2012

Software Engineering verteilter Systeme. Hauptseminar im WS 2011 / 2012 Software Engineering verteilter Systeme Hauptseminar im WS 2011 / 2012 Model-based Testing(MBT) Christian Saad (1-2 students) Context Models (e.g. State Machines) are used to define a system s behavior

Mehr

5 ECTS. 4 Modulverantwortlicher Prof. Dr. Francesca Saglietti

5 ECTS. 4 Modulverantwortlicher Prof. Dr. Francesca Saglietti 1 Modulbezeichnung Konstruktives Software Engineering (Constructive Phases of Software Engineering) 2 Lehrveranstaltungen V+Ü: Konstruktive Phasen des Software Engineering (erste zwei Monate der Vorlesung

Mehr

Exercise (Part XI) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part XI) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1 Exercise (Part XI) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All

Mehr

Auswertungsbericht Lehrveranstaltungsbewertung Mobile Communication and Ad Hoc Networks

Auswertungsbericht Lehrveranstaltungsbewertung Mobile Communication and Ad Hoc Networks RWTH Aachen Dez. 6.0 - Abt. 6. Templergraben 06 Aachen Tel.: 0 80 967 E-Mail: verena.thaler@zhv.rwth-aachen.de RWTH Aachen - Dez. 6.0/Abt. 6. Herr Prof. Dr. Peter Martini (PERSÖNLICH) Auswertungsbericht

Mehr

Hochschule Esslingen. Modulbeschreibung TBB Internationale Technische Betriebswirtschaft. Inhaltsverzeichnis. Kanalstr. 33 73728 Esslingen

Hochschule Esslingen. Modulbeschreibung TBB Internationale Technische Betriebswirtschaft. Inhaltsverzeichnis. Kanalstr. 33 73728 Esslingen Kanalstr. 33 73728 Esslingen Inhaltsverzeichnis Seite 1 von 6 TBB602 MD International Business 2 Int.Marketing/-Finance & Case Studies Int.Business 3 International Conmmercial Law 5 Erläuterungen 6 Modul

Mehr

Lehrstuhl für Allgemeine BWL Strategisches und Internationales Management Prof. Dr. Mike Geppert Carl-Zeiß-Str. 3 07743 Jena

Lehrstuhl für Allgemeine BWL Strategisches und Internationales Management Prof. Dr. Mike Geppert Carl-Zeiß-Str. 3 07743 Jena Lehrstuhl für Allgemeine BWL Strategisches und Internationales Management Prof. Dr. Mike Geppert Carl-Zeiß-Str. 3 07743 Jena http://www.im.uni-jena.de Contents I. Learning Objectives II. III. IV. Recap

Mehr

Software-Architecture Introduction

Software-Architecture Introduction Software-Architecture Introduction Prof. Dr. Axel Böttcher Summer Term 2011 3. Oktober 2011 Overview 2 hours lecture, 2 hours lab sessions per week. Certificate ( Schein ) is prerequisite for admittanceto

Mehr

CMMI for Embedded Systems Development

CMMI for Embedded Systems Development CMMI for Embedded Systems Development O.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree Software Engineering Gruppe Leiter des Fachbereichs Informatik cs.uni-salzburg.at Inhalt Projekt-Kontext CMMI FIT-IT-Projekt

Mehr

Accreditation of Prior Learning in Austria

Accreditation of Prior Learning in Austria Accreditation of Prior Learning in Austria Birgit Lenger ibw Institut für Bildungsforschung der Wirtschaft Institute for Research on Qualifications and Training of the Austrian Economy October, 2009 TOPICS

Mehr

Einsatz einer Dokumentenverwaltungslösung zur Optimierung der unternehmensübergreifenden Kommunikation

Einsatz einer Dokumentenverwaltungslösung zur Optimierung der unternehmensübergreifenden Kommunikation Einsatz einer Dokumentenverwaltungslösung zur Optimierung der unternehmensübergreifenden Kommunikation Eine Betrachtung im Kontext der Ausgliederung von Chrysler Daniel Rheinbay Abstract Betriebliche Informationssysteme

Mehr

GIPS 2010 Gesamtüberblick. Dr. Stefan J. Illmer Credit Suisse. Seminar der SBVg "GIPS Aperitif" 15. April 2010 Referat von Stefan Illmer

GIPS 2010 Gesamtüberblick. Dr. Stefan J. Illmer Credit Suisse. Seminar der SBVg GIPS Aperitif 15. April 2010 Referat von Stefan Illmer GIPS 2010 Gesamtüberblick Dr. Stefan J. Illmer Credit Suisse Agenda Ein bisschen Historie - GIPS 2010 Fundamentals of Compliance Compliance Statement Seite 3 15.04.2010 Agenda Ein bisschen Historie - GIPS

Mehr

1. Semester 2. Semester AL AL 7. Semester 8. Semester. Code

1. Semester 2. Semester AL AL 7. Semester 8. Semester. Code Studienverlaufsplan für den B.A.-Studiengang Sprachen und Wirtschaft (ab WS 00/, Stand Juni 0) Course lan BA Languages and Business Studies (as of June 0) Module und Lehrveranstaltungen für Studierende,

Mehr

Group and Session Management for Collaborative Applications

Group and Session Management for Collaborative Applications Diss. ETH No. 12075 Group and Session Management for Collaborative Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZÜRICH for the degree of Doctor of Technical Seiences

Mehr

Employment and Salary Verification in the Internet (PA-PA-US)

Employment and Salary Verification in the Internet (PA-PA-US) Employment and Salary Verification in the Internet (PA-PA-US) HELP.PYUS Release 4.6C Employment and Salary Verification in the Internet (PA-PA-US SAP AG Copyright Copyright 2001 SAP AG. Alle Rechte vorbehalten.

Mehr

Innovation Management

Innovation Management Innovation Management 0 Preface Prof. Dr. Rolf Dornberger, Prof. Dr. Stella Gatziu Content 0 Preface 0.1 Organisational issues of the module Innovation Management 0.2 Literature 2 0.1 Organisational issues

Mehr

Dynamische Programmiersprachen. David Schneider david.schneider@hhu.de STUPS - 25.12.02.50

Dynamische Programmiersprachen. David Schneider david.schneider@hhu.de STUPS - 25.12.02.50 Dynamische Programmiersprachen David Schneider david.schneider@hhu.de STUPS - 25.12.02.50 Organisatorisches Aufbau: Vorlesung 2 SWS Übung Kurzreferat Projekt Prüfung Übung wöchentliches Aufgabenblatt in

Mehr

The poetry of school.

The poetry of school. International Week 2015 The poetry of school. The pedagogy of transfers and transitions at the Lower Austrian University College of Teacher Education(PH NÖ) Andreas Bieringer In M. Bernard s class, school

Mehr

Funktionale Sicherheit ISO 26262 Schwerpunkt Requirements Engineering,

Funktionale Sicherheit ISO 26262 Schwerpunkt Requirements Engineering, Funktionale Sicherheit ISO 26262 Schwerpunkt Requirements Engineering, Manfred Broy Lehrstuhl für Software & Systems Engineering Technische Universität München Institut für Informatik ISO 26262 Functional

Mehr

Introducing PAThWay. Structured and methodical performance engineering. Isaías A. Comprés Ureña Ventsislav Petkov Michael Firbach Michael Gerndt

Introducing PAThWay. Structured and methodical performance engineering. Isaías A. Comprés Ureña Ventsislav Petkov Michael Firbach Michael Gerndt Introducing PAThWay Structured and methodical performance engineering Isaías A. Comprés Ureña Ventsislav Petkov Michael Firbach Michael Gerndt Technical University of Munich Overview Tuning Challenges

Mehr

Vocational Education and Training (VET) in Switzerland and Schaffhausen

Vocational Education and Training (VET) in Switzerland and Schaffhausen Presentation at Information Event February 18, 2015 Karin Baumer, Office for Vocational Education and Training Vocational Education and Training (VET) in Switzerland and Schaffhausen Seite 1 Commercial

Mehr

Field Librarianship in den USA

Field Librarianship in den USA Field Librarianship in den USA Bestandsaufnahme und Zukunftsperspektiven Vorschau subject librarians field librarians in den USA embedded librarians das amerikanische Hochschulwesen Zukunftsperspektiven

Mehr

Software development with continuous integration

Software development with continuous integration Software development with continuous integration (FESG/MPIfR) ettl@fs.wettzell.de (FESG) neidhardt@fs.wettzell.de 1 A critical view on scientific software Tendency to become complex and unstructured Highly

Mehr

Lehrüberblick // Curriculum Overview Praktische Softwaretechnik (PSWT) Friedrich-Alexander-University Erlangen-Nürnberg Department Informatik

Lehrüberblick // Curriculum Overview Praktische Softwaretechnik (PSWT) Friedrich-Alexander-University Erlangen-Nürnberg Department Informatik Lehrüberblick // Curriculum Overview Praktische Softwaretechnik (PSWT) Friedrich-Alexander-University Erlangen-Nürnberg Department Informatik Die Dozenten // The Lecturers Dr. Klaudia Dussa-Zieger Method

Mehr

Prof. Dr. Margit Scholl, Mr. RD Guldner Mr. Coskun, Mr. Yigitbas. Mr. Niemczik, Mr. Koppatz (SuDiLe GbR)

Prof. Dr. Margit Scholl, Mr. RD Guldner Mr. Coskun, Mr. Yigitbas. Mr. Niemczik, Mr. Koppatz (SuDiLe GbR) Prof. Dr. Margit Scholl, Mr. RD Guldner Mr. Coskun, Mr. Yigitbas in cooperation with Mr. Niemczik, Mr. Koppatz (SuDiLe GbR) Our idea: Fachbereich Wirtschaft, Verwaltung und Recht Simple strategies of lifelong

Mehr

Modulbeschreibung. LP (nach ECTS): Sekr.: PTZ 3. Modulbeschreibung

Modulbeschreibung. LP (nach ECTS): Sekr.: PTZ 3. Modulbeschreibung Titel des Moduls : Diversity Kompetenz als Führungskompetenz Verantwortliche/-r für das Modul Prof. Dr. Carmen Leicht/Prof. Schraudner Modulbeschreibung Sekr.: PTZ 3 LP (nach ECTS): 3 Modulbeschreibung

Mehr

SARA 1. Project Meeting

SARA 1. Project Meeting SARA 1. Project Meeting Energy Concepts, BMS and Monitoring Integration of Simulation Assisted Control Systems for Innovative Energy Devices Prof. Dr. Ursula Eicker Dr. Jürgen Schumacher Dirk Pietruschka,

Mehr

on Software Development Design

on Software Development Design Werner Mellis A Systematic on Software Development Design Folie 1 von 22 How to describe software development? dimensions of software development organizational division of labor coordination process formalization

Mehr

Educational training programs for the professional development of music library staff the current situation in Germany

Educational training programs for the professional development of music library staff the current situation in Germany Educational training programs for the professional development of music library staff the current situation in Germany Jürgen Diet Bavarian State Library, Music Department diet@bsb-muenchen.de IAML-Conference

Mehr

Working Sets for the Principle of Least Privilege in Role Based Access Control (RBAC) and Desktop Operating Systems DISSERTATION

Working Sets for the Principle of Least Privilege in Role Based Access Control (RBAC) and Desktop Operating Systems DISSERTATION UNIVERSITÄT JOHANNES KEPLER LINZ JKU Technisch-Naturwissenschaftliche Fakultät Working Sets for the Principle of Least Privilege in Role Based Access Control (RBAC) and Desktop Operating Systems DISSERTATION

Mehr

Kongsberg Automotive GmbH Vehicle Industry supplier

Kongsberg Automotive GmbH Vehicle Industry supplier Kongsberg Automotive GmbH Vehicle Industry supplier Kongsberg Automotive has its HQ in Hallbergmoos, 40 locations worldwide and more than 10.000 employees. We provide world class products to the global

Mehr

LEHRVERANSTALTUNGSBESCHREIBUNG

LEHRVERANSTALTUNGSBESCHREIBUNG LEHRVERANSTALTUNGSBESCHREIBUNG 1. Angaben zum Programm 1.1 Hochschuleinrichtung Babes-Bolyai Universität 1.2 Fakultät Mathematik und Informatik 1.3 Department Informatik 1.4 Fachgebiet Informatik 1.5 Studienform

Mehr

MEI-M 25. 5. Teilnahmevoraussetzungen:

MEI-M 25. 5. Teilnahmevoraussetzungen: MEI-M 25 1. Name des Moduls: Vertiefungsmodul Software Engineering (Advanced Software Engineering) 2. Fachgebiet / Verantwortlich: Medieninformatik / Prof. Dr. Christian Wolff und die Lehrenden des Lehrstuhls

Mehr

SAP PPM Enhanced Field and Tab Control

SAP PPM Enhanced Field and Tab Control SAP PPM Enhanced Field and Tab Control A PPM Consulting Solution Public Enhanced Field and Tab Control Enhanced Field and Tab Control gives you the opportunity to control your fields of items and decision

Mehr

Safer Software Formale Methoden für ISO26262

Safer Software Formale Methoden für ISO26262 Safer Software Formale Methoden für ISO26262 Dr. Stefan Gulan COC Systems Engineering Functional Safety Entwicklung Was Wie Wie genau Anforderungen Design Produkt Seite 3 Entwicklung nach ISO26262 Funktionale

Mehr

Klausur Verteilte Systeme

Klausur Verteilte Systeme Klausur Verteilte Systeme SS 2005 by Prof. Walter Kriha Klausur Verteilte Systeme: SS 2005 by Prof. Walter Kriha Note Bitte ausfüllen (Fill in please): Vorname: Nachname: Matrikelnummer: Studiengang: Table

Mehr

SWS im Prüfungsgebiet Module 1. Sem. 2. Sem. 3. Sem. 4. Sem. 5. Sem. 6. Sem. V Ü/L S V Ü/L S V Ü/L S V Ü/L S V Ü/L S V Ü/L S

SWS im Prüfungsgebiet Module 1. Sem. 2. Sem. 3. Sem. 4. Sem. 5. Sem. 6. Sem. V Ü/L S V Ü/L S V Ü/L S V Ü/L S V Ü/L S V Ü/L S Regelstudienplan SWS im Prüfungsgebiet Module 1. Sem. 2. Sem. 3. Sem. 4. Sem. 5. Sem. 6. Sem. V Ü/L S V Ü/L S V Ü/L S V Ü/L S V Ü/L S V Ü/L S Propädeutikum 1 1 Grundlagen der Informatik I Informatik und

Mehr

Distributed testing. Demo Video

Distributed testing. Demo Video distributed testing Das intunify Team An der Entwicklung der Testsystem-Software arbeiten wir als Team von Software-Spezialisten und Designern der soft2tec GmbH in Kooperation mit der Universität Osnabrück.

Mehr

Mechatronische Systeme Information Technology Master of Science (M.Sc.) Fachbereich Elektrotechnik und Informationstechnik

Mechatronische Systeme Information Technology Master of Science (M.Sc.) Fachbereich Elektrotechnik und Informationstechnik Mechatronische Systeme Information Technology Master of Science (M.Sc.) Fachbereich Elektrotechnik und Informationstechnik 1 Master FH LuH Februar 2007 Mechatronische Systeme Beginn WS 2006/2007 Konzept

Mehr

Information Engineering

Information Engineering Information Engineering Studiengang Information Engineering Fachbereich Elektrotechnik und Informatik Abschluss: Bachelor Wie sieht das Tätigkeitsfeld für Absolventinnen und Absolventen des Studienganges

Mehr

Application Form ABOUT YOU INFORMATION ABOUT YOUR SCHOOL. - Please affix a photo of yourself here (with your name written on the back) -

Application Form ABOUT YOU INFORMATION ABOUT YOUR SCHOOL. - Please affix a photo of yourself here (with your name written on the back) - Application Form ABOUT YOU First name(s): Surname: Date of birth : Gender : M F Address : Street: Postcode / Town: Telephone number: Email: - Please affix a photo of yourself here (with your name written

Mehr

Cleanroom Fog Generators Volcano VP 12 + VP 18

Cleanroom Fog Generators Volcano VP 12 + VP 18 Cleanroom Fog Generators Volcano VP 12 + VP 18 Description & Functional Principle (Piezo Technology) Cleanrooms are dynamic systems. People and goods are constantly in motion. Further installations, production

Mehr

Understanding and Improving Collaboration in Distributed Software Development

Understanding and Improving Collaboration in Distributed Software Development Diss. ETH No. 22473 Understanding and Improving Collaboration in Distributed Software Development A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented

Mehr

I. Allgemeine Vorschriften

I. Allgemeine Vorschriften Aufgrund von 9 Abs. 1 i. V. m. 74 Abs. 1, Ziff. 1 des Gesetzes über die Hochschulen des Landes Brandenburg (Brandenburgisches Hochschulgesetz - BbgHG) in der Fassung vom 6. Juli 2004 (GVBl. I S. 394 ff.),

Mehr

Zugangsvoraussetzungen für Airworthiness Review Staff gem. Part-M.A.707

Zugangsvoraussetzungen für Airworthiness Review Staff gem. Part-M.A.707 1) Zusammenfassung der relevanten Part-M Paragraphen und AMC M.A.707 Airworthiness review staff (a) To be approved to carry out reviews, an approved continuing management organisation shall have appropriate

Mehr

Support Technologies based on Bi-Modal Network Analysis. H. Ulrich Hoppe. Virtuelles Arbeiten und Lernen in projektartigen Netzwerken

Support Technologies based on Bi-Modal Network Analysis. H. Ulrich Hoppe. Virtuelles Arbeiten und Lernen in projektartigen Netzwerken Support Technologies based on Bi-Modal Network Analysis H. Agenda 1. Network analysis short introduction 2. Supporting the development of virtual organizations 3. Supporting the development of compentences

Mehr

CHAMPIONS Communication and Dissemination

CHAMPIONS Communication and Dissemination CHAMPIONS Communication and Dissemination Europa Programm Center Im Freistaat Thüringen In Trägerschaft des TIAW e. V. 1 CENTRAL EUROPE PROGRAMME CENTRAL EUROPE PROGRAMME -ist als größtes Aufbauprogramm

Mehr

1. General information... 2 2. Login... 2 3. Home... 3 4. Current applications... 3

1. General information... 2 2. Login... 2 3. Home... 3 4. Current applications... 3 User Manual for Marketing Authorisation and Lifecycle Management of Medicines Inhalt: User Manual for Marketing Authorisation and Lifecycle Management of Medicines... 1 1. General information... 2 2. Login...

Mehr

Titelbild1 ANSYS. Customer Portal LogIn

Titelbild1 ANSYS. Customer Portal LogIn Titelbild1 ANSYS Customer Portal LogIn 1 Neuanmeldung Neuanmeldung: Bitte Not yet a member anklicken Adressen-Check Adressdaten eintragen Customer No. ist hier bereits erforderlich HERE - Button Hier nochmal

Mehr

(1) Für die Lehrveranstaltungen werden folgende Abkürzungen verwendet:

(1) Für die Lehrveranstaltungen werden folgende Abkürzungen verwendet: B. Besonderer Teil 28 Verwendete Abkürzungen () Für die werden folgende Abkürzungen verwendet: V = Vorlesung Ü = Übung L = Labor/Studio S = Seminar P = Praxis WA = Wissenschaftliche Arbeit EX = Exkursion

Mehr

Overview: Module Business Process Management

Overview: Module Business Process Management Ecommis Overview: Module Business Process Management TU Berlin Systemanalyse und EDV SOA Research Centre 1 Agenda Administrative issues Structure of the course Case study method TU Berlin Systemanalyse

Mehr

Praktikum Entwicklung von Mediensystemen mit ios

Praktikum Entwicklung von Mediensystemen mit ios Praktikum Entwicklung von Mediensystemen mit ios WS 2011 Prof. Dr. Michael Rohs michael.rohs@ifi.lmu.de MHCI Lab, LMU München Today Heuristische Evaluation vorstellen Aktuellen Stand Software Prototyp

Mehr

Studien- und Prüfungsordnung (SPO) Master of Science (M.Sc.) IV-1

Studien- und Prüfungsordnung (SPO) Master of Science (M.Sc.) IV-1 Studien und Prüfungsordnung (SPO) Master of Science (M.Sc.) IV1 1 Geltungsbereich Diese SPO gilt für den Studiengang mit dem Abschluss "Master of Science" (M.Sc.) auf Basis der gültigen Rahmenstudienordnung

Mehr

I. Allgemeine Vorschriften. 1 Grundsatz der Gleichberechtigung

I. Allgemeine Vorschriften. 1 Grundsatz der Gleichberechtigung Studienordnung für den postgradualen Studiengang "International Business Informatics" an der Wirtschaftswissenschaftlichen Fakultät der Europa-Universität Viadrina Frankfurt (Oder) Gemäß 74 Absatz 1, Ziffer

Mehr

Blockseminar: Verteiltes Rechnen und Parallelprogrammierung. Sommer Semester 2015. Tim Conrad

Blockseminar: Verteiltes Rechnen und Parallelprogrammierung. Sommer Semester 2015. Tim Conrad Blockseminar: Verteiltes Rechnen und Parallelprogrammierung Sommer Semester 2015 Tim Conrad Staff Tim Conrad AG Medical Bioinformatics email: conrad@math.fu-berlin.de Telefon: 838-51445 Büro: Raum 138,

Mehr

Supplier Status Report (SSR)

Supplier Status Report (SSR) Supplier Status Report (SSR) Introduction for BOS suppliers BOS GmbH & Co. KG International Headquarters Stuttgart Ernst-Heinkel-Str. 2 D-73760 Ostfildern Management Letter 2 Supplier Status Report sheet

Mehr

Prediction Market, 28th July 2012 Information and Instructions. Prognosemärkte Lehrstuhl für Betriebswirtschaftslehre insbes.

Prediction Market, 28th July 2012 Information and Instructions. Prognosemärkte Lehrstuhl für Betriebswirtschaftslehre insbes. Prediction Market, 28th July 2012 Information and Instructions S. 1 Welcome, and thanks for your participation Sensational prices are waiting for you 1000 Euro in amazon vouchers: The winner has the chance

Mehr

Service-Veranstaltungen für Studierende anderer Fachbereiche

Service-Veranstaltungen für Studierende anderer Fachbereiche Service-Veranstaltungen für Studierende anderer Studienprojekt Quality & Usability Projekt, 4.0 SWS Aktuelle Themen aus dem Forschungsschwerpunkt des Fachgebietes werden bezüglich der notwendigen Grundlagen

Mehr

Cloud for Customer Learning Resources. Customer

Cloud for Customer Learning Resources. Customer Cloud for Customer Learning Resources Customer Business Center Logon to Business Center for Cloud Solutions from SAP & choose Cloud for Customer https://www.sme.sap.com/irj/sme/ 2013 SAP AG or an SAP affiliate

Mehr

Students intentions to use wikis in higher education

Students intentions to use wikis in higher education Students intentions to use wikis in higher education Christian Kummer WI2013, 27.02.2013 Motivation Problem Web 2.0 changed the way that students search for, obtain, and share information Uncertainty about

Mehr

Sekr.: FT 5 Modulbeschreibung

Sekr.: FT 5 Modulbeschreibung Titel des Moduls: Kommunikationsnetze Verantwortlicher für das Modul: Wolisz Sekr.: FT 5 Modulbeschreibung LP (nach ECTS) 7 Email: awo@ieee.org Kurzbezeichnung: BET-EI-KN.W12 1. Qualifikationsziele Qualifikationsziel

Mehr

Part I Learning Agreement for Studies Academic Year 2015/16

Part I Learning Agreement for Studies Academic Year 2015/16 Part I Learning Agreement for Studies Academic Year 2015/16 Bitte beachten Sie auch die Ausfüllhilfe auf der letzten Seite. The Student Last name(s): First name(s): Date of birth: Nationality: Sex: Phone:

Mehr

MOOCs. Campus 2.0? Massive Open Online Courses. E-Learning-Tag 22.Oktober 2013. Prof. Dr. med. Thomas Kamradt thomas.kamradt@med.uni-jena.

MOOCs. Campus 2.0? Massive Open Online Courses. E-Learning-Tag 22.Oktober 2013. Prof. Dr. med. Thomas Kamradt thomas.kamradt@med.uni-jena. E-Learning-Tag 22.Oktober 2013 MOOCs Massive Open Online Courses Campus 2.0? Prof. Dr. med. Thomas Kamradt thomas.kamradt@med.uni-jena.de MOOCs: Übersicht 1) Was sind & wie funktionieren MOOCs? 2) Wer

Mehr

Bayerisches Landesamt für Statistik und Datenverarbeitung Rechenzentrum Süd. z/os Requirements 95. z/os Guide in Lahnstein 13.

Bayerisches Landesamt für Statistik und Datenverarbeitung Rechenzentrum Süd. z/os Requirements 95. z/os Guide in Lahnstein 13. z/os Requirements 95. z/os Guide in Lahnstein 13. März 2009 0 1) LOGROTATE in z/os USS 2) KERBEROS (KRB5) in DFS/SMB 3) GSE Requirements System 1 Requirement Details Description Benefit Time Limit Impact

Mehr

Company Presentation. Version Feb. 2, 2015. Gemfony scientific UG (haftungsbeschränkt) contact@gemfony.eu http://www.gemfony.eu

Company Presentation. Version Feb. 2, 2015. Gemfony scientific UG (haftungsbeschränkt) contact@gemfony.eu http://www.gemfony.eu Company Presentation Version Feb. 2, 2015 Gemfony scientific UG (haftungsbeschränkt) contact@gemfony.eu http://www.gemfony.eu Who we are Gemfony scientific A spin-off from Karlsruhe Institute of Technology

Mehr

Wie agil kann Business Analyse sein?

Wie agil kann Business Analyse sein? Wie agil kann Business Analyse sein? Chapter Meeting Michael Leber 2012-01-24 ANECON Software Design und Beratung G.m.b.H. Alser Str. 4/Hof 1 A-1090 Wien Tel.: +43 1 409 58 90 www.anecon.com office@anecon.com

Mehr

IDS Lizenzierung für IDS und HDR. Primärserver IDS Lizenz HDR Lizenz

IDS Lizenzierung für IDS und HDR. Primärserver IDS Lizenz HDR Lizenz IDS Lizenzierung für IDS und HDR Primärserver IDS Lizenz HDR Lizenz Workgroup V7.3x oder V9.x Required Not Available Primärserver Express V10.0 Workgroup V10.0 Enterprise V7.3x, V9.x or V10.0 IDS Lizenz

Mehr

EEX Kundeninformation 2007-09-05

EEX Kundeninformation 2007-09-05 EEX Eurex Release 10.0: Dokumentation Windows Server 2003 auf Workstations; Windows Server 2003 Service Pack 2: Information bezüglich Support Sehr geehrte Handelsteilnehmer, Im Rahmen von Eurex Release

Mehr

Instruktionen Mozilla Thunderbird Seite 1

Instruktionen Mozilla Thunderbird Seite 1 Instruktionen Mozilla Thunderbird Seite 1 Instruktionen Mozilla Thunderbird Dieses Handbuch wird für Benutzer geschrieben, die bereits ein E-Mail-Konto zusammenbauen lassen im Mozilla Thunderbird und wird

Mehr

Security Patterns. Benny Clauss. Sicherheit in der Softwareentwicklung WS 07/08

Security Patterns. Benny Clauss. Sicherheit in der Softwareentwicklung WS 07/08 Security Patterns Benny Clauss Sicherheit in der Softwareentwicklung WS 07/08 Gliederung Pattern Was ist das? Warum Security Pattern? Security Pattern Aufbau Security Pattern Alternative Beispiel Patternsysteme

Mehr

Courses at BOKU BOKU offers about 300 courses in English, which can be found in our course database BOKUonline.

Courses at BOKU BOKU offers about 300 courses in English, which can be found in our course database BOKUonline. Courses at BOKU BOKU offers about 300 courses in English, which can be found in our course database BOKUonline. BOKUonline General information (Deutsche Version siehe unten) Starting with the upcoming

Mehr

Exercise (Part I) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part I) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1 Exercise (Part I) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All

Mehr

INTERNATIONALISIERUNG - METROPOLREGION GOES INDIA

INTERNATIONALISIERUNG - METROPOLREGION GOES INDIA INTERNATIONALISIERUNG - METROPOLREGION GOES INDIA German-Indian Management Studies: ein deutsch-indischer Studiengang Prof. Dr. Thomas Meuche, Wissenschaftlicher Leiter des Instituts für Weiterbildung

Mehr