Modulhandbuch für den Masterstudiengang Informatik

Transkript

1 Modulhandbuch für den Masterstudiengang Informatik Sommersemester 2012

2 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 Informatik Studienschwerpunkt: System Engineering (SE) Modulname Fachg ebiet LP Prüfun gsform Qualitätssicherung eingebetteter Systeme PES 6 PS Glesner Seminar Programmierung eingebetteter Systeme Analyse und Optimierung Eingebetteter Systeme PES 3 PS Glesner PES 6 MP Glesner Optimierung von Multi-Core Systemen PES 9 PS Glesner Projekt: Qualitätssicherung für eingebettete Systeme Hot Topics in Operating Systems and Distributed Systems PES 9 PS Glesner, Herber KBS 3 PS Heiß MINF-SE-EOS Embedded Operating Systems KBS 6 MP Heiß MINF-SE-OSD Operating System Design KBS 6 MP Heiß MINF-SE- SecLab IT Security Lab: Vulnerability Assessment KBS 6 PS Heiß MINF-SE-OSPJ Operating System Project & Seminar KBS 9 PS Heiß, Tutsch MINF-SE- SWT/PJ Softwaretechnik-Praxis Master SWT 9 PS Jähnichen MINF-SE-QSP Qualität des Softwareprozesses SWT 9 PS Jähnichen MINF-SE- EwSWT MINF-PJ-MES Entwicklungen in der Softwaretechnik SWT 9 PS Jähnichen Modellbasierte Entwicklung zuverlässiger Systeme SWT 9 PS Jähnichen MINF-SE-ACA Advanced Computer Architectures AES 6 PS Juurlink MINF-SE-AEP AES Master Projekt AES 9 PS Juurlink MINF SE MAR Multicore Architectures AES 6 PS Juurlink MINF-AES- RAMS Recent Advances in Multicore Systems AES 3 PS Juurlink MINF-SE-RAC Recent Advances in Computer Architecture AES 3 PS Juurlink MTI-Eul- EwKDS Entwurf Komplexer digitaler Systeme ME-BIP 3 MP Klar MINF-SE- IDBSEM Seminar Readings in Database Systems DIMA 3 PS Markl MINF-SE- ENPRO MINF-SE- IMSEM MINF-SE- IMPRO MINF-SE- IMPRO2 MINF-SE- IMPRO3 Entrepreneurship in Information Management Seminar Hot Topics in Information Management DIMA 12 PS Markl DIMA 3 PS Markl Hot Topics in Information Management/PJ DIMA 6 PS Markl Hot Topics in Information Management (Continuation) Extended Information Management Systems Project DIMA 6 PS Markl DIMA 9 PS Markl MINF-SE-IDB Implementation of Database Systems DIMA 12 PS Markl

