Session #1 Wed 2:00-3:30, Capitol Ballroom D

2:00 - Enabling Test-Driven Modeling with Cameo Simulation Toolkit
Darius Silingas, NoMagic (invited demonstration)

Abstract:
This demonstration showcases how model execution capabilities provided by Cameo Simulation Toolkit enable test-driven development approach using UML/SysML models. Using blood glucose measurement system as an example, the demonstration shows how use cases, activities, state machine and a system with multiple interacting objects are executed.
This is complemented by a demonstration on how to model executable user interface prototypes, how to generate sequence diagram for execution scenario. Finally, incremental model development is demonstrated with the addition of a new scenario, as well as how to define and use multiple test configurations.


2:22 - Extending Osate 2 for Custom Simulation of Virtual Devices (CSVD)
Faber Danilo Giraldo Velasquez, Monica Michelle Villegas Arias and Juan Eduardo Delgado Medina

Abstract:
The CSVD (Custom Simulation of Virtual Devices) extension developed for the OSATE 2 tool is based on an Eclipse plugin which executes an analysis of the model developed in AADL and generates the required files that allow the launch of the QEMU emulator containing the simulation system of modeled devices as virtual devices. This paper contains the description of the extension for the OSATE 2 tools and how it can be used for custom simulations of virtual devices modeled in AADL.


2:44 - A Tool to Edit and Verify IoT System Architecture Model
Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi and Yuko Fukushima

Abstract:
The spread of IoT (Internet of Things) categorized into a type of cyber-physical system makes future systems larger and more complex than ever. Various components such as cloud services, edges, devices and energy suppliers play important roles when constructing an IoT system. Moreover, components in such systems have various relationships to other components. Hence, a simple and extendable specification notation for grasping such relationships is sought for architectural design of IoT systems. When we design such IoT Systems, effective verification also should be provided so that we can identify critical system faults. We present a tool to edit and verify IoT system architecture models. The tool extends a UML editor to enable easy editing of architectural models, and verifies them using the logic programming language Prolog.

Session #2 Wed 4:00-5:30, Capitol Ballroom D 

4:00 - SECollab: Collaborating across the Systems Engineering boundaries
Robert Baillargeon, Sodius (invited demonstration)

Abstract:
SECollab is a Systems Engineering Collaboration platform coordinating design artifact exchange, review and traceability. With itís web interface and server-based repository, SECollab eliminates the need for all team members to own and install all applications used to create design documents, and to coordinate application versions across the design lifecycle. SECollab displays all model and requirement content in a web browser, including the diagrams. Users are able to navigate seamlessly across all the project design data coming from all authoring tools to create and view the relationships across the set of artifacts. Focused reviews are created to formally gather feedback and resolve issues, controlling who is assigned to specific aspects, the set of design elements that should be reviewed, and the comments from the review team. Using SECollab ensures that everyone sees the latest design artifacts,  enables cross-model and document linking, and formalizes feedback across the design team - bringing a new level of collaboration across your team and partners.


4:22  - Assisted modelling over social networks with SOCIO
Sara PÈrez-Soler, Esther Guerra and Juan De Lara

Abstract:
Social networks are intensively used nowadays for both leisure and work. They have become a natural communication mechanism which helps users in coordinating and collaborating in their daily life activities. To profit from their pervasive use, we propose SOCIO: a modelling assistant that seamlessly integrates across several social networks, like Telegram or Twitter. SOCIO is a modelling bot that can interpret natural language sentences and create meta-models out of them. It provides traceability of design decisions and statistics of user contributions. A video showcasing the tool is available at https://saraperezsoler.github.io/ModellingBot/.


4:44 - Generating Filmstrip Models from Actor-Based Systems
Tony Clark, Vinay Kulkarni, Souvik Barat and Balbir Barn

Abstract:
EDB is a tool that supports the analysis of simulation behaviours. Simulations are represented as executable agent models represented using the actor-language ESL. This demonstration shows how agent models are represented in EDB and how executions can be captured as time-stamped facts in a knowledge-base. ESL supports logic programming in the form of rule-sets that are parameterised with respect to knowledge-bases. The logic programming language provides temporal operators that are used to map temporal knowledge-bases to filmstrips. EDB provides graphical features for displaying and playing filmstrips forwards and backwards. We demonstrate these features using a simple case study involving customers in a shop.


5:06 - EARS-CTRL: Building and Verifying Controllers for Dummies
Levi Lucio, Salman Rahman, Saad Bin Abid and Alistair Mavin

Abstract:
In this paper we explain the EARS-CTRL tool for automatically synthesizing controller software for embedded systems, having as starting point requirements written in (English) natural language. More precisely, we implement the EARS (Easy Approach to Requirements Syntax) approach invented and currently in use at Rolls-Royce. After expressing the requirements in English, the requirements engineer can produce the controller code at the press of a button. The EARS-CTRL IDE then provides facilities for verifying the generated controller by allowing step-by-step simulation or test-case generation using
MathLab's Simulink as back-end.