The work carried out within the SANITAS project will create a basis for increasing the flexibility of complex microelectronics-aided systems, for example, in production automation and automotive electronics. One goal is to develop a collaborative verification methodology that can be applied beginning as early as in the development phase of system components and carried through the entire value-added chain; from the semiconductor provider to the system manufacturer whose production facilities use the newly developed chips. The benefit of the verification methodology is that faults can be detected even before production of the system components.
Project results will be applied in the industrial automation sector, for example, where the advantages deriving from SANITAS are manifold. For example, the application of the verification methodology throughout the value-added chain enables automatic analyses to determine whether technical specifications can be implemented. The project partners will also be working on new modeling processes that should allow suppliers to develop virtual reference models of their components. Using these models, system manufacturers can ”assemble” their production systems on a computer to test and correct them before actually constructing the systems. The developed methods are also intended for use in areas other than industrial automation – for example, in the communication and automotive sectors.
The SANITAS project is funded to an amount of about Euro 7.3 million by the BMBF as part of the German government’s High-tech Strategy and its Information and Communication Technology 2020 (ICT 2020) Program. The goal of the ICT 2020 Program is, among others, to extend the development of electronic systems as ”enabling” technology for electronics.