Bringing Uncertainties into System Simulation: A SystemC AMS Case Study
Carna Zivkovic, Christoph Grimm, Johannes Kölsch, Débora Short, M. Ferstl, D. Denger, Daniel Krems, Ankica Barišić · 2020
The paper reports on the industrial application of SystemC AMS for semi-symbolic analysis. As a case study we analyze the accuracy of a fuel consumption measurement system. As results, two approaches are presented that make formal and symbolic methods more accessible for industrial practice: (1) integration of symbolic simulation into SystemC AMS, which makes the application similar to the established concrete simulation, and (2) uncertainty tables to further simplify the remaining symbolic modeling of inputs and constraints.