MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Thu 27 Oct 2022 10:30 - 10:52 at A-4502.1 - Validation & Verification II Chair(s): Øystein Haugen

The Internet of things (IoT) is increasingly prevalent in domains such as emergency response, smart cities and autonomous vehicles. Simulation plays a key role in the testing of IoT systems, noting that field testing of a complete IoT product may be infeasible or prohibitively expensive. In this paper, we propose a domain-specific language (DSL) for generating edge-to-cloud simulators. An edge-to-cloud simulator executes the functionality of a large array of edge devices that communicate with cloud applications. Our DSL, named IoTECS, is the result of a collaborative project with an IoT analytics company, Cheetah Networks. The industrial use case that motivates IoTECS is ensuring the scalability of cloud applications by putting them under extreme loads from IoT devices connected to the edge. We implement IoTECS using Xtext and empirically evaluate its usefulness. We further reflect on the lessons learned.

Thu 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Validation & Verification IITechnical Track / Journal-first at A-4502.1
Chair(s): Øystein Haugen Østfold University College
10:30
22m
Talk
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud SolutionsP&I
Technical Track
Jia Li University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Michael McCallen Cheetah Networks
10:52
22m
Talk
Model-based ideal testing of hardware description language (HDL) programsJ1st
Journal-first
Onur Kilincceker , Ercument Turk , Fevzi Belli Paderborn University, Germany, Moharram Challenger University of Antwerp
Link to publication
11:15
22m
Talk
Validating the Correctness of Reactive Systems Specifications Through Systematic ExplorationFT
Technical Track
Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Roey Rozi Tel Aviv University
Pre-print
11:37
22m
Talk
Probabilistic modelling and verification using RoboChart and PRISMJ1st
Journal-first
Kangfeng Ye University of York, UK, Ana Cavalcanti University of York, Simon Foster University of York, Alvaro Miyazawa , Jim Woodcock
Link to publication