©2023 ANSYS, Inc. Unauthorized use, distribution, or duplication is prohibited.
8
Reactive System: Implementation Viewpoint
• Step:
‐ Read inputs
‐ Compute outputs
‐ Update internal state S
• Let f be the function that computes
one reaction:
,
+
= ;
• The code generator produces the
function f in the target code and the
initial state
0
.
Environment
Reactive
System
Inputs Outputs
0
,
1
, …
0
,
1
, …
0
,
1
, …