3 MINF-SE-AIM1 MINF-SE-AIM2 MINF-SE-AIM3 MINF-VS- VeriSynth MINF-VS- AlgProCalc MINF-VS- TheDistAlgo Advanced Information Management 1- Heterogeneous and Distributed Information Systems Advanced Information Management 2- Management of Data Streams Advanced Information Management 3- Scalable Data Analysis and Data Mining Verifikation und Synthese Nebenläufiger Systeme DIMA 6 MP DIMA 6 MP Markl/ Kutsche Markl/ Borusan DIMA 6 MP Markl MTV 9 PS Nestmann Algebraische Prozesskalküle MTV 6 PS Nestmann Theorie Verteilter Algorithmen MTV 6 PS Nestmann MINF-VS- VerDistAlgo Verifikation Verteilter Algorithmen MTV 9 PS Nestmann MINF-SE- PES & Pepper, Compilerbau I 6 SP Comp1 UEBB Glesner MINF-SE-Com2 Compilerbau II UEBB 6 MP Pepper MINF-SE-FP Funktionale Programmierung UEBB 6 MP Pepper MINF-SE- Comp/PJ Compilerbau Praxis UEBB 9 PS Pepper MINF-SE- Programmiersprachen Praxis UEBB 9 PS Pepper PS/PJ MINF-SE- SysEWL Systementwicklung für ein Entwicklungsland FLP 12 PS Peroz Modul-ID Verantwortliche/-r MINF-VS- SWSich MINF-VS- SWSim MINF-LAS-IV- Graph MINF-LAS-S- TIME MINF-LAS-IV- LGA MINF-VS- AlgProCalc MINF-VS- SYNC MINF-VS- TheDistAlgo MINF-VS- VerDistAlgo. Studienschwerpunkt: Verlässliche Systeme (VS) Modulname Fachg ebiet LP Prüfun gsform Softwaresicherheit SWT 6 PS Jähnichen Modellierung technischer Systeme SWT 9 PS Jähnichen Graph Decompositions and Applications in Algorithmics and Logic Quantitative Verification and Timed Automata Logik, Spiele, Automaten LaS 9 MP Kreutzer LaS LaS 3 PS Kreutzer 9 MP Kreutzer Algebraische Prozesskalküle MTV 6 PS Nestmann Synchrone und Asynchrone Interaktion in Verteilten Systemen MTV 3 PS Nestmann Theorie Verteilter Algorithmen MTV 6 PS Nestmann Verifikation Verteilter Algorithmen MTV 9 PS Nestmann MINF-VS-WraP Writing and Publishing a Scientific Paper MTV 6 PS Nestmann MINF-VS- VeriSynth MINF-VS-FDS Verifikation und Synthese Nebenläufiger Systeme Foundations of Distributed Systems: Complexity and Computability MTV 9 PS Nestmann MTV 6 MP Nestmann

4 MINF- CurResAlgoCo mp Current Research in Algorithms and Complexity AKT 3 PS Niedermeier MINF-VS-BioInf Algorithmic Bioinformatics AKT 6 MP Niedermeier MINF- CompuComple Computational Complexity AKT 9 MP Niedermeier x MINF-VS-PA Parameterized Algorithms AKT 6 MP Niedermeier MINF-VS- RandAlgo Randomized Algorithms AKT 6 MP Niedermeier MINF-ResColl Research Colloquium on Algorithms and Complexity AKT 3 PS Niedermeier MINF-RT-VDS Verification of Digital Systems RT 6 PS Wedler MINF-RT- LSfDS Logik Synthese für Digitale Systeme RT 3 MP Wedler Modul-ID Schwerpunktthema 3: Intelligente Systeme (IS) Modulname Fachg ebiet LP Prüfun gsform MINF-IS-AOT Agententechnologien in der Forschung AOT 6 PS Albayrak Verantwortliche/-r MINF-IS-InSy Interactive Systems AOT 9 PS Albayrak MINF-IS-ASS Advances in Semantic Search AOT 3 PS Albayrak MINF-IS-SeSe Semantic Search AOT 12 PS Albayrak MINF-SE-AAAL Advanced Ambient Assisted Living AOT 9 PS Albayrak MINF-IS-AAC Advanced Agent Competition AOT 9 PS Albayrak MINF-IS-MCG Modellierung in der Computergraphik CG 6 PS Alexa MINF-IS-MedInf Medizinische Anwendungen der Informatik CG 6 PS Alexa MINF-IS-CG/PJ Computer Graphics Project CG 9 PS Alexa MINF-IS-Rob1 Robotics ROB 6 PS Brock MINF-IS-Rob2 Advanced Robotics ROB 6 PS Brock MINF-IS- ComBio Computational Biology ROB 6 PS Brock MINF-IS- Rob/SE Robotik: Einführung und aktuelle Themen ROB 9 PS Brock MINF-IS- CompBio/SE Computational Biology: Current Topics ROB 3 PS Brock MINF-IS- Rob/PJ Robotics-Projekt ROB 9 PS Brock MINF-IS-CTCS Current Topics in Cognitive Science MKP 6 MP Casagrande, Schaeffer MINF-IS- PhotoCV Photogrammetric Computer Vision CV 9 SP Hellwich MINF-IS-DigIP Digital Image Processing CV 6 SP Hellwich MINF-IS-AutoIA Automatic Image Analysis CV 6 SP Hellwich MINF-IS-OptRS Optical Remote Sensing CV 6 SP Hellwich MINF-IS- MW&RRS Microwave and Radar Remote Sensing CV 6 SP Hellwich MINF-IS-CV/SE Seminar Hot Topics in Computer Vision CV 3 PS Hellwich MINF-IS- CV/PJA Projekt Hot Topics in Computer Vision A CV 6 PS Hellwich

