SANITAS - Safe Systems basing on a consistent verification along the whole supply chain

The goal of this project is to strengthen the competitiveness of German companies by strengthening flexible automation and, at the same time, increasing their security.
The research and development activities during the SANITAS project create the foundation for raising the flexibility of complex microelectronic based systems, e.g. factory automation or automobile electronics. For this, SANITAS wants to create a consistent verification method for the whole supply chain, from semiconductor companies to factories, which use the new chips for their production. This is already used in the development phases of system components. With this verification method, mistakes in system components can be discovered before the actual production starts.

The project results are exemplarily used in the industrial automation. The advantages that conclude from SANITAS are diverse. For example, the consistent verification method allows automatic verification whether technical demands are realizable. Furthermore, the project partners are working on new modeling procedures that allow suppliers to develop virtual reference models of their components. With these models, the system producers can develop their producing machines on the computer and test as well as correct them before the actual production starts. The acquired methods are supposed to be applicable beyond the industrial automation, e.g. in the communication and automobile industry.

Project funded by: BMBF (ITEA project)
Project duration: 10/2009 - 09/2012

Project partners: 

Forschungszentrum Informatik, Fraunhofer-Institut für Integrierte Schaltungen, Infineon Technologies AG, Micronas GmbH, Robert Bosch GmbH, Siemens AG, Tieto Deutschland GmbH, Universität Bremen und Universität Paderborn


Dr. Wolfgang Müller, C-LAB