| Popis: |
Time-Triggered (TT) architectures are widely used in safety-critical computer systems for their deterministic and predictable behavior. However, existing solutions lack observability and debugging capabilities. To address this, we propose GALI, a novel simulation technique. GALI, which stands for "Globally Accurate, Locally Inaccurate," speeds up the simulation of time-triggered systems while enhancing observability and debugging. It utilizes an instruction-accurate simulation with a predetermined time-triggered system configuration and applies discrete timed execution to produce fast and accurate results. The supporting tooling ecosystem generates platform and application components, including board-support packages, binary files, communication channels, and required infrastructure. Our evaluation demonstrates that GALI achieves precise behavior similar to cycle-accurate simulations while incurring minimal overhead, comparable to untimed simulations. |