5 MINF-IS- CV/PJB MINF-IS-3DBA Projekt Hot Topics in Computer Vision B CV 6 PS Hellwich Stereobildverarbeitung in der Videokommunikation/ Bildsynthese in der Videokommunikation CV 6 MP Hellwich, Schreer MINF-IS-Winf Spezielle Wirtschaftsinformatik SYS 6 PS Krallmann MINF-IS- SYS/PJ Systemanalyse Projekt SYS 12 PS Krallmann MINF-IS-RgSys Rechnergestützte Systemanalyse SYS 6 PS Krallmann MINF-IS- Current Topics in Business Process and CT/BP&EAM Enterprise Architecture Management SYS 6 PS Krallmann MINF-IS- Knowledge Networks & Semantische KN&ST Technologien SYS 6 PS Krallmann MINF-IS-ISM Grundlagen des Information Security Management SYS 6 PS Krallmann MINF-IS-SYS Grundlagen der Systemanalyse SYS 6 PS Krallmann SYSEDV-AP Anwendungsprojekt SYS 12 PS Krallmann MINF-LAS-S- Exchange Foundations of Data Integration 3 PS Kreutzer MINF-IS-ML1 Maschinelles Lernen 1 ML 9 SP Müller MINF-IS-ML2 Maschinelles Lernen 2 ML 9 SP Müller MINF-IS-MLPR Praktikum Maschinelles Lernen ML 9 MP Müller MINF-IS-MLPJ Projekt Maschinelles Lernen ML 9 PS Müller MINF-IDA-SBCI Seminar Brain-Computer Interfaces ML 3 PS Müller MINF-IS-NI1 MINF-IS-NI2 MINF-IS- ModInfG MINF-IS-NN MINF-IS- NeuroInf Machine Intelligence I/ Neuronale Informationsverarbeitung I Machine Intelligence II/ Neuronale Informationsverarbeitung II Modelle zur Informationsverarbeitung im Gehirn Projekt neuronale Informationsverarbeitung / Neural Information Processing Project Moderne Entwicklungen der Neuroinformatik NI 6 MP Obermayer NI 6 MP Obermayer NI 6 MP Obermayer NI 9 PS Obermayer NI 6 MP Obermayer MINF-IS- Bildgebende Verfahren in der Medizin und BVerfMed der Neurobiologie NI 6 PS Obermayer MINF-IS-PM Probabilistic and Bayesian Modelling in Machine Learning and Artificial Intelligence KI 6 MP Opper MINF-IS-HTKI Hot Topics in Machine Learning and Artificial Intelligence KI 6 PS Opper Probabilistic and Bayesian Modelling in MINF-IS- Machine Learning and Artificial Intelligence- PM/SE Seminar KI 3 PS Opper Projekt: Statistische Methoden in MINF-IS-KI/PJ Künstlicher Intelligenz und Maschinellem KI 9 PS Opper Lernen MINF-IS-SuS Information Rules 3: Surveillance Studies IG 6 PS Pallas MINF-IS-IR2 Information Rules2 IG 6 PS Pallas MTI-RS-RES Regelung Ereignisdiskreter Systeme RS 6 PS Raisch MTI-RS-MGS Regelung von Mehrgrößensystemen RS 6 PS Raisch MTI-RS-RNLS Regelung Nichtlinearer Systeme RS 6 PS Raisch

