Towards Verification of Uncertain Cyber-Physical Systems. Radojicic, C., Grimm, C., Jantsch, A., & Rathmair, M. 2017.
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
{"_id":"v5NXKsm9der7Y48py","bibbaseid":"radojicic-grimm-jantsch-rathmair-towardsverificationofuncertaincyberphysicalsystems-2017","author_short":["Radojicic, C.","Grimm, C.","Jantsch, A.","Rathmair, M."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Radojicic"],"firstnames":["Carna"],"suffixes":[]},{"propositions":[],"lastnames":["Grimm"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Jantsch"],"firstnames":["Axel"],"suffixes":[]},{"propositions":[],"lastnames":["Rathmair"],"firstnames":["Michael"],"suffixes":[]}],"year":"2017","bibtex":"@article{radojicic_towards_2017,\n\ttitle = {Towards {Verification} of {Uncertain} {Cyber}-{Physical} {Systems}},\n\turl = {https://core.ac.uk/display/83854517?recSetID=},\n\tdoi = {10/ghwkmj},\n\tabstract = {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},\n\tlanguage = {en-gb},\n\turldate = {2021-01-29},\n\tauthor = {Radojicic, Carna and Grimm, Christoph and Jantsch, Axel and Rathmair, Michael},\n\tyear = {2017},\n}\n\n","author_short":["Radojicic, C.","Grimm, C.","Jantsch, A.","Rathmair, M."],"key":"radojicic_towards_2017","id":"radojicic_towards_2017","bibbaseid":"radojicic-grimm-jantsch-rathmair-towardsverificationofuncertaincyberphysicalsystems-2017","role":"author","urls":{"Paper":"https://core.ac.uk/display/83854517?recSetID="},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["towards","verification","uncertain","cyber","physical","systems","radojicic","grimm","jantsch","rathmair"],"title":"Towards Verification of Uncertain Cyber-Physical Systems","year":2017}