Geschäftsfelder
Fraunhofer FIRST / Institut
Automatisierungstechnik
© KUKA Roboter GmbH
Moderne Produktionsanlagen bestehen oftmals aus kleinen, modularen Bausteinen, die genau auf den jeweiligen Anwendungszweck zugeschnitten sind. Ohne eingebettete Systeme sind solche Anlagen nicht mehr vorstellbar: Von der Prozessebene mit intelligenten Sensoren und Aktuatoren über Steuerrechner und deren Feldbusse bis zur Prozessleitebene (SCADA) werden sie eingesetzt. Mit wachsender Komplexität und Funktionsbreite wird die Qualitätssicherung immer wichtiger. Hinzu kommen Zuverlässigkeits- und Sicherheitsanforderungen, ohne deren Nachweis der Betrieb nicht möglich ist.
FIRST berät beim Einsatz von qualitätssteigernden Maßnahmen und erstellt Konzepte zur Verbesserung der Projektdurchführung. Hierzu werden modellbasierte Spezifikations- und Testtechniken benutzt sowie Methoden zur formalen Verifikation. Fraunhofer FIRST besitzt umfangreiche Erfahrungen mit verschiedenen Hardware- und Softwarearchitekturen und unterstützt Kunden auf dieser Basis bei der Modernisierung ihrer Anlagen.
Unsere Angebote:
Entwicklung von Steuerrechnern
Fraunhofer FIRST unterstützt Unternehmen mit effizienten Methoden bei der Entwicklung, Validierung und Zertifizierung der Steuerungssysteme nach EN 62061, EN 13849 bzw. bei IEC 61508.
Formale Verifikation für sicherheitskritische Software
Fraunhofer FIRST berät Unternehmen bei der Erstellung formaler Spezifikationen und beim Einsatz von Werkzeugen für einen automatisierten Verifikationsprozess.