6 Schwerpunktthema 4: Kommunikationsbasierte Systeme (KS) Modul-ID Modulname Fachg ebiet LP Prüfun gsform MINF-KS-InSiN Intelligente Sicherheit in Netzwerken AOT 9 PS Albayrak/ Bsufka MINF-KS-AC Autonomous Communications AOT 9 PS Albayrak Verantwortliche/-r MINF-KS- CNAS MINF-KS- NA/Glg MINF-KS- NA/PJ MINF-KS- NA/RL MINF-KS- NA/VTK MINF-KS- NA/VTG MINF-KS- NA/ML Special Topics in Communication Networks and Autonomous Security AOT 6 PS Albayrak Network Architectures Basics INET 6 MP/SP Feldmann Netzwerkarchitekturen Master- Projekt INET 12 PS Feldmann Netzwerkarchitekturen RouterLab INET 6 PS Feldmann Netzwerkarchitekturen Vertiefung(klein) INET 6 PS Feldmann Network Architectures Specialization (big) (Vertiefung (groß) INET 9 PS Feldmann Netzwerkarchitekturen MeshLab INET 6 PS Feldmann MINF-KT-NOR Network Optimization by Randomization INET 6 SP Feldmann MINF-KS-VA Verteilte Algorithmen KBS 6 MP Heiß MINF-KS-PS Parallel Systems KBS 6 MP Heiß MINF-KS-MWK Middleware-Konzepte KBS 6 MP Heiß MINF-KS- BKITS MINF-KS- INFRA. MINF-KS- INFRA-E MINF-KS-Vs CIT5-Betrieb komplexer IT-Systeme CIT 6 MP Kao CIT6 Aktuelle Themen aus dem Bereich der IT-Infrastrukturen CIT 3 PS Kao CIT 7: Current Topics in IT infrastructures CIT 3 PS Kao CIT8 Aktuelle Themen aus dem Bereich der verteilten Systeme CIT 3 PS Kao MINF-KS-CC CIT9- Cloud Computing CIT 6 MP Kao MINF-KS- PARDATA CIT10: Aktuelle Themen aus dem Bereich der parallelen Datenverarbeitung CIT 3 PS Kao MINF-KS-PJVS CIT11 Master Projekt Verteilte Systeme CIT 9 PS Kao MINF-KS-MS Mobile Services SNET 6 MP Küpper MINF-KS- SNETPJ MINF-SNET- DC MINF-KT- SNMP MINF-KS- AV/VL1 SNET 2 Master-Project SNET 12 PS Küpper Digital Communities SNET 6 MP Küpper Social Networks Master Project SNET 12 PS Küpper Next Generation Networks Basis AV 6 PS Magedanz

7 MINF-KS- AV/PJ1 Next Generation Networks Project I AV 9 PS Magedanz MINF-KS- AV/PJ2 Next Generation Networks Project II AV 9 PS Magedanz MINF-KS- Hot Topics in Next Generation Networks AV/SE and Future Internet AV 3 PS Magedanz MINF-KS- MobInt Mobile Interaction and HCI QU 9 PS Möller MINF-KS- Mob&PI Mobile Interaction QU 6 PS Möller MTI-TA-V&I Vision and Imaging QU 6 PS Möller MINF-KS- IntPhyCom Introduction to Physiological Computing QU 6 PS Möller MTI-ATH Advanced Topics in HCI QU 3 PS Möller MINF-KS-Q&U Quality & Usability QU 3 PS Möller MINF-KS- Master Study Project Quality & Usability (6 SP_Q&U6 CP) QU 6 PS Möller MINF-KS- Master Study Project Quality & Usability (9 SP_Q&U9 CP) QU 9 PS Möller MINF-KT- Speech Signal Processing and Speech SV&ST Technology QU 6 PS Möller MINF-KS-UE Usability Engineering QU 6 PS Möller MET-EI- WMS&AT Speech and Audio Technology QU 9 PS Möller QU-M-MMI Multimodal Interaction QU 3 PS Möller MINF-KS-BioId Biometric Identification QU 3 PS Möller MINF-VS- AlgProCalc Algebraische Prozesskalküle MTV 6 PS Nestmann MINF-VS- Synchrone und Asynchrone Interaktion in SYNC Verteilten Systemen MTV 3 PS Nestmann MINF-VS- TheDistAlgo Theorie Verteilter Algorithmen MTV 6 PS Nestmann MINF-VS-FDS MINF-VS- VerDistAlgo. Foundations of Distributed Systems: Complexity and Computability MTV 6 MP Nestmann Verifikation Verteilter Algorithmen MTV 9 PS Nestmann MINF-KS-OKS Offene Kommunikationssysteme Basis OKS 6 SP MINF-KT- OKS/PJ Projekt Offene Kommunikationssysteme OKS 9 PS M-AS-OKS-VIT Fahrzeuginformationstechnik OKS 6 PS MINF-KS- OKS/VC M-AS-OKS- V2XC MINF-KS- CS/PJ MINF-KS- CS/VTL MINF-KS- CS/VTS MINF-KS- AdhSN MINF-KS- TKN/PR Vehicular Communication Systems OKS 12 PS Vehicle to-x Communication Systems OKS 12 PS Popescu- Zeletin Popescu- Zeletin Popescu- Zeletin Popescu- Zeletin Popescu- Zeletin Computer Security - Projekt SI 12 PS Seifert Computer Security Vertiefung large SI 12 PS Seifert Computer Security Vertiefung small SI 9 PS Seifert Ad-hoc- and Sensor Networks TKN 6 PS Wolisz Kommunikationsnetze Praktikum TKN 6 PS Wolisz

8 MINF-KS- TKN/LB MINF-KS- TKN/Sim MINF-KS- TKN/Ktech1 MINF-KS- TKN/Ktech2 MINF-KS- TKN/PJ Performance Evaluation of Computer Communication Systems TKN 6 PS Wolisz Simulation TKN 6 MP Wolisz Network Technologies TKN 6 PS Wolisz Network Technologies 2 TKN 9 PS Wolisz Kommunikationstechnologien-Projekt TKN 6 PS Wolisz

9 Studienschwerpunkt System Engineering

10 Titel des Moduls : Qualitätssicherung eingebetteter Systeme Verantwortlich für das Modul: Sekr.: Prof. Dr. Sabine Glesner, TEL 12-4 Dr. Paula Herber 1. Qualifikationsziele Modulbeschreibung LP (nach Kurzbezeichnung: ECTS):6 MINF-SE-QSES.S12 sabine.glesner@tu-berlin.de, paula.herber@tu-berlin.de Absolventinnen und Absolventen des Moduls beherrschen Methoden und Techniken, mit denen die Qualität von eingebetteten Anwendungen systematisch sichergestellt werden kann. Die Veranstaltung vermittelt überwiegend: Fachkompetenz 25% Methodenkompetenz 25% Systemkompetenz 30% Sozialkompetenz 20% 2. Inhalte Im Rahmen der Lehrveranstaltung werden Methoden und Techniken zur Qualitätssicherung eingebetteter Systeme vermittelt. Dies ist ein unverzichtbares Thema, da die Qualitätssicherung von eingebetteten Systemen heutzutage bereits 50-80% der Entwicklungskosten ausmacht. Eingebettete Systeme bestehen in der Regel aus eng miteinander verknüpften Hardware- und Software- Komponenten. Die Integration der verschiedenen Komponenten ist einer der kritischsten Schritte im Entwurfsablauf. In der Veranstaltung werden Test- und Verifikationstechniken sowohl für Hardware als auch für Software betrachtet und miteinander in Verbindung gebracht. Insbesondere werden auch Validierungs- und Verifikationstechniken behandelt, die die integrierte Qualitätssicherung von Hardware und Software erlauben. 3. Modulbestandteile LV-Titel LV-Art SWS Methoden und Techniken der Qualitätssicherung eingebetteter Systeme LP(nach ECTS) Pflicht(P) / Wahlpflicht(WP) Semester (WiSe / SoSe) IV 4 6 P SoSe 4. Beschreibung der Lehrformen Das Modul besteht aus einer Integrierten Veranstaltung. Diese setzt sich aus Vorlesungs-, Übungsund praktischen Anteilen zusammen. 5. Voraussetzungen für die Teilnahme Kenntnisse aus den Modulen von Bachelor Informatik/Technische Informatik oder Vergleichbares sind vorausgesetzt. Besonders empfehlenswert aber nicht zwingend notwendig ist der vorherige Besuch des Bachelor-Moduls Software Engineering Eingebetteter Systeme. 6. Verwendbarkeit Wahlpflichtmodul in den Master-Studiengängen Informatik / Studienschwerpunkt System Engineering, Technische Informatik / Studienschwerpunkt Software Engineering, Automotive Systems und Wirtschaftsingenieurwesen (mit Ingenieurswissenschaft IuK) 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Stunden Präsenz IV: 15*4 60 Vor- und Nachbereitung 15*4 60 Vorbereitung von Vorträgen: 15*2 30 Vorbereitung der Rücksprache 30 Summe 180

11 8. Prüfung und Benotung des Moduls Prüfungsform: Mündliche Prüfung. Voraussetzung zur Teilnahme an der Prüfung ist ein Vortrag zu einem fortgeschrittenen Thema der Qualitätssicherung für eingebettete Systeme im Laufe des Semesters. 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 auf der Internetseite ( 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: 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 Vorlesung und auf den Webseiten angekündigt. 13. Sonstiges

12 Titel des Moduls : Seminar Programmierung eingebetteter Systeme Verantwortlich für das Modul: Sekr.: Prof. Dr. Sabine Glesner TEL Qualifikationsziele Modulbeschreibung LP (nach Kurzbezeichnung: ECTS):3 MINF-SE-SPES.S12 glesner@cs.tu-berlin.de 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 Wahlpflichtmodul in den Master-Studiengängen Informatik / Studienschwerpunkt System Engineering, Technische Informatik / Studienschwerpunkt Software Engineering, Automotive Systems und Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK) 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Stunden Präsenz 14 Besprechungen 6 Literaturarbeit 30 Vortragsvorbereitung 20 Schriftliche Ausarbeitung 20 Summe 90

13 8. Prüfung und Benotung des Moduls 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 ( 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

14 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.S12 glesner@cs.tu-berlin.de 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 in den Master-Studiengängen Informatik / Studienschwerpunkt System Engineering, Technische Informatik / Studienschwerpunkt Software Engineering, Automotive Systems und Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK)

15 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Stunden Präsenz VL: 15*2h 30h Präsenz UE: 15*2h 30h Nachbereitung Bearbeitung der Übungsaufgaben Prüfungsvorbereitung 8. Prüfung und Benotung des Moduls Summe 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. 30h 48h 42h 180h = 6 ECTS 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

16 Titel des Moduls : Optimierung von Multi-Core Systemen Verantwortlich für das Modul: Sekr.: Prof. Dr. Sabine Glesner TEL Qualifikationsziele Modulbeschreibung LP (nach Kurzbezeichnung: ECTS):9 MINF-SE-OMCS.S12 glesner@cs.tu-berlin.de Nach erfolgreichem Abschluss des Moduls besitzen die Studierenden praktische Erfahrung im Einsatz von Methoden, Techniken und Werkzeugen zum Entwurf von Optimierungen für spezielle eingebettete Architekturen, insbesondere Multi-Core Systeme. Sie sind darin geübt, solche Aufgabenstellungen im Team zu lösen. Die Veranstaltung vermittelt überwiegend: Fachkompetenz 25% Methodenkompetenz 25% Systemkompetenz 25% Sozialkompetenz 25% 2. Inhalte Die Anforderungen an eingebettete Systeme nehmen ständig zu, nicht nur im Hinblick auf die Laufzeitperformanz, sondern auch im Hinblick auf Codegröße, Speicherverbrauch, Energieverbrauch und insbesondere die effiziente Ausnutzung der Hardware. Dabei werden für eingebettete Systeme häufig spezielle Architekturen wie Parallelprozessoren oder heterogene Multiprozessorsysteme eingesetzt. Solche Systeme bieten die Möglichkeit, viele Aufgaben parallel abzuarbeiten und damit bei geringerem Energieverbrauch enorm hohe Leistungen zu erzielen. Wie Multi-Core Architekturen effizient ausgenutzt werden können, ist jedoch nicht eindeutig geklärt. Ansatzpunkte liefern automatisierte Parallelisierungsverfahren, Task Mapping, HW/SW Partitionierung und dynamische Rekonfigurierung. In diesem Projekt soll in verschiedenen Semestern mit unterschiedlichen Ansätzen zur Optimierung eines gegebenen Multi-Core Systems experimentiert werden. Dabei sollen insbesondere spezielle Optimierungen entwickelt werden, die die Architektur des Multi-Core Systems gezielt ausnutzen. 3. Modulbestandteile LV-Titel Optimierung von Multi-Core Systemen Optimierung von Multi-Core Systemen LV-Art SWS LP (nach ECTS) Pflicht(P) / Wahlpflicht(WP) Semester (WiSe / SoSe) SE 2 3 P SoSe PJ 4 6 P SoSe 4. Beschreibung der Lehrformen Das Modul gliedert sich in ein Projekt und ein Seminar. Die Teilnehmer des Projekts trainieren in praktischen Aufgaben Methoden und Techniken zur Optimierung von Multi-Core 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 den Master Modulen Analyse und Optimierung eingebetteter Systeme vorausgesetzt. 6. Verwendbarkeit Wahlpflichtmodul in den Master-Studiengängen Informatik / Studienschwerpunkt System Engineering, Technische Informatik / Studienschwerpunkt Software Engineering, Automotive Systems und Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK)

