000K utf8 1100 $c2018 1500 eng 2050 urn:nbn:de:gbv:8:1-zs-00000342-a0 3000 Schulz-Rosengarten, Alexander 3010 Deantoni, Julien 3010 De Simone, Robert 3010 Mallet, Frédéric 3010 von Hanxleden, Reinhard 4000 Time in SCCharts [Schulz-Rosengarten, Alexander] 4209 Synchronous languages, such as the recently proposed SCCharts language, have been designed for the rigorous specification of real-time systems. Their sound semantics, which builds on an abstraction from physical execution time, make these languages appealing, in particular for safety-critical systems. However, they traditionally lack built-in support for physical time. This makes it rather cumbersome to express things like time-outs or periodic executions within the language. We here propose several mechanisms to reconcile the synchronous paradigm with physical time. Specifically, we propose extensions to the SCCharts language to express clocks and execution periods within the model. We draw on several sources, in particular timed automata, the Clock Constraint Specification Language, and the recently proposed concept of dynamic ticks. We illustrate how these extensions can be mapped to the SCChart language core, with minimal requirements on the run-time system, and we argue that the same concepts could be applied to other synchronous languages such as Esterel, Lustre or SCADE. 4950 https://nbn-resolving.org/urn:nbn:de:gbv:8:1-zs-00000342-a0$xR$3Volltext$534 4961 https://macau.uni-kiel.de/receive/macau_mods_00002024 5051 004