FuE Projekt VAIAS - Validierbare Architekturen für Industrielle Automatisierungssysteme
Ziel des VAIAS Projektes ist die Weiterentwicklung von Softwarearchitekturen und die Implementierung von entsprechenden Werkzeugen zur breiteren Anwendung von formalen Methoden für Software-Validierung in der Industrieautomatisierung.
Letztendlich soll dies die Sicherheit und die Rekonfigurierbarkeit von Produktionssystemen verbessern.
Dieses Projekt wird gefördert vom Bundesministerium für Bildung und Forschung und von den Industriepartnern ProSign GmbH und ifak system GmbH .