Dealing with Uncertainties in Analog/Mixed-Signal Systems

Grimm, Christoph; Rathmair, Michael

doi:10.1145/3061639.3072949

Search citation statements

Order By: Relevance

Paper Sections

Select...

Future Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2022

Publication Types

Select...

Article2

Book2

Other2

Relationship

Self Cite1

Independent5

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ongoing work targets the extension towards probabilistic uncertainties. We have described a first approach in that direction in [13]. Also, Olbrich's distribution arithmetic [21] would be a useful starting point in that context.…”

Section: Future Workmentioning

confidence: 99%

Towards Verification of Uncertain Cyber-Physical Systems

Radojicic

Grimm

Jantsch

et al. 2017

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity and scalability. For numerical simulation, uncertain behavior can hardly be covered in a comprehensive way which motivates the use of symbolic methods.The paper describes an approach for symbolic simulation-based verification of CPS with uncertainties. We define a symbolic model and representation of uncertain computations: Affine Arithmetic Decision Diagrams. Then we integrate this approach in the SystemC AMS simulator that supports simulation in different models of computation. We demonstrate the approach by analyzing a water-level monitor with uncertainties, self-diagnosis, and error-reactions.

show abstract

Section: Future Workmentioning

confidence: 99%