Seminar  Eingebettete Echtzeitsysteme: Synchrone Sprachen

AG Echtzeitsysteme und Eingebettete Systeme
Sommersemester 2008

 

Vorbesprechnungen:

Do, 14.02.08: 12:00-12:45 Uhr, CAP4: R.1118 (Hochhaus, 11. Stock)

Di,. 15.04.08: 11:00-11:45, LMS2 - R.Ü2

Das Seminar fand am 8.7.08-14.7.08 statt, dabei wurden diese Ausarbeitungen erstellt.

 

UnivIS 

 

 

Dozenten:

• Reinhard v. Hanxleden
• Claus Traulsen

 

Wichtige Termine:

• 6. Mai: Literaturübersicht und 1 Version der Ausarbeitung
• 10. Juni: Abgabe der Ausarbeitung und 1. Version des Vortrags
• 17. Juni: Abgabe der Reviews (Reviewformular)
• 2. Juli: Abgabe der entgültigen Ausarbeitung und fertiger Folien
• 8.-15. Juli: Vorträge

Vorträge:

7.7.	Björn Tietjens	Achim Bleidiessel
8.7.	Torsten Amende	Tim Grebien
14.7.	Felix Thomsen	Christian Schneider

 

 

Thema:

Das diesjährine Seminar beschäftigt sich mit aktuellen Forschungsergebnissen im Bereich der Synchronen Sprachen. Synchrone Sprachen sind Modellierungssprachen für Echtzeitsysteme, bei denen insbesondere die formale Analysierbarkeit im Vordergrund steht.

 

Seminarthemen:

• Achim Bleidiessel: Endo-/Isochrony
  • A. Benveniste, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Embedded Software, volume 2855/2003, pages 35-50. Springer Berlin / Heidelberg, 2003
  • A. Benveniste, P. L. Guernic, and P. Aubry. Compositionality in dataflow synchronous languages: specification and code generation. In Compositionality: The Significant Difference, volume Volume 1536/1998, pages 61-80. Springer Berlin / Heidelberg, 1998.
  • V. Diekert. The Book of Traces. World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1995.
  • N. Halbwachs. Synchronous programming of reactive systems. In Computer Aided Verification, volume 1427/1998, pages 1{16. Springer Berlin / Heidelberg, 1998.
  • D. Potop-Butucaru. The kahn principle for networks of synchronous endochronous programs. In Proceedings FMGALS2003, 2003.
  • R. Zurawski. Embedded Systems Handbook. CRC Press, Inc., Boca Raton, FL, USA, 2004.
  • D. Potop-Butucaru, B. Caillaud, A. Benveniste: Concurrency in Synchronous Systems - Formal Methods in System Design, 2006 - Springer
• Michael Matzen: Quasi Synchrony
  • Paul Caspi, The Quasi-Synchronous Approach to Distributed Control Systems, Technical Report, Verimag, 1999
  • Nicolas Halbwachs and Siwar Baghdadi, Synchronous Modelling of Asynchronous Systems, Springer-Verlag. 2002
  • Alain Girault and Clément Ménier, Automatic Production of Globally Asynchronous Locally Synchronous Systems, Springer-Verlag. 2002
  • Albert Benevenise, Paul Caspi, Distributing Synchronous Programs on a Looseley Synchronous, Distributed Architecture, IRISA, 1999
• Tosten Amende: Spieltheoretische Betrachtung der Semantik von Esterel
  • S. Abramsky. Games in the semantics of programming languages. 11th Amsterdam Col loquium, 6, 1997.
  • J. Aguado. The colour of truth in step responses. 2, 2005.
  • J. Aguado, M. Mendler: Constructive Game Semantics for Instantaneous Reactions. In: D. R. Ghica and G. McCusker (eds.) Games for Logics and Programming Languages (GaLoP 2005), Edinburgh, April 2005.
  • G. Berry. The constructive semantics of pure esterel. cma, ecole des mines, inria. 161, Juli 1999. Draft version
  • G. Luettgen J. Aguado and M. Mendler. A-maze-ing esterel. Synchronous Languages, Applications, and Programming (SLAP 2003), 15, Juli 2003.
• Felix Thomsen: Esterel zur Hardwarebeschreibung
  • siehe Esterel-Technologies
  • An overview of hardware design using Esterel compared to VHDL
  • Gérard Berry und Ellen Sentovich. 2001. Multiclock Esterel. Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods.
  • Gérard Berry, Michael Kishinevsky und Sntnam Singh. 2003. System Level Design and Verification Using a Synchronous Language, in 2003 International Conference on Computer‐Aided Design (ICCAD ’03), Seite 433
  • Yves Mathys und Andre Chatelain. Using HW/SW modeling to optimize embedded control systems

  • Satnam Singh: Hardware/Software Synthesis and Verification using Esterel

• Christian Schneider: Reactive Processing
  • Reinhard von Hanxleden and Xin Li and Partha Roop and Zoran Salcic and Li Hsien Yoong. Reactive Processing for Reactive Systems. ERCIM News, 66:28–29, October 2006
• Tim Grebien: Klassifizierung von synchronen Semantiken
  • Boussinot, Frédéric, 

    SugarCubes Implementation of Causality,

    Rapport de recherche de l'INRIA - Sophia Antipolis
• Björn Tietjens: Funktionale reaktive Programmiersprachen
  •   L Mandel, M Pouzet: http://www.lri.fr/%7Epouzet/bib/ppdp05.pdfReactiveML: a reactive extension to ML- Proceedings of the 7th ACM SIGPLAN international conference …, 2005

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

 

Ablauf

Das Seminar findet parallel zur Vorlesung Synchrone Sprachen statt. Insbesondere sollen die Vorträge im Rahmen der Vorlesung gehalten werden.

Neben dem Vortrag ist ein Ausarbeitung zu schreiben.

 

Vorrausetzung für die Teilnahme am Seminar, ist die paralle Teilnahme an der Vorlesung Synchrone Sprachen, oder die erfolgreiche Teilnahme an einer der  Vorlesungen Synchrone Sprachen oder Modellbasierter Entwurf.

 

Vortrag

Der Vortrag sollte 40 Minuten lang sein. Zu dem Vortrag sollen aussagekräftige Folien, mit LateX Beamer,  erstellt werden.

Ausarbeitung

Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einen Studenten im Hauptstudium mit Vorkenntnissen in synchronen Sprachen 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.