This is the part of the Wiki concerned with the Real-Time and Embedded part of the project.
[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)
Date | Room | Appointment |
---|---|---|
April 15th, 2015 | R1115 CAP4 | Kick-off |
April 27th, 2015 08:00am | – | Proposal Proposal |
April 30th, 2015 08:00am | – | Final Proposal |