17 7. Arbeitsaufwand und Leistungspunkte LV- Art Berechnung Stunden Seminar: Präsenz: 15*2h 30h Vorbereitung der Referate Projekt: Zwischensumme 60h 90h = 3 ECTS Präsenz 15*4h 60h Bearbeiten der Projektaufgaben 8. Prüfung und Benotung des Moduls Zwischensumme Summe SE und PJ 120h 180h = 6 ECTS 270 h 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 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 Veranstaltung und auf den Internetseiten angekündigt. 13. Sonstiges Englischer Name des Moduls: Optimizations of Multi-Core Systems

18 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.S12 glesner@cs.tu-berlin.de, paula.herber@tu-berlin.de 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, Automotive Systems und Wirtschaftsingenieurwesen (mit Ingenieurwissenschaft IuK)

19 7. Arbeitsaufwand und Leistungspunkte Seminar LV- Art Berechnung Summe Präsenz 15*2h 30h Vorbereitung der Referate Projekt: Zwischensumme 60h 90 h= 3 LP Präsenz 15*4h 60h Bearbeiten der Projektaufgaben 8. Prüfung und Benotung des Moduls Zwischensumme Summe SE und PJ 120h 180 h= 6 LP 270 h 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 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 Englischer Name des Moduls: Project: Quality Assurance for Embedded Systems

20 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.S12 address: heiss@cs.tu-berlin.de 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

21 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 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

22 Name of Module: Embedded Operating Systems Person Responsible for Module: Heiss Secretariat: EN 6 Module Description CP (ECTS): Short Name: 6 MINF-SE-EOS.S12 address: heiss@cs.tu-berlin.de 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) 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

23 8. 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 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

24 Name of Module: Operating System Design Person Responsible for Module: Heiss Secretariat: EN 6 Module Description CP (ECTS): Short Name: 6 MINF-SE-OSD.S12 address: heiss@cs.tu-berlin.de 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

25 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 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

26 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.S12 address: heiss@cs.tu-berlin.de 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

27 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 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

28 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.S12 address: heiss@cs.tu-berlin.de 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

29 8. Module Examination and Grading Procedures The exam consists of several achievements (Prüfungsäquivalente Studienleistungen): In the seminar phase, both the presentation and the seminar paper contribute with 15% each to the final grade. In the project phase, implementation, final report, and final presentation account for 30%, 20,% and 20% resp. Each partial achievement must be passed separately. After successful completion a seminar and project certificate will be issued which meet the master s program s requirements. 9. Duration of Module 1 semester 10. Number of Participants Enrolment Procedures See homepage of module at 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: will be announced. 13. Other Information Module may not be offered each year. German name of module: Betriebssystem-Projekt und -Seminar

30 Titel des Moduls: Softwaretechnik-Praxis-Master Verantwortliche/-r für das Modul: Jähnichen Sekr.: TEL 12-3 LP (nach ECTS): 9 jaehn@cs.tu-berlin.de Kurzbezeichnung: MINF-SE-SWT/PJ. S12 Modulbeschreibung 1. Qualifikationsziele Absolventinnen und Absolventen des Moduls haben die Fähigkeiten zum praktischen Einsatz zuvor gelernter Einzeltechniken erlernt. Sie sind in der Lage, alle Schritte der Softwareentwicklung von der Anforderungsermittlung bis zu Implementierung und Test durchzuführen und dabei adäquate Werkzeuge anzuwenden. Besondere Schwerpunkte liegen auf der Kommunikationsqualifikation für die Mitarbeit in einem Team und auf der Fähigkeit zur Organisation arbeitsteiliger Entwicklung. Die Veranstaltung vermittelt überwiegend: Fachkompetenz 30% Methodenkompetenz 30% Systemkompetenz 10% Sozialkompetenz 30% 2. Inhalte Im Modul Softwaretechnik-Praxis sollen die Studenten und Studentinnen ihr bis dahin gelerntes technisches und methodisches Können an einer Aufgabenstellung aus der realen Welt erproben. Die Aufgabenstellung bezieht sich jeweils auf eine sehr spezifische Einzellösung auf der Basis aktueller Techniken, wie z.b. Web-Anwendungen, Komponentenplattformen und Frameworks, häufig in Verbindung mit dem Einsatz von Datenbanken. Mit seinem Planspiel-Charakter bietet das Projekt den Rahmen, in dem die folgenden Rollen mit ihren jeweiligen Verantwortlichkeiten erlernt werden: Projektmanagement Qualitätssicherung Testen Software-Konfigurations-Management Darüber hinaus sind alle Teilnehmer und Teilnehmerinnen an der eigentlichen Software-Entwicklung beteiligt, die von der Anforderungsermittlung bis zu Implementierung und Test durchgeführt wird. Dabei kommen unterstützende Werkzeuge wie Entwicklungsumgebungen, Test-Frameworks, Kollaborationsplattformen, Versionskontrollsysteme, u.a. zum Einsatz. 3. Modulbestandteile LV-Titel LV-Art SWS LP Pflicht (P)Wahlpflicht(WP) WiSe/SoSe Praxis-Seminar SE 2 3 P WiSe SWT- Projekt PJ 4 6 P WiSe 4. Beschreibung der Lehr- und Lernformen Das Seminar wird mit wöchentlichen Terminen durchgeführt, an denen die Teilnehmer Referate halten und die vorgetragenen Inhalte diskutieren. Das SWT- Projekt beinhaltet zwei Plenumstermine pro Woche, die von den Teilnehmern selbst jedoch unter Aufsicht geleitet werden. Den Hauptteil macht eine eigenständige Projektarbeit in Gruppen aus. Unterrichtssprache in dem Modul ist deutsch. 5. Voraussetzungen für die Teilnahme Inhaltlich werden Kenntnisse in den Modulen Softwaretechnik, Objektorientierte Softwareentwicklung, Qualitätssicherungs-Praxis oder vergleichbare Kenntnisse vorausgesetzt.