Abstract
Embedded products currently tend to evolve into large and complex smart systems where products are enriched with services through clouds and other web technologies. The complex characteristics of smart systems make it very difficult to guarantee functionality, safety, security and performance. Using test-driven modeling (TDM) is likely to be the best way to design smart systems such that these qualities are ensured. However, the TDM methods that are applied to development of simpler systems do not scale to smart systems because the modeling technologies cannot handle the complexity and size of the systems. In this paper, we present a method for test-driven modeling that scales to very large and complex systems. The method uses a combination of formal verification of basic interactions, simulations of complex scenarios, and mathematical forecasting to predict system behavior and performance. We utilized the method to analyze, design and develop various scenarios for a cloud-enabled medical system. Our approach provides a versatile method that may be adapted and improved for future development of very large and complex smart systems in various domains.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Systems Conference (SysCon), 2017 Annual IEEE International |
| Number of pages | 8 |
| Publisher | IEEE |
| Publication date | 2017 |
| Pages | 83-90 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | 11th Annual 2017 IEEE International Systems Conference - Montreal, Canada Duration: 24 Apr 2017 → 27 Apr 2017 Conference number: 11 http://2017.ieeesyscon.org/ |
Conference
| Conference | 11th Annual 2017 IEEE International Systems Conference |
|---|---|
| Number | 11 |
| Country/Territory | Canada |
| City | Montreal |
| Period | 24/04/2017 → 27/04/2017 |
| Internet address |
| Series | Annual Ieee Systems Conference |
|---|---|
| ISSN | 1944-7620 |