The main topics include executable specifications, program analysis, operational semantics, model-based design, formal methods, real-time programming, dedicated architectures, timing predictability, and controller synthesis. Due to the pandemic, the workshop was held online. Synchronous programming is an established approach for specifying and developing embedded software that needs to react in real-time to its environment and execute on constrained platforms. It is especially relevant to safety-critical embedded applications. The workshop brings together academics and industrial researchers from across the world, with a very strong representation from European countries.
TETRAMAX is a Horizon 2020 innovation action within the European Smart Anything Everywhere (SAE) initiative in the domain of customized and low-energy computing for Cyber Physical Systems and the Internet of Things. As a Digital Innovation Hub, TETRAMAX aims to bring added value to European industry, helping to gain competitive advantage through faster digitization. The project partially builds on experiences with the TETRACOM project during 2013-2016. TETRAMAX was launched in Sep 2017 and runs until Aug 2021.