Introduction to SP

Introduction to SP

SP is a micro service architecture for modelling and analyzing automation systems. Initially, the focus was on supporting engineers in developing control code for programmable logical controllers (PLCs).

During the first years, algorithms to handle product and automation system interaction, and to visualize complex operation sequences using multiple projections, was developed.

Over the years, other use cases have been integrated, like formal verification and synthesis using Supremica, restart support, cycle time optimization, energy optimization and hybrid systems, online monitoring and control (the tweeting factory), as well as emergency department online planning.

SP is hosted on Github under our organisation (from now on called sp-org) under a MIT License, we published our projects to the web during fall 2017 when we migrated from [https://github.com/kristoferB/SP]. SP is widely written in Scala, a typesafe and testable language combining object-oriented and functional programming.