Martin-Luther-Universität Halle-Wittenberg

EnAS - JackStation + Drucksensoren

Weiteres

Login für Redakteure

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   .


Zum Seitenanfang