AG Echtzeitsysteme und Eingebettete Systeme

Wintersemester 2009/10

1. Vorbesprechung:

2. Vorbesprechung/Kickoff:

 

Termine/Meilensteine

• Mi 28.10., 12:15 Uhr, R.1118: 2. Vorbesprechung/Kickoff, Technische Einführung: Latex, ACM Style, Subversion, etc.
• Fr 4.12.: Literaturübersicht und 1. Version der Ausarbeitung
• Fr 8.1.: Abgabe der Ausarbeitung und 1. Version des Vortrags
• Fr 15.1.: Abgabe der Reviews: review.tex
• Fr 29.1.: Abgabe der endgültigen Ausarbeitung und fertiger Folien
• Do 4.2.: Vorträge

Vorträge:

Univis-Eintrag

Dozenten:

• Reinhard v. Hanxleden, Miro Spönemann, Hauke Fuhrmann

Thema

Das Seminar dieses Semesters beschäftigt sich mit der Modellierung und Ausführung nebenläufiger Systeme, mit besonderem Augenmerk auf dem Ptolemy-System. Die Themen des Seminars können beispielsweise folgenden Bereichen entnommen werden:

• Nebenläufige Models of Computation
• Graphische Modellierungssprachen
• Zeitlich vorhersagbare, multi-threading-basierte Prozessorarchitekturen

Ein weiterer möglicher Schwerpunkt sind Eclipse-Technologien, z.B. aus den Bereichen

• Codegenerierung
  • Eclipse M2T: JET, Acceleo, Xpand
  • Eclipse GMT: MOFScript
  • openArchitectureWare: Xpand
  • Code Generation with a focus on non-functional requirements (TU München, siehe unten)
• Entwurf eingebetteter Systeme: TOPCASED (siehe auch unten), AADL

 

Grundlagen

Ein Teil der Seminararbeit ist eine eigenständige Literaturrecherche, die folgenden Quellen dienen somit nur als Einführung in das entsprechende Thema.

• Edward A. Lee, Overview of the Ptolemy Project, Technical Memorandum No. UCB/ERL M03/25, University of California, Berkeley, CA, 94720, USA, July 2, 2003. http://ptolemy.eecs.berkeley.edu/publications/papers/03/overview/
• Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong, Taming Heterogeneity---the Ptolemy Approach, Proceedings of the IEEE, January 2003. http://dx.doi.org/10.1109/JPROC.2002.805829
  
• Lee, E. A. and A. Sangiovanni-Vincentelli, A Framework for Comparing Models of Computation, IEEE Transactions on Computer-Aided Design of Circuits and Systems 17(12): 1217-1229. http://ieeexplore.ieee.org/iel4/43/15891/00736561.pdf
• Buck and Lee, The Token Flow Model, Advanced Topics in Dataflow Computing and Multi-threading, ed. Lubomir Bic, Guang, Gao, and Jean-Luc Gaudiot, IEEE Computer Society Press. http://ptolemy.eecs.berkeley.edu/publications/papers/92/tokenFlow/
• B. Ludäscher and I. Altintas and C. Berkley and D. Higgins and E. Jaeger-Frank and M. Jones and E. Lee and J. Tao and Y. Zhao, Scientific Workflow Management and the Kepler System, Concurrency and Computation: Practice & Experience. Volume 18,  Issue 10  (August 2006) http://www.sdsc.edu/~ludaesch/Paper/kepler-swf.pdf
  
• Edward A. Lee and Haiyang Zheng, Operational Semantics of Hybrid Systems, Invited paper in Hybrid Systems: Computation and Control: 8th International Workshop, HSCC, LNCS 3414, Zurich, Switzerland, March 9-11, 2005 http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/
• Stephen Edwards and Edward A. Lee, The Case for the Precision Timed (PRET) Machine. EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2006-149, November 17, 2006 http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-149.pdf
• Research project "Embedded Systems" at TU München, http://www6.in.tum.de/Main/ResearchEmbeddedSystems
• Pontisso, N.; Chemouil, D., "TOPCASED Combining Formal Methods with Model-Driven Engineering," Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on , vol., no., pp.359-360, 18-22 Sept. 2006
  URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4019608&isnumber=4019544
  (nur aus dem Uni-Netz herunterladbar, da die Uni einen IEEE account hat)
• Combemale, Benoit and Cregut, Xavier and Giacometti, Jean-Pierre and Michel, Pierre and Pantel, Marc , "Introducing Simulation and Model Animation in the MDE Topcased Toolkit",
  4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS) Toulouse, France, 2008,
  http://hal.archives-ouvertes.fr/hal-00371596/en/

Themenzuordnung

Name	Thema
Bjoern Duderstadt	Graphische Modellierungssprachen
Tobias Mahnke-Nissen	Zeitlich vorhersagbare, multi-threading-basierte Prozessorarchitekturen
Martin Mueller	Heterogeneous Models of Computation in Ptolemy
Ole Schulz-Hildebrandt	The token flow model

 

Vortrag und Ausarbeitung

Sinn dieses Seminars ist es, sich mit einem Themengebiet intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Damit stellt das Seminar eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit dar.

Der Vortrag sollte 40 Minuten lang sein. Zu dem Vortrag sollen aussagekräftige Folien, mit LateX Beamer,  erstellt werden. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages sinnvoll.

Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einen Studenten im Hauptstudium allgemein gut verstanden werden kann. Insbesondere sollte die Ausarbeitung nicht schwerer zu lesen sein als die zugrunde liegenden Paper. Die Ausarbeitung sollte 6 Seiten umfassen und den ACM Style verwenden (deutsche / englische Version).

 

Technisches

• Subversion Repository auschecken: svn co http://rtsys.informatik.uni-kiel.de/svn/teaching/sem/09ws-conc/
  • Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach diesen Namenskonventionen.
  • SVN Quick Reference Card
  • Standalone SVN GUI Client für Windows: Tortoise
  • Standalone SVN GUI Client für Linux KDE: KDEsvn
• Texlipse Latex Eclipse Plugin: http://texlipse.sourceforge.net/
  • URL kann direkt als Eclipse update site benutzt werden
  • Bei der Erstellung eines neuen Texlipse Projektes im New-Wizard auf pdf als Ausgabeformat umstellen und pdflatex benutzen (siehe unten)
• ACM Style in deutscher oder englischer Version verwenden (innerhalb des rtsys-Netzwerks auch global verfügbar)
• Wir benutzen pdflatex (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)
  • sind im Prinzip gleich zu benutzen
  • Hauptunterschied ist die Einbindung von Grafiken. In pdflatex siehe z.B. http://latex.mschroeder.net/#grafiken (Es sollte immer eine komplette figure Umgebung mit caption, label und Referenz im Text benutzt werden!)
  • Texlipse unterstützt ein sehr ausführliches "figure" template (irgendwo figure tippen und Strg-Leertaste drücken)

• Bibliographie: Siehe ACM Beispiel (hier werden die Bibliographielemente in eine eigene *.bib Datei ausgelagert). Manuell wird dann einmal pdflatex dokument.tex aufgerufen. Dies erzeugt eine dokument.aux Datei. Darauf wird bibtex dokument.aux aufgerufen und dann nochmal zweimal pdflatex dokument.tex. Erst dann sind die Bibliographieelemente richtig im pdf-file.

  • Texlipse ruft pdflatex und bibtex in den richtigen Reihenfolgen automatisch auf.
  • Texlipse unterstützt sehr schöne Templates und Autovervollständigung für Bibliographie: Im *.bib file "@" tippen und Strg+Leertaste drücken, dann bekommt man eine Auswahl aller möglichen Bibliographielemente angezeigt. Entsprechend im .tex-File "\cite{}" Tippen, dort öffnet die Autovervollständigung eine Liste aller vorhandenen bib-Einträge

 

Weiterführende Hinweise / Links

• Suchmaschinen für Onlinerecherche von wissenschaftlichen Veröffentlichungen
  • Google Scholar: http://scholar.google.de/
  • CiteSeer: http://citeseer.ist.psu.edu/
  • IEEE-Xplore: http://ieeexplore.ieee.org/Xplore/dynhome.jsp
    • Kostenloser Download nur aus Rechnern im Uninetz möglich
  • ACM Digital Library: http://portal.acm.org/dl.cfm
  • Universitätsbibliothek Digitale Medien: http://www.uni-kiel.de/ub/emedien/index.html