Abstract
We report on a tool prototype for model-based testing of cyber-physical systems. Our starting point is a hybrid-system model specified in a domain-specific language called Acumen. Our prototype tool is implemented in Matlab and covers three stages of model-based testing, namely, test-case generation, test-case execution, and conformance analysis. We have applied our implementation to a number of typical examples of cyber-physical systems in order to analyze its applicability. In this paper, we report on the result of applying the prototype tool on a DC-DC boost converter.
| Original language | English |
|---|---|
| Title of host publication | Theoretical Aspects of Computing - ICTAC 2015 |
| Subtitle of host publication | 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings |
| Editors | M. Leucker, C. Rueda, F.D. Valencia |
| Place of Publication | Dordrecht |
| Publisher | Springer |
| Pages | 563-572 |
| Number of pages | 10 |
| ISBN (Electronic) | 978-3-319-25150-9 |
| ISBN (Print) | 9783319251493 |
| DOIs | |
| Publication status | Published - 2015 |
| Event | 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) - Cali, Colombia Duration: 29 Oct 2015 → 31 Oct 2015 Conference number: 12 http://www.ictac2015.co/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 9399 |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Conference
| Conference | 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) |
|---|---|
| Abbreviated title | ICTAC 2015 |
| Country/Territory | Colombia |
| City | Cali |
| Period | 29/10/15 → 31/10/15 |
| Internet address |
Keywords
- Acumen
- Conformance testing
- Cyber-physical systems
- Hybrid systems
- Matlab
- Model-based testing