000K  utf8
1100  $c2015
1500  eng
2050  urn:nbn:de:gbv:8:1-zs-00000273-a9
3000  Smyth, Steven
3010  Motika, Christian
3010  Schulz-Rosengarten, Alexander
3010  Sprung, Carsten
3010  von Hanxleden, Reinhard
3010  Wechselberg, Nis Boerge
4000  SCCharts$dThe Railway Project Report  [Smyth, Steven]
4209  SCCharts is a visual language proposed in 2012 for specifying safety-critical reactive systems. We present the results of the first medium sized SCCharts case-study. The case-study was conducted in the context of the railway project performed by students at the Kiel University in the summer term 2014. The railway project is a regularly occurring student training project that teaches principles of concurrent cyber-physical systems on a complex live model railway demonstrator. This report presents details of the first medium size SCCharts models created during the project. We explain what additional language extensions to SCCharts were necessary and how they were implemented. To handle performance issues that arose while developing the controller, compiler enhancements became necessary and are evaluated here. Furthermore, the participants completed a survey at the end of the project to confirm the goals that the SCCharts language and our SCCharts tool chain are suitable to build complex controllers. In the survey, the participants compared both, the SCCharts language and our SCCharts tools, with other modeling and classical programming languages and tools.
4950  https://nbn-resolving.org/urn:nbn:de:gbv:8:1-zs-00000273-a9$xR$3Volltext$534
4961  https://macau.uni-kiel.de/receive/macau_mods_00002004
5051  004