SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 10:00 - 10:30 at Room XIII - ST30 Day 2 Session 1 Chair(s): Alceste Scalas

Modern factory standards, such as the Industrial Internet of Things (IIoT) and Industry 4.0 envision industrial processes that are evolving in time. An industrial process evolves following the effort to optimise its Key Performance Indicators (KPIs) as they are monitored by the underlying network. Optimisation is achieved with the addition, update or removal of assets within the industrial ecosystem, which, often, implies a reconfiguration of the underlying industrial control system. The reconfiguration of the control system of an industrial process, however, is a knowledge-intensive, time-consuming and error-prone task. This talk presents work in progress for a semantic framework based on session types for the automatic (re-)configuration of an industrial control system in the event of system evolution. Software components are described using session semantics that express the decentralised and distributed nature of a cyber-physical network. This implies a better utilisation of the resources with IIoT capabilities. Reasoning over session semantics identifies and synthesises the available network assets into a set of control loop session configurations. Given a of control loop session configuration, a control loop deployment module can automatically and seamlessly commit and deploy the necessary the control loop resources within the industrial network.

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
ST30 Day 2 Session 1ST30 at Room XIII
Chair(s): Alceste Scalas DTU
09:00
30m
Talk
Behavioural up/down casting for statically typed languages
ST30
Lorenzo Bacchiani , Mario Bravetti Università di Bologna, Marco Giunti Nova University of Lisbon, João Mota NOVA School of Science and Technology, António Ravara Nova University of Lisbon
09:30
30m
Talk
Session-Based Typechecking for Elixir Modules Using ElixirST
ST30
Adrian Francalanza University of Malta, Gerard Tabone University of Malta
10:00
30m
Talk
A Semantic Framework for Automatic Composition of Decentralised Industrial Control SchemesCancelled
ST30