Real-Time and Embedded Systems Project

This is the part of the Wiki concerned with the Real-Time and Embedded part of the project.

To Go Further

• Technical Documentation of the railway installation: http://www.informatik.uni-kiel.de/~railway/
• Railway Lecture Summary: http://rtsys.informatik.uni-kiel.de/~rt-teach/ws11/v-synch/lectures/lecture05a-handout4.pdf (slides 24-48)
• Lego Mindstorms overview: http://www.informatik.uni-kiel.de/rtsys/lego-mindstorms/
• KIELER: Downloads and Information
• SCCharts (model-based approach): SCChartsOverview + Introduction and Examples
• Diploma Thesis Stephan Höhrmann: Entwicklung eines modularen Feldbussystems zur Steuerung einer Modellbahnanlage, March 2006 (pdf)

[1] D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, 8(3):231-274, June 1987.

[2] R. von Hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler, J. Aguado, S. Mercer, and O. O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’14), Edinburgh, UK, June 2014. (pdf)

[3] C. Motika, S. Smyth, and R. von Hanxleden. Compiling SCCharts—A Case-Study on Interactive Model-Based Compilation. In Proc. of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), volume 8802 of LNCS, page 443–462, Corfu, Greece, October 2014.  (pdf)