| Authors | S. Ali, T. Yue and M. Zhang |
| Title | Tackling Uncertainty in Cyber-Physical Systems with Automated Testing |
| Afilliation | Software Engineering |
| Project(s) | U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies |
| Status | Published |
| Publication Type | Talks, contributed |
| Year of Publication | 2016 |
| Location of Talk | DE-CPS Workshop, Pisa, Italy |
| Keywords | Cyber-Physical Systems, Model-based Testing, Testing, Uncertainty, Uncertainty Modeling |
| Abstract | The U-Test project (www.u-test.eu) 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 Key | 24661 |