Title:	SyTeC Testing of Cyber-physical software
DNr:	NAISS 2023/22-141
Project Type:	NAISS Small Compute
Principal Investigator:	Knut Åkesson <knut.akesson@chalmers.se>
Affiliation:	Chalmers tekniska högskola
Duration:	2023-02-08 – 2024-03-01
Classification:	20201
Homepage:	http://systematictesting.org
Keywords:

Abstract

The SyTeC project aims to improve the development process of safety-critical cyber-physical systems (CPSs)— engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components. CPSs encompass both discrete-event (logical) and continuous (numerical) dynamics; they are so-called hybrid systems. A modern passenger car is an illustrative example, with a very complex design, around 100 separate electronic control units (ECUs) that communicate with each other over several communication buses, and very complex functionality, dealing with both discrete events and continuous signals. Software controlling physical entities is hard to get right—but it must be right, and bugs must be found in time, if we are to avoid fatalities or high development costs.Swedish industry has a strong tradition in systems engineering, and recent advances in sensing, computation, control, and communication will make CPSs much more autonomous — but also more complex, bringing new challenges especially for safety critical components of the system.