AuthorsS. Ali, T. Yue and M. Zhang
TitleTackling Uncertainty in Cyber-Physical Systems with Automated Testing
AfilliationSoftware Engineering
Project(s)U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies
Publication TypeTalks, contributed
Year of Publication2016
Location of TalkDE-CPS Workshop, Pisa, Italy
KeywordsCyber-Physical Systems, Model-based Testing, Testing, Uncertainty, Uncertainty Modeling

The U-Test project ( aims at developing new methods and techniques for testing Cyber-Physical Systems (CPSs) under uncertainty. This position paper aims to provide the current status of the results achieved in the project during the first year. Our ultimate aim is to facilitate collaboration among various Horizon2020 projects focusing on CPSs. This position paper focuses on the research results from the following four perspectives: 1) Understanding Uncertainty in CPSs, 2) Modeling Uncertainty in CPSs, 3) Discovering Uncertainties, and 4) Testing Uncertainty. In addition to the research results, we also present a set of standardization activities that are planned in the project.

Citation Key24661