000K utf8 1100 $c2009 1500 eng 2050 urn:nbn:de:101:1-201203145754 3000 Starke, Falk 3010 Traulsen, Claus 3010 von Hanxleden, Reinhard 4000 Executing Safe State Machines on a Reactive Processor [Starke, Falk] 4209 Safe State Machines (SSMs) are a Statechart dialect with precise synchronous semantics, used to describe the behavior of reactive systems. A natural target for executing SSMs are reactive processors, which have an instruction set architecture (ISA) particularly well-suited for reactive control flow. When synthesizing SSMs into code, this is traditionally done via the synchronous language Esterel. However, this is not always straightforward; transitions in SSMs can jump arbitrarily between states, and there is no Esterel statement that matches this. We here propose to circumvent this by synthesizing SSMs directly onto a reactive ISA that can encode transitions directly as GOTOs. This not only has the potential for smaller and faster code, but preserves the structure of the SSM much better that going via Esterel. Conversely, we note that SSMs appear easier to implement on a reactive processor than Esterel, notably because there is not exception handling required. 4950 https://nbn-resolving.org/urn:nbn:de:101:1-201203145754$xR$3Volltext$534 4961 https://macau.uni-kiel.de/receive/macau_mods_00001853 5051 004