Versions Compared
Key
- This line was added.
- This line was removed.
- Formatting was changed.
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): SCCharts (pre 1.0)Overview + 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)
Important Dates
Date | Room | Appointment |
---|---|---|
April 15th, 2015 | R1115 CAP4 | Kick-off |
April 27th, 2015 08:00am | – | Proposal Proposal |
April 30th, 2015 08:00am | – | Final Proposal |
Recent space activity
Recently Updated | ||||||||
---|---|---|---|---|---|---|---|---|
|
Space contributors
Contributors | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|