Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/FDL50818.2020.9233008 | 2020 Forum for Specification and Design Languages (FDL) |
Keywords | DocType | ISSN |
Uncertainty,Fuel consumption,Measurement System,Affine Arithmetic,Symbolic Simulation,SystemC AMS | Conference | 1636-9874 |
ISBN | Citations | PageRank |
978-1-7281-8929-1 | 0 | 0.34 |
References | Authors | |
3 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carna Zivkovic | 1 | 0 | 0.34 |
Christoph Grimm | 2 | 2 | 2.74 |
Johannes Kölsch | 3 | 0 | 0.34 |
D. Short | 4 | 0 | 0.34 |
M. Ferstl | 5 | 0 | 0.34 |
Dirk Denger | 6 | 0 | 0.34 |
D. Krems | 7 | 0 | 0.34 |
A. Barisic | 8 | 0 | 0.34 |