Towards Verification of Uncertain Cyber-Physical Systems. Radojicic, C., Grimm, C., Jantsch, A., & Rathmair, M. 2017.
Towards Verification of Uncertain Cyber-Physical Systems [link]Paper  doi  abstract   bibtex   
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.Comment: In Proceedings SNR 2017, arXiv:1704.0242
@article{radojicic_towards_2017,
	title = {Towards {Verification} of {Uncertain} {Cyber}-{Physical} {Systems}},
	url = {https://core.ac.uk/display/83854517?recSetID=},
	doi = {10/ghwkmj},
	abstract = {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.Comment: In Proceedings SNR 2017, arXiv:1704.0242},
	language = {en-gb},
	urldate = {2021-01-29},
	author = {Radojicic, Carna and Grimm, Christoph and Jantsch, Axel and Rathmair, Michael},
	year = {2017},
}

Downloads: